CS: Computer Science
CS: Computer Science

Inesc Tecnologia e Ciência (INESC TEC)

Publications Actions
Publicações no Perfil Institucional do Authenticus

Uma Instituição (Grupo) no Authenticus é uma organização que engloba um conjunto de Investigadores (equipa da Instituição ou do Grupo). O conjunto de Investigadores depende da estrutura organizacional da instituição em cada ano e pode ser definido no perfil da Instituição, na secção “Investigadores”. Com base na equipa definida, o Authenticus produz listas de publicações, estatísticas e relatórios institucionais.

As publicações listadas no perfil da Instituição no Authenticus dependem de dois parâmetros:

  • Investigadores associados à equipa da Instituição em cada ano.
  • Origem das Publicações.

As publicações associadas à Instituição podem ter três origens:

  • Publicações validadas pelos membros da equipa - Inclui todas as publicações validadas pelos membros da equipa; é necessário que a equipa da Instituição esteja definida.
  • Todas as Publicadas pelos membros da equipa - Inclui todas as anteriores mais aquelas em que um dos autores foi identificado com um membro da equipa, ainda que não tenha sido validada; é necessário que a equipa da Instituição esteja definida.
  • Com Base na Afiliação - inclui todas as publicações que têm a Instituição ou o Grupo mencionado na afiliação; não é necessário que a equipa da Instituição esteja definida mas, por outro lado, não é garantido que todas as publicações da Instituição sejam listadas.
External   Internal

Update Citation

No data about last update.
Rules:
 This actions updates publications citations of every team member.
 Only validated by team members publications are included.
 Only the current year team is included in this action.>
 The action is executed in the background, thus the results are NOT immediate.
 This actions can be executed only once a month!

Update PrePrints

No data about last update.
Rules:
 This actions updates all pre print publications of the group/institution.
 Only validated by current year team members publications are included.
 The action is executed in the background, thus the results are NOT immediate.
 This actions can be executed only once a day!

Publications Count: 8280

531 Team Members
Filters -> Year: 2024
1641
TÍTULO: Mechanized Proofs of Adversarial Complexity and Application to Universal Composability
AUTORES: Barbosa, Manuel ; Barthe, Gilles ; Gregoire, Benjamin; Koutsos, Adrien; Strub, Pierre Yves;
PUBLICAÇÃO: 2021, FONTE: ACM SIGSAC Conference on Computer and Communications Security (ACM CCS) in CCS '21: PROCEEDINGS OF THE 2021 ACM SIGSAC CONFERENCE ON COMPUTER AND COMMUNICATIONS SECURITY, PÁGINAS: 2541-2563
INDEXADO EM: WOS DBLP CrossRef: 6
1642
TÍTULO: Mechanized Proofs of Adversarial Complexity and Application to Universal Composability
AUTORES: Manuel Barbosa ; Gilles Barthe ; Benjamin Grégoire; Adrien Koutsos; Pierre Yves Strub;
PUBLICAÇÃO: 2021, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2021, PÁGINAS: 156
INDEXADO EM: DBLP
1643
TÍTULO: Metacognitive challenges to support self-reflection of students in online Software Engineering Education
AUTORES: Pedrosa, Daniela; Fontes, Mario Madureira; Araujo, Tania; Morais, Ceres; Bettencourt, Teresa; Pestana, Pedro Duarte; Morgado, Leonel ; Cravino, Jose;
PUBLICAÇÃO: 2021, FONTE: 4th International Conference of the Portuguese-Society-for-Engineering-Education (CISPEE) in 2021 4TH INTERNATIONAL CONFERENCE OF THE PORTUGUESE SOCIETY FOR ENGINEERING EDUCATION (CISPEE)
INDEXADO EM: Scopus WOS CrossRef: 3 Handle
1644
TÍTULO: METHODOLOGICAL FRAMEWORK FOR MEASURING REGIONAL LOGISTICS PERFORMANCE
AUTORES: Tiago Duarte Silva Vieira; Ângela Silva ; Jorge Esparteiro Garcia ; Wellington Alves ;
PUBLICAÇÃO: 2021, FONTE: Proceedings of the 16th International Symposium on Operational Research in Slovenia, SOR 2021, PÁGINAS: 351-356
INDEXADO EM: Scopus Handle
1645
TÍTULO: Methodological Quality of User-Centered Usability Evaluation of Ambient Assisted Living Solutions: A Systematic Literature Review  Full Text
AUTORES: BASTARDO, Rute ; Ana Isabel Martins ; Pavao, J ; Silva, AG; Rocha, NP;
PUBLICAÇÃO: 2021, FONTE: INTERNATIONAL JOURNAL OF ENVIRONMENTAL RESEARCH AND PUBLIC HEALTH, VOLUME: 18, NÚMERO: 21, PÁGINAS: 11507
INDEXADO EM: Scopus WOS CrossRef: 5 Unpaywall
1646
TÍTULO: Methodology for Introducing Creativity in Requirements Engineering
AUTORES: Vítor Santos; Henrique S Mamede ; Clara Silveira; Leonilde Reis;
PUBLICAÇÃO: 2021, FONTE: 2021 International Conference on ENTERprise Information Systems, CENTERIS 2021 / ProjMAN 2021 - International Conference on Project MANagement / HCist 2021 and International Conference on Health and Social Care Information Systems and Technologies 2021 in CENTERIS 2021 - International Conference on ENTERprise Information Systems / ProjMAN 2021 - International Conference on Project MANagement / HCist 2021 - International Conference on Health and Social Care Information Systems and Technologies 2021, Braga, Portugal, VOLUME: 196, PÁGINAS: 27-35
INDEXADO EM: Scopus DBLP CrossRef: 4 Unpaywall
1647
TÍTULO: Modeling, Dynamics, Optimization and Bioeconomics IV. DGS VI JOLATE, Madrid, Spain, May 2018, and ICABR, Berkeley, USA, May–June 2017—Selected Contributions
AUTORES: Alberto Pinto ; David Zilberman;
PUBLICAÇÃO: 2021, FONTE: Springer Proceedings in Mathematics & Statistics
INDEXADO EM: CrossRef Openlibrary
1648
TÍTULO: Modelling informative time points: an evolutionary process approach  Full Text
AUTORES: Monteiro, Andreia ; Menezes, R ; Silva, ME ;
PUBLICAÇÃO: 2021, FONTE: TEST, VOLUME: 30, NÚMERO: 2, PÁGINAS: 364-382
INDEXADO EM: Scopus WOS CrossRef
1649
TÍTULO: Modelling Voting Behaviour During a General Election Campaign Using Dynamic Bayesian Networks
AUTORES: Costa, Patricio; Nogueira, Ana Rita ; Gama, Joao ;
PUBLICAÇÃO: 2021, FONTE: 20th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2021), VOLUME: 12981, PÁGINAS: 524-536
INDEXADO EM: Scopus WOS DBLP CrossRef
1650
TÍTULO: MONARCH: Hierarchical Storage Management for Deep Learning Frameworks
AUTORES: Dantas, M; Leitao, D ; Correia, C ; Macedo, R ; Xu, WJ; Paulo, J ;
PUBLICAÇÃO: 2021, FONTE: IEEE International Conference on Cluster Computing (Cluster) in 2021 IEEE INTERNATIONAL CONFERENCE ON CLUSTER COMPUTING (CLUSTER 2021), PÁGINAS: 657-663
INDEXADO EM: WOS DBLP CrossRef
1651
TÍTULO: Mooshak's Diet Update: Introducing YAPExIL Format to Mooshak (Short Paper)
AUTORES: José Carlos Paiva ; Ricardo Queirós ; José Paulo Leal ;
PUBLICAÇÃO: 2021, FONTE: 10th Symposium on Languages, Applications and Technologies, SLATE 2021 in 10th Symposium on Languages, Applications and Technologies, SLATE 2021, July 1-2, 2021, Vila do Conde/Póvoa de Varzim, Portugal., VOLUME: 94, PÁGINAS: 9:1-9:7
INDEXADO EM: Scopus DBLP
1652
TÍTULO: Multi-aspect renewable energy forecasting  Full Text
AUTORES: Corizzo, R; Ceci, M; Fanaee T, H; Gama, J ;
PUBLICAÇÃO: 2021, FONTE: INFORMATION SCIENCES, VOLUME: 546, PÁGINAS: 701-722
INDEXADO EM: Scopus WOS DBLP CrossRef: 54
1653
TÍTULO: Multi-language static code analysis on the LARA framework
AUTORES: Gil Teixeira; João Bispo ; Filipe F Correia ;
PUBLICAÇÃO: 2021, FONTE: SOAP@PLDI 2021: Proceedings of the 10th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, Virtual Event, Canada, 22 June, 2021, PÁGINAS: 31-36
INDEXADO EM: Scopus DBLP CrossRef: 8
1654
TÍTULO: Narrative-Driven Immersion and Students' Perceptions in an Online Software Programming Course
AUTORES: Fontes, MM; Pedrosa, D; Araujo, T; Morais, C ; Costa, A; Cravino, J; Morgado, L ;
PUBLICAÇÃO: 2021, FONTE: 7th International Conference of the Immersive-Learning-Research-Network (iLRN) in 2021 7TH INTERNATIONAL CONFERENCE OF THE IMMERSIVE LEARNING RESEARCH NETWORK (ILRN), PÁGINAS: 297-303
INDEXADO EM: Scopus WOS DBLP CrossRef: 2 Handle
1655
TÍTULO: NeuralLog: a Neural Logic Language
AUTORES: Victor Guimarães; Vítor Santos Costa ;
PUBLICAÇÃO: 2021, FONTE: CoRR, VOLUME: abs/2105.01442
INDEXADO EM: DBLP
1656
TÍTULO: New metrology for radon at the environmental level  Full Text
AUTORES: Rottger, A; Rottger, S; Grossi, C; Vargas, A; Curcoll, R; Otahal, P; Hernandez Ceballos, MA; Cinelli, G; Chambers, S; Barbosa, SA ; Ioan, MR; Radulescu, I; Kikaj, D; Chung, ED; Arnold, T; Yver Kwok, C; Fuente, M; Mertes, F; Morosh, V;
PUBLICAÇÃO: 2021, FONTE: MEASUREMENT SCIENCE AND TECHNOLOGY, VOLUME: 32, NÚMERO: 12
INDEXADO EM: Scopus WOS CrossRef: 22
1658
TÍTULO: No Free Lunch in imbalanced learning  Full Text
AUTORES: Moniz, N ; Monteiro, H;
PUBLICAÇÃO: 2021, FONTE: KNOWLEDGE-BASED SYSTEMS, VOLUME: 227, PÁGINAS: 107222
INDEXADO EM: Scopus WOS DBLP CrossRef: 16
1659
TÍTULO: Non-Intrusive Load Monitoring for Household Disaggregated Energy Sensing
AUTORES: Paulos, Jose Pedro ; Fidalgo, Jose Nuno ; Gama, Joao ;
PUBLICAÇÃO: 2021, FONTE: 14th IEEE Madrid PowerTech Conference (IEEE POWERTECH) in 2021 IEEE MADRID POWERTECH
INDEXADO EM: Scopus WOS CrossRef Unpaywall
1660
TÍTULO: Novelty Detection in Physical Activity
AUTORES: Leite, B; Abdalrahman, A; Castro, J; Frade, J; Moreira, J ; Soares, C ;
PUBLICAÇÃO: 2021, FONTE: 13th International Conference on Agents and Artificial Intelligence (ICAART) in ICAART: PROCEEDINGS OF THE 13TH INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE - VOL 2, VOLUME: 2, PÁGINAS: 859-865
INDEXADO EM: Scopus WOS DBLP CrossRef: 1

Results per Page: 20.
Página 83 de 414. Total de resultados: 8280.