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: 1130
37 Team MembersFilters -> Year: 2025
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


AUTORES: Ricardo Mendes; João P. Vilela ;
PUBLICAÇÃO: 2022, FONTE: Encyclopedia of Cryptography, Security and Privacy, PÁGINAS: 1-2


AUTORES: Luís Lopes; Eduardo Marques ; Tomás Mamede; António Filgueiras; Miguel Marques; Manuel Coutinho;
PUBLICAÇÃO: 2022, FONTE: Revista de Ciência Elementar, VOLUME: 10, NÚMERO: 4


AUTORES: Machado, Diogo; Costa, Vitor Santos ; Brandao, Pedro ;
PUBLICAÇÃO: 2022, FONTE: IEEE Symposium on Computers and Communications (ISCC) in 2022 27TH IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS (IEEE ISCC 2022), VOLUME: 2022-June, PÁGINAS: 1-6