Center for Research in Advanced Computing Systems (CRACS)
Center for Research in Advanced Computing Systems
Inesc Technology and Science (INESC TEC) :: CS: Computer Science
An Authenticus institution (group) is an organization which consists of a set of researchers (institutional/group team). The set of researchers depends on the organizational structure of the institution per year and can be set at the institution profile, under ‘Researchers’ interface. Based on the institutional team we produce listings of publications, statistics and institutional reports.
Publications displayed at an Authenticus institutional profile depend on two parameters:
- Researchers team associated with the institution per year.
- Publications source type.
We define 3 types of publication sources:
- Validated by team members - includes all publications validated by team members. Requires the definition of the institutional team.
- All published by team members - includes all publications validated by the institution team members plus all not-validated (only identified) publications. Requires the definition of the institutional team.
- Affiliation Based - includes publications that have the institution/group in the publication affiliation. Does not require institutional team, but at the same time does not guarantee that all publications will be listed.
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: 1166
37 Team MembersFilters -> Year: 2024
AUTHORS: Mendes, Ricardo; Brandao, Andre; Vilela, Joao P. ; Beresford, Alastair R.;
PUBLISHED: 2022, SOURCE: 20th IEEE International Conference on Pervasive Computing and Communications (IEEE PerCom) in 2022 IEEE INTERNATIONAL CONFERENCE ON PERVASIVE COMPUTING AND COMMUNICATIONS (PERCOM), PAGES: 207-214
AUTHORS: Mendes, Ricardo; Cunha, Mariana ; Vilela, Joao P. ; Beresford, Alastair R.;
PUBLISHED: 2022, SOURCE: 27th European Symposium on Research in Computer Security (ESORICS) in COMPUTER SECURITY - ESORICS 2022, PT I, VOLUME: 13554, PAGES: 153-172
AUTHORS: Sousa, H; Ribeiro, M ; Henriques, TS ;
PUBLISHED: 2022, SOURCE: 10th E-Health and Bioengineering Conference, EHB 2022 in 2022 10th E-Health and Bioengineering Conference, EHB 2022
AUTHORS: Maria Ribeiro ; Luisa Castro; Guy Carrault; Patrick Pladys; Cristina Costa Santos; Teresa Henriques ;
PUBLISHED: 2022, SOURCE: 2022 44th Annual International Conference of the IEEE Engineering in Medicine & Biology Society (EMBC)
AUTHORS: Pedro Sousa; António Pinto ; Pedro Pinto ;
PUBLISHED: 2022, SOURCE: J. Cybersecur. Priv., VOLUME: 2, ISSUE: 3, PAGES: 700-713
AUTHORS: 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;
PUBLISHED: 2022, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 22, ISSUE: 6, PAGES: 776-858
AUTHORS: 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;
PUBLISHED: 2022, SOURCE: Theory Pract. Log. Program., VOLUME: 22, ISSUE: 6, PAGES: 776-858
AUTHORS: Ricardo Alexandre Peixoto de Queiros ;
PUBLISHED: 2022, SOURCE: Exploring the Convergence of Computer and Medical Science Through Cloud Healthcare - Advances in Medical Technologies and Clinical Practice, PAGES: 14-35
AUTHORS: José Paulo Leal ; Ricardo Queirós ; Marco Primo;
PUBLISHED: 2022, SOURCE: 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, PAGES: 4:1-4:6
AUTHORS: Ricardo Mendes; João P. Vilela ;
PUBLISHED: 2022, SOURCE: Encyclopedia of Cryptography, Security and Privacy, PAGES: 1-2
AUTHORS: Martins, Ines ; Resende, Joao S. ; Sousa, Patricia R. ; Silva, Simao; Antunes, Luis ; Gama, Joao ;
PUBLISHED: 2022, SOURCE: FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, VOLUME: 133, PAGES: 95-113
AUTHORS: Luís Lopes; Eduardo Marques ; Tomás Mamede; António Filgueiras; Miguel Marques; Manuel Coutinho;
PUBLISHED: 2022, SOURCE: Revista de Ciência Elementar, VOLUME: 10, ISSUE: 4
AUTHORS: Machado, Diogo; Costa, Vitor Santos ; Brandao, Pedro ;
PUBLISHED: 2022, SOURCE: IEEE Symposium on Computers and Communications (ISCC) in 2022 27TH IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS (IEEE ISCC 2022), VOLUME: 2022-June, PAGES: 1-6
AUTHORS: Orlanda Tavares ; Sin, C ; Sa, C; Bugla, S ; Amaral, A ;
PUBLISHED: 2022, SOURCE: HIGHER EDUCATION QUARTERLY, VOLUME: 76, ISSUE: 1, PAGES: 102-115
AUTHORS: Ricardo Alexandre Peixoto de Queirós ;
PUBLISHED: 2022, SOURCE: 27th ACM Conference on Innovation and Technology in Computer Science Education, ITiCSE 2022 in ITiCSE 2022: Innovation and Technology in Computer Science Education, Dublin, Ireland, July 8 - 13, 2022, Volume 2, VOLUME: 2, PAGES: 626
AUTHORS: Juan V Carrillo; Alberto Sierra; José Paulo Leal ; Ricardo Queirós ; Salvador Pellicer; Marco Primo;
PUBLISHED: 2022, SOURCE: 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, PAGES: 9:1-9:8
AUTHORS: Cirne, Andre ; Sousa, Patricia R. ; Resende, Joao S. ; Antunes, Luis ;
PUBLISHED: 2022, SOURCE: COMPUTERS & SECURITY, VOLUME: 116, PAGES: 102669
AUTHORS: Queiroz, Saulo; Vilela, Joao P. ; Monteiro, Edmundo;
PUBLISHED: 2022, SOURCE: IEEE ACCESS, VOLUME: 10, PAGES: 104436-104448
AUTHORS: Ana Rita Santos Lopes da Costa; André Santos; José Paulo Leal ;
PUBLISHED: 2022, SOURCE: 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, PAGES: 12:1-12:9
AUTHORS: Fábio Reis; Sandra Alves ; Mário Florido ;
PUBLISHED: 2022, SOURCE: 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, PAGES: 8:1-8:21