Laboratório de Software Confiável (HASLab)
High-Assurance Software Laboratory
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: 1487
150 Team MembersFilters -> Year: 2024
AUTORES: Cunha, J ; Fernandes, JP ; Ribeiro, H; Saraiva, J ;
PUBLICAÇÃO: 2012, FONTE: 12th International Conference on Computational Science and Its Applications (ICCSA) in COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2012, PT IV, VOLUME: 7336, NÚMERO: PART 4, PÁGINAS: 202-216
AUTORES: Jose N Oliveira ;
PUBLICAÇÃO: 2012, FONTE: FORMAL ASPECTS OF COMPUTING, VOLUME: 24, NÚMERO: 4-6, PÁGINAS: 433-458
AUTORES: Cunha, J ; Fernandes, JP ; Mendes, J ; Saraiva, J ;
PUBLICAÇÃO: 2012, FONTE: 2012 1st International Workshop on User Evaluation for Software Engineering Researchers, USER 2012 in 2012 1st International Workshop on User Evaluation for Software Engineering Researchers, USER 2012 - Proceedings, PÁGINAS: 25-28
AUTORES: Macedo, HD; Oliveira, JN ;
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: 300-303
AUTORES: Angelos K Marnerides; Simon Malinowski; Ricardo Morla ; Miguel R D Rodrigues ; Hyong S Kim;
PUBLICAÇÃO: 2012, FONTE: IEEE Global Communications Conference (GLOBECOM) in 2012 IEEE GLOBAL COMMUNICATIONS CONFERENCE (GLOBECOM), PÁGINAS: 2779-2784
AUTORES: Barbosa, M ; Moss, A; Page, D; Rodrigues, NF ; Silva, PF ;
PUBLICAÇÃO: 2012, FONTE: 4th IPM International Conference on Fundamentals of Software Engineering, FSEN 2011 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7141 LNCS, PÁGINAS: 316-334
AUTORES: Oliveira, JN ;
PUBLICAÇÃO: 2012, FONTE: 17th International Conference on Implementation and Application of Automata, CIAA 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7381 LNCS, PÁGINAS: 52-65
AUTORES: Iago Abal; Alcino Cunha ; Joe Hurd; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2012, FONTE: 15th International Conference on Theory and Applications of Satisfiability Testing, SAT 2012 in Theory and Applications of Satisfiability Testing - SAT 2012 - 15th International Conference, Trento, Italy, June 17-20, 2012. Proceedings, VOLUME: 7317, PÁGINAS: 493-495
AUTORES: Da Cruz, D; Frade, MJ ; Pinto, JS ;
PUBLICAÇÃO: 2012, FONTE: 27th Annual ACM Symposium on Applied Computing, SAC 2012 in Proceedings of the ACM Symposium on Applied Computing, PÁGINAS: 1264-1270
AUTORES: Almeida, JJ ; Carvalho, NR; Oliveira, JN ;
PUBLICAÇÃO: 2012, FONTE: 16th International Conference on Electronic Publishing (ELPUB) in SOCIAL SHAPING OF DIGITAL PUBLISHING: EXPLORING THE INTERPLAY BETWEEN CULTURE AND TECHNOLOGY, PÁGINAS: 82-93
AUTORES: Joao Leitao ; Joao Pedro Marques; Jose Pereira ; Luis Rodrigues ;
PUBLICAÇÃO: 2012, FONTE: IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, VOLUME: 23, NÚMERO: 11, PÁGINAS: 2175-2188
AUTORES: Velasquez, C; Christophe Soares ; Morla, R ; Moreira, RS ; Jose M Torres ; Sobral, P ;
PUBLICAÇÃO: 2011, FONTE: 5th International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies, UBICOMM 2011; 3rd International Workshop on Pervasive Computing in Embedded Systems, PECES 2011 in UBICOMM 2011 - 5th International Conference on Mobile Ubiquitous Computing, Systems, Services and Technologies; PECES 2011 - 3rd International Workshop on Pervasive Computing in Embedded Systems, PÁGINAS: 61-66
AUTORES: Vilaca, R ; Oliveira, R ; Pereira, J ;
PUBLICAÇÃO: 2011, FONTE: DisCoTech 2011: 6th International Federated Conferences on Distributed Computing Techniques in DISTRIBUTED APPLICATIONS AND INTEROPERABLE SYSTEMS, VOLUME: 6723, PÁGINAS: 214-227
AUTORES: Sanchez, A ; Barbosa, LS ; Riesco, D;
PUBLICAÇÃO: 2011, FONTE: 3rd International Workshop on Behavioural Modelling - Foundations and Applications, BM-FA2011 - In Collaboration with the 7th European Conference on Modelling Foundations and Applications, ECMFA 2011 in ACM International Conference Proceeding Series, PÁGINAS: 17-24
AUTORES: Di Jin; Bo Yang; Carlos Baquero ; Dayou Y Liu; Dongxiao X He; Jie Liu;
PUBLICAÇÃO: 2011, FONTE: JOURNAL OF STATISTICAL MECHANICS-THEORY AND EXPERIMENT, VOLUME: 2011, NÚMERO: 5
AUTORES: Alcino Cunha ; Hugo Pacheco ;
PUBLICAÇÃO: 2011, FONTE: Electr. Notes Theor. Comput. Sci., VOLUME: 229, NÚMERO: 5, PÁGINAS: 57-74
AUTORES: Laura Beckwith; Jácome Cunha ; João Paulo Fernandes ; João Saraiva ;
PUBLICAÇÃO: 2011, FONTE: CoRR, VOLUME: abs/1112.4190
AUTORES: Matos, M ; Vilaca, R ; Pereira, J ; Oliveira, R ;
PUBLICAÇÃO: 2011, FONTE: 2011 IEEE/IFIP 41st International Conference on Dependable Systems and Networks Workshops, DSN-W 2011 in Proceedings of the International Conference on Dependable Systems and Networks, PÁGINAS: 105-110
AUTORES: Di Jin; Dayou Y Liu; Bo Yang; Carlos Baquero ; Dongxiao X He;
PUBLICAÇÃO: 2011, FONTE: 15th Pacific-Asia Conference on Knowledge Discovery and Data Mining (PAKDD) in ADVANCES IN KNOWLEDGE DISCOVERY AND DATA MINING, PT II: 15TH PACIFIC-ASIA CONFERENCE, PAKDD 2011, VOLUME: 6635, NÚMERO: PART 2, PÁGINAS: 123-134
AUTORES: Francisco Cruz ; Pedro Gomes; Rui Oliveira ; Jose Pereira ;
PUBLICAÇÃO: 2011, FONTE: 13th IEEE International Conference on Commerce and Enterprise Computing (CEC) in 13TH IEEE INTERNATIONAL CONFERENCE ON COMMERCE AND ENTERPRISE COMPUTING (CEC 2011), PÁGINAS: 267-270