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

530 Team Members
Filters -> Year: 2025
161
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
162
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
163
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
164
TÍTULO: Exploring Competitive and Cooperative Orientations in Bartle's Taxonomy Through a GWAP Gameplay
AUTORES: Diogo Guimarães; António Correia ; Dennis Paulino; Diogo Cabral; Miguel Teixeira; AT Netto ; Walkir AT Brito; Hugo Paredes;
PUBLICAÇÃO: 2025, FONTE: Serious Games - 11th Joint International Conference, JCSG 2025, Lucerne, Switzerland, December 4-5, 2025, Proceedings, VOLUME: 16243, PÁGINAS: 3-9
INDEXADO EM: DBLP CrossRef Unpaywall
165
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
166
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
167
TÍTULO: Exploring the Effectiveness of Social Marketing on Blood Donation Engagement in Portugal
AUTORES: Manuel José Serra da Fonseca; Sara Vieira Lopes; Jorge Esparteiro Garcia ; José Gabriel Andrade; Bruno Barbosa Sousa;
PUBLICAÇÃO: 2025, FONTE: Lecture Notes in Networks and Systems - Emerging Trends in Information Systems and Technologies, PÁGINAS: 435-444
INDEXADO EM: CrossRef
168
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
169
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
170
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
171
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
172
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
173
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
174
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
175
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
176
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
177
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
178
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
179
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
180
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

Results per Page: 20.
Página 9 de 454. Total de resultados: 9063.