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: 1570
167 Team MembersFilters -> Year: 2026
1521
TITLE: Panasync: dependency tracking among file copies. dependency tracking among file copies
AUTHORS: Paulo Sérgio Almeida ; Carlos Baquero ; Victor Fonte ;
PUBLISHED: 2000, SOURCE: ACM SIGOPS European Workshop, PAGES: 7-12
AUTHORS: Paulo Sérgio Almeida ; Carlos Baquero ; Victor Fonte ;
PUBLISHED: 2000, SOURCE: ACM SIGOPS European Workshop, PAGES: 7-12
1522
TITLE: Preface
AUTHORS: Backhouse, R; Oliveira, JN ;
PUBLISHED: 2000, SOURCE: 5th International Conference on Mathematics of Program Construction, MPC 2000 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1837
AUTHORS: Backhouse, R; Oliveira, JN ;
PUBLISHED: 2000, SOURCE: 5th International Conference on Mathematics of Program Construction, MPC 2000 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 1837
INDEXED IN: 
Scopus
Scopus1523
TITLE: Representational Reasoning and Verification
AUTHORS: Gavin J Doherty; José Creissac Campos ; Michael D Harrison ;
PUBLISHED: 2000, SOURCE: Formal Aspects Comput., VOLUME: 12, ISSUE: 4, PAGES: 260-277
AUTHORS: Gavin J Doherty; José Creissac Campos ; Michael D Harrison ;
PUBLISHED: 2000, SOURCE: Formal Aspects Comput., VOLUME: 12, ISSUE: 4, PAGES: 260-277
1524
TITLE: Semantically reliable multicast protocols
AUTHORS: Pereira, J ; Rodrigues, L ; Oliveira, R ;
PUBLISHED: 2000, SOURCE: 19th IEEE Symposium on Reliable Distributed Systems in 19TH IEEE SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS - PROCEEDINGS, PAGES: 60-69
AUTHORS: Pereira, J ; Rodrigues, L ; Oliveira, R ;
PUBLISHED: 2000, SOURCE: 19th IEEE Symposium on Reliable Distributed Systems in 19TH IEEE SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS - PROCEEDINGS, PAGES: 60-69
1525
TITLE: Sequential and concurrent abstract machines for interaction nets
AUTHORS: Pinto, JS ;
PUBLISHED: 2000, SOURCE: 3rd International Conference on Foundations of Software Science and Computation Structures (FOSSACS 2000) in FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, VOLUME: 1784, PAGES: 267-282
AUTHORS: Pinto, JS ;
PUBLISHED: 2000, SOURCE: 3rd International Conference on Foundations of Software Science and Computation Structures (FOSSACS 2000) in FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, VOLUME: 1784, PAGES: 267-282
1526
TITLE: The cash-point (ATM) 'problem'
AUTHORS: Denvir, T; Oliveira, J ; Plat, N;
PUBLISHED: 2000, SOURCE: Formal Aspects of Computing, VOLUME: 12, ISSUE: 4, PAGES: 211-215
AUTHORS: Denvir, T; Oliveira, J ; Plat, N;
PUBLISHED: 2000, SOURCE: Formal Aspects of Computing, VOLUME: 12, ISSUE: 4, PAGES: 211-215
INDEXED IN: Scopus
Scopus1527
TITLE: Aliasing in object oriented systems
AUTHORS: Noble, J; Vitek, J; Lea, D; Almeida, PS ;
PUBLISHED: 1999, SOURCE: 13th European Conference on Object-Oriented Programming (ECOOP 99) in OBJECT-ORIENTED TECHNOLOGY, VOLUME: 1743, PAGES: 136-163
AUTHORS: Noble, J; Vitek, J; Lea, D; Almeida, PS ;
PUBLISHED: 1999, SOURCE: 13th European Conference on Object-Oriented Programming (ECOOP 99) in OBJECT-ORIENTED TECHNOLOGY, VOLUME: 1743, PAGES: 136-163
1528
TITLE: An introduction to CANonen
AUTHORS: Farsi, M; Ratcliff, K; Barbosa, M ;
PUBLISHED: 1999, SOURCE: Computing and Control Engineering Journal, VOLUME: 10, ISSUE: 4, PAGES: 161-168
AUTHORS: Farsi, M; Ratcliff, K; Barbosa, M ;
PUBLISHED: 1999, SOURCE: Computing and Control Engineering Journal, VOLUME: 10, ISSUE: 4, PAGES: 161-168
INDEXED IN: Scopus
Scopus1529
TITLE: An introduction to CANopen
AUTHORS: Farsi, M; Ratcliff, K; Barbosa, M ;
PUBLISHED: 1999, SOURCE: COMPUTING & CONTROL ENGINEERING JOURNAL, VOLUME: 10, ISSUE: 4, PAGES: 161-168
AUTHORS: Farsi, M; Ratcliff, K; Barbosa, M ;
PUBLISHED: 1999, SOURCE: COMPUTING & CONTROL ENGINEERING JOURNAL, VOLUME: 10, ISSUE: 4, PAGES: 161-168
1530
TITLE: An overview of Controller Area Network
AUTHORS: Farsi, M; Ratcliff, K; Barbosa, M ;
PUBLISHED: 1999, SOURCE: COMPUTING & CONTROL ENGINEERING JOURNAL, VOLUME: 10, ISSUE: 3, PAGES: 113-120
AUTHORS: Farsi, M; Ratcliff, K; Barbosa, M ;
PUBLISHED: 1999, SOURCE: COMPUTING & CONTROL ENGINEERING JOURNAL, VOLUME: 10, ISSUE: 3, PAGES: 113-120
1532
TITLE: Data structure free compilation
AUTHORS: Saraiva, J ; Swierstra, D;
PUBLISHED: 1999, SOURCE: Joint European Conference on Theory and Practice of Software (ETAPS 99) in COMPILER CONSTRUCTION, VOLUME: 1575, PAGES: 1-16
AUTHORS: Saraiva, J ; Swierstra, D;
PUBLISHED: 1999, SOURCE: Joint European Conference on Theory and Practice of Software (ETAPS 99) in COMPILER CONSTRUCTION, VOLUME: 1575, PAGES: 1-16
1533
TITLE: Designing and implementing combinator languages
AUTHORS: Swierstra, SD; Alcocer, PRA; Saraiva, J ;
PUBLISHED: 1999, SOURCE: 3rd International School on Advanced Functional Programming (AFP 98) in ADVANCED FUNCTIONAL PROGRAMMING, VOLUME: 1608, PAGES: 150-206
AUTHORS: Swierstra, SD; Alcocer, PRA; Saraiva, J ;
PUBLISHED: 1999, SOURCE: 3rd International School on Advanced Functional Programming (AFP 98) in ADVANCED FUNCTIONAL PROGRAMMING, VOLUME: 1608, PAGES: 150-206
1534
TITLE: Integrating agent based information outsourcing techniques on data warehousing systems
AUTHORS: Orlando Belo ; Alcino Cunha ;
PUBLISHED: 1999, SOURCE: 1999 IEEE International Conference on Systems, Man, and Cybernetics 'Human Communication and Cybernetics' in Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, VOLUME: 1
AUTHORS: Orlando Belo ; Alcino Cunha ;
PUBLISHED: 1999, SOURCE: 1999 IEEE International Conference on Systems, Man, and Cybernetics 'Human Communication and Cybernetics' in Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, VOLUME: 1
1535
TITLE: Poster session
AUTHORS: Baquero, C ;
PUBLISHED: 1999, SOURCE: 13th European Conference on Object-Oriented Programming (ECOOP 99) in OBJECT-ORIENTED TECHNOLOGY, VOLUME: 1743, PAGES: 371-383
AUTHORS: Baquero, C ;
PUBLISHED: 1999, SOURCE: 13th European Conference on Object-Oriented Programming (ECOOP 99) in OBJECT-ORIENTED TECHNOLOGY, VOLUME: 1743, PAGES: 371-383
1536
TITLE: Prototyping Processes
AUTHORS: Luís Soares Barbosa ;
PUBLISHED: 1999, SOURCE: APPIA-GULP-PRODE, PAGES: 513-528
AUTHORS: Luís Soares Barbosa ;
PUBLISHED: 1999, SOURCE: APPIA-GULP-PRODE, PAGES: 513-528
INDEXED IN: 
DBLP
DBLP1537
TITLE: Type-based termination of recursive definitions
AUTHORS: BARTHE, G; FRADE, MJ ; GIMNEZ, E; PINTO, L; UUSTALU, T;
PUBLISHED: 1999, SOURCE: Mathematical Structures in Computer Science - Math. Struct. Comp. Sci., VOLUME: 14, ISSUE: 1, PAGES: 97-141
AUTHORS: BARTHE, G; FRADE, MJ ; GIMNEZ, E; PINTO, L; UUSTALU, T;
PUBLISHED: 1999, SOURCE: Mathematical Structures in Computer Science - Math. Struct. Comp. Sci., VOLUME: 14, ISSUE: 1, PAGES: 97-141
INDEXED IN: 
CrossRef
CrossRef1538
TITLE: Type-checking Balloon Types
AUTHORS: Paulo Sérgio Almeida ;
PUBLISHED: 1999, SOURCE: MFPS, VOLUME: 20, PAGES: 1-27
AUTHORS: Paulo Sérgio Almeida ;
PUBLISHED: 1999, SOURCE: MFPS, VOLUME: 20, PAGES: 1-27
1539
TITLE: Using automated reasoning in the design of an audio-visual communication system
AUTHORS: Campos, JC ; Harrison, MD ;
PUBLISHED: 1999, SOURCE: Eurographics Workshop on Design, Specification and Verification of Interactive Systems (DSV-IS 99) in DESIGN, SPECIFICATION AND VERIFICATION OF INTERACTIVE SYSTEMS'99, PAGES: 167-188
AUTHORS: Campos, JC ; Harrison, MD ;
PUBLISHED: 1999, SOURCE: Eurographics Workshop on Design, Specification and Verification of Interactive Systems (DSV-IS 99) in DESIGN, SPECIFICATION AND VERIFICATION OF INTERACTIVE SYSTEMS'99, PAGES: 167-188
INDEXED IN: 
WOS DBLP
WOS DBLP1540
TITLE: Using Structural Characteristics for Autonomous Operation
AUTHORS: Carlos Baquero ; Francisco Moura ;
PUBLISHED: 1999, SOURCE: ACM SIGOPS Oper. Syst. Rev., VOLUME: 33, ISSUE: 4, PAGES: 90-96
AUTHORS: Carlos Baquero ; Francisco Moura ;
PUBLISHED: 1999, SOURCE: ACM SIGOPS Oper. Syst. Rev., VOLUME: 33, ISSUE: 4, PAGES: 90-96
