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: 1572
149 Team MembersFilters -> Year: 2025
1381
TITLE: Towards a Coordination Model for Interactive Systems
AUTHORS: Barbosa, MA; Barbosa, LS ; Campos, JC ;
PUBLISHED: 2007, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 183, ISSUE: SPEC. ISS., PAGES: 89-103
AUTHORS: Barbosa, MA; Barbosa, LS ; Campos, JC ;
PUBLISHED: 2007, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 183, ISSUE: SPEC. ISS., PAGES: 89-103
1382
TITLE: Transformation of structure-shy programs: applied to XPath queries and strategic functions. applied to XPath queries and strategic functions
AUTHORS: Alcino Cunha ; Joost Visser;
PUBLISHED: 2007, SOURCE: 2007 ACM SIGPLAN Workshop Partial Evaluation and Semantics-Based Program Manipulation in Proceedings of the 2007 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2007, Nice, France, January 15-16, 2007, PAGES: 11-20
AUTHORS: Alcino Cunha ; Joost Visser;
PUBLISHED: 2007, SOURCE: 2007 ACM SIGPLAN Workshop Partial Evaluation and Semantics-Based Program Manipulation in Proceedings of the 2007 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation, 2007, Nice, France, January 15-16, 2007, PAGES: 11-20
1383
TITLE: Visual Programming with Recursion Patterns in Interaction Nets Full Text
AUTHORS: Ian Mackie; Jorge Sousa Pinto ; Miguel Vilaça;
PUBLISHED: 2007, SOURCE: ECEASST, VOLUME: 6
AUTHORS: Ian Mackie; Jorge Sousa Pinto ; Miguel Vilaça;
PUBLISHED: 2007, SOURCE: ECEASST, VOLUME: 6
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP1384
TITLE: XIS-UML Profile for eXtreme Modeling Interactive Systems
AUTHORS: Alberto Rodrigues da Silva ; João de Sousa Saraiva ; Rui Silva; Carlos Martins;
PUBLISHED: 2007, SOURCE: 4th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES 2007 in Model-based Methodologies for Pervasive and Embedded Software, 4th International Workshop on Model-based Methodologies for Pervasive and Embedded Software, MOMPES 2007, Braga, Portugal, March 31, 2007, Proceedings, PAGES: 55-66
AUTHORS: Alberto Rodrigues da Silva ; João de Sousa Saraiva ; Rui Silva; Carlos Martins;
PUBLISHED: 2007, SOURCE: 4th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES 2007 in Model-based Methodologies for Pervasive and Embedded Software, 4th International Workshop on Model-based Methodologies for Pervasive and Embedded Software, MOMPES 2007, Braga, Portugal, March 31, 2007, Proceedings, PAGES: 55-66
1385
TITLE: 2006 Eurographics Symposium on Parallel Graphics and Visualization Full Text
AUTHORS: Santos, LP ;
PUBLISHED: 2006, SOURCE: Computer Graphics Forum, VOLUME: 25, ISSUE: 4, PAGES: 838
AUTHORS: Santos, LP ;
PUBLISHED: 2006, SOURCE: Computer Graphics Forum, VOLUME: 25, ISSUE: 4, PAGES: 838
INDEXED IN: Scopus 
CrossRef
Scopus CrossRef1386
TITLE: A framework for describing interference in ubiquitous computing environments
AUTHORS: Morla, R ; Davies, N;
PUBLISHED: 2006, SOURCE: 4th IEEE Annual International Conference on Pervasive Computing and Communications in FOURTH ANNUAL IEEE INTERNATIONAL CONFERENCE ON PERVASIVE COMPUTING AND COMMUNICATIONS WORKSHOPS, PROCEEDINGS, VOLUME: 2006, PAGES: 632-+
AUTHORS: Morla, R ; Davies, N;
PUBLISHED: 2006, SOURCE: 4th IEEE Annual International Conference on Pervasive Computing and Communications in FOURTH ANNUAL IEEE INTERNATIONAL CONFERENCE ON PERVASIVE COMPUTING AND COMMUNICATIONS WORKSHOPS, PROCEEDINGS, VOLUME: 2006, PAGES: 632-+
1387
TITLE: A framework for point-free program transformation Full Text
AUTHORS: Alcino Cunha ; Jorge Sousa Pinto ; Jose Proenca ;
PUBLISHED: 2006, SOURCE: 17th International Workshop on Implementation and Application of Functional Languages (IFL 2005) in IMPLEMENTATION AND APPLICATION OF FUNCTIONAL LANGUAGES, VOLUME: 4015, PAGES: 1-18
AUTHORS: Alcino Cunha ; Jorge Sousa Pinto ; Jose Proenca ;
PUBLISHED: 2006, SOURCE: 17th International Workshop on Implementation and Application of Functional Languages (IFL 2005) in IMPLEMENTATION AND APPLICATION OF FUNCTIONAL LANGUAGES, VOLUME: 4015, PAGES: 1-18
1388
TITLE: A pragmatic protocol for database replication in interconnected clusters
AUTHORS: Jon Grov; Luís Soares; Alfrânio Correia Jr.; José Pereira ; Rui Carlos Oliveira ; Fernando Pedone;
PUBLISHED: 2006, SOURCE: 12th Pacific Rim International Symposium on Dependable Computing in 12th Pacific Rim International Symposium on Dependable Computing, Proceedings, PAGES: 230-237
AUTHORS: Jon Grov; Luís Soares; Alfrânio Correia Jr.; José Pereira ; Rui Carlos Oliveira ; Fernando Pedone;
PUBLISHED: 2006, SOURCE: 12th Pacific Rim International Symposium on Dependable Computing in 12th Pacific Rim International Symposium on Dependable Computing, Proceedings, PAGES: 230-237
1389
TITLE: Accessibility and visually impaired users Full Text
AUTHORS: Antonio Ramires Fernandes; Jorge Ribeiro Pereira; Jose Creissac Campos ;
PUBLISHED: 2006, SOURCE: 6th International Conference on Enterprise Information Systems (ICEIS 2004) in Enterprise Information Systems VI, PAGES: 310-315
AUTHORS: Antonio Ramires Fernandes; Jorge Ribeiro Pereira; Jose Creissac Campos ;
PUBLISHED: 2006, SOURCE: 6th International Conference on Enterprise Information Systems (ICEIS 2004) in Enterprise Information Systems VI, PAGES: 310-315
1390
TITLE: Actas da 2ª Conferência Nacional em Interacção Pessoa-Máquina
AUTHORS: Teresa Chambel ; Nuno J Nunes; Teresa Romão; José C Campos ;
PUBLISHED: 2006, SOURCE: Actas da 2ª Conferência Nacional em Interacção Pessoa-Máquina
AUTHORS: Teresa Chambel ; Nuno J Nunes; Teresa Romão; José C Campos ;
PUBLISHED: 2006, SOURCE: Actas da 2ª Conferência Nacional em Interacção Pessoa-Máquina
INDEXED IN: 
Handle
Handle1391
TITLE: Ambience and mobility
AUTHORS: Doherty, GJ; Du Bousquet, L; Campos, JC ; El Atifi, EM; Falquet, G; Massink, M; Santoro, C;
PUBLISHED: 2006, SOURCE: 12th International Workshop on Interactive Systems - Design, Specification and Verification, DSVIS 2005 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 3941 LNCS, PAGES: 264
AUTHORS: Doherty, GJ; Du Bousquet, L; Campos, JC ; El Atifi, EM; Falquet, G; Massink, M; Santoro, C;
PUBLISHED: 2006, SOURCE: 12th International Workshop on Interactive Systems - Design, Specification and Verification, DSVIS 2005 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 3941 LNCS, PAGES: 264
1392
TITLE: Component Identification Through Program Slicing
AUTHORS: Rodrigues, NF ; Barbosa, LS ;
PUBLISHED: 2006, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 160, ISSUE: 1, PAGES: 291-304
AUTHORS: Rodrigues, NF ; Barbosa, LS ;
PUBLISHED: 2006, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 160, ISSUE: 1, PAGES: 291-304
1393
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
1394
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
1395
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
Scopus1396
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
1397
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
1398
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 DBLP1399
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
Scopus1400
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
