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: 1499
150 Team MembersFilters -> Year: 2025
1321
TITLE: Components as coalgebras: The refinement dimension Full Text
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: 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
1322
TITLE: Distribution rules with numeric attributes of interest
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: 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
1323
TITLE: Editorial message: Special track on dependable and adaptive distributed systems
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: 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
INDEXED IN: 
Scopus
Scopus1324
TITLE: Efficient epidemic multicast in heterogeneous networks
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: 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
1325
TITLE: Evaluating certification protocols in the partial database state machine
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: 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
1326
TITLE: Generic process algebra: A programming challenge Full Text
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: 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
INDEXED IN: Scopus 
WOS 
DBLP
Scopus WOS DBLP1327
TITLE: Lecture Note in Computer Science (including subseries Lecture Note in Artificial Intelligence and Lecture Note in Bioinformatics): Preface
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: 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
INDEXED IN: Scopus
Scopus1328
TITLE: Mining approximate motifs in time series
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: 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
1329
TITLE: Normative specification: A tool for trust and security Full Text
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: 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
1330
TITLE: Parallel progressive precomputed radiance transfer
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: 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
INDEXED IN: Scopus 
CrossRef
Scopus CrossRef1331
TITLE: Pointfree factorization of operation refinement
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: 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
INDEXED IN: Scopus WOS
Scopus WOS1332
TITLE: Preface
AUTHORS: Zhiming Liu; Luís Barbosa ;
PUBLISHED: 2006, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 160, PAGES: 1-2
AUTHORS: Zhiming Liu; Luís Barbosa ;
PUBLISHED: 2006, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 160, PAGES: 1-2
INDEXED IN: CrossRef
CrossRef1333
TITLE: Preface
AUTHORS: Zhiming Liu; Luís Soares Barbosa ;
PUBLISHED: 2006, SOURCE: Electr. Notes Theor. Comput. Sci., VOLUME: 160, PAGES: 1-2
AUTHORS: Zhiming Liu; Luís Soares Barbosa ;
PUBLISHED: 2006, SOURCE: Electr. Notes Theor. Comput. Sci., VOLUME: 160, PAGES: 1-2
INDEXED IN: DBLP
DBLP1334
TITLE: Proceedings of the International Workshop on Formal Aspects of Component Software, FACS 2005, Macao, October 24-25, 2005
AUTHORS: Zhiming Liu; Luís Soares Barbosa ;
PUBLISHED: 2006, SOURCE: FACS, VOLUME: 160
AUTHORS: Zhiming Liu; Luís Soares Barbosa ;
PUBLISHED: 2006, SOURCE: FACS, VOLUME: 160
INDEXED IN: DBLP
DBLP1335
TITLE: Program slicing by calculation Full Text
AUTHORS: Nuno F Rodrigues ; Luis S Barbosa ;
PUBLISHED: 2006, SOURCE: 10th Brazilian Symposium on Programming Languages in JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 12, ISSUE: 7, PAGES: 828-848
AUTHORS: Nuno F Rodrigues ; Luis S Barbosa ;
PUBLISHED: 2006, SOURCE: 10th Brazilian Symposium on Programming Languages in JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 12, ISSUE: 7, PAGES: 828-848
INDEXED IN: Scopus WOS DBLP
Scopus WOS DBLP1336
TITLE: Query Driven Sequence Pattern Mining PDF
AUTHORS: Pedro Gabriel Ferreira ; Paulo J Azevedo ;
PUBLISHED: 2006, SOURCE: XXI Simpósio Brasileiro de Banco de Dados, 16-20 de Outubro, Florianópolis, Santa Catarina, Brasil, Anais/Proceedings, PAGES: 1-15
AUTHORS: Pedro Gabriel Ferreira ; Paulo J Azevedo ;
PUBLISHED: 2006, SOURCE: XXI Simpósio Brasileiro de Banco de Dados, 16-20 de Outubro, Florianópolis, Santa Catarina, Brasil, Anais/Proceedings, PAGES: 1-15
INDEXED IN: DBLP
DBLP1337
TITLE: Refinement criteria for high fidelity interactive walkthroughs
AUTHORS: Oliveira, A; Santos, LP ; Proenca, A ;
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: 453-458
AUTHORS: Oliveira, A; Santos, LP ; Proenca, A ;
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: 453-458
INDEXED IN: Scopus CrossRef
Scopus CrossRef1338
TITLE: Relational sampling for data quality auditing and decision support Full Text
AUTHORS: Bruno Cortes; Jose Nuno Oliveira ;
PUBLISHED: 2006, SOURCE: 6th International Conference on Enterprise Information Systems (ICEIS 2004) in Enterprise Information Systems VI, PAGES: 82-88
AUTHORS: Bruno Cortes; Jose Nuno Oliveira ;
PUBLISHED: 2006, SOURCE: 6th International Conference on Enterprise Information Systems (ICEIS 2004) in Enterprise Information Systems VI, PAGES: 82-88
INDEXED IN: WOS CrossRef
WOS CrossRef1339
TITLE: Revisiting 1-copy equivalence in clustered databases Full Text
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: 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
1340
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-393
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
