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

530 Team Members
Filters -> Year: 2025
121
TÍTULO: EVSOAR: Security Orchestration, Automation and Response via EV Charging Stations
AUTORES: Tadeu Freitas; Erick Silva; Rehana Yasmin; Ali Shoker; Manuel Eduardo Correia ; Rolando Martins ; Paulo Jorge Esteves Veríssimo;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2503.16984
INDEXADO EM: DBLP Unpaywall
122
TÍTULO: Exon: An Oblivious Exactly-Once Messaging Protocol With Reliable Delegation
AUTORES: Ziad Kassam; Paulo Sérgio Almeida ; Ali Shoker;
PUBLICAÇÃO: 2025, FONTE: IEEE Access, VOLUME: 13, PÁGINAS: 68290-68310
INDEXADO EM: Scopus DBLP CrossRef
123
TÍTULO: Exon: An Oblivious Exactly-Once Messaging Protocol with Reliable Delegation
AUTORES: Ziad Kassam; Paulo Sérgio Almeida ; Ali Shoker;
PUBLICAÇÃO: 2025, FONTE: IEEE Access, VOLUME: 13, PÁGINAS: 68290-68310
INDEXADO EM: Scopus
124
TÍTULO: Exploiting Trusted Execution Environments and Distributed Computation for Genomic Association Tests  Full Text
AUTORES: Claudia V Brito ; Pedro G Ferreira ; Joao T Paulo ;
PUBLICAÇÃO: 2025, FONTE: IEEE Journal of Biomedical and Health Informatics, PÁGINAS: 1-8
INDEXADO EM: Scopus CrossRef Unpaywall
125
TÍTULO: Exploring a Quantum Programming Language with Concurrency
AUTORES: Manisha Jain; Vitor Fernandes; Alexandre Madeira; Luís Soares Barbosa ;
PUBLICAÇÃO: 2025, FONTE: Companion Proceedings of the 9th International Conference on the Art, Science, and Engineering of Programming, Programming 2025, June 2-6, 2025, Prague 1, Czechia, VOLUME: 134, PÁGINAS: 16:1-16:9
INDEXADO EM: DBLP
126
TÍTULO: Exploring multimodal learning applications in marketing: A critical perspective
AUTORES: Inês César; Ivo Pereira ; Fátima Rodrigues ; Vera L Miguéis; Susana Nicola; Ana Madureira;
PUBLICAÇÃO: 2025, FONTE: Int. J. Hybrid Intell. Syst., VOLUME: 21, NÚMERO: 1, PÁGINAS: 29-46
INDEXADO EM: DBLP CrossRef: 1
127
TÍTULO: Exploring Object Detection Learning: A Teaching Guide Through Educational Online Tutorials
AUTORES: Tiago Fernandes; Tiago Silva; João Vaz; João Silva; Gonçalo Cruz; António Sousa; João Barroso ; Paulo Martins; Vitor Filipe ;
PUBLICAÇÃO: 2025, FONTE: Communications in Computer and Information Science - Technology and Innovation in Learning, Teaching and Education, PÁGINAS: 121-134
INDEXADO EM: CrossRef
128
TÍTULO: Extended Abstract—Stories of Peso da Régua: The Enigma of the Ancient Vines - The Co-Creation Process of an Immersive Experience in Cibricity
AUTORES: Eliane Schlemmer; Maria Van Zeller; Diana Quitéria Sousa ; Patrícia Scherer Bassani;
PUBLICAÇÃO: 2025, FONTE: 2025 11th International Conference of the Immersive Learning Research Network (iLRN) Proceedings - Selected Academic Contributions, PÁGINAS: 14-20
INDEXADO EM: CrossRef Unpaywall
129
TÍTULO: Extending the Quantitative Pattern-Matching Paradigm
AUTORES: Alves, Sandra ; Kesner, Delia; Ramos, Miguel ;
PUBLICAÇÃO: 2025, FONTE: 22nd Asian Symposium on Programming Languages and Systems in PROGRAMMING LANGUAGES AND SYSTEMS, APLAS 2024, VOLUME: 15194, PÁGINAS: 84-105
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
130
TÍTULO: Factors associated to the perceived adherence to a healthy diet in overweight treatment
AUTORES: Estela Caetano; Bruno MPM Oliveira ; Flora Correia; Duarte Torres; Rui Poínhos;
PUBLICAÇÃO: 2025, FONTE: Acta Portuguesa de Nutrição, VOLUME: 40, PÁGINAS: 18-22
INDEXADO EM: CrossRef
131
TÍTULO: Fairness Analysis in Causal Models: An Application to Public Procurement
AUTORES: Teixeira, Sonia ; Nogueira, Ana Rita ; Gama, Joao ;
PUBLICAÇÃO: 2025, FONTE: 8th European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases in MACHINE LEARNING AND PRINCIPLES AND PRACTICE OF KNOWLEDGE DISCOVERY IN DATABASES, ECML PKDD 2023, PT II, VOLUME: 2134, PÁGINAS: 197-211
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
132
TÍTULO: Fast Computation of the Discrete Fourier Transform Square Index Coefficients  Full Text
AUTORES: Saulo Queiroz; João Vilela ; Edmundo Monteiro; Xingyu Li;
PUBLICAÇÃO: 2025, FONTE: IEEE SIGNAL PROCESSING MAGAZINE, VOLUME: 42, NÚMERO: 2, PÁGINAS: 88-92
INDEXADO EM: Scopus WOS CrossRef: 1
133
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
134
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
135
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
136
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
137
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
138
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
139
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
140
TÍTULO: Frontiers of the Past in the Digital World: Multidisciplinary Collaboration in the 3D Reconstitution of Medieval Border Towns
AUTORES: Demetrius Lacet; Fabián Cuesta Gómez; Sara Prata; Luísa Trindade; Gonçalo Melo da Silva; Adelaide Costa; Maria van Zeller; Leonel Morgado ; António Coelho ; Tiago Alves; João Filipe;
PUBLICAÇÃO: 2025, FONTE: IEEE Conference on Virtual Reality and 3D User Interfaces, VR 2025 - Abstracts and Workshops, Saint Malo, France, March 8-12, 2025, PÁGINAS: 421-429
INDEXADO EM: Scopus DBLP CrossRef Unpaywall

Results per Page: 20.
Página 7 de 449. Total de resultados: 8968.