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: 1539
150 Team MembersFilters -> Year: 2024
AUTHORS: Oliveira, R ; Pereira, J ; Correia, A; Archibald, E;
PUBLISHED: 2006, SOURCE: 2006 ACM Symposium on Applied Computing in Proceedings of the ACM Symposium on Applied Computing, VOLUME: 1, PAGES: 728-732
AUTHORS: Barbosa, M ; Farshim, P;
PUBLISHED: 2006, SOURCE: 7th International Conference on Cryptology in India in Progress in Cryptology - INDOCRYPT 2006, Proceedings, VOLUME: 4329, PAGES: 379-393
AUTHORS: Manuel Barbosa ; Pooya Farshim;
PUBLISHED: 2006, SOURCE: IACR Cryptology ePrint Archive, VOLUME: 2006, PAGES: 450
AUTHORS: Chalmers, A; Debattista, K; Dos Santos, LP ;
PUBLISHED: 2006, SOURCE: GRAPHITE 2006: 4th International Conference on Computer Graphics and Interactive Techniques in Australasia and Southeast Asia in Proceedings - GRAPHITE 2006: 4th International Conference on Computer Graphics and Interactive Techniques in Australasia and Southeast Asia, PAGES: 9-18
AUTHORS: Espirito E Santo ; Frade, MJ ; Pinto, L ;
PUBLISHED: 2006, SOURCE: 17th International Conference on Rewriting Techniques and Applications in TERM REWRITING AND APPLICATIONS, PROCEEDINGS, VOLUME: 4098, PAGES: 197-211
AUTHORS: Jose Creissac Campos ; Gavin J Doherty;
PUBLISHED: 2006, SOURCE: 12th International Workshop on Design, Specification and Verification of Interactive Systems in INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION, AND VERIFICATION, VOLUME: 3941, PAGES: 188-200
AUTHORS: Nuno Carvalho; Jose Pereira ; Luis Rodrigues ;
PUBLISHED: 2006, SOURCE: On the Move Confederated International Conference on CoopIS/DOA/GADA, and ODBASE in ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS 2006: COOPIS, DOA, GADA, AND ODBASE PT 2, PROCEEDINGS, VOLUME: 4276, PAGES: 1485-1502
AUTHORS: Ricardo Santos Morla ;
PUBLISHED: 2006, SOURCE: British Library, EThOS
AUTHORS: Luis S Barbosa ; Jose N Oliveira ;
PUBLISHED: 2006, SOURCE: 3rd International Symposium on Formal Methods for Components and Objects in THEORETICAL COMPUTER SCIENCE, VOLUME: 365, ISSUE: 1-2, PAGES: 2-22
AUTHORS: Alcino Cunha ; Jose Nuno Oliveira ; Joost Visser;
PUBLISHED: 2006, SOURCE: 14th International Symposium on Formal Methods in FM 2006: FORMAL METHODS, PROCEEDINGS, VOLUME: 4085, PAGES: 284-299
AUTHORS: Alipio M Jorge ; Fernando Pereira; Paulo J Azevedo ;
PUBLISHED: 2006, SOURCE: 9th International Conference on Discovery Science in DISCOVERY SCIENCE, PROCEEDINGS, VOLUME: 4265, PAGES: 301-305
AUTHORS: Camacho, R ; Alves, A; da Costa, JP ; Azevedo, P ;
PUBLISHED: 2005, SOURCE: 12th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 3808, PAGES: 235-235
AUTHORS: Meng, S; Aichernig, BK; Barbosa, LS ; Naixiao, Z;
PUBLISHED: 2005, SOURCE: Proceedings of the 10th Conference on Category Theory in Computer Science (CTCS 2004) in Electronic Notes in Theoretical Computer Science, VOLUME: 122, PAGES: 229-245
AUTHORS: Pedro Gabriel Ferreira ; Ronnie Alves; Paulo J Azevedo ; Orlando Belo ;
PUBLISHED: 2005, SOURCE: Actas de las X Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2005), September 14-16, 2005, Granada, Spain, PAGES: 131-138
AUTHORS: Barbosa, LS ;
PUBLISHED: 2005, SOURCE: 3rd International Symposium on Formal Methods for Components and Objects in FORMAL METHODS FOR COMPONENTS AND OBJECTS, VOLUME: 3657, PAGES: 23-48
AUTHORS: Jorge, AM ; Azevedo, PJ ;
PUBLISHED: 2005, SOURCE: 8th International Conference on Discovery Science in DISCOVERY SCIENCE, PROCEEDINGS, VOLUME: 3735, PAGES: 137-149
AUTHORS: Rodrigues, NF ; Barbosa, LS ;
PUBLISHED: 2005, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 130, PAGES: 151-167
AUTHORS: Campos, JC ; Harrison, MD ;
PUBLISHED: 2005, SOURCE: Encyclopedia of Human Computer Interaction, PAGES: 45-52
AUTHORS: Martins, N; Barbosa, L ; Alves, LN ; Aguiar, RL ;
PUBLISHED: 2005, SOURCE: 12th IEEE International Conference on Electronics, Circuits and Systems, ICECS 2005 in Proceedings of the IEEE International Conference on Electronics, Circuits, and Systems
AUTHORS: Rui Camacho ; Alexessander Alves; Joaquim Pinto da Costa ; Paulo Azevedo ;
PUBLISHED: 2005, SOURCE: Portuguese Conference on Artificial Intelligence in 2005 Portuguese Conference on Artificial Intelligence, Proceedings, PAGES: 129-129