High-Assurance Software Laboratory (HASLab)
Laboratório de Software Confiável
Inesc Technology and Science (INESC TEC) :: CS: Computer Science
An Authenticus institution (group) is an organization which consists of a set of researchers (institutional/group team). The set of researchers depends on the organizational structure of the institution per year and can be set at the institution profile, under ‘Researchers’ interface. Based on the institutional team we produce listings of publications, statistics and institutional reports.
Publications displayed at an Authenticus institutional profile depend on two parameters:
- Researchers team associated with the institution per year.
- Publications source type.
We define 3 types of publication sources:
- Validated by team members - includes all publications validated by team members. Requires the definition of the institutional team.
- All published by team members - includes all publications validated by the institution team members plus all not-validated (only identified) publications. Requires the definition of the institutional team.
- Affiliation Based - includes publications that have the institution/group in the publication affiliation. Does not require institutional team, but at the same time does not guarantee that all publications will be listed.
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: 1486
150 Team MembersFilters -> Year: 2024
AUTHORS: Santos, LP ;
PUBLISHED: 2006, SOURCE: Computer Graphics Forum, VOLUME: 25, ISSUE: 4, PAGES: 838
AUTHORS: Morla, R ; Davies, N;
PUBLISHED: 2006, SOURCE: 4th IEEE Annual International Conference on Pervasive Computing and Communications in FOURTH ANNUAL IEEE INTERNATIONAL CONFERENCE ON PERVASIVE COMPUTING AND COMMUNICATIONS WORKSHOPS, PROCEEDINGS, VOLUME: 2006, PAGES: 632-+
AUTHORS: Alcino Cunha ; Jorge Sousa Pinto ; Jose Proenca ;
PUBLISHED: 2006, SOURCE: 17th International Workshop on Implementation and Application of Functional Languages (IFL 2005) in IMPLEMENTATION AND APPLICATION OF FUNCTIONAL LANGUAGES, VOLUME: 4015, PAGES: 1-18
AUTHORS: Jon Grov; Luís Soares; Alfrânio Correia Jr.; José Pereira ; Rui Carlos Oliveira ; Fernando Pedone;
PUBLISHED: 2006, SOURCE: 12th Pacific Rim International Symposium on Dependable Computing in 12th Pacific Rim International Symposium on Dependable Computing, Proceedings, PAGES: 230-237
AUTHORS: Antonio Ramires Fernandes; Jorge Ribeiro Pereira; Jose Creissac Campos ;
PUBLISHED: 2006, SOURCE: 6th International Conference on Enterprise Information Systems (ICEIS 2004) in Enterprise Information Systems VI, PAGES: 310-315
AUTHORS: Teresa Chambel; Nuno J Nunes; Teresa Romão; José C Campos ;
PUBLISHED: 2006, SOURCE: Actas da 2ª Conferência Nacional em Interacção Pessoa-Máquina
AUTHORS: Doherty, GJ; Du Bousquet, L; Campos, JC ; El Atifi, EM; Falquet, G; Massink, M; Santoro, C;
PUBLISHED: 2006, SOURCE: 12th International Workshop on Interactive Systems - Design, Specification and Verification, DSVIS 2005 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 3941 LNCS, PAGES: 264
AUTHORS: Rodrigues, NF ; Barbosa, LS ;
PUBLISHED: 2006, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 160, ISSUE: 1, PAGES: 291-304
AUTHORS: Meng, S; Barbosa, LS ;
PUBLISHED: 2006, SOURCE: 10th International Conference on Algebraic Methodology and Software Technology in THEORETICAL COMPUTER SCIENCE, VOLUME: 351, ISSUE: 2, PAGES: 276-294
AUTHORS: Alipio M Jorge ; Paulo J Azevedo ; Fernando Pereira;
PUBLISHED: 2006, SOURCE: 10th European Conference on Principle and Practice of Knowledge Discovery in Databases in KNOWLEDGE DISCOVERY IN DATABASES: PKDD 2006, PROCEEDINGS, VOLUME: 4213, PAGES: 247-258
AUTHORS: Goschka, KM; Oliveira, R ; Hallsteinsen, SO; Romanovsky, A;
PUBLISHED: 2006, SOURCE: 2006 ACM Symposium on Applied Computing in Proceedings of the ACM Symposium on Applied Computing, VOLUME: 1, PAGES: 668-669
AUTHORS: Jose Pereira ; Rui Oliveira ; Luis Rodrigues ;
PUBLISHED: 2006, SOURCE: On the Move Federated Workshops in On the Move to Meaningful Internet Systems 2006: OTM 2006 Workshops, Pt 2, Proceedings, VOLUME: 4278, PAGES: 1520-1529
AUTHORS: Sousa, A ; Correia, A; Moura, F ; Pereira, J ; Oliveira, R ;
PUBLISHED: 2006, SOURCE: 1st International Conference on Availability, Reliability and Security in First International Conference on Availability, Reliability and Security, Proceedings, VOLUME: 2006, PAGES: 855-862
AUTHORS: Paula R Ribeiro; Marco Antonio Barbosa; Luis Soares Barbosa ;
PUBLISHED: 2006, SOURCE: 10th Brazilian Symposium on Programming Languages in JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 12, ISSUE: 7, PAGES: 922-937
AUTHORS: Lammel, R; Saraiva, J ; Visser, J;
PUBLISHED: 2006, SOURCE: Generative and Transformational Techniques in Software Engineering - International Summer School, GTTSE 2005 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 4143 LNCS
AUTHORS: Pedro G Ferreira ; Paulo J Azevedo ; Candida G Silva ; Rui M M Brito ;
PUBLISHED: 2006, SOURCE: 9th International Conference on Discovery Science in DISCOVERY SCIENCE, PROCEEDINGS, VOLUME: 4265, PAGES: 89-101
AUTHORS: Pacheco, O ;
PUBLISHED: 2006, SOURCE: 3rd International Workshop on Formal Aspects in Security and Trust in FORMAL ASPECTS IN SECURITY AND TRUST, VOLUME: 3866, PAGES: 187-202
AUTHORS: Santos, LP ; Valentim, S; Fernandes, AR;
PUBLISHED: 2006, SOURCE: 22nd Spring Conference on Computer Graphics, SCCG 2006 in Proceedings - SCCG 2006: 22nd Spring Conference on Computer Graphics, PAGES: 33-40
AUTHORS: Jose N Oliveira ; Cesar J Rodrigues;
PUBLISHED: 2006, SOURCE: 14th International Symposium on Formal Methods in FM 2006: FORMAL METHODS, PROCEEDINGS, VOLUME: 4085, PAGES: 236-251
AUTHORS: Zhiming Liu; Luís Barbosa ;
PUBLISHED: 2006, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 160, PAGES: 1-2