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

530 Team Members
Filters -> Year: 2025
181
TÍTULO: Faster Verification of Faster Implementations: Combining Deductive and Circuit-Based Reasoning in EasyCrypt
AUTORES: Almeida, Jose Bacelar ; Alves, Gustavo Xavier Delerue Marinho; Barbosa, Manuel ; Barthe, Gilles; Esquivel, Luis; Hwang, Vincent; Oliveira, Tiago; Pacheco, Hugo ; Schwabe, Peter; Strub, Pierre Yves;
PUBLICAÇÃO: 2025, FONTE: 2025 Symposium on Security and Privacy-SP in 2025 IEEE SYMPOSIUM ON SECURITY AND PRIVACY, SP, PÁGINAS: 3820-3838
INDEXADO EM: Scopus WOS DBLP
182
TÍTULO: Fine-Tuning Transformer-Based LLMs in Hierarchical Text Classification
AUTORES: Joana Santos; Nuno Silva; Carlos Ferreira; João Gama ;
PUBLICAÇÃO: 2025, FONTE: 28th International Conference on Discovery Science, DS 2025 in Discovery Science - 28th International Conference, DS 2025, Ljubljana, Slovenia, September 23-25, 2025, Proceedings, VOLUME: 16090, PÁGINAS: 427-442
INDEXADO EM: Scopus DBLP CrossRef
183
TÍTULO: First Twenty Years of the International Symposium on Applied Reconfigurable Computing (ARC): A Selection of Papers
AUTORES: João M P Cardoso ; Walid A Najjar;
PUBLICAÇÃO: 2025, FONTE: 21st International Symposium on Applied Reconfigurable Computing, ARC 2025 in Applied Reconfigurable Computing. Architectures, Tools, and Applications - 21st International Symposium, ARC 2025, Seville, Spain, April 9-11, 2025, Proceedings, VOLUME: 15594, PÁGINAS: 3-12
INDEXADO EM: Scopus DBLP CrossRef
184
TÍTULO: Fish swarm parameter self-tuning for data streams  Full Text
AUTORES: Bruno Veloso ; Hugo Amorim Neto; Fernando Buarque; João Gama;
PUBLICAÇÃO: 2025, FONTE: Data Mining and Knowledge Discovery, VOLUME: 40, NÚMERO: 1
INDEXADO EM: CrossRef Unpaywall
185
TÍTULO: Formal Approaches for Interactive Systems
AUTORES: José Creissac Campos ; Michael D Harrison;
PUBLICAÇÃO: 2025, FONTE: Handbook of Human Computer Interaction, PÁGINAS: 1-28
INDEXADO EM: CrossRef
186
TÍTULO: Formally Verified Correctness Bounds for Lattice-Based Cryptography
AUTORES: Manuel Barbosa ; Matthias J Kannwischer; Thing Han Lim; Peter Schwabe; Pierre Yves Strub;
PUBLICAÇÃO: 2025, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2025, PÁGINAS: 1562
INDEXADO EM: DBLP
187
TÍTULO: FRaN-X: FRaming and Narratives-eXplorer
AUTORES: Artur Muratov; Hana Fatima Shaikh; Vanshikaa Jani; Tarek Mahmoud; Zhuohan Xie; Daniil Orel; Aaryamonvikram Singh; Yuxia Wang; Aadi Joshi; Hasan Iqbal; Ming Shan Hee; Dhruv Sahnan; Nikolaos Nikolaidis; Purificação Silvano; Dimitar Dimitrov; Roman Yangarber; Ricardo Campos ; Alípio Jorge; Nuno Guimarães ; Elisa Sartori; Nicolas Stefanovitch; Giovanni Da San Martino; Jakub Piskorski; Preslav Nakov; ...Mais
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2507.06974
INDEXADO EM: DBLP
188
TÍTULO: From "Worse is Better" to Better: Lessons from a Mixed Methods Study of Ansible's Challenges
AUTORES: Carolina Carreira; Nuno Saavedra; Alexandra Mendes ; João F Ferreira;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2504.08678
INDEXADO EM: DBLP
189
TÍTULO: From data to action: How AI and learning analytics are shaping the future of distance education. How AI and Learning Analytics Are Shaping the Future of Distance Education
AUTORES: João Tiago Dias; Arnaldo Santos ; Henrique São Mamede ;
PUBLICAÇÃO: 2025, FONTE: AI and Learning Analytics in Distance Learning, PÁGINAS: 229-252
INDEXADO EM: Scopus CrossRef Unpaywall
190
TÍTULO: Frontiers of the Past in the Digital World: Multidisciplinary Collaboration in the 3D Reconstitution of Medieval Border Towns
AUTORES: Lacet, Demetrius; Cuesta Gomez, Fabian; Prata, Sara; Trindade, Luisa; da Silva, Gonralo Melo; Costa, Adelaide; Van Zeller, Maria ; Morgado, Leonel ; Coelho, Antonio ; Alves, Tiago; Filipe, Joao;
PUBLICAÇÃO: 2025, FONTE: 2025 Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops-VRW in 2025 IEEE CONFERENCE ON VIRTUAL REALITY AND 3D USER INTERFACES ABSTRACTS AND WORKSHOPS, VRW, PÁGINAS: 421-429
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
191
TÍTULO: Function-Oriented Programming Attacks on ARM Cortex-M Processors
AUTORES: Cirne, Andre ; Sousa, Patricia R.; Antunes, Luis ; Resende, Joao S. ;
PUBLICAÇÃO: 2025, FONTE: IEEE ACCESS, VOLUME: 13, PÁGINAS: 161844-161853
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
192
TÍTULO: GAMFLEW: serious game to teach white-box testing
AUTORES: Silva, Mateus; Paiva, Ana C. R. ; Mendes, Alexandra ;
PUBLICAÇÃO: 2025, FONTE: SOFTWARE QUALITY JOURNAL, VOLUME: 33, NÚMERO: 1, PÁGINAS: 5
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
193
TÍTULO: Gamification in Digital Marketing for Boosting Tourist Destination Competitiveness: A Case Study
AUTORES: Jorge Esparteiro Garcia ; Bruno Pereira; Bruno Sousa; Manuel José Fonseca;
PUBLICAÇÃO: 2025, FONTE: International Conference on Marketing and Technologies, ICMarkTech 2024 in Smart Innovation, Systems and Technologies, VOLUME: 439, PÁGINAS: 381-397
INDEXADO EM: Scopus CrossRef
194
TÍTULO: GANs in the Panorama of Synthetic Data Generation Methods. Application and Evaluation: Enhancing Fake News Detection with GAN-Generated Synthetic Data  Full Text
AUTORES: Vaz, Bruno; Figueira, Alvaro ;
PUBLICAÇÃO: 2025, FONTE: ACM TRANSACTIONS ON MULTIMEDIA COMPUTING COMMUNICATIONS AND APPLICATIONS, VOLUME: 21, NÚMERO: 1
INDEXADO EM: Scopus WOS CrossRef: 11 Unpaywall
195
TÍTULO: Generative Adversarial Networks for Synthetic Meteorological Data Generation
AUTORES: Viana, Diogo; Teixeira, Rita; Soares, Tiago ; Baptista, Jose ; Pinto, Tiago ;
PUBLICAÇÃO: 2025, FONTE: 23rd EPIA Conference on Artificial Intelligence-EPIA in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2024, PT II, VOLUME: 14968, PÁGINAS: 197-206
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
196
TÍTULO: Generative Narrative-Driven Game Mechanics for Procedural Driving Simulators
AUTORES: Nelson Bilber Rodrigues ; António Coelho ; Rosaldo J F Rossetti;
PUBLICAÇÃO: 2025, FONTE: 20th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications, VISIGRAPP 2025 in Proceedings of the 20th International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications, VISIGRAPP 2025 - Volume 1: GRAPP, HUCAPP and IVAPP, Porto, Portugal, February 26-28, 2025., VOLUME: 1, PÁGINAS: 339-346
INDEXADO EM: Scopus DBLP CrossRef Unpaywall
197
TÍTULO: Geo-Indistinguishability
AUTORES: Ricardo Mendes; João Vilela ;
PUBLICAÇÃO: 2025, FONTE: Encyclopedia of Cryptography, Security and Privacy, Third Edition, PÁGINAS: 1010-1012
INDEXADO EM: Scopus CrossRef Unpaywall
198
TÍTULO: Greening AI-enabled Systems with Software Engineering: A Research Agenda for Environmentally Sustainable AI Practices
AUTORES: Luis Cruz; João Paulo Fernandes; Maja H Kirkeby; Silverio Martínez Fernández; June Sallou; Hina Anwar; Enrique Barba Roque; Justus Bogner; Joel Castaño; Fernando Castor; Aadil Chasmawala; Simão Cunha; Daniel Feitosa; Alexandra González; Andreas Jedlitschka; Patricia Lago; Henry Muccini; Ana Oprescu; Pooja Rani; João Saraiva ; Federica Sarro; Raghavendra Selvan; Karthik Vaidhyanathan; Roberto Verdecchia; Ivan P Yamshchikov; ...Mais
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2506.01774
INDEXADO EM: DBLP
199
TÍTULO: Guidelines for Using Mixed Reality to Teach STEM Subjects
AUTORES: Bruno Pataca; João Barroso ; Vitor Santos;
PUBLICAÇÃO: 2025, FONTE: Communications in Computer and Information Science - Technology and Innovation in Learning, Teaching and Education, PÁGINAS: 362-372
INDEXADO EM: CrossRef
200
TÍTULO: Haka'a'Museum: Designing for a Sustainable Ocean
AUTORES: Van Zeller, Maria ; Cesario, Vanessa;
PUBLICAÇÃO: 2025, FONTE: 2025 Designing Interactive Systems Conference-DIS in COMPANION PROCEEDINGS OF THE 2025 ACM DESIGNING INTERACTIVE SYSTEMS CONFERENCE, DIS 2025, PÁGINAS: 39-41
INDEXADO EM: Scopus WOS CrossRef

Results per Page: 20.
Página 10 de 455. Total de resultados: 9097.