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: Kirsch, CM; Lopes, L ; Marques, ERB ; Sokolova, A;
PUBLICAÇÃO: 2012, FONTE: 7th International Workshop on Formal Aspects of Component Software, FACS 2010 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6921 LNCS, PÁGINAS: 290-294
AUTORES: Sardinha, A; Alves, TAO; Marzulo, LAJ; Franca, FMG; Barbosa, VC; Costa, VS ;
PUBLICAÇÃO: 2012, FONTE: 3rd Workshop on Applications for Multi-Core Architecture, WAMCA 2012 in Proceedings - 3rd Workshop on Applications for Multi-Core Architecture, WAMCA 2012, PÁGINAS: 54-59
AUTORES: Ines Dutra ; Ricardo Rocha ; Vitor Santos Costa ; Fernando Silva ; Joao Santos ;
PUBLICAÇÃO: 2012, FONTE: 26th IEEE International Parallel and Distributed Processing Symposium (IPDPS) in 2012 IEEE 26TH INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM WORKSHOPS & PHD FORUM (IPDPSW), PÁGINAS: 1581-1590
AUTORES: Giannis F Marias; Joao Barros ; Markus Fiedler; Andreas Fischer; Harald Hauff; Ralph Herkenhoener; Antonio Grillo; Alessandro Lentini; Luisa Lima ; Charlott Lorentzen; Wojciech Mazurczyk; Hermann de Meer; Paulo F Oliveira; George C Polyzos; Enric Pujol; Krzysztof Szczypiorski; Joao P Vilela ; Tiago T V Vinhoza ;
PUBLICAÇÃO: 2012, FONTE: SECURITY AND COMMUNICATION NETWORKS, VOLUME: 5, NÚMERO: 9, PÁGINAS: 987-1005
AUTORES: Antunes, MJ ; Manuel E. Correia ;
PUBLICAÇÃO: 2012, FONTE: 5th International ICST Conference on Bio-Inspired Models of Network, Information, and Computing Systems, BIONETICS 2010 in Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, VOLUME: 87 LNICST, PÁGINAS: 1-15
AUTORES: Francisco Martins ; Luís M B Lopes ; Hervé Paulino ;
PUBLICAÇÃO: 2012, FONTE: S-CUBE, VOLUME: 102
AUTORES: Ferreira, CA ; Gama, J ; Costa, VS ;
PUBLICAÇÃO: 2012, FONTE: 26th Annual International Symposium on Computer and Information Science in COMPUTER AND INFORMATION SCIENCES II, PÁGINAS: 539-545
AUTORES: Felix, C ; Figueira, A ;
PUBLICAÇÃO: 2012, FONTE: 4th International Conference on Computer Supported Education, CSEDU 2012 in CSEDU 2012 - Proceedings of the 4th International Conference on Computer Supported Education, VOLUME: 1, PÁGINAS: 152-157


AUTORES: Agostino Dovier; Vítor Santos Costa ;
PUBLICAÇÃO: 2012, FONTE: ICLP (Technical Communications), VOLUME: 17

AUTORES: Vitor Santos Costa ; Ricardo Rocha ; Luis Damas ;
PUBLICAÇÃO: 2012, FONTE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 12, NÚMERO: 1-2, PÁGINAS: 5-34
AUTORES: Miguel Areias ; Ricardo Rocha ;
PUBLICAÇÃO: 2012, FONTE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 12, NÚMERO: 4-5, PÁGINAS: 427-443
AUTORES: Kendrick Boyd; Jesse Davis; David Page; Vítor Santos Costa ;
PUBLICAÇÃO: 2012, FONTE: 29th International Conference on Machine Learning, ICML 2012 in Proceedings of the 29th International Conference on Machine Learning, ICML 2012, VOLUME: 1, PÁGINAS: 639-646


AUTORES: Nuno Cravino; José Luís Devezas ; Álvaro Figueira ;
PUBLICAÇÃO: 2012, FONTE: 23rd ACM Conference on Hypertext and Social Media, HT'12 in 23rd ACM Conference on Hypertext and Social Media, HT '12, Milwaukee, WI, USA, June 25-28, 2012, PÁGINAS: 239-244
AUTORES: Kohei Honda; Eduardo R B Marques ; Francisco Martins ; Nicholas Ng; Vasco Thudichum Vasconcelos ; Nobuko Yoshida;
PUBLICAÇÃO: 2012, FONTE: 19th European MPI Users' Group Meeting on Recent Advances in the Message Passing Interface, EuroMPI 2012 in Recent Advances in the Message Passing Interface - 19th European MPI Users' Group Meeting, EuroMPI 2012, Vienna, Austria, September 23-26, 2012. Proceedings, VOLUME: 7490, PÁGINAS: 291-293
AUTORES: André Silva; Álvaro Figueira ;
PUBLICAÇÃO: 2012, FONTE: 12th IEEE International Conference on Advanced Learning Technologies, ICALT 2012 in 12th IEEE International Conference on Advanced Learning Technologies, ICALT 2012, Rome, Italy, July 4-6, 2012, PÁGINAS: 639-641
AUTORES: Leal, JP ; Queiros, R ;
PUBLICAÇÃO: 2011, FONTE: Higher Education Institutions and Learning Management Systems: Adoption and Standardization, PÁGINAS: 142-161
AUTORES: Leal, JP ; Dias, H;
PUBLICAÇÃO: 2011, FONTE: IADIS International Conference WWW/Internet 2011, ICWI 2011 in Proceedings of the IADIS International Conference WWW/Internet 2011, ICWI 2011, PÁGINAS: 301-308

AUTORES: Mario Antunes ; Catarina Silva ; Bernardete Ribeiro ; Manuel E. Correia ;
PUBLICAÇÃO: 2011, FONTE: 10th International Conference on Artificial Neural Networks and Genetic Algorithms in ADAPTIVE AND NATURAL COMPUTING ALGORITHMS, PT II, VOLUME: 6594, NÚMERO: PART 2, PÁGINAS: 342-352
AUTORES: Sandra Alves ; Maribel Fernández; Ian Mackie;
PUBLICAÇÃO: 2011, FONTE: Proceedings 6th International Workshop on Computing with Terms and Graphs, TERMGRAPH 2011, Saarbrücken, Germany, 2nd April 2011., VOLUME: 48, PÁGINAS: 69-84
AUTORES: Pedro Ribeiro ; Fernando Silva ; Luis Lopes ;
PUBLICAÇÃO: 2011, FONTE: 3rd International Joint Conference on Biomedical Engineering Systems and Technologies in BIOMEDICAL ENGINEERING SYSTEMS AND TECHNOLOGIES, VOLUME: 127, PÁGINAS: 380-393