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: 1551
150 Team MembersFilters -> Year: 2024
1401
TITLE: Transposing partial components - An exercise on coalgebraic refinement Full Text
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: 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
1402
TITLE: Type-safe two-level data transformation
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: 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
1403
TITLE: Visual interactive subgroup discovery with numerical properties of interest
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: 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
1404
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
WOS1405
TITLE: A coalgebraic semantic framework for component-based development in UML
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: 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
1406
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: 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: 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
INDEXED IN: 
DBLP
DBLP1407
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
1408
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
1409
TITLE: Architectural prototyping: From CCS to. Net
AUTHORS: Rodrigues, NF ; Barbosa, LS ;
PUBLISHED: 2005, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 130, PAGES: 151-167
AUTHORS: Rodrigues, NF ; Barbosa, LS ;
PUBLISHED: 2005, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 130, PAGES: 151-167
1410
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 CrossRef1411
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
INDEXED IN: Scopus CrossRef
Scopus CrossRef1412
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 CrossRef1413
TITLE: Detection of hydrophobic clusters in molecular dynamics protein unfolding simulations using association rules
AUTHORS: Azevedo, PJ ; Silva, CG ; Rodrigues, JR; Loureiro Ferreira, N; Brito, RMM ;
PUBLISHED: 2005, SOURCE: 6th International Symposium on Biological and Medical Data Analysis in BIOLOGICAL AND MEDICAL DATA ANALYSIS, PROCEEDINGS, VOLUME: 3745, PAGES: 329-337
AUTHORS: Azevedo, PJ ; Silva, CG ; Rodrigues, JR; Loureiro Ferreira, N; Brito, RMM ;
PUBLISHED: 2005, SOURCE: 6th International Symposium on Biological and Medical Data Analysis in BIOLOGICAL AND MEDICAL DATA ANALYSIS, PROCEEDINGS, VOLUME: 3745, PAGES: 329-337
1414
TITLE: Editorial: Programming languages track
AUTHORS: Jo, CH; Mernik, M; Bryant, BR; Ancona, M; Auguston, M; Cheung, SC; Debray, SK; Doh, KG; Gabbrielli, M; Harris, T; Heering, J; Jeffery, C; Johnstone, A; Leung, HF; Lins, RD; Logozzo, F; Martinez Lopez, PE; Meijer, E; Michaelson, G; Pareja Flores, C; ...More
PUBLISHED: 2005, SOURCE: 20th Annual ACM Symposium on Applied Computing in Proceedings of the ACM Symposium on Applied Computing, VOLUME: 2, PAGES: 1383-1384
AUTHORS: Jo, CH; Mernik, M; Bryant, BR; Ancona, M; Auguston, M; Cheung, SC; Debray, SK; Doh, KG; Gabbrielli, M; Harris, T; Heering, J; Jeffery, C; Johnstone, A; Leung, HF; Lins, RD; Logozzo, F; Martinez Lopez, PE; Meijer, E; Michaelson, G; Pareja Flores, C; ...More
PUBLISHED: 2005, SOURCE: 20th Annual ACM Symposium on Applied Computing in Proceedings of the ACM Symposium on Applied Computing, VOLUME: 2, PAGES: 1383-1384
INDEXED IN: Scopus
Scopus1415
TITLE: Efficient identity-based key encapsulation to multiple parties
AUTHORS: Barbosa, M ; Farshim, P;
PUBLISHED: 2005, SOURCE: 10th IMA International Conference on Cryptography and Coding in CRYPTOGRAPHY AND CODING, PROCEEDINGS, VOLUME: 3796, PAGES: 428-441
AUTHORS: Barbosa, M ; Farshim, P;
PUBLISHED: 2005, SOURCE: 10th IMA International Conference on Cryptography and Coding in CRYPTOGRAPHY AND CODING, PROCEEDINGS, VOLUME: 3796, PAGES: 428-441
1416
TITLE: Efficient Identity-Based Key Encapsulation to Multiple Parties
AUTHORS: Manuel Barbosa ; Pooya Farshim;
PUBLISHED: 2005, SOURCE: IACR Cryptology ePrint Archive, VOLUME: 2005, PAGES: 217
AUTHORS: Manuel Barbosa ; Pooya Farshim;
PUBLISHED: 2005, SOURCE: IACR Cryptology ePrint Archive, VOLUME: 2005, PAGES: 217
INDEXED IN: DBLP
DBLP1417
TITLE: First Steps Toward a Cryptography-Aware Language and Compiler
AUTHORS: Manuel Barbosa ; Richard Noad; Daniel Page; Nigel P Smart;
PUBLISHED: 2005, SOURCE: IACR Cryptology ePrint Archive, VOLUME: 2005, PAGES: 160
AUTHORS: Manuel Barbosa ; Richard Noad; Daniel Page; Nigel P Smart;
PUBLISHED: 2005, SOURCE: IACR Cryptology ePrint Archive, VOLUME: 2005, PAGES: 160
INDEXED IN: DBLP
DBLP1418
TITLE: From algebras to objects: Generation and composition Full Text
AUTHORS: Cruz, AM; Barbosa, LS ; Oliveira, JN ;
PUBLISHED: 2005, SOURCE: JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 11, ISSUE: 10, PAGES: 1580-1612
AUTHORS: Cruz, AM; Barbosa, LS ; Oliveira, JN ;
PUBLISHED: 2005, SOURCE: JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 11, ISSUE: 10, PAGES: 1580-1612
INDEXED IN: Scopus WOS DBLP
Scopus WOS DBLP1419
TITLE: Group-based replication of on-line transaction processing servers
AUTHORS: Correia, A; Sousa, A ; Soares, L; Pereira, J ; Moura, F ; Oliveira, R ;
PUBLISHED: 2005, SOURCE: 2nd Latin-American Symposium on Dependable Computing in DEPENDABLE COMPUTING, PROCEEDINGS, VOLUME: 3747, PAGES: 245-260
AUTHORS: Correia, A; Sousa, A ; Soares, L; Pereira, J ; Moura, F ; Oliveira, R ;
PUBLISHED: 2005, SOURCE: 2nd Latin-American Symposium on Dependable Computing in DEPENDABLE COMPUTING, PROCEEDINGS, VOLUME: 3747, PAGES: 245-260
1420
TITLE: Introduction
AUTHORS: Rui Camacho ; Alexessander Alves; Joaquim Pinto da Costa ; Paulo J Azevedo ;
PUBLISHED: 2005, SOURCE: 12th Portuguese Conference on Artificial Intelligence, EPIA 2005 - Progress in Artificial Intelligence in Progress in Artificial Intelligence, 12th Portuguese Conference on Artificial Intelligence, EPIA 2005, Covilhã, Portugal, December 5-8, 2005, Proceedings, VOLUME: 3808, PAGES: 235-235
AUTHORS: Rui Camacho ; Alexessander Alves; Joaquim Pinto da Costa ; Paulo J Azevedo ;
PUBLISHED: 2005, SOURCE: 12th Portuguese Conference on Artificial Intelligence, EPIA 2005 - Progress in Artificial Intelligence in Progress in Artificial Intelligence, 12th Portuguese Conference on Artificial Intelligence, EPIA 2005, Covilhã, Portugal, December 5-8, 2005, Proceedings, VOLUME: 3808, PAGES: 235-235
