CS: Computer Science
CS: Computer Science

Inesc Technology and Science (INESC TEC)

Publications Actions
Publications at Authenticus Institutional Profile

An Authenticus institution (group) is an organization which consists of a set of researchers (institutional/group team). The set of researchers depends on the organizational structure of the institution per year and can be set at the institution profile, under ‘Researchers’ interface. Based on the institutional team we produce listings of publications, statistics and institutional reports. 

Publications displayed at an Authenticus institutional profile depend on two parameters:

  • Researchers team associated with the institution per year. 
  • Publications source type. 

We define 3 types of publication sources:

  • Validated by team members - includes all publications validated by team members. Requires the definition of the institutional team. 
  • All published by team members - includes all publications validated by the institution team members plus all not-validated (only identified) publications. Requires the definition of the institutional team. 
  • Affiliation Based - includes publications that have the institution/group in the publication affiliation. Does not require institutional team, but at the same time does not guarantee that all publications will be listed. 
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: 10663

535 Team Members
Filters -> Year: 2026
2861
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
2862
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
2863
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: 10
2864
TITLE: Meta-aprendizado para otimizacao de parametros de redes neurais
AUTHORS: Tarsicio Lucas; Teresa Bernarda Ludermir; Ricardo B C Prudencio; Carlos Soares ;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2109.13745
INDEXED IN: DBLP
2865
TITLE: Metabarcoding with MinION: Speeding up the detection of invasive aquatic species using environmental DNA and nanopore sequencing
AUTHORS: Bastian Egeter; Joana Veríssimo; Manuel Lopes-Lima ; catia chaves; Joana Pinto; Nicoletta Riccardi; Pedro Beja; Nuno A Fonseca ;
PUBLISHED: 2021, SOURCE: ARPHA Conference Abstracts, VOLUME: 4
INDEXED IN: CrossRef: 1
2866
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: 11 Handle
2867
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
2868
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: 7 Unpaywall
2869
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: 5 Unpaywall
2870
TITLE: Micro-MetaStream: Algorithm selection for time-changing data  Full Text
AUTHORS: Rossi, ALD; Soares, C ; de Souza, BF; de Carvalho, ACPDF;
PUBLISHED: 2021, SOURCE: INFORMATION SCIENCES, VOLUME: 565, PAGES: 262-277
INDEXED IN: Scopus WOS DBLP CrossRef: 8
2871
TITLE: Model Compression for Dynamic Forecast Combination
AUTHORS: Vítor Cerqueira ; Luís Torgo ; Carlos Soares ; Albert Bifet;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2104.01830
INDEXED IN: DBLP
2872
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
2873
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
2874
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
2875
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: 3
2876
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
2877
TITLE: Multi-aspect renewable energy forecasting
AUTHORS: Roberto Corizzo; Michelangelo Ceci; Hadi Fanaee T; João Gama ;
PUBLISHED: 2021
INDEXED IN: DBLP
2878
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: 65
2879
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: 11
2880
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

Results per Page: 20.
Page 144 of 534. Total results: 10663.