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: 1498
150 Team MembersFilters -> Year: 2025
1461
TITLE: Data structure free compilation Full Text
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
1462
TITLE: Designing and implementing combinator languages Full Text
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
1463
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
1464
TITLE: Poster session Full Text
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
1465
TITLE: Prototyping Processes
AUTHORS: Luís Soares Barbosa ;
PUBLISHED: 1999, SOURCE: 1999 Joint Conference on Declarative Programming, AGP'99, L'Aquila, Italy, September 6-9, 1999, PAGES: 513-528
AUTHORS: Luís Soares Barbosa ;
PUBLISHED: 1999, SOURCE: 1999 Joint Conference on Declarative Programming, AGP'99, L'Aquila, Italy, September 6-9, 1999, PAGES: 513-528
INDEXED IN: 
DBLP
DBLP1466
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
CrossRef1467
TITLE: Type-checking balloon types
AUTHORS: Almeida, PS ;
PUBLISHED: 1999, SOURCE: MFPS XV, Mathematical Foundations of Programming Semantics, Fifteenth Conference in Electronic Notes in Theoretical Computer Science, VOLUME: 20, PAGES: 1-27
AUTHORS: Almeida, PS ;
PUBLISHED: 1999, SOURCE: MFPS XV, Mathematical Foundations of Programming Semantics, Fifteenth Conference in Electronic Notes in Theoretical Computer Science, VOLUME: 20, PAGES: 1-27
1468
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 DBLP1469
TITLE: Using Structural Characteristics for Autonomous Operation Full Text
AUTHORS: Carlos Baquero ; Francisco Moura ;
PUBLISHED: 1999, SOURCE: Operating Systems Review, VOLUME: 33, ISSUE: 4, PAGES: 90-96
AUTHORS: Carlos Baquero ; Francisco Moura ;
PUBLISHED: 1999, SOURCE: Operating Systems Review, VOLUME: 33, ISSUE: 4, PAGES: 90-96
1470
TITLE: 3(rd) workshop on mobility and replication
AUTHORS: Andersen, B; Baquero, C ; Juul, NC;
PUBLISHED: 1998, SOURCE: ECOOP 98 Workshop on Object-Oriented Technology in OBJECT-ORIENTED TECHNOLOGY: ECOOP'98 WORKSHOP READER, VOLUME: 1543, PAGES: 307-308
AUTHORS: Andersen, B; Baquero, C ; Juul, NC;
PUBLISHED: 1998, SOURCE: ECOOP 98 Workshop on Object-Oriented Technology in OBJECT-ORIENTED TECHNOLOGY: ECOOP'98 WORKSHOP READER, VOLUME: 1543, PAGES: 307-308
1471
TITLE: A CANopen I/O module: Simple and efficient, system integration
AUTHORS: Barbosa, MBM ; Carvalho, AD ; Farsi, M;
PUBLISHED: 1998, SOURCE: 24th Annual Conference of the IEEE Industrial-Electronics-Society in IECON '98 - PROCEEDINGS OF THE 24TH ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, VOLS 1-4, VOLUME: 1, PAGES: 155-159
AUTHORS: Barbosa, MBM ; Carvalho, AD ; Farsi, M;
PUBLISHED: 1998, SOURCE: 24th Annual Conference of the IEEE Industrial-Electronics-Society in IECON '98 - PROCEEDINGS OF THE 24TH ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY, VOLS 1-4, VOLUME: 1, PAGES: 155-159
INDEXED IN: 
Scopus WOS
Scopus WOS1472
TITLE: A Game-Theoretic Approach to the Socialization of Utility-Based Agents
AUTHORS: Alcino Cunha ; José Neves;
PUBLISHED: 1998, SOURCE: 1998 International Conference on Multi Agent Systems, ICMAS 1998 in Proceedings of the Third International Conference on Multiagent Systems, ICMAS 1998, Paris, France, July 3-7, 1998, PAGES: 413-414
AUTHORS: Alcino Cunha ; José Neves;
PUBLISHED: 1998, SOURCE: 1998 International Conference on Multi Agent Systems, ICMAS 1998 in Proceedings of the Third International Conference on Multiagent Systems, ICMAS 1998, Paris, France, July 3-7, 1998, PAGES: 413-414
1473
TITLE: CAD tool extension for formal building description language Full Text
AUTHORS: Oliveira, JN ;
PUBLISHED: 1998, SOURCE: 6th International Conference on Civil and Structural Engineering Computing/4th International Conference on the Application of Artificial Intelligence to Civil and Structural Engineering in ADVANCES IN ENGINEERING SOFTWARE, VOLUME: 29, ISSUE: 7-9, PAGES: 571-586
AUTHORS: Oliveira, JN ;
PUBLISHED: 1998, SOURCE: 6th International Conference on Civil and Structural Engineering Computing/4th International Conference on the Application of Artificial Intelligence to Civil and Structural Engineering in ADVANCES IN ENGINEERING SOFTWARE, VOLUME: 29, ISSUE: 7-9, PAGES: 571-586
1474
TITLE: Improving causality logging in mobile computing networks Full Text
AUTHORS: Carlos Baquero ; Francisco Moura ;
PUBLISHED: 1998, SOURCE: Mobile Computing and Communications Review, VOLUME: 2, ISSUE: 4, PAGES: 62-66
AUTHORS: Carlos Baquero ; Francisco Moura ;
PUBLISHED: 1998, SOURCE: Mobile Computing and Communications Review, VOLUME: 2, ISSUE: 4, PAGES: 62-66
1475
TITLE: Lrc - A generator for incremental language-oriented tools Full Text
AUTHORS: Kuiper, M; Saraiva, J ;
PUBLISHED: 1998, SOURCE: 7th International Conference on Compiler Construction (CC 98) at the Joint European Conferences on Theory and Practice of Software (ETAPS 98) in COMPILER CONSTRUCTION, VOLUME: 1383, PAGES: 298-301
AUTHORS: Kuiper, M; Saraiva, J ;
PUBLISHED: 1998, SOURCE: 7th International Conference on Compiler Construction (CC 98) at the Joint European Conferences on Theory and Practice of Software (ETAPS 98) in COMPILER CONSTRUCTION, VOLUME: 1383, PAGES: 298-301
1476
TITLE: Simulating a gas distribution network in a distributed object oriented system
AUTHORS: Ribeiro, A; Cunha, A ; Belo, O ;
PUBLISHED: 1998, SOURCE: 10th European Simulation Symposium (ESS 98) in ESS'98 - SIMULATION TECHNOLOGY: SCIENCE AND ART, PAGES: 283-287
AUTHORS: Ribeiro, A; Cunha, A ; Belo, O ;
PUBLISHED: 1998, SOURCE: 10th European Simulation Symposium (ESS 98) in ESS'98 - SIMULATION TECHNOLOGY: SCIENCE AND ART, PAGES: 283-287
INDEXED IN: WOS
WOS1477
TITLE: The role of verification in interactive systems design
AUTHORS: Campos, JC ; Harrison, MD ;
PUBLISHED: 1998, SOURCE: Eurographics Workshop on Design, Specification and Verification of Interactive Systems (DSV-IS 98) in DESIGN, SPECIFICATION AND VERIFICATION OF INTERACTIVE SYSTEMS'98, VOLUME: 1, PAGES: 155-170
AUTHORS: Campos, JC ; Harrison, MD ;
PUBLISHED: 1998, SOURCE: Eurographics Workshop on Design, Specification and Verification of Interactive Systems (DSV-IS 98) in DESIGN, SPECIFICATION AND VERIFICATION OF INTERACTIVE SYSTEMS'98, VOLUME: 1, PAGES: 155-170
INDEXED IN: WOS DBLP
WOS DBLP1478
TITLE: Balloon Types: Controlling Sharing of State in Data Types
AUTHORS: Paulo Sérgio Almeida ;
PUBLISHED: 1997, SOURCE: 11th European Conference on Object-Oriented Programming, ECOOP 1997 in ECOOP, VOLUME: 1241, PAGES: 32-59
AUTHORS: Paulo Sérgio Almeida ;
PUBLISHED: 1997, SOURCE: 11th European Conference on Object-Oriented Programming, ECOOP 1997 in ECOOP, VOLUME: 1241, PAGES: 32-59
1479
TITLE: CAMILA: Prototyping and Refinement of Constructive Specifications
AUTHORS: José João Almeida ; Luís Soares Barbosa ; Neves, FL; José Nuno Oliveira ;
PUBLISHED: 1997, SOURCE: 6th International Algebraic Methodology and Software Technology Conference, AMAST 1997 in Algebraic Methodology and Software Technology, 6th International Conference, AMAST '97, Sydney, Australia, December 13-17, 1997, Proceedings, VOLUME: 1349, PAGES: 554-559
AUTHORS: José João Almeida ; Luís Soares Barbosa ; Neves, FL; José Nuno Oliveira ;
PUBLISHED: 1997, SOURCE: 6th International Algebraic Methodology and Software Technology Conference, AMAST 1997 in Algebraic Methodology and Software Technology, 6th International Conference, AMAST '97, Sydney, Australia, December 13-17, 1997, Proceedings, VOLUME: 1349, PAGES: 554-559
1480
TITLE: Enhancing load distribution strategies through simulation
AUTHORS: Cunha, A ; Santos, LP ; Belo, O ;
PUBLISHED: 1997, SOURCE: 9th European Simulation Symposium (ESS 97) in SIMULATION IN INDUSTRY: 9TH EUROPEAN SIMULATION SYMPOSIUM 1997, PAGES: 416-420
AUTHORS: Cunha, A ; Santos, LP ; Belo, O ;
PUBLISHED: 1997, SOURCE: 9th European Simulation Symposium (ESS 97) in SIMULATION IN INDUSTRY: 9TH EUROPEAN SIMULATION SYMPOSIUM 1997, PAGES: 416-420
INDEXED IN: WOS
WOS