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
1461
TITLE: On the use of a reflective architecture to augment database management systems
AUTHORS: Carvalho, N; Correia, A; Pereira, J ; Rodrigues, L ; Oliveira, R ; Guedes, S;
PUBLISHED: 2007, SOURCE: Dagstuhl Seminar on Atomicity in Computer Science in JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 13, ISSUE: 8, PAGES: 1110-1135
AUTHORS: Carvalho, N; Correia, A; Pereira, J ; Rodrigues, L ; Oliveira, R ; Guedes, S;
PUBLISHED: 2007, SOURCE: Dagstuhl Seminar on Atomicity in Computer Science in JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 13, ISSUE: 8, PAGES: 1110-1135
INDEXED IN: 
Scopus 
WOS 
DBLP
Scopus WOS DBLP1462
TITLE: Parallel graphics and visualization
AUTHORS: Santo, LP ;
PUBLISHED: 2007, SOURCE: PARALLEL COMPUTING, VOLUME: 33, ISSUE: 6, PAGES: 359-360
AUTHORS: Santo, LP ;
PUBLISHED: 2007, SOURCE: PARALLEL COMPUTING, VOLUME: 33, ISSUE: 6, PAGES: 359-360
1463
TITLE: Processes:: Working group report
AUTHORS: Chatty, S; Campos, JC ; González, MP; Lepreux, S; Nilsson, EG; Penichet, VMR; Santos, M; Van den Bergh, J;
PUBLISHED: 2007, SOURCE: 13th International Workshop on Design, Specification and Verification of Interactive Systems in Interactive Systems: Design, Specification, and Verification, VOLUME: 4323, PAGES: 262-264
AUTHORS: Chatty, S; Campos, JC ; González, MP; Lepreux, S; Nilsson, EG; Penichet, VMR; Santos, M; Van den Bergh, J;
PUBLISHED: 2007, SOURCE: 13th International Workshop on Design, Specification and Verification of Interactive Systems in Interactive Systems: Design, Specification, and Verification, VOLUME: 4323, PAGES: 262-264
1464
TITLE: Randomness reuse: Extensions and improvements
AUTHORS: Barbosal, M ; Farshim, P;
PUBLISHED: 2007, SOURCE: 11th IMA Conference on Cryptography and Coding in CRYPTOGRAPHY AND CODING, PROCEEDINGS, VOLUME: 4887, PAGES: 257-+
AUTHORS: Barbosal, M ; Farshim, P;
PUBLISHED: 2007, SOURCE: 11th IMA Conference on Cryptography and Coding in CRYPTOGRAPHY AND CODING, PROCEEDINGS, VOLUME: 4887, PAGES: 257-+
1465
TITLE: Report on selected papers from LDTA 2003
AUTHORS: Bryant, BR; Saraiva, J ;
PUBLISHED: 2007, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 68, ISSUE: 1, PAGES: 1-1
AUTHORS: Bryant, BR; Saraiva, J ;
PUBLISHED: 2007, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 68, ISSUE: 1, PAGES: 1-1
1466
TITLE: Scalable Bloom Filters
AUTHORS: Almeida, PS ; Baquero, C ; Preguiça, N ; Hutchison, D;
PUBLISHED: 2007, SOURCE: INFORMATION PROCESSING LETTERS, VOLUME: 101, ISSUE: 6, PAGES: 255-261
AUTHORS: Almeida, PS ; Baquero, C ; Preguiça, N ; Hutchison, D;
PUBLISHED: 2007, SOURCE: INFORMATION PROCESSING LETTERS, VOLUME: 101, ISSUE: 6, PAGES: 255-261
1467
TITLE: Selected papers from SBLP 2007: The 11th Brazilian Symposium on Programming Languages J.UCS special issue
AUTHORS: Bigonha, RS; Musicante, MA; Pardo, A; Garcia, A; Martini, A; Moreira, AF; De Melo, ACV; Du Bois, AR; Santos, A; Camarao, C; Rubira, C; Braga, C; Naumann, D; Haeusler, EH; De Carvalho Junior, FH; Cafezeiro, I; Palsberg, J; Jeuring, J; Saraiva, J ; Guimaraes, J; ...More
PUBLISHED: 2007, SOURCE: JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 13, ISSUE: 6, PAGES: 679-679
AUTHORS: Bigonha, RS; Musicante, MA; Pardo, A; Garcia, A; Martini, A; Moreira, AF; De Melo, ACV; Du Bois, AR; Santos, A; Camarao, C; Rubira, C; Braga, C; Naumann, D; Haeusler, EH; De Carvalho Junior, FH; Cafezeiro, I; Palsberg, J; Jeuring, J; Saraiva, J ; Guimaraes, J; ...More
PUBLISHED: 2007, SOURCE: JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 13, ISSUE: 6, PAGES: 679-679
INDEXED IN: Scopus WOS
Scopus WOS1468
TITLE: Token-passing Nets for Functional Languages
AUTHORS: José Bacelar Almeida ; Jorge Sousa Pinto ; Miguel Vilaça;
PUBLISHED: 2007, SOURCE: WRS@RDP, VOLUME: 204, ISSUE: C, PAGES: 181-198
AUTHORS: José Bacelar Almeida ; Jorge Sousa Pinto ; Miguel Vilaça;
PUBLISHED: 2007, SOURCE: WRS@RDP, VOLUME: 204, ISSUE: C, PAGES: 181-198
1469
TITLE: Tools and libraries to model and manipulate circular programs
AUTHORS: João Paulo Fernandes ; João Saraiva ;
PUBLISHED: 2007, SOURCE: PEPM, PAGES: 102-111
AUTHORS: João Paulo Fernandes ; João Saraiva ;
PUBLISHED: 2007, SOURCE: PEPM, PAGES: 102-111
1470
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: PEPM, PAGES: 11-20
AUTHORS: Alcino Cunha ; Joost Visser;
PUBLISHED: 2007, SOURCE: PEPM, PAGES: 11-20
1471
TITLE: Visual Programming with Recursion Patterns in Interaction Nets
AUTHORS: Ian Mackie; Jorge Sousa Pinto ; Miguel Vilaça;
PUBLISHED: 2007, SOURCE: Electron. Commun. Eur. Assoc. Softw. Sci. Technol., VOLUME: 6
AUTHORS: Ian Mackie; Jorge Sousa Pinto ; Miguel Vilaça;
PUBLISHED: 2007, SOURCE: Electron. Commun. Eur. Assoc. Softw. Sci. Technol., VOLUME: 6
INDEXED IN: Scopus DBLP
Scopus DBLP1472
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
1473
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 CrossRef1474
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-+
1475
TITLE: A framework for point-free program transformation
AUTHORS: Cunha, A ; Pinto, JS ; Proença, J ;
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-+
AUTHORS: Cunha, A ; Pinto, JS ; Proença, J ;
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-+
1476
TITLE: A Local Graph-rewriting System for Deciding Equality in Sum-product Theories
AUTHORS: José Bacelar Almeida ; Jorge Sousa Pinto ; Miguel Vilaça;
PUBLISHED: 2006, SOURCE: TERMGRAPH@ETAPS, VOLUME: 176, ISSUE: 1, PAGES: 139-163
AUTHORS: José Bacelar Almeida ; Jorge Sousa Pinto ; Miguel Vilaça;
PUBLISHED: 2006, SOURCE: TERMGRAPH@ETAPS, VOLUME: 176, ISSUE: 1, PAGES: 139-163
1477
TITLE: A pragmatic protocol for database replication in interconnected clusters
AUTHORS: Grov, J; Soares, L; Correia, A; Pereira, J ; Oliveira, R ; Pedone, F;
PUBLISHED: 2006, SOURCE: 12th Pacific Rim International Symposium on Dependable Computing in 12TH PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING, PROCEEDINGS, PAGES: 230-+
AUTHORS: Grov, J; Soares, L; Correia, A; Pereira, J ; Oliveira, R ; Pedone, F;
PUBLISHED: 2006, SOURCE: 12th Pacific Rim International Symposium on Dependable Computing in 12TH PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING, PROCEEDINGS, PAGES: 230-+
1478
TITLE: Accessibility and visually impaired users
AUTHORS: Fernandes, AR; Pereira, JR; Campos, JC ;
PUBLISHED: 2006, SOURCE: 6th International Conference on Enterprise Information Systems (ICEIS 2004) in ENTERPRISE INFORMATION SYSTEMS VI, PAGES: 310-+
AUTHORS: Fernandes, AR; Pereira, JR; Campos, JC ;
PUBLISHED: 2006, SOURCE: 6th International Conference on Enterprise Information Systems (ICEIS 2004) in ENTERPRISE INFORMATION SYSTEMS VI, PAGES: 310-+
1479
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
Handle1480
TITLE: An Orchestrator for Dynamic Interconnection of Software Components
AUTHORS: Marco Antonio Barbosa; Luís Soares Barbosa ;
PUBLISHED: 2006, SOURCE: CoOrg/MTCoord@COORDINATION, VOLUME: 181, ISSUE: 1, PAGES: 49-61
AUTHORS: Marco Antonio Barbosa; Luís Soares Barbosa ;
PUBLISHED: 2006, SOURCE: CoOrg/MTCoord@COORDINATION, VOLUME: 181, ISSUE: 1, PAGES: 49-61
