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

531 Team Members
Filters -> Year: 2024
141
TITLE: Enhancing Weather Forecasting Integrating LSTM and GA
AUTHORS: Teixeira, Rita; Cerveira, Adelaide ; Pires, Eduardo J. Solteiro; Baptista, Jose ;
PUBLISHED: 2024, SOURCE: APPLIED SCIENCES-BASEL, VOLUME: 14, ISSUE: 13, PAGES: 5769
INDEXED IN: Scopus WOS CrossRef
142
TITLE: Enriching Archival Linked Data Descriptions with Information from Wikidata and DBpedia
AUTHORS: Koch, Ines ; Ribero, Cristina; Poveda Villalon, Maria; Rico, Mariano; Lopes, Carla Teixeira ;
PUBLISHED: 2024, SOURCE: 28th International Conference on Linking Theory and Practice of Digital Libraries (TPDL) in LINKING THEORY AND PRACTICE OF DIGITAL LIBRARIES, PT I, TPDL 2024, VOLUME: 15177, PAGES: 396-412
INDEXED IN: Scopus WOS DBLP CrossRef
143
TITLE: ESG in Advertising Narratives: Case Analysis of Golden Lion Winning Campaigns at Cannes 2022
AUTHORS: de Araujo, Daniel Ladeira; Garcia, Jorge Esparteiro ; Serra da Fonseca, Manuel Jose ; Andrade, Jose Gabriel;
PUBLISHED: 2024, SOURCE: 11st World Conference on Information Systems and Technologies (WorldCIST) in INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 4, WORLDCIST 2023, VOLUME: 802, PAGES: 43-50
INDEXED IN: Scopus WOS DBLP CrossRef
145
TITLE: Evaluating Constrained Users Ability to Interact with Virtual Reality Applications
AUTHORS: Ribeiro, Tiago; Henriques, Pedro Rangel; Oliveira, Eva ; Rodrigues, Nuno E.;
PUBLISHED: 2024, SOURCE: IEEE 12th International Conference on Serious Games and Applications for Health (SeGAH) in 2024 IEEE 12TH INTERNATIONAL CONFERENCE ON SERIOUS GAMES AND APPLICATIONS FOR HEALTH, SEGAH 2024, PAGES: 1-8
INDEXED IN: Scopus WOS DBLP CrossRef
146
TITLE: Exercisify: An AI-Powered Statement Evaluator
AUTHORS: Ricardo Queirós ;
PUBLISHED: 2024, SOURCE: 5th International Computer Programming Education Conference, ICPEC 2024 in 5th International Computer Programming Education Conference, ICPEC 2024, June 27-28, 2024, Lisbon, Portugal, VOLUME: 122, PAGES: 19:1-19:6
INDEXED IN: Scopus DBLP
147
TITLE: Expert Systems in Information Security: A Comprehensive Exploration of Awareness Strategies Against Social Engineering Attacks
AUTHORS: Cardoso, Waldson Rodrigues; Lima Ribeiro, Admilson de Ribamar; Cardoso da Silva, Joao Marco ;
PUBLISHED: 2024, SOURCE: 12th World Conference on Information Systems and Technologies (WorldCIST) in GOOD PRACTICES AND NEW PERSPECTIVES IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 2, WORLDCIST 2024, VOLUME: 986, PAGES: 34-43
INDEXED IN: Scopus WOS
148
TITLE: Explaining Temporal Logic Model Checking Counterexamples Through the Use of Structured Natural Language
AUTHORS: Ferreira Moreira, Ezequiel Jose Veloso; Campo, Jose Creissac ;
PUBLISHED: 2024, SOURCE: 15th ACMSIGCHI Conference on Engineering Interactive Computing Systems (EICS) in ENGINEERING INTERACTIVE COMPUTER SYSTEMS, EICS 2023 INTERNATIONAL WORKSHOPS AND DOCTORAL CONSORTIUM, VOLUME: 14517, PAGES: 179-197
INDEXED IN: Scopus WOS DBLP CrossRef
149
TITLE: Exploring Frama-C Resources by Verifying Space Software
AUTHORS: Rovedy Aparecida Busquim e Silva; Nanci Naomi Arai; Luciana Akemi Burgareli; Jose Maria Parente de Oliveira; Jorge Sousa Pinto ;
PUBLISHED: 2024, SOURCE: Computer Science Foundations and Applied Logic, PAGES: 583-615
INDEXED IN: CrossRef Unpaywall
150
TITLE: Exploring HEIs Students' Perceptions of Artificial Intelligence on their Learning Process
AUTHORS: Lurdes Babo; Jorge P Mendonca; Ricardo Queiros ; Carla A Pinto; Mario Cruz; Daniela Mascarenhas;
PUBLISHED: 2024, SOURCE: 5th International Conference in Electronic Engineering, Information Technology and Education, EEITE 2024 in EEITE 2024 - Proceedings of 2024 5th International Conference in Electronic Engineering, Information Technology and Education
INDEXED IN: Scopus
151
TITLE: Exploring students' opinion on software testing courses
AUTHORS: Cammaerts, Felix; Tramontana, Porfirio; Paiva, Ana C. R. ; Flores, Nuno ; Ricos, Fernando Pastor; Snoeck, Monique;
PUBLISHED: 2024, SOURCE: 28th International Conference on Evaluation and Assessment in Software Engineering (EASE) in PROCEEDINGS OF 2024 28TH INTERNATION CONFERENCE ON EVALUATION AND ASSESSMENT IN SOFTWARE ENGINEERING, EASE 2024, PAGES: 570-579
INDEXED IN: Scopus WOS DBLP CrossRef
152
TITLE: Extending the Quantitative Pattern-Matching Paradigm
AUTHORS: Sandra Alves ; Delia Kesner; Miguel Ramos ;
PUBLISHED: 2024, SOURCE: 22nd Asian Symposium on Programming Languages and Systems, APLAS 2024 in Programming Languages and Systems - 22nd Asian Symposium, APLAS 2024, Kyoto, Japan, October 22-24, 2024, Proceedings, VOLUME: 15194, PAGES: 84-105
INDEXED IN: Scopus DBLP
153
TITLE: Factors Affecting Cloud Computing Adoption in the Education Context-Systematic Literature Review
AUTHORS: Santos, Antonio; Martins, Jose; Pestana, Pedro Duarte; Goncalves, Ramiro; Mamede, Henrique Sao ; Branco, Frederico ;
PUBLISHED: 2024, SOURCE: IEEE ACCESS, VOLUME: 12, PAGES: 71641-71674
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
154
TITLE: Federated Learning in Medical Image Analysis: A Systematic Survey  Full Text
AUTHORS: da Silva, Fabiana Rodrigues; Camacho, Rui ; João Manuel R. S. Tavares;
PUBLISHED: 2024, SOURCE: ELECTRONICS, VOLUME: 13, ISSUE: 1, PAGES: 47
INDEXED IN: Scopus WOS CrossRef Unpaywall
155
TITLE: Federated Online Learning for Heavy Hitter Detection
AUTHORS: Paula Raissa Silva; João Vinagre; João Gama ;
PUBLISHED: 2024, SOURCE: ECAI 2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain - Including 13th Conference on Prestigious Applications of Intelligent Systems (PAIS 2024), VOLUME: 392, PAGES: 4689-4695
INDEXED IN: DBLP CrossRef
156
TITLE: Flow Correlation Attacks on Tor Onion Service Sessions with Sliding Subset Sum
AUTHORS: Daniela Lopes; Jin Dong Dong; Pedro Medeiros; Daniel Castro; Diogo Barradas; Bernardo Portela ; João Vinagre; Bernardo Ferreira; Nicolas Christin; Nuno Santos;
PUBLISHED: 2024, SOURCE: 31st Annual Network and Distributed System Security Symposium, NDSS 2024, San Diego, California, USA, February 26 - March 1, 2024
INDEXED IN: DBLP
157
TITLE: Forecasting financial market structure from network features using machine learning
AUTHORS: Douglas Castilho; Thársis T P Souza; Soong Moon Kang; João Gama ; André C P L F de Carvalho;
PUBLISHED: 2024, SOURCE: Knowl. Inf. Syst., VOLUME: 66, ISSUE: 8, PAGES: 4497-4525
INDEXED IN: DBLP
158
TITLE: Forecasting financial market structure from network features using machine learning PDF  Full Text
AUTHORS: Castilho, Douglas; Souza, Tharsis T. P.; Kang, Soong Moon; Gama, Joao ; de Carvalho, Andre C. P. L. F.;
PUBLISHED: 2024, SOURCE: KNOWLEDGE AND INFORMATION SYSTEMS, VOLUME: 66, ISSUE: 8, PAGES: 4497-4525
INDEXED IN: Scopus WOS DBLP arXiv
159
TITLE: Formally Verifying Kyber Episode V: Machine-Checked IND-CCA Security and Correctness of ML-KEM in EasyCrypt
AUTHORS: Almeida, Jose Bacelar ; Olmos, Santiago Arranz; Barbosa, Manuel ; Barthe, Gilles; Dupressoir, Francois; Gregoire, Benjamin; Laporte, Vincent; Lechenet, Jean Christophe; Low, Cameron; Oliveira, Tiago; Pacheco, Hugo ; Quaresma, Miguel; Schwabe, Peter; Strub, Pierre Yves;
PUBLISHED: 2024, SOURCE: 44th Annual International Cryptology Conference on Advances in Cryptology (CRYPTO) in ADVANCES IN CRYPTOLOGY - CRYPTO 2024, PT II, VOLUME: 14921, PAGES: 384-421
INDEXED IN: Scopus WOS DBLP
160
TITLE: Foundations for a Rust-Like Borrow Checker for C
AUTHORS: Silva, Tiago; Bispo, Joao ; Carvalho, Tiago ;
PUBLISHED: 2024, SOURCE: 25th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES) in PROCEEDINGS OF THE 25TH ACM SIGPLAN/SIGBED INTERNATIONAL CONFERENCE ON LANGUAGES, COMPILERS, AND TOOLS FOR EMBEDDED SYSTEMS, LCTES 2024, PAGES: 155-165
INDEXED IN: Scopus WOS DBLP CrossRef

Results per Page: 20.
Page 8 of 422. Total results: 8429.