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

531 Team Members
Filters -> Year: 2025
161
TÍTULO: Explaining Temporal Logic Model Checking Counterexamples Through the Use of Structured Natural Language
AUTORES: Ferreira Moreira, Ezequiel Jose Veloso; Campo, Jose Creissac ;
PUBLICAÇÃO: 2024, FONTE: 15th ACMSIGCHI Conference on Engineering Interactive Computing Systems (EICS) in ENGINEERING INTERACTIVE COMPUTER SYSTEMS, EICS 2023 INTERNATIONAL WORKSHOPS AND DOCTORAL CONSORTIUM, VOLUME: 14517, PÁGINAS: 179-197
INDEXADO EM: Scopus WOS DBLP CrossRef
162
TÍTULO: Exploring Frama-C Resources by Verifying Space Software
AUTORES: Rovedy Aparecida Busquim e Silva; Nanci Naomi Arai; Luciana Akemi Burgareli; Jose Maria Parente de Oliveira; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2024, FONTE: Computer Science Foundations and Applied Logic, PÁGINAS: 583-615
INDEXADO EM: CrossRef Unpaywall
163
TÍTULO: Exploring HEIs Students' Perceptions of Artificial Intelligence on their Learning Process
AUTORES: Lurdes Babo; Jorge P Mendonca; Ricardo Queiros ; Carla A Pinto; Mario Cruz; Daniela Mascarenhas;
PUBLICAÇÃO: 2024, FONTE: 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
INDEXADO EM: Scopus
164
TÍTULO: Exploring students' opinion on software testing courses
AUTORES: Cammaerts, Felix; Tramontana, Porfirio; Paiva, Ana C. R. ; Flores, Nuno ; Ricos, Fernando Pastor; Snoeck, Monique;
PUBLICAÇÃO: 2024, FONTE: 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, PÁGINAS: 570-579
INDEXADO EM: Scopus WOS DBLP CrossRef
165
TÍTULO: Exploring the Relationship between Decision-Making Styles and Emotion Regulation: A Study of Police Officials in Portuguese Public Security
AUTORES: Carvalho, Carla; Pinto, Ana; Pinedo, Beatriz; Soraia Oliveira ; Gondim, Sonia Maria Guedes; Carlotto, Mary Sandra; de Moura, Rui Coelho;
PUBLICAÇÃO: 2024, FONTE: SOCIAL SCIENCES-BASEL, VOLUME: 13, NÚMERO: 10, PÁGINAS: 544
INDEXADO EM: Scopus WOS CrossRef
166
TÍTULO: Exploring Virtual Reality in Omnichannel Marketing: A Systematic Review
AUTORES: Rogério Silva; Ivo Pereira; Susana Nicola; Ana Maria Madureira ;
PUBLICAÇÃO: 2024, FONTE: International Conference on Marketing and Technologies, ICMarkTech 2023 in Smart Innovation, Systems and Technologies, VOLUME: 386, PÁGINAS: 865-880
INDEXADO EM: Scopus CrossRef: 1
167
TÍTULO: Extending C2 Traffic Detection Methodologies: From TLS 1.2 to TLS 1.3-enabled Malware
AUTORES: Barradas, Diogo; Novo, Carlos; Portela, Bernardo ; Romeiro, Sofia; Santos, Nuno;
PUBLICAÇÃO: 2024, FONTE: 27th International Symposium on Research in Attacks, Intrusions and Defenses (RAID) in PROCEEDINGS OF 27TH INTERNATIONAL SYMPOSIUM ON RESEARCH IN ATTACKS, INTRUSIONS AND DEFENSES, RAID 2024, PÁGINAS: 181-196
INDEXADO EM: Scopus WOS DBLP CrossRef
168
TÍTULO: Extending the Quantitative Pattern-Matching Paradigm
AUTORES: Sandra Alves ; Delia Kesner; Miguel Ramos ;
PUBLICAÇÃO: 2024, FONTE: 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, PÁGINAS: 84-105
INDEXADO EM: Scopus DBLP
169
TÍTULO: Factors Affecting Cloud Computing Adoption in the Education Context-Systematic Literature Review
AUTORES: Santos, Antonio; Martins, Jose; Pestana, Pedro Duarte; Goncalves, Ramiro; Mamede, Henrique Sao ; Branco, Frederico ;
PUBLICAÇÃO: 2024, FONTE: IEEE ACCESS, VOLUME: 12, PÁGINAS: 71641-71674
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
170
TÍTULO: Federated Learning in Medical Image Analysis: A Systematic Survey  Full Text
AUTORES: da Silva, Fabiana Rodrigues; Camacho, Rui ; João Manuel R. S. Tavares;
PUBLICAÇÃO: 2024, FONTE: ELECTRONICS, VOLUME: 13, NÚMERO: 1, PÁGINAS: 47
INDEXADO EM: Scopus WOS CrossRef Unpaywall
171
TÍTULO: Federated Online Learning for Heavy Hitter Detection
AUTORES: Paula Raissa Silva; João Vinagre; João Gama ;
PUBLICAÇÃO: 2024, FONTE: 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, PÁGINAS: 4689-4695
INDEXADO EM: DBLP CrossRef
172
TÍTULO: Floralens: a Deep Learning Model for the Portuguese Native Flora
AUTORES: António Filgueiras; Eduardo R B Marques ; Luís M B Lopes ; Miguel Marques; Hugo Silva;
PUBLICAÇÃO: 2024, FONTE: CoRR, VOLUME: abs/2403.12072
INDEXADO EM: DBLP
173
TÍTULO: Flow Correlation Attacks on Tor Onion Service Sessions with Sliding Subset Sum
AUTORES: Daniela Lopes; Jin Dong Dong; Pedro Medeiros; Daniel Castro; Diogo Barradas; Bernardo Portela ; João Vinagre; Bernardo Ferreira; Nicolas Christin; Nuno Santos;
PUBLICAÇÃO: 2024, FONTE: 31st Annual Network and Distributed System Security Symposium, NDSS 2024, San Diego, California, USA, February 26 - March 1, 2024
INDEXADO EM: DBLP
174
TÍTULO: Forecasting financial market structure from network features using machine learning PDF  Full Text
AUTORES: Castilho, Douglas; Souza, Tharsis T. P.; Kang, Soong Moon; Gama, Joao ; de Carvalho, Andre C. P. L. F.;
PUBLICAÇÃO: 2024, FONTE: KNOWLEDGE AND INFORMATION SYSTEMS, VOLUME: 66, NÚMERO: 8, PÁGINAS: 4497-4525
INDEXADO EM: Scopus WOS DBLP arXiv
175
TÍTULO: Forecasting financial market structure from network features using machine learning
AUTORES: Douglas Castilho; Thársis T P Souza; Soong Moon Kang; João Gama ; André C P L F de Carvalho;
PUBLICAÇÃO: 2024, FONTE: Knowl. Inf. Syst., VOLUME: 66, NÚMERO: 8, PÁGINAS: 4497-4525
INDEXADO EM: DBLP
176
TÍTULO: Formally Verifying Kyber Episode V: Machine-Checked IND-CCA Security and Correctness of ML-KEM in EasyCrypt
AUTORES: 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;
PUBLICAÇÃO: 2024, FONTE: 44th Annual International Cryptology Conference on Advances in Cryptology (CRYPTO) in ADVANCES IN CRYPTOLOGY - CRYPTO 2024, PT II, VOLUME: 14921, PÁGINAS: 384-421
INDEXADO EM: Scopus WOS DBLP
177
TÍTULO: Foundations for a Rust-Like Borrow Checker for C
AUTORES: Silva, Tiago; Bispo, Joao ; Carvalho, Tiago ;
PUBLICAÇÃO: 2024, FONTE: 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, PÁGINAS: 155-165
INDEXADO EM: Scopus WOS DBLP CrossRef
178
TÍTULO: FRAFOL: FRAmework FOr Learning mutation testing
AUTORES: Tavares, Pedro; Paiva, Ana ; Amalfitano, Domenico; Just, Rene;
PUBLICAÇÃO: 2024, FONTE: 33rd ACM SIGSOFT International Conference on Software Testing and Analysis (ISSTA) in PROCEEDINGS OF THE 33RD ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS, ISSTA 2024, PÁGINAS: 1846-1850
INDEXADO EM: Scopus WOS DBLP CrossRef
179
TÍTULO: Framework for adaptive serious games  Full Text
AUTORES: Pistono, Alvaro Marcos Antonio de Araujo; dos Santos, Arnaldo Manuel Pinto ; Baptista, Ricardo Jose Vieira; Mamede, Henrique Sao ;
PUBLICAÇÃO: 2024, FONTE: COMPUTER APPLICATIONS IN ENGINEERING EDUCATION, VOLUME: 32, NÚMERO: 4
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
180
TÍTULO: From fault detection to anomaly explanation: A case study on predictive maintenance  Full Text
AUTORES: Gama, Joao ; Ribeiro, Rita P. ; Mastelini, Saulo; Davari, Narjes ; Veloso, Bruno ;
PUBLICAÇÃO: 2024, FONTE: JOURNAL OF WEB SEMANTICS, VOLUME: 81, PÁGINAS: 100821
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall

Results per Page: 20.
Página 9 de 423. Total de resultados: 8458.