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: 1659
149 Team MembersFilters -> Year: 2026
1581
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
DBLP1582
TITLE: Coinductive Interpreters for Process Calculi
AUTHORS: Luís Soares Barbosa ; José Nuno Oliveira ;
PUBLISHED: 2002, SOURCE: FLOPS, VOLUME: 2441, PAGES: 183-197
AUTHORS: Luís Soares Barbosa ; José Nuno Oliveira ;
PUBLISHED: 2002, SOURCE: FLOPS, VOLUME: 2441, PAGES: 183-197
1583
TITLE: Component-based programming for higher-order attribute grammars
AUTHORS: Saraiva, J ;
PUBLISHED: 2002, SOURCE: 1st International Conference on Generative Programming and Component Engineering in GENERATIVE PROGRAMMING AND COMPONENT ENGINEERING 2002, 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 2002, PROCEEDINGS, VOLUME: 2487, PAGES: 268-282
1584
TITLE: Encoding linear logic with interaction combinators
AUTHORS: Mackie, I; Pinto, JS ;
PUBLISHED: 2002, SOURCE: INFORMATION AND COMPUTATION, VOLUME: 176, ISSUE: 2, PAGES: 153-186
AUTHORS: Mackie, I; Pinto, JS ;
PUBLISHED: 2002, SOURCE: INFORMATION AND COMPUTATION, VOLUME: 176, ISSUE: 2, PAGES: 153-186
1585
TITLE: Optimistic total order in wide area networks
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
1586
TITLE: Post-processing operators for browsing large sets of association rules
AUTHORS: Jorge, A ; Poças, 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 ; Poças, J; Azevedo, P ;
PUBLISHED: 2002, SOURCE: 5th International Conference on Discovery Science (DS 2002) in DISCOVERY SCIENCE, PROCEEDINGS, VOLUME: 2534, PAGES: 414-421
1587
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
Scopus1588
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
CrossRef1589
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
1590
TITLE: Semantically reliable group communication
AUTHORS: José Pereira ;
PUBLISHED: 2002
AUTHORS: José Pereira ;
PUBLISHED: 2002
INDEXED IN: DBLP
DBLP1591
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 WOS1592
TITLE: Version stamps - Decentralized version vectors
AUTHORS: Almeida, PS ; Baquero, C ; Fonte, V ;
PUBLISHED: 2002, SOURCE: 22nd International Conference on Distributed Computing Systems in 22ND INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS, PROCEEDINGS, PAGES: 544-551
AUTHORS: Almeida, PS ; Baquero, C ; Fonte, V ;
PUBLISHED: 2002, SOURCE: 22nd International Conference on Distributed Computing Systems in 22ND INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS, PROCEEDINGS, PAGES: 544-551
1593
TITLE: "Bagatelle in C arranged for VDM SoLo"
AUTHORS: Oliveira, JN ;
PUBLISHED: 2001, SOURCE: Colloquium on Formal Aspects of Software Engineering in JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 7, ISSUE: 8, PAGES: 754-781
AUTHORS: Oliveira, JN ;
PUBLISHED: 2001, SOURCE: Colloquium on Formal Aspects of Software Engineering in JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 7, ISSUE: 8, PAGES: 754-781
INDEXED IN: WOS
WOS1594
TITLE: A Bayesian RunTime load manager on a shared cluster
AUTHORS: Santos, LP ; Proenca, A ;
PUBLISHED: 2001, SOURCE: 1st IEEE/AMC International Symposium on Cluster Computing and the Grid in FIRST IEEE/ACM INTERNATIONAL SYMPOSIUM ON CLUSTER COMPUTING AND THE GRID, PROCEEDINGS, PAGES: 674-679
AUTHORS: Santos, LP ; Proenca, A ;
PUBLISHED: 2001, SOURCE: 1st IEEE/AMC International Symposium on Cluster Computing and the Grid in FIRST IEEE/ACM INTERNATIONAL SYMPOSIUM ON CLUSTER COMPUTING AND THE GRID, PROCEEDINGS, PAGES: 674-679
1595
TITLE: A MOBILE-AGENT BASED ARCHITECTURE FOR VIRTUAL ENTERPRISES
AUTHORS: Luis Brito; Jose Neves ; Francisco Moura ;
PUBLISHED: 2001, SOURCE: 2nd Conference on Infrastructures for Virtual Organizations - Managing Cooperation in Virtual Organization and Electronic Business towards Smart Organizations in E-BUSINESS AND VIRTUAL ENTERPRISES: MANAGING BUSINESS-TO-BUSINESS COOPERATION, VOLUME: 56, PAGES: 167-174
AUTHORS: Luis Brito; Jose Neves ; Francisco Moura ;
PUBLISHED: 2001, SOURCE: 2nd Conference on Infrastructures for Virtual Organizations - Managing Cooperation in Virtual Organization and Electronic Business towards Smart Organizations in E-BUSINESS AND VIRTUAL ENTERPRISES: MANAGING BUSINESS-TO-BUSINESS COOPERATION, VOLUME: 56, PAGES: 167-174
INDEXED IN: Scopus WOS
Scopus WOS1596
TITLE: Combining interaction nets with externally defined programs
AUTHORS: Maribel Fernández; Ian Mackie; Jorge Sousa Pinto ;
PUBLISHED: 2001, SOURCE: APPIA-GULP-PRODE, PAGES: 297-312
AUTHORS: Maribel Fernández; Ian Mackie; Jorge Sousa Pinto ;
PUBLISHED: 2001, SOURCE: APPIA-GULP-PRODE, PAGES: 297-312
INDEXED IN: DBLP
DBLP1597
1598
TITLE: Deontic and action logics for organized collective agency, modeled through institutionalized agents and roles Full Text
AUTHORS: Carmo, J ; Pacheco, O ;
PUBLISHED: 2001, SOURCE: 5th International Workshop on Deontic Logic in Computer Science (DEON 00) in FUNDAMENTA INFORMATICAE, VOLUME: 48, ISSUE: 2-3, PAGES: 129-163
AUTHORS: Carmo, J ; Pacheco, O ;
PUBLISHED: 2001, SOURCE: 5th International Workshop on Deontic Logic in Computer Science (DEON 00) in FUNDAMENTA INFORMATICAE, VOLUME: 48, ISSUE: 2-3, PAGES: 129-163
INDEXED IN: Scopus WOS
Scopus WOS1599
TITLE: Model Checking Interactor Specifications
AUTHORS: José Creissac Campos ; Michael D Harrison ;
PUBLISHED: 2001, SOURCE: Autom. Softw. Eng., VOLUME: 8, ISSUE: 3-4, PAGES: 275-310
AUTHORS: José Creissac Campos ; Michael D Harrison ;
PUBLISHED: 2001, SOURCE: Autom. Softw. Eng., VOLUME: 8, ISSUE: 3-4, PAGES: 275-310
1600
TITLE: Parallel evaluation of Interaction Nets with MPINE
AUTHORS: Pinto, JS ;
PUBLISHED: 2001, SOURCE: 12th International Conference on Rewriting Techniques and Applications, RTA 2001 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2051 LNCS, PAGES: 353-356
AUTHORS: Pinto, JS ;
PUBLISHED: 2001, SOURCE: 12th International Conference on Rewriting Techniques and Applications, RTA 2001 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 2051 LNCS, PAGES: 353-356
