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: 1489
150 Team MembersFilters -> Year: 2024
1401
TITLE: Preface
AUTHORS: Barrett Bryant; João Saraiva ;
PUBLISHED: 2003, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 82, ISSUE: 3, PAGES: 461-462
AUTHORS: Barrett Bryant; João Saraiva ;
PUBLISHED: 2003, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 82, ISSUE: 3, PAGES: 461-462
INDEXED IN: 
CrossRef
CrossRef1402
TITLE: Reasoning about dynamic information displays
AUTHORS: Campos, JC ; Doherty, GJ;
PUBLISHED: 2003, SOURCE: 10th International Workshop on Design, Specification and Verification of Interactive Systems in INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION, AND VERIFICATION, VOLUME: 2844, PAGES: 288-302
AUTHORS: Campos, JC ; Doherty, GJ;
PUBLISHED: 2003, SOURCE: 10th International Workshop on Design, Specification and Verification of Interactive Systems in INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION, AND VERIFICATION, VOLUME: 2844, PAGES: 288-302
1403
TITLE: Semantically reliable multicast: Definition, implementation, and performance evaluation
AUTHORS: Pereira, J ; Rodrigues, L ; Oliveira, R ;
PUBLISHED: 2003, SOURCE: IEEE TRANSACTIONS ON COMPUTERS, VOLUME: 52, ISSUE: 2, PAGES: 150-165
AUTHORS: Pereira, J ; Rodrigues, L ; Oliveira, R ;
PUBLISHED: 2003, SOURCE: IEEE TRANSACTIONS ON COMPUTERS, VOLUME: 52, ISSUE: 2, PAGES: 150-165
1404
TITLE: State-based components made generic
AUTHORS: Barbosa, LS ; Oliveira, JN ;
PUBLISHED: 2003, SOURCE: CMCS'03, Coalgebraic Methods in Computer Science Satellite Event for ETAPS 2003) in Electronic Notes in Theoretical Computer Science, VOLUME: 82, ISSUE: 1, PAGES: 41-58
AUTHORS: Barbosa, LS ; Oliveira, JN ;
PUBLISHED: 2003, SOURCE: CMCS'03, Coalgebraic Methods in Computer Science Satellite Event for ETAPS 2003) in Electronic Notes in Theoretical Computer Science, VOLUME: 82, ISSUE: 1, PAGES: 41-58
1405
TITLE: Towards a calculus of state-based software components Full Text
AUTHORS: Barbosa, LS ;
PUBLISHED: 2003, SOURCE: 7th Brazilian Symposium on Programming Languages in JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 9, ISSUE: 8, PAGES: 891-909
AUTHORS: Barbosa, LS ;
PUBLISHED: 2003, SOURCE: 7th Brazilian Symposium on Programming Languages in JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 9, ISSUE: 8, PAGES: 891-909
INDEXED IN: 
Scopus 
WOS 
DBLP
Scopus WOS DBLP1406
TITLE: Towards peer-to-peer content indexing Full Text
AUTHORS: Carlos Baquero ; Nuno Lopes;
PUBLISHED: 2003, SOURCE: Operating Systems Review, VOLUME: 37, ISSUE: 4, PAGES: 90-96
AUTHORS: Carlos Baquero ; Nuno Lopes;
PUBLISHED: 2003, SOURCE: Operating Systems Review, VOLUME: 37, ISSUE: 4, PAGES: 90-96
1407
TITLE: Using task knowledge to guide interactor specifications analysis
AUTHORS: Campos, JC ;
PUBLISHED: 2003, SOURCE: 10th International Workshop on Design, Specification and Verification of Interactive Systems in INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION, AND VERIFICATION, VOLUME: 2844, PAGES: 171-186
AUTHORS: Campos, JC ;
PUBLISHED: 2003, SOURCE: 10th International Workshop on Design, Specification and Verification of Interactive Systems in INTERACTIVE SYSTEMS: DESIGN, SPECIFICATION, AND VERIFICATION, VOLUME: 2844, PAGES: 171-186
1408
TITLE: Weak reduction and garbage collection in interaction nets
AUTHORS: Pinto, JS ;
PUBLISHED: 2003, SOURCE: WRS 2003, 3rd International Workshop on Reduction Strategies in Rewriting and Programming - Final Proceedings in Electronic Notes in Theoretical Computer Science, VOLUME: 86, ISSUE: 4, PAGES: 625-640
AUTHORS: Pinto, JS ;
PUBLISHED: 2003, SOURCE: WRS 2003, 3rd International Workshop on Reduction Strategies in Rewriting and Programming - Final Proceedings in Electronic Notes in Theoretical Computer Science, VOLUME: 86, ISSUE: 4, PAGES: 625-640
1409
TITLE: Workshop on Language Descriptions, Tools and Applications, LDTA@ETAPS 2003, Warsaw, Poland, April 12-13, 2003
AUTHORS: Barrett R Bryant; João Saraiva ;
PUBLISHED: 2003, SOURCE: LDTA@ETAPS, VOLUME: 82, ISSUE: 3
AUTHORS: Barrett R Bryant; João Saraiva ;
PUBLISHED: 2003, SOURCE: LDTA@ETAPS, VOLUME: 82, ISSUE: 3
INDEXED IN: DBLP
DBLP1410
TITLE: Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures
AUTHORS: Gilles Barthe ; Peter Dybjer; Luis Pinto; João Saraiva ;
PUBLISHED: 2002, SOURCE: APPSEM, VOLUME: 2395
AUTHORS: Gilles Barthe ; Peter Dybjer; Luis Pinto; João Saraiva ;
PUBLISHED: 2002, SOURCE: APPSEM, VOLUME: 2395
INDEXED IN: DBLP
DBLP1411
TITLE: Coinductive Interpreters for Process Calculi
AUTHORS: Luís Soares Barbosa ; José Nuno Oliveira ;
PUBLISHED: 2002, SOURCE: Functional and Logic Programming, 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002, Proceedings, VOLUME: 2441, PAGES: 183-197
AUTHORS: Luís Soares Barbosa ; José Nuno Oliveira ;
PUBLISHED: 2002, SOURCE: Functional and Logic Programming, 6th International Symposium, FLOPS 2002, Aizu, Japan, September 15-17, 2002, Proceedings, VOLUME: 2441, PAGES: 183-197
1412
TITLE: Component-based programming for higher-order attribute grammars PDF
AUTHORS: Saraiva, J ;
PUBLISHED: 2002, SOURCE: 1st International Conference on Generative Programming and Component Engineering in GENERATIVE PROGRAMMING AND COMPONENT ENGINEERING, PROCEEDINGS, VOLUME: 2487, PAGES: 268-282
AUTHORS: Saraiva, J ;
PUBLISHED: 2002, SOURCE: 1st International Conference on Generative Programming and Component Engineering in GENERATIVE PROGRAMMING AND COMPONENT ENGINEERING, PROCEEDINGS, VOLUME: 2487, PAGES: 268-282
1414
TITLE: Optimistic total order in wide area networks Full Text
AUTHORS: Sousa, A ; Pereira, J ; Moura, F ; Oliveira, R ;
PUBLISHED: 2002, SOURCE: 21st IEEE Symposium on Reliable Distributed Systems in 21ST IEEE SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS, PROCEEDINGS, PAGES: 190-199
AUTHORS: Sousa, A ; Pereira, J ; Moura, F ; Oliveira, R ;
PUBLISHED: 2002, SOURCE: 21st IEEE Symposium on Reliable Distributed Systems in 21ST IEEE SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS, PROCEEDINGS, PAGES: 190-199
1415
TITLE: Post-processing operators for browsing large sets of association rules
AUTHORS: Jorge, A ; Pocas, J; Azevedo, P ;
PUBLISHED: 2002, SOURCE: 5th International Conference on Discovery Science (DS 2002) in DISCOVERY SCIENCE, PROCEEDINGS, VOLUME: 2534, PAGES: 414-421
AUTHORS: Jorge, A ; Pocas, J; Azevedo, P ;
PUBLISHED: 2002, SOURCE: 5th International Conference on Discovery Science (DS 2002) in DISCOVERY SCIENCE, PROCEEDINGS, VOLUME: 2534, PAGES: 414-421
1416
TITLE: Preface
AUTHORS: Barthe, G; Dybjer, P; Pinto, L ; Saraiva, J ;
PUBLISHED: 2002, SOURCE: International Summer School on Applied Semantics, APPSEM 2000 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2395 LNCS
AUTHORS: Barthe, G; Dybjer, P; Pinto, L ; Saraiva, J ;
PUBLISHED: 2002, SOURCE: International Summer School on Applied Semantics, APPSEM 2000 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2395 LNCS
INDEXED IN: Scopus
Scopus1417
TITLE: Preface Full Text
AUTHORS: Roland Backhouse; José Oliveira ;
PUBLISHED: 2002, SOURCE: Science of Computer Programming, VOLUME: 43, ISSUE: 2-3, PAGES: 91-92
AUTHORS: Roland Backhouse; José Oliveira ;
PUBLISHED: 2002, SOURCE: Science of Computer Programming, VOLUME: 43, ISSUE: 2-3, PAGES: 91-92
INDEXED IN: CrossRef
CrossRef1418
TITLE: Reducing the cost of group communication with semantic view synchrony
AUTHORS: Pereira, J ; Rodrigues, L ; Oliveira, R ;
PUBLISHED: 2002, SOURCE: International Conference on Dependable Systems and Networks in INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, PROCEEDINGS, PAGES: 293-302
AUTHORS: Pereira, J ; Rodrigues, L ; Oliveira, R ;
PUBLISHED: 2002, SOURCE: International Conference on Dependable Systems and Networks in INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, PROCEEDINGS, PAGES: 293-302
1419
TITLE: Semantically reliable group communication
AUTHORS: José Pereira ;
PUBLISHED: 2002
AUTHORS: José Pereira ;
PUBLISHED: 2002
INDEXED IN: DBLP
DBLP1420
TITLE: Special issue on Mathematics of Program Construction (MPC 2000) Preface Full Text
AUTHORS: Backhouse, R; Oliveira, J ;
PUBLISHED: 2002, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 43, ISSUE: 2-3, PAGES: 91-92
AUTHORS: Backhouse, R; Oliveira, J ;
PUBLISHED: 2002, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 43, ISSUE: 2-3, PAGES: 91-92
INDEXED IN: Scopus WOS
Scopus WOS