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: Kuusisto, F; Costa, VS ; Nassif, H; Burnside, E; Page, D; Shavlik, J;
PUBLICAÇÃO: 2014, FONTE: European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2014 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8725 LNAI, NÚMERO: PART 2, PÁGINAS: 50-65
AUTORES: Theofrastos Mantadelis ; Ricardo Rocha ; Paulo Moura ;
PUBLICAÇÃO: 2014, FONTE: 30th International Conference on Logic Programming in THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 14, NÚMERO: 4-5, PÁGINAS: 429-443
AUTORES: Antonio Goncalves ; Irene Ong; Jeffrey A Lewis; Vitor Santos Costa ;
PUBLICAÇÃO: 2014, FONTE: 27th IEEE International Symposium on Computer-Based Medical Systems (CBMS) in 2014 IEEE 27TH INTERNATIONAL SYMPOSIUM ON COMPUTER-BASED MEDICAL SYSTEMS (CBMS), PÁGINAS: 239-242
AUTORES: Andre Pereira; Manuel E. Correia ; Pedro Brandao ;
PUBLICAÇÃO: 2014, FONTE: 15th Joint IFIP TC-6 and TC-11 International Conference on Communications and Multimedia Security (CMS) in COMMUNICATIONS AND MULTIMEDIA SECURITY, CMS 2014, VOLUME: 8735, PÁGINAS: 19-32
AUTORES: José Paulo Leal ; Ricardo Rocha ; Alberto Simões;
PUBLICAÇÃO: 2013, FONTE: SLATE, VOLUME: 29

AUTORES: Augusto, AB; Manuel E. Correia ;
PUBLICAÇÃO: 2013, FONTE: Architectures and Protocols for Secure Information Technology Infrastructures, PÁGINAS: 266-287
AUTORES: Luís A. Maia; Luís M. Valente; Manuel E. Correia ; Lígia M. Ribeiro; Luís Antunes ;
PUBLICAÇÃO: 2013, FONTE: EUNIS 2013 Congress Proceedings: 2013: ICT Role for Next Generation Universities, VOLUME: 1, NÚMERO: 1
AUTORES: Rui A Martins; Alexandre B Augusto ; Manuel E. Correia ;
PUBLICAÇÃO: 2013, FONTE: 8th Iberian Conference on Information Systems and Technologies (CISTI) in PROCEEDINGS OF THE 2013 8TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI 2013)


AUTORES: Davis, J; Costa, VS ; Peissig, P; Caldwell, M; Page, D;
PUBLICAÇÃO: 2013, FONTE: 2013 AAAI Workshop in AAAI Workshop - Technical Report, VOLUME: WS-13-09, PÁGINAS: 8-13

AUTORES: Augusto, AB ; Manuel E. Correia ;
PUBLICAÇÃO: 2013, FONTE: Conference on XML, Applications, and Associated Technologies (XATA) in INNOVATIONS IN XML APPLICATIONS AND METADATA MANAGEMENT: ADVANCING TECHNOLOGIES, PÁGINAS: 21-37
AUTORES: Catia Santos Pereira ; Alexandre B Augusto ; Ricardo Cruz Correia ; Manuel E. Correia ;
PUBLICAÇÃO: 2013, FONTE: 26th IEEE International Symposium on Computer-Based Medical Systems (CBMS) in 2013 IEEE 26TH INTERNATIONAL SYMPOSIUM ON COMPUTER-BASED MEDICAL SYSTEMS (CBMS), PÁGINAS: 349-354
AUTORES: Santos Pereira, C ; Augusto, AB; Cruz Correia, R ; Manuel E. Correia ;
PUBLICAÇÃO: 2013, FONTE: 4th International Conference on Information Technology in Bio- and Medical Informatics, ITBAM 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8060 LNCS, PÁGINAS: 108-111
AUTORES: Leal, JP ; Queiros, R ;
PUBLICAÇÃO: 2013, FONTE: Conference on XML, Applications, and Associated Technologies (XATA) in INNOVATIONS IN XML APPLICATIONS AND METADATA MANAGEMENT: ADVANCING TECHNOLOGIES, PÁGINAS: 1-20
AUTORES: Alvaro Figueira ; Helena Leal;
PUBLICAÇÃO: 2013, FONTE: 12th European Conference e-Learning (ECEL) in PROCEEDINGS OF THE 12TH EUROPEAN CONFERENCE ON E-LEARNING (ECEL 2013), PÁGINAS: 112-120


AUTORES: Ricardo Queirós ;
PUBLICAÇÃO: 2013

AUTORES: Ana Paula Tomas ; Jose Paulo Leal ;
PUBLICAÇÃO: 2013, FONTE: 19th Annual International Conference on Principles and Practice of Constraint Programming (CP) in PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2013, VOLUME: 8124, PÁGINAS: 848-863
AUTORES: Queiros, R ; Leal, JP ;
PUBLICAÇÃO: 2013, FONTE: IEEE TRANSACTIONS ON LEARNING TECHNOLOGIES, VOLUME: 6, NÚMERO: 1, PÁGINAS: 38-45
AUTORES: Miguel Areias ; Ricardo Rocha ;
PUBLICAÇÃO: 2013, FONTE: COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 10, NÚMERO: 4, PÁGINAS: 1775-1797
AUTORES: Vitor Santos Costa ; David Vaz;
PUBLICAÇÃO: 2013, FONTE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 13, NÚMERO: 4-5, PÁGINAS: 799-813