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: 1133
37 Team MembersFilters -> Year: 2025
AUTORES: José Paulo Leal ; Ricardo Queirós ; Pedro Ferreirinha; Jakub Swacha;
PUBLICAÇÃO: 2022, FONTE: 3rd International Computer Programming Education Conference, ICPEC 2022 in Third International Computer Programming Education Conference, ICPEC 2022, June 2-3, 2022, Polytechnic Institute of Cávado and Ave (IPCA), Barcelos, Portugal., VOLUME: 102, PÁGINAS: 12:1-12:12


AUTORES: Goncalves, Ricardo; Ferreira, Ines; Godina, Radu; Pinto, Pedro ; Pinto, Antonio ;
PUBLICAÇÃO: 2022, FONTE: 3rd International Congress on Blockchain and Applications (BLOCKCHAIN) in BLOCKCHAIN AND APPLICATIONS, VOLUME: 320, PÁGINAS: 252-260
AUTORES: Filipe David; Nuno Guimarães ; Álvaro Figueira ;
PUBLICAÇÃO: 2022, FONTE: 2022 International Conference on ENTERprise Information Systems, CENTERIS 2022 - International Conference on Project MANagement, ProjMAN 2022 and International Conference on Health and Social Care Information Systems and Technologies, HCist 2022 in CENTERIS 2022 - International Conference on ENTERprise Information Systems / ProjMAN - International Conference on Project MANagement / HCist - International Conference on Health and Social Care Information Systems and Technologies 2022, Hybrid Event / Lisbon, Portugal, November 9-11, 2022., VOLUME: 219, PÁGINAS: 228-235
AUTORES: Álvaro Figueira ; Lirielly Vitorugo Nascimento;
PUBLICAÇÃO: 2022, FONTE: 18th International Conference on Web Information Systems and Technologies, WEBIST 2022 in Web Information Systems and Technologies - 18th International Conference, WEBIST 2022, Valletta, Malta, October 25-27, 2022, Revised Selected Papers, VOLUME: 494, PÁGINAS: 166-185
AUTORES: Paiva, Jose Carlos ; Leal, Jose Paulo ; Figueira, Alvaro ;
PUBLICAÇÃO: 2022, FONTE: ACM TRANSACTIONS ON COMPUTING EDUCATION, VOLUME: 22, NÚMERO: 3, PÁGINAS: 34:1-34:40
AUTORES: Alves, F; Martins, FMS; Areias, M ; Antonio Muñoz Mérida ;
PUBLICAÇÃO: 2022, FONTE: SCIENTIFIC REPORTS, VOLUME: 12, NÚMERO: 1
AUTORES: Antunes, Mario ; Oliveira, Luis; Seguro, Afonso; Verissimo, Joao; Salgado, Ruben; Murteira, Tiago;
PUBLICAÇÃO: 2022, FONTE: INFORMATICS-BASEL, VOLUME: 9, NÚMERO: 1, PÁGINAS: 29
AUTORES: Javier Prieto; Alberto Partida; Paulo Leitão; António Pinto ;
PUBLICAÇÃO: 2022, FONTE: BLOCKCHAIN, VOLUME: 320
AUTORES: João Alves; António Pinto ;
PUBLICAÇÃO: 2022, FONTE: 4th International Congress on Blockchain and Applications, BLOCKCHAIN 2022 in Blockchain and Applications, 4th International Congress, BLOCKCHAIN 2022, L'Aquila, Italy, 13-15 July 2022., VOLUME: 595, PÁGINAS: 173-182
AUTORES: Munkenyi Mukhandi; Francisco Damiao; Jorge Granjal; Joao P Vilela ;
PUBLICAÇÃO: 2022, FONTE: Proceedings - IEEE Consumer Communications and Networking Conference, CCNC, PÁGINAS: 433-436
AUTORES: Barbosa, Joao ; Florido, Mario ; Costa, Vitor Santos ;
PUBLICAÇÃO: 2022, FONTE: 31st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR) in LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2021), VOLUME: 13290, PÁGINAS: 16-37
AUTORES: Ferreira, Sara; Antunes, Mario ; Manuel E. Correia ;
PUBLICAÇÃO: 2022, FONTE: ERCIM NEWS, VOLUME: 2022, NÚMERO: 129, PÁGINAS: 13-14


AUTORES: Álvaro Figueira ; Lirielly Vitorugo Nascimento;
PUBLICAÇÃO: 2022, FONTE: 18th International Conference on Web Information Systems and Technologies, WEBIST 2022 in Proceedings of the 18th International Conference on Web Information Systems and Technologies, WEBIST 2022, Valletta, Malta, October 25-27, 2022., VOLUME: 2022-October, PÁGINAS: 355-362
AUTORES: Mendes, Ricardo; Brandao, Andre; Vilela, Joao P. ; Beresford, Alastair R.;
PUBLICAÇÃO: 2022, FONTE: 20th IEEE International Conference on Pervasive Computing and Communications (IEEE PerCom) in 2022 IEEE INTERNATIONAL CONFERENCE ON PERVASIVE COMPUTING AND COMMUNICATIONS (PERCOM), PÁGINAS: 207-214
AUTORES: Mendes, Ricardo; Cunha, Mariana ; Vilela, Joao P. ; Beresford, Alastair R.;
PUBLICAÇÃO: 2022, FONTE: 27th European Symposium on Research in Computer Security (ESORICS) in COMPUTER SECURITY - ESORICS 2022, PT I, VOLUME: 13554, PÁGINAS: 153-172
AUTORES: Pedro Sousa; António Pinto ; Pedro Pinto ;
PUBLICAÇÃO: 2022, FONTE: J. Cybersecur. Priv., VOLUME: 2, NÚMERO: 3, PÁGINAS: 700-713
AUTORES: Koerner, Philipp; Leuschel, Michael; Barbosa, Joao ; Costa, Vitor Santos ; Dahl, Veronica; Hermenegildo, Manuel, V; Morales, Jose F.; Wielemaker, Jan; Diaz, Daniel; Abreu, Salvador ; Ciatto, Giovanni;
PUBLICAÇÃO: 2022, FONTE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 22, NÚMERO: 6, PÁGINAS: 776-858
AUTORES: Philipp Körner; Michael Leuschel; João Barbosa; Vítor Santos Costa ; Verónica Dahl; Manuel V Hermenegildo; José F Morales; Jan Wielemaker; Daniel Diaz; Salvador Abreu;
PUBLICAÇÃO: 2022, FONTE: Theory Pract. Log. Program., VOLUME: 22, NÚMERO: 6, PÁGINAS: 776-858

AUTORES: Ricardo Alexandre Peixoto de Queiros ;
PUBLICAÇÃO: 2022, FONTE: Exploring the Convergence of Computer and Medical Science Through Cloud Healthcare - Advances in Medical Technologies and Clinical Practice, PÁGINAS: 14-35

AUTORES: José Paulo Leal ; Ricardo Queirós ; Marco Primo;
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: 4:1-4:6

