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: 1659
149 Team MembersFilters -> Year: 2026
AUTORES: Nuno Filipe Castro ; Paulo J Azevedo ;
PUBLICAÇÃO: 2012, FONTE: Stat. Anal. Data Min., VOLUME: 5, NÚMERO: 1, PÁGINAS: 35-53
AUTORES: Francisco Maia ; Miguel Matos ; Etienne Rivière; Rui Oliveira ;
PUBLICAÇÃO: 2012, FONTE: DAIS, VOLUME: 7272 LNCS, PÁGINAS: 1-15
AUTORES: Cunha, J ; Fernandes, JP ; Martins, P ; Mendes, J ; Saraiva, J ;
PUBLICAÇÃO: 2012, FONTE: IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) Co-Located with the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS) in 2012 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING (VL/HCC), PÁGINAS: 243-244
AUTORES: Barbosa, LS ;
PUBLICAÇÃO: 2012, FONTE: 16th Brazilian Symposium on Programming Languages, SBLP 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7554 LNCS, PÁGINAS: 1-5
AUTORES: Ana Gabriela Garis; Ana C R Paiva ; Alcino Cunha ; Daniel Riesco;
PUBLICAÇÃO: 2012, FONTE: IFM, VOLUME: 7321 LNCS, PÁGINAS: 312-326
AUTORES: Miguel Borges; Paulo Jesus ; Carlos Baquero ; Paulo Sérgio Almeida ;
PUBLICAÇÃO: 2012, FONTE: DAIS, VOLUME: 7272 LNCS, PÁGINAS: 96-103
AUTORES: Rui Lima ; Carlos Baquero ; Hugo Miranda ;
PUBLICAÇÃO: 2012, FONTE: ARMOR, PÁGINAS: 4:1-4:5
AUTORES: Alexandra Mendes ;
PUBLICAÇÃO: 2012, FONTE: British Library, EThOS
AUTORES: Peter Y H Wong; Elvira Albert; Radu Muschevici; José Proença ; Jan Schäfer; Rudolf Schlatte;
PUBLICAÇÃO: 2012, FONTE: Int. J. Softw. Tools Technol. Transf., VOLUME: 14, NÚMERO: 5, PÁGINAS: 567-588
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: Jácome Cunha ; João Paulo Fernandes ; Jorge Mendes ; João Saraiva ;
PUBLICAÇÃO: 2012, FONTE: USER@ICSE, 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: Marnerides, AK; Malinowski, S; Morla, R ; Rodrigues, MRD ; Kim, HS;
PUBLICAÇÃO: 2012, FONTE: IEEE Global Communications Conference (GLOBECOM) in 2012 IEEE GLOBAL COMMUNICATIONS CONFERENCE (GLOBECOM), PÁGINAS: 2779-2784
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: SAT, VOLUME: 7317 LNCS, PÁGINAS: 493-495
AUTORES: Daniela Carneiro da Cruz; Maria João Frade ; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2012, FONTE: SAC, 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: Leitao, J ; Marques, JP; Pereira, J ; Rodrigues, L ;
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