CS: Computer Science
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: 8280
531 Team MembersFilters -> Year: 2024
AUTORES: Filipe Fernandes Miranda; Álvaro Figueira ;
PUBLICAÇÃO: 2017, FONTE: 15th IEEE International Conference on Dependable, Autonomic and Secure Computing, 2017 IEEE 15th International Conference on Pervasive Intelligence and Computing, 2017 IEEE 3rd International Conference on Big Data Intelligence and Computing and 2017 IEEE Cyber Science and Technology Congress, DASC-PICom-DataCom-CyberSciTec 2017 in 15th IEEE Intl Conf on Dependable, Autonomic and Secure Computing, 15th Intl Conf on Pervasive Intelligence and Computing, 3rd Intl Conf on Big Data Intelligence and Computing and Cyber Science and Technology Congress, DASC/PiCom/DataCom/CyberSciTech 2017, Orlando, FL, USA, November 6-10, 2017, VOLUME: 2018-January, PÁGINAS: 1039-1046
AUTORES: joao Pedro Dias ; Hugo Sereno Ferreira ;
PUBLICAÇÃO: 2017, FONTE: 8th International Conference on Ambient Systems, Networks and Technologies (ANT) / 7th International Conference on Sustainable Energy Information Technology (SEIT) in 8TH INTERNATIONAL CONFERENCE ON AMBIENT SYSTEMS, NETWORKS AND TECHNOLOGIES (ANT-2017) AND THE 7TH INTERNATIONAL CONFERENCE ON SUSTAINABLE ENERGY INFORMATION TECHNOLOGY (SEIT 2017), VOLUME: 109, PÁGINAS: 297-304
AUTORES: Gay, S ; Ravara, A;
PUBLICAÇÃO: 2017, FONTE: Behavioural Types: from Theory to Tools English, PÁGINAS: 1-375
AUTORES: Joao Cardoso; Carlos Pereira; Ana Aguiar ; Ricardo Morla ;
PUBLICAÇÃO: 2017, FONTE: 18th IEEE International Symposium on A World of Wireless, Mobile and Multimedia Networks (WoWMoM) in 2017 IEEE 18TH INTERNATIONAL SYMPOSIUM ON A WORLD OF WIRELESS, MOBILE AND MULTIMEDIA NETWORKS (WOWMOM), PÁGINAS: 1-7
AUTORES: Alcino Cunha ; Ekkart Kindler;
PUBLICAÇÃO: 2017, FONTE: Journal of Object Technology, VOLUME: 16, NÚMERO: 1, PÁGINAS: 1-2
AUTORES: Tao Zan; Hugo Pacheco ; Hsiang Shang Ko; Zhenjiang Hu;
PUBLICAÇÃO: 2017, FONTE: Inf. Media Technol., VOLUME: 12, NÚMERO: 4, PÁGINAS: 1-23
AUTORES: Eugénia Vinagre; Tiago Pinto ; Zita Vale; Carlos Ramos;
PUBLICAÇÃO: 2017, FONTE: Advances in Intelligent Systems and Computing, VOLUME: 619, PÁGINAS: 297-299
AUTORES: Eugénia Vinagre; Tiago Pinto ; Zita A Vale; Carlos Ramos;
PUBLICAÇÃO: 2017, FONTE: Trends in Cyber-Physical Multi-Agent Systems. The PAAMS Collection - 15th International Conference, PAAMS 2017, Porto, Portugal, June 21-23, 2017, Special Sessions., VOLUME: 619, PÁGINAS: 297-299
AUTORES: Jaime Rodriguez-Fernandez; Tiago Pinto ; Francisco Silva; Isabel Praca; Zita Vale; Juan Manuel Corchado;
PUBLICAÇÃO: 2017, FONTE: 2017 IEEE Symposium Series on Computational Intelligence (SSCI)
AUTORES: Jaime Rodriguez Fernandez; Tiago Pinto ; Francisco Silva; Isabel Praça; Zita A Vale; Juan Manuel Corchado;
PUBLICAÇÃO: 2017, FONTE: 2017 IEEE Symposium Series on Computational Intelligence, SSCI 2017 in 2017 IEEE Symposium Series on Computational Intelligence, SSCI 2017, Honolulu, HI, USA, November 27 - Dec. 1, 2017, VOLUME: 2018-January, PÁGINAS: 1-6
AUTORES: Jose Martins ; Alberto Pinto ;
PUBLICAÇÃO: 2017, FONTE: BULLETIN OF MATHEMATICAL BIOLOGY, VOLUME: 79, NÚMERO: 4, PÁGINAS: 853-883
AUTORES: Adelaide Figueiredo ;
PUBLICAÇÃO: 2017, FONTE: COMPUTATIONAL STATISTICS, VOLUME: 32, NÚMERO: 4, PÁGINAS: 1213-1240
AUTORES: Vitor Enes ; Carlos Baquero ; Paulo Sergio Almeida ; Joao Leitao;
PUBLICAÇÃO: 2017, FONTE: 3rd International Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC) in PROCEEDINGS OF THE 3RD INTERNATIONAL WORKSHOP ON PRINCIPLES AND PRACTICE OF CONSISTENCY FOR DISTRIBUTED DATA (PAPOC 17), PÁGINAS: 4:1-4:3
AUTORES: Nuno Ricardo Pinheiro da Silva Guimaraes ; Álvaro Figueira ;
PUBLICAÇÃO: 2017, FONTE: 15th IEEE International Conference on Dependable, Autonomic and Secure Computing, 2017 IEEE 15th International Conference on Pervasive Intelligence and Computing, 2017 IEEE 3rd International Conference on Big Data Intelligence and Computing and 2017 IEEE Cyber Science and Technology Congress, DASC-PICom-DataCom-CyberSciTec 2017 in 15th IEEE Intl Conf on Dependable, Autonomic and Secure Computing, 15th Intl Conf on Pervasive Intelligence and Computing, 3rd Intl Conf on Big Data Intelligence and Computing and Cyber Science and Technology Congress, DASC/PiCom/DataCom/CyberSciTech 2017, Orlando, FL, USA, November 6-10, 2017, VOLUME: 2018-January, PÁGINAS: 1271-1277
AUTORES: António Galrão Ramos ; Jacob, J ; Jorge Fonseca Justo ; José Fernando Oliveira ; Rui Rodrigues ; Miguel M Gomes ;
PUBLICAÇÃO: 2017, FONTE: Int. J. Simul. Process. Model., VOLUME: 12, NÚMERO: 1, PÁGINAS: 29-41
AUTORES: Faia, R; Pinto, T ; Abrishambaf, O; Fernandes, F; Vale, Z; Corchado, JM;
PUBLICAÇÃO: 2017, FONTE: ENERGY AND BUILDINGS, VOLUME: 155, PÁGINAS: 269-281
AUTORES: Allberson B D de Oliveira Dantas; Heron de Carvalho Junior, FH; Luis S Barbosa ;
PUBLICAÇÃO: 2017, FONTE: 14th International Conference on Formal Aspects of Component Software (FACS) in FORMAL ASPECTS OF COMPONENT SOFTWARE (FACS 2017), VOLUME: 10487, PÁGINAS: 198-215
AUTORES: João F Ferreira; Saul A Johnson; Alexandra Mendes ; Phillip J Brooke;
PUBLICAÇÃO: 2017, FONTE: Lecture Notes in Computer Science - Integrated Formal Methods, PÁGINAS: 407-421
AUTORES: João F Ferreira; Saul A Johnson; Alexandra Mendes ; Phillip J Brooke;
PUBLICAÇÃO: 2017, FONTE: 13th International Conference on Integrated Formal Methods, IFM 2017 in Integrated Formal Methods - 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings, VOLUME: 10510, PÁGINAS: 407-421
AUTORES: Jorge Borges; Carlos Vaz; Margarida Amaral; Elsa Justino; Joao Barroso ; Arsenio Reis ;
PUBLICAÇÃO: 2017, FONTE: 11th International Conference on Technology, Education and Development (INTED) in INTED2017: 11TH INTERNATIONAL TECHNOLOGY, EDUCATION AND DEVELOPMENT CONFERENCE, PÁGINAS: 9566-9571