Center for Research in Advanced Computing Systems (CRACS)
Center for Research in Advanced Computing Systems

Inesc Tecnologia e Ciência (INESC TEC) :: CS: Computer Science

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

43 Team Members
Filters -> Year: 2026
201
TÍTULO: Parallel Logic Programming: A Sequel
AUTORES: Dovier, Agostino; Formisano, Andrea; Gupta, Gopal; Hermenegildo, Manuel, V; Pontelli, Enrico; Rocha, Ricardo ;
PUBLICAÇÃO: 2022, FONTE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 22, NÚMERO: 6, PÁGINAS: 905-973
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
202
TÍTULO: Planning and Optimization of Software-Defined and Virtualized IoT Gateway Deployment for Smart Campuses  Full Text
AUTORES: Ferreira Jr, Divino; Oliveira, Joao Lucas; Santos, Carlos; Filho, Tercio; Ribeiro, Maria ; Freitas, Leandro Alexandre; Moreira, Waldir ; Oliveira Jr, Antonio; ;
PUBLICAÇÃO: 2022, FONTE: SENSORS, VOLUME: 22, NÚMERO: 13, PÁGINAS: 4710
INDEXADO EM: Scopus WOS CrossRef: 5
203
TÍTULO: Poster: Students' Usability Evaluation of the FGPE Gamified Programming Learning Environment
AUTORES: Jakub Swacha; Filip Miernik; Marzena Sylwia Ignasiak; Raffaele Montella; Ciro Giuseppe De Vita; Gennaro Mellone; Ricardo Queirós ; José Carlos Paiva ; José Paulo Leal ; Sokol Kosta;
PUBLICAÇÃO: 2022, FONTE: Information Systems Development: Artificial Intelligence for Information Systems Development and Operations (ISD2022 Proceedings), Cluj-Napoca, Romania, 31 August - 2 September 2022.
INDEXADO EM: DBLP CrossRef
204
TÍTULO: Prediction of Mobile App Privacy Preferences with User Profiles via Federated Learning
AUTORES: Brandao, Andre; Mendes, Ricardo; Vilela, Joao P. ;
PUBLICAÇÃO: 2022, FONTE: ACM Conference on Data and Application Security and Privacy (CODASPY) in CODASPY'22: PROCEEDINGS OF THE TWELVETH ACM CONFERENCE ON DATA AND APPLICATION SECURITY AND PRIVACY, PÁGINAS: 89-100
INDEXADO EM: Scopus WOS CrossRef: 12 Unpaywall
205
TÍTULO: Preface
AUTORES: Prieto, J; Partida, A; Leitão, P; Pinto, A ;
PUBLICAÇÃO: 2022, FONTE: 3rd International Congress on Blockchain and Applications, BLOCKCHAIN 2021 in Lecture Notes in Networks and Systems, VOLUME: 320 LNNS
INDEXADO EM: Scopus
206
TÍTULO: Preface
AUTORES: Ribeiro, P ; Silva, F ; Mendes, JF ; Laureano, R ;
PUBLICAÇÃO: 2022, FONTE: 7th International Conference and School of Network Science, NetSci-X 2022 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 13197 LNCS
INDEXADO EM: Scopus
207
TÍTULO: Profiling the Portuguese Data Protection Officer in the Context of GDPR
AUTORES: Pereira, J; Cepa, A; Carneiro, P; Pinto, A ; Pinto, P ;
PUBLICAÇÃO: 2022, FONTE: European Data Protection Law Review, VOLUME: 8, NÚMERO: 4, PÁGINAS: 527-531
INDEXADO EM: Scopus CrossRef Unpaywall
208
TÍTULO: Quantitative Weak Linearisation
AUTORES: Sandra Alves ; Daniel Ventura;
PUBLICAÇÃO: 2022, FONTE: 19th International Colloquium on Theoretical Aspects of Computing, ICTAC 2022 in Theoretical Aspects of Computing - ICTAC 2022 - 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings, VOLUME: 13572, PÁGINAS: 78-95
INDEXADO EM: Scopus DBLP CrossRef
209
TÍTULO: Quantum transfer learning for breast cancer detection
AUTORES: Azevedo, V; Silva, C ; Dutra, I ;
PUBLICAÇÃO: 2022, FONTE: QUANTUM MACHINE INTELLIGENCE, VOLUME: 4, NÚMERO: 1
INDEXADO EM: Scopus WOS DBLP CrossRef: 58
210
TÍTULO: Report on women in logic 2020 & 2021
AUTORES: Sandra Alves ; Sandra Kiefer; Ana Sokolova;
PUBLICAÇÃO: 2022, FONTE: ACM SIGLOG News, VOLUME: 9, NÚMERO: 2, PÁGINAS: 31-33
INDEXADO EM: DBLP
211
TÍTULO: ScraPE - An Automated Tool for Programming Exercises Scraping
AUTORES: Ricardo Queirós ;
PUBLICAÇÃO: 2022, FONTE: 11th Symposium on Languages, Applications and Technologies, SLATE 2022 in 11th Symposium on Languages, Applications and Technologies, SLATE 2022, July 14-15, 2022, Universidade da Beira Interior, Covilhã, Portugal., VOLUME: 104, PÁGINAS: 18:1-18:7
INDEXADO EM: Scopus DBLP
212
TÍTULO: Sensor data modeling with Bayesian networks
AUTORES: Silva, C ; Rodrigues, A; Jorge, A; Dutra, I ;
PUBLICAÇÃO: 2022, FONTE: 2022 IEEE International Conference on Industry 4.0, Artificial Intelligence, and Communications Technology, IAICT 2022 in Proceedings of the 2022 IEEE International Conference on Industry 4.0, Artificial Intelligence, and Communications Technology, IAICT 2022, PÁGINAS: 261-267
INDEXADO EM: Scopus CrossRef: 1
213
TÍTULO: Structural Rules and Algebraic Properties of Intersection Types
AUTORES: Sandra Alves ; Mário Florido ;
PUBLICAÇÃO: 2022, FONTE: 19th International Colloquium on Theoretical Aspects of Computing, ICTAC 2022 in Theoretical Aspects of Computing - ICTAC 2022 - 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings, VOLUME: 13572, PÁGINAS: 60-77
INDEXADO EM: Scopus DBLP CrossRef: 1
214
TÍTULO: Survey on Synthetic Data Generation, Evaluation Methods and GANs  Full Text
AUTORES: Figueira, Alvaro ; Vaz, Bruno;
PUBLICAÇÃO: 2022, FONTE: MATHEMATICS, VOLUME: 10, NÚMERO: 15, PÁGINAS: 2733
INDEXADO EM: Scopus WOS CrossRef: 298
215
TÍTULO: The case for blockchain in IoT identity management
AUTORES: Sousa, PR ; Resende, JS ; Martins, R ; Antunes, L ;
PUBLICAÇÃO: 2022, FONTE: JOURNAL OF ENTERPRISE INFORMATION MANAGEMENT, VOLUME: 35, NÚMERO: 6, PÁGINAS: 1477-1505
INDEXADO EM: Scopus WOS DBLP CrossRef: 26
216
TÍTULO: The Dangers of Gamification
AUTORES: Ricardo Queirós ; Mário Pinto;
PUBLICAÇÃO: 2022, FONTE: Advanced Research in Technologies, Information, Innovation and Sustainability - Second International Conference, ARTIIS 2022, Santiago de Compostela, Spain, September 12-15, 2022, Revised Selected Papers, Part I, VOLUME: 1675, PÁGINAS: 151-162
INDEXADO EM: DBLP
217
TÍTULO: The Dangers of Gamification
AUTORES: Queiros, Ricardo ; Pinto, Mario;
PUBLICAÇÃO: 2022, FONTE: 2nd International Conference Advanced Research in Technologies, Information, Innovation and Sustainability ARTIIS in ADVANCED RESEARCH IN TECHNOLOGIES, INFORMATION, INNOVATION AND SUSTAINABILITY, ARTIIS 2022, PT I, VOLUME: 1675, PÁGINAS: 151-162
INDEXADO EM: Scopus WOS CrossRef: 3
218
TÍTULO: Threat Detection and Mitigation with Honeypots: A Modular Approach for IoT
AUTORES: Simão Silva; Patrícia R Sousa ; João S Resende ; Luis Filipe Coelho Antunes ;
PUBLICAÇÃO: 2022, FONTE: 19th International Conference on Trust, Privacy and Security in Digital Business, TrustBus 2022 in Trust, Privacy and Security in Digital Business - 19th International Conference, TrustBus 2022, Vienna, Austria, August 24, 2022, Proceedings, VOLUME: 13582, PÁGINAS: 66-80
INDEXADO EM: Scopus DBLP CrossRef Unpaywall
219
TÍTULO: Typed SLD-Resolution: Dynamic Typing for Logic Programming
AUTORES: Barbosa, Joao ; Florido, Mario ; Costa, Vitor Santos ;
PUBLICAÇÃO: 2022, FONTE: 32nd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR) in LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2022), VOLUME: 13474, PÁGINAS: 123-141
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
220
TÍTULO: Virtual and Augmented Reality Awareness Tools for Universal Design. Towards Active Preventive Healthcare
AUTORES: Luis Pinto Coelho; Idalina Freitas; Dorota Urszula Kaminska; Ricardo Queirós ; Anna Laska-Lesniewicz; Grzegorz Zwolinski; Rui Raposo ; Mário Vairinhos; Elisabeth T Pereira; Eric Haamer; Gholamreza Anbarjafari;
PUBLICAÇÃO: 2022, FONTE: Emerging Advancements for Virtual and Augmented Reality in Healthcare - Advances in Medical Technologies and Clinical Practice, PÁGINAS: 11-24
INDEXADO EM: CrossRef: 3

Results per Page: 20.
Página 11 de 65. Total de resultados: 1285.