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
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.
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!
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: 1120
37 Team MembersFilters -> Year: 2024
AUTORES: Fábio Reis; Sandra Alves ; Mário Florido ;
PUBLICAÇÃO: 2022, FONTE: 28th International Conference on Types for Proofs and Programs, TYPES 2022 in 28th International Conference on Types for Proofs and Programs, TYPES 2022, June 20-25, 2022, LS2N, University of Nantes, France, VOLUME: 269, PÁGINAS: 8:1-8:21
AUTORES: Paiva, JC ; Queiros, R ; Leal, JP ; Swacha, J; Miernik, F;
PUBLICAÇÃO: 2022, FONTE: INFORMATION, VOLUME: 13, NÚMERO: 2, PÁGINAS: 45
AUTORES: Pedro Ribeiro ; Fernando Silva ; José Fernando Ferreira Mendes ; Rosário D Laureano ;
PUBLICAÇÃO: 2022, FONTE: NetSci-X, VOLUME: 13197
AUTORES: Silva, Vanessa Freitas ; Silva, Maria Eduarda ; Ribeiro, Pedro ; Silva, Fernando ;
PUBLICAÇÃO: 2022, FONTE: DATA MINING AND KNOWLEDGE DISCOVERY, VOLUME: 36, NÚMERO: 3, PÁGINAS: 1062-1101
AUTORES: Vaz, Bruno; Bernardes, Vitor; Figueira, Alvaro ;
PUBLICAÇÃO: 2022, FONTE: World Conference on Information Systems and Technologies (WorldCIST) in INFORMATION SYSTEMS AND TECHNOLOGIES, WORLDCIST 2022, VOL 3, VOLUME: 470, PÁGINAS: 316-326
AUTORES: Areias, Miguel ; Rocha, Ricardo ;
PUBLICAÇÃO: 2022, FONTE: COMPUTING, VOLUME: 104, NÚMERO: 10, PÁGINAS: 2279-2305
AUTORES: Guimaraes, Victor; Costa, Vitor Santos ;
PUBLICAÇÃO: 2022, FONTE: 30th International Conference on Inductive Logic Programming (ILP) held as part of the 1st International Joint Conference on Learning and Reasoning (IJCLR) in INDUCTIVE LOGIC PROGRAMMING (ILP 2021), VOLUME: 13191, PÁGINAS: 140-155
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
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.
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
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
AUTORES: Rolando Martins ; Luís Veiga; Adrien Lebre;
PUBLICAÇÃO: 2022, FONTE: MIDDLEWEDGE@Middleware
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
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
AUTORES: Sandra Alves ; Sandra Kiefer; Ana Sokolova;
PUBLICAÇÃO: 2022, FONTE: ACM SIGLOG News, VOLUME: 9, NÚMERO: 2, PÁGINAS: 31-33
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
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
AUTORES: Figueira, Alvaro ; Vaz, Bruno;
PUBLICAÇÃO: 2022, FONTE: MATHEMATICS, VOLUME: 10, NÚMERO: 15, PÁGINAS: 2733
AUTORES: Sousa, PR ; Resende, JS ; Rolando Martins ; Antunes, L ;
PUBLICAÇÃO: 2022, FONTE: JOURNAL OF ENTERPRISE INFORMATION MANAGEMENT, VOLUME: 35, NÚMERO: 6, PÁGINAS: 1477-1505