High-Assurance Software Laboratory (HASLab)
Laboratório de Software Confiável
Inesc Technology and Science (INESC TEC) :: CS: Computer Science
AuthID: I-000-AY4
Publications Actions
Publications at Authenticus Institutional Profile
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.
External
Internal
No data about last update.
Rules:
This actions updates publications citations of every team member.
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 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!
No data about last update.
Rules:
This actions updates all pre print publications of the group/institution.
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!
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: 1641
149 Team MembersFilters -> Year: 2026
1481
TITLE: Revisiting 1-copy equivalence in clustered databases Full Text
AUTHORS: Rui Oliveira ; José Pereira ; Alfrânio Correia Jr.; Edward Archibald;
PUBLISHED: 2006, SOURCE: SAC, VOLUME: 1, PAGES: 728-732
AUTHORS: Rui Oliveira ; José Pereira ; Alfrânio Correia Jr.; Edward Archibald;
PUBLISHED: 2006, SOURCE: SAC, VOLUME: 1, PAGES: 728-732
1482
TITLE: Secure cryptographic workflow in the standard model
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-+
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-+
1483
TITLE: Selective rendering: Computing only what you see. computing only what you see
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: 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
1484
TITLE: Strongly Typed Rewriting For Coupled Software Transformation
AUTHORS: Alcino Cunha ; Joost Visser;
PUBLISHED: 2006, SOURCE: RULE@FLoC, VOLUME: 174, ISSUE: 1, PAGES: 17-34
AUTHORS: Alcino Cunha ; Joost Visser;
PUBLISHED: 2006, SOURCE: RULE@FLoC, VOLUME: 174, ISSUE: 1, PAGES: 17-34
1486
TITLE: Supporting resource-based analysis of task information needs
AUTHORS: Campos, JC ; Doherty, GJ;
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: Campos, JC ; Doherty, GJ;
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
1487
TITLE: Towards a Coordination Model for Interactive Systems
AUTHORS: Marco Antonio Barbosa; Luís Soares Barbosa ; José Creissac Campos ;
PUBLISHED: 2006, SOURCE: FMIS@ICFEM, VOLUME: 183, ISSUE: SPEC. ISS., PAGES: 89-103
AUTHORS: Marco Antonio Barbosa; Luís Soares Barbosa ; José Creissac Campos ;
PUBLISHED: 2006, SOURCE: FMIS@ICFEM, VOLUME: 183, ISSUE: SPEC. ISS., PAGES: 89-103
1488
TITLE: Towards a generic group communication service
AUTHORS: Carvalho, N; Pereira, J ; Rodrigues, L ;
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: Carvalho, N; Pereira, J ; Rodrigues, L ;
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
1489
TITLE: Towards interference-free deployment of ubicomp systems
AUTHORS: Ricardo Santos Morla ;
PUBLISHED: 2006, SOURCE: British Library, EThOS
AUTHORS: Ricardo Santos Morla ;
PUBLISHED: 2006, SOURCE: British Library, EThOS
INDEXED IN: 
DBLP
DBLP1490
TITLE: Transposing partial components - An exercise on coalgebraic refinement Full Text
AUTHORS: Barbosa, LS ; Oliveira, JN ;
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: Barbosa, LS ; Oliveira, JN ;
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
1491
TITLE: Type-safe two-level data transformation
AUTHORS: Cunha, A ; Oliveira, JN ; Visser, J;
PUBLISHED: 2006, SOURCE: 14th International Symposium on Formal Methods in FM 2006: FORMAL METHODS, PROCEEDINGS, VOLUME: 4085, PAGES: 284-299
AUTHORS: Cunha, A ; Oliveira, JN ; Visser, J;
PUBLISHED: 2006, SOURCE: 14th International Symposium on Formal Methods in FM 2006: FORMAL METHODS, PROCEEDINGS, VOLUME: 4085, PAGES: 284-299
1492
TITLE: Visual interactive subgroup discovery with numerical properties of interest
AUTHORS: Jorge, AM ; Pereira, F; Azevedo, PJ ;
PUBLISHED: 2006, SOURCE: 9th International Conference on Discovery Science in DISCOVERY SCIENCE, PROCEEDINGS, VOLUME: 4265, PAGES: 301-305
AUTHORS: Jorge, AM ; Pereira, F; Azevedo, PJ ;
PUBLISHED: 2006, SOURCE: 9th International Conference on Discovery Science in DISCOVERY SCIENCE, PROCEEDINGS, VOLUME: 4265, PAGES: 301-305
1493
TITLE: 12th Portuguese Conference on Artificial Intelligence, EPIA 2005 Covilha, Portugal, December 5-8, 2005 - Introduction
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: 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
INDEXED IN: 
WOS
WOS1494
TITLE: A Hybrid Method for Discovering Distance-Enhanced Inter-Transactional Rules
AUTHORS: Pedro Gabriel Ferreira ; Ronnie Alves; Paulo J Azevedo ; Orlando Belo ;
PUBLISHED: 2005, SOURCE: JISBD, PAGES: 131-138
AUTHORS: Pedro Gabriel Ferreira ; Ronnie Alves; Paulo J Azevedo ; Orlando Belo ;
PUBLISHED: 2005, SOURCE: JISBD, PAGES: 131-138
INDEXED IN: DBLP
DBLP1495
TITLE: A perspective on component refinement Full Text
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: 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
1496
TITLE: Ambience and Mobility
AUTHORS: Gavin J Doherty; Lydie du Bousquet; José Creissac Campos ; El Mustapha El Atifi; Gilles Falquet; Mieke Massink; Carmen Santoro;
PUBLISHED: 2005, SOURCE: DSV-IS, VOLUME: 3941 LNCS, PAGES: 264
AUTHORS: Gavin J Doherty; Lydie du Bousquet; José Creissac Campos ; El Mustapha El Atifi; Gilles Falquet; Mieke Massink; Carmen Santoro;
PUBLISHED: 2005, SOURCE: DSV-IS, VOLUME: 3941 LNCS, PAGES: 264
1497
TITLE: An experiment with association rules and classification: Post-bagging and conviction
AUTHORS: Jorge, AM ; Azevedo, PJ ;
PUBLISHED: 2005, SOURCE: 8th International Conference on Discovery Science in DISCOVERY SCIENCE, PROCEEDINGS, VOLUME: 3735, PAGES: 137-149
AUTHORS: Jorge, AM ; Azevedo, PJ ;
PUBLISHED: 2005, SOURCE: 8th International Conference on Discovery Science in DISCOVERY SCIENCE, PROCEEDINGS, VOLUME: 3735, PAGES: 137-149
1498
TITLE: Automated deduction and usability reasoning
AUTHORS: Campos, JC ; Harrison, MD ;
PUBLISHED: 2005, SOURCE: Encyclopedia of Human Computer Interaction, PAGES: 45-52
AUTHORS: Campos, JC ; Harrison, MD ;
PUBLISHED: 2005, SOURCE: Encyclopedia of Human Computer Interaction, PAGES: 45-52
INDEXED IN: 
Scopus 
CrossRef
Scopus CrossRef1499
TITLE: Bandwidth boosting in transimpedance amplifiers for optical LANs, using delayed feedback
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: 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
1500
TITLE: CMB'05: Workshop on Computational Methods in Bioinformatics
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
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
INDEXED IN: WOS CrossRef
WOS CrossRef