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: 8102

531 Team Members
Filters -> Year: 2024
1521
TITLE: Measuring Trust in Technology: A Survey Tool to Assess Users' Trust Experiences
AUTHORS: Sonia Sousa; Paulo Martins ; José Cravino;
PUBLISHED: 2021, SOURCE: Information Systems Development: Crossing Boundaries between Development and Operations (DevOps) in Information Systems (ISD2021 Proceedings), Valencia, Spain, September 8-10, 2021.
INDEXED IN: DBLP
1522
TITLE: Mechanized Proofs of Adversarial Complexity and Application to Universal Composability
AUTHORS: Barbosa, Manuel ; Barthe, Gilles ; Gregoire, Benjamin; Koutsos, Adrien; Strub, Pierre Yves;
PUBLISHED: 2021, SOURCE: 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, PAGES: 2541-2563
INDEXED IN: WOS DBLP CrossRef: 6
1523
TITLE: Mechanized Proofs of Adversarial Complexity and Application to Universal Composability
AUTHORS: Manuel Barbosa ; Gilles Barthe ; Benjamin Grégoire; Adrien Koutsos; Pierre Yves Strub;
PUBLISHED: 2021, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2021, PAGES: 156
INDEXED IN: DBLP
1524
TITLE: Metacognitive challenges to support self-reflection of students in online Software Engineering Education
AUTHORS: Pedrosa, Daniela; Fontes, Mario Madureira; Araujo, Tania; Morais, Ceres; Bettencourt, Teresa; Pestana, Pedro Duarte; Morgado, Leonel ; Cravino, Jose;
PUBLISHED: 2021, SOURCE: 4th International Conference of the Portuguese-Society-for-Engineering-Education (CISPEE) in 2021 4TH INTERNATIONAL CONFERENCE OF THE PORTUGUESE SOCIETY FOR ENGINEERING EDUCATION (CISPEE)
INDEXED IN: Scopus WOS CrossRef: 3 Handle
1525
TITLE: METHODOLOGICAL FRAMEWORK FOR MEASURING REGIONAL LOGISTICS PERFORMANCE
AUTHORS: Tiago Duarte Silva Vieira; Ângela Silva ; Jorge Esparteiro Garcia ; Wellington Alves ;
PUBLISHED: 2021, SOURCE: Proceedings of the 16th International Symposium on Operational Research in Slovenia, SOR 2021, PAGES: 351-356
INDEXED IN: Scopus Handle
1526
TITLE: Methodological Quality of User-Centered Usability Evaluation of Ambient Assisted Living Solutions: A Systematic Literature Review  Full Text
AUTHORS: BASTARDO, Rute ; Ana Isabel Martins ; Pavao, J ; Silva, AG; Rocha, NP;
PUBLISHED: 2021, SOURCE: INTERNATIONAL JOURNAL OF ENVIRONMENTAL RESEARCH AND PUBLIC HEALTH, VOLUME: 18, ISSUE: 21, PAGES: 11507
INDEXED IN: Scopus WOS CrossRef: 3 Unpaywall
1527
TITLE: Methodology for Introducing Creativity in Requirements Engineering
AUTHORS: Vítor Santos; Henrique S Mamede ; Clara Silveira; Leonilde Reis;
PUBLISHED: 2021, SOURCE: 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, PAGES: 27-35
INDEXED IN: Scopus DBLP CrossRef: 4 Unpaywall
1528
TITLE: Modeling, Dynamics, Optimization and Bioeconomics IV. DGS VI JOLATE, Madrid, Spain, May 2018, and ICABR, Berkeley, USA, May–June 2017—Selected Contributions
AUTHORS: Alberto Pinto ; David Zilberman;
PUBLISHED: 2021, SOURCE: Springer Proceedings in Mathematics & Statistics
INDEXED IN: CrossRef Openlibrary
1529
TITLE: Modelling informative time points: an evolutionary process approach  Full Text
AUTHORS: Monteiro, Andreia ; Menezes, R ; Silva, ME ;
PUBLISHED: 2021, SOURCE: TEST, VOLUME: 30, ISSUE: 2, PAGES: 364-382
INDEXED IN: Scopus WOS CrossRef
1530
TITLE: Modelling Voting Behaviour During a General Election Campaign Using Dynamic Bayesian Networks
AUTHORS: Costa, Patricio; Nogueira, Ana Rita ; Gama, Joao ;
PUBLISHED: 2021, SOURCE: 20th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2021), VOLUME: 12981, PAGES: 524-536
INDEXED IN: Scopus WOS DBLP CrossRef
1531
TITLE: MONARCH: Hierarchical Storage Management for Deep Learning Frameworks
AUTHORS: Dantas, M; Leitao, D ; Correia, C ; Macedo, R ; Xu, WJ; Paulo, J ;
PUBLISHED: 2021, SOURCE: IEEE International Conference on Cluster Computing (Cluster) in 2021 IEEE INTERNATIONAL CONFERENCE ON CLUSTER COMPUTING (CLUSTER 2021), PAGES: 657-663
INDEXED IN: WOS DBLP CrossRef
1532
TITLE: Mooshak's Diet Update: Introducing YAPExIL Format to Mooshak (Short Paper)
AUTHORS: José Carlos Paiva ; Ricardo Queirós ; José Paulo Leal ;
PUBLISHED: 2021, SOURCE: 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, PAGES: 9:1-9:7
INDEXED IN: Scopus DBLP
1533
TITLE: Multi-aspect renewable energy forecasting  Full Text
AUTHORS: Corizzo, R; Ceci, M; Fanaee T, H; Gama, J ;
PUBLISHED: 2021, SOURCE: INFORMATION SCIENCES, VOLUME: 546, PAGES: 701-722
INDEXED IN: Scopus WOS DBLP CrossRef: 52
1534
TITLE: Multi-language static code analysis on the LARA framework
AUTHORS: Gil Teixeira; João Bispo ; Filipe F Correia ;
PUBLISHED: 2021, SOURCE: 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, PAGES: 31-36
INDEXED IN: Scopus DBLP CrossRef: 8
1535
TITLE: Narrative-Driven Immersion and Students' Perceptions in an Online Software Programming Course
AUTHORS: Fontes, MM; Pedrosa, D; Araujo, T; Morais, C ; Costa, A; Cravino, J; Morgado, L ;
PUBLISHED: 2021, SOURCE: 7th International Conference of the Immersive-Learning-Research-Network (iLRN) in 2021 7TH INTERNATIONAL CONFERENCE OF THE IMMERSIVE LEARNING RESEARCH NETWORK (ILRN), PAGES: 297-303
INDEXED IN: Scopus WOS DBLP CrossRef: 2 Handle
1536
TITLE: NeuralLog: a Neural Logic Language
AUTHORS: Victor Guimarães; Vítor Santos Costa ;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2105.01442
INDEXED IN: DBLP
1537
TITLE: New metrology for radon at the environmental level  Full Text
AUTHORS: 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;
PUBLISHED: 2021, SOURCE: MEASUREMENT SCIENCE AND TECHNOLOGY, VOLUME: 32, ISSUE: 12
INDEXED IN: Scopus WOS CrossRef: 22
1539
TITLE: No Free Lunch in imbalanced learning  Full Text
AUTHORS: Moniz, N ; Monteiro, H;
PUBLISHED: 2021, SOURCE: KNOWLEDGE-BASED SYSTEMS, VOLUME: 227, PAGES: 107222
INDEXED IN: Scopus WOS DBLP CrossRef: 16
1540
TITLE: Non-Intrusive Load Monitoring for Household Disaggregated Energy Sensing
AUTHORS: Paulos, Jose Pedro ; Fidalgo, Jose Nuno ; Gama, Joao ;
PUBLISHED: 2021, SOURCE: 14th IEEE Madrid PowerTech Conference (IEEE POWERTECH) in 2021 IEEE MADRID POWERTECH
INDEXED IN: Scopus WOS CrossRef Unpaywall

Results per Page: 20.
Página 77 de 406. Total de resultados: 8102.