CS: Computer Science
CS: Computer Science
AuthID: I-000-B2B
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: 10668
536 Team MembersFilters -> Year: 2026
9061
TITLE: Extended Static Checking by Calculation Using the Pointfree Transform
AUTHORS: Oliveira, JN ;
PUBLISHED: 2009, SOURCE: International Summer School on Language Engineering and Rigorous Software Development in LANGUAGE ENGINEERING AND RIGOROUS SOFTWARE DEVELOPMENT, VOLUME: 5520, PAGES: 195-251
AUTHORS: Oliveira, JN ;
PUBLISHED: 2009, SOURCE: International Summer School on Language Engineering and Rigorous Software Development in LANGUAGE ENGINEERING AND RIGOROUS SOFTWARE DEVELOPMENT, VOLUME: 5520, PAGES: 195-251
9062
TITLE: Extending the learning object definition to represent programming problems
AUTHORS: José P Leal ; Ricardo Queirós ;
PUBLISHED: 2009, SOURCE: Actas do INForum Simpósio de Informática: XML Aplicações e Tecnologias Associadas
AUTHORS: José P Leal ; Ricardo Queirós ;
PUBLISHED: 2009, SOURCE: Actas do INForum Simpósio de Informática: XML Aplicações e Tecnologias Associadas
INDEXED IN: 
Handle
Handle9063
TITLE: Facial Synthesis of 3D Avatars for Therapeutic Applications
AUTHORS: Orvalho, V ; Miranda, J; Sousa, AA ;
PUBLISHED: 2009, SOURCE: CYBERPSYCHOLOGY & BEHAVIOR, VOLUME: 12, ISSUE: 5, PAGES: 643-644
AUTHORS: Orvalho, V ; Miranda, J; Sousa, AA ;
PUBLISHED: 2009, SOURCE: CYBERPSYCHOLOGY & BEHAVIOR, VOLUME: 12, ISSUE: 5, PAGES: 643-644
INDEXED IN: 
Scopus 
WOS 
DBLP
Scopus WOS DBLP9064
TITLE: Facial synthesys of 3D avatars for therapeutic applications
AUTHORS: Orvalho, V ; Miranda, J; Sousa, AA ;
PUBLISHED: 2009, SOURCE: Annual Review of CyberTherapy and Telemedicine, VOLUME: 7, ISSUE: 1, PAGES: 96-98
AUTHORS: Orvalho, V ; Miranda, J; Sousa, AA ;
PUBLISHED: 2009, SOURCE: Annual Review of CyberTherapy and Telemedicine, VOLUME: 7, ISSUE: 1, PAGES: 96-98
INDEXED IN: Scopus
Scopus9065
TITLE: Facial Synthesys of 3D Avatars for Therapeutic Applications
AUTHORS: Orvalho Verónica; Miranda José; Sousa A. Augusto ;
PUBLISHED: 2009, SOURCE: Studies in Health Technology and Informatics - Annual Review of Cybertherapy and Telemedicine 2009
AUTHORS: Orvalho Verónica; Miranda José; Sousa A. Augusto ;
PUBLISHED: 2009, SOURCE: Studies in Health Technology and Informatics - Annual Review of Cybertherapy and Telemedicine 2009
INDEXED IN: 
CrossRef
CrossRef9066
TITLE: Fast Estimation of Aggregates in Unstructured Networks
AUTHORS: Baquero, C ; Almeida, PS ; Menezes, R ;
PUBLISHED: 2009, SOURCE: 5th International Conference on Autonomic and Autonomous Systems in ICAS: 2009 FIFTH INTERNATIONAL CONFERENCE ON AUTONOMIC AND AUTONOMOUS SYSTEMS, PAGES: 88-+
AUTHORS: Baquero, C ; Almeida, PS ; Menezes, R ;
PUBLISHED: 2009, SOURCE: 5th International Conference on Autonomic and Autonomous Systems in ICAS: 2009 FIFTH INTERNATIONAL CONFERENCE ON AUTONOMIC AND AUTONOMOUS SYSTEMS, PAGES: 88-+
9067
TITLE: Fault-Tolerant Aggregation by Flow Updating
AUTHORS: Jesus, P ; Baquero, C ; Almeida, PS ;
PUBLISHED: 2009, SOURCE: 9th International Conference on Distributed Applications and Interoperable Systems in DISTRIBUTED APPLICATIONS AND INTEROPERABLE SYSTEMS, PROCESSINGS, VOLUME: 5523, PAGES: 73-86
AUTHORS: Jesus, P ; Baquero, C ; Almeida, PS ;
PUBLISHED: 2009, SOURCE: 9th International Conference on Distributed Applications and Interoperable Systems in DISTRIBUTED APPLICATIONS AND INTEROPERABLE SYSTEMS, PROCESSINGS, VOLUME: 5523, PAGES: 73-86
9068
TITLE: FEUP at TREC 2009 Blog Track: Temporal Evidence in the Faceted Blog Distillation Task
AUTHORS: Sérgio Nunes ; Cristina Ribeiro ; Gabriel David ;
PUBLISHED: 2009, SOURCE: TREC
AUTHORS: Sérgio Nunes ; Cristina Ribeiro ; Gabriel David ;
PUBLISHED: 2009, SOURCE: TREC
INDEXED IN: Scopus DBLP
Scopus DBLP9069
TITLE: Fine Structures of Hyperbolic Diffeomorphisms
AUTHORS: Alberto A Pinto ; David A Rand; Flávio Ferreira ;
PUBLISHED: 2009, SOURCE: Springer Monographs in Mathematics
AUTHORS: Alberto A Pinto ; David A Rand; Flávio Ferreira ;
PUBLISHED: 2009, SOURCE: Springer Monographs in Mathematics
9070
TITLE: Fine-tune artificial neural networks automatically
AUTHORS: Reinaldo, F; Camacho, R ; Reis, LP ; Magalhaes, DR;
PUBLISHED: 2009, SOURCE: European Computing Conference in Lecture Notes in Electrical Engineering, VOLUME: 27 LNEE, ISSUE: VOL.1, PAGES: 39-43
AUTHORS: Reinaldo, F; Camacho, R ; Reis, LP ; Magalhaes, DR;
PUBLISHED: 2009, SOURCE: European Computing Conference in Lecture Notes in Electrical Engineering, VOLUME: 27 LNEE, ISSUE: VOL.1, PAGES: 39-43
9071
TITLE: Forby: Providing Groupware Features Relying on Distributed File System Event Dissemination
AUTHORS: Sousa, P; Preguiça, N ; Baquero, C ;
PUBLISHED: 2009, SOURCE: 15th International Workshop on Groupware - Design, Implementation, and Use in GROUPWARE-DESIGN: IMPLEMENTATION, AND USE, PROCEEDINGS, VOLUME: 5784, PAGES: 158-+
AUTHORS: Sousa, P; Preguiça, N ; Baquero, C ;
PUBLISHED: 2009, SOURCE: 15th International Workshop on Groupware - Design, Implementation, and Use in GROUPWARE-DESIGN: IMPLEMENTATION, AND USE, PROCEEDINGS, VOLUME: 5784, PAGES: 158-+
9072
TITLE: FORECASTING IN INAR(1) MODEL Full Text
AUTHORS: Nelia Silva; Isabel Pereira ; Eduarda E Silva ;
PUBLISHED: 2009, SOURCE: REVSTAT-STATISTICAL JOURNAL, VOLUME: 7, ISSUE: 1, PAGES: 119-134
AUTHORS: Nelia Silva; Isabel Pereira ; Eduarda E Silva ;
PUBLISHED: 2009, SOURCE: REVSTAT-STATISTICAL JOURNAL, VOLUME: 7, ISSUE: 1, PAGES: 119-134
INDEXED IN: WOS
WOS9073
TITLE: Formal Aspects of Computing: Editorial
AUTHORS: Boca, P; Boute, R; Duce, D; Oliveira, J ;
PUBLISHED: 2009, SOURCE: Formal Aspects of Computing, VOLUME: 21, ISSUE: 3, PAGES: 225
AUTHORS: Boca, P; Boute, R; Duce, D; Oliveira, J ;
PUBLISHED: 2009, SOURCE: Formal Aspects of Computing, VOLUME: 21, ISSUE: 3, PAGES: 225
INDEXED IN: Scopus
Scopus9074
TITLE: From Object Replication to Database Replication
AUTHORS: Fernando Pedone; Rui Oliveira ;
PUBLISHED: 2009, SOURCE: 4th Latin-American Symposium on Dependable Computing in LADC: 2009 4TH LATIN-AMERICAN SYMPOSIUM ON DEPENDABLE COMPUTING, PAGES: 135-135
AUTHORS: Fernando Pedone; Rui Oliveira ;
PUBLISHED: 2009, SOURCE: 4th Latin-American Symposium on Dependable Computing in LADC: 2009 4TH LATIN-AMERICAN SYMPOSIUM ON DEPENDABLE COMPUTING, PAGES: 135-135
9075
TITLE: From Plain Prolog to Logtalk Objects: Effective Code Encapsulation and Reuse
AUTHORS: Paulo Moura ;
PUBLISHED: 2009, SOURCE: 25th International Conference on Logic Programming, ICLP 2009 in Logic Programming, 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings, VOLUME: 5649, PAGES: 23
AUTHORS: Paulo Moura ;
PUBLISHED: 2009, SOURCE: 25th International Conference on Logic Programming, ICLP 2009 in Logic Programming, 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings, VOLUME: 5649, PAGES: 23
9076
TITLE: From spreadsheets to relational databases and back
AUTHORS: Jácome Cunha ; João Saraiva ; Joost Visser;
PUBLISHED: 2009, SOURCE: PEPM, PAGES: 179-188
AUTHORS: Jácome Cunha ; João Saraiva ; Joost Visser;
PUBLISHED: 2009, SOURCE: PEPM, PAGES: 179-188
9077
TITLE: Gene Classification Based on Amino Acid Motifs and Residues: The DLX (distal-less) Test Case Full Text
AUTHORS: Nuno A Fonseca ; Cristina P Vieira ; Jorge Vieira ;
PUBLISHED: 2009, SOURCE: PLOS ONE, VOLUME: 4, ISSUE: 6
AUTHORS: Nuno A Fonseca ; Cristina P Vieira ; Jorge Vieira ;
PUBLISHED: 2009, SOURCE: PLOS ONE, VOLUME: 4, ISSUE: 6
9078
TITLE: GOALS - A TEST-BED FOR ONTOLOGY MATCHING
AUTHORS: Paulo Maio ; Nuno Silva ;
PUBLISHED: 2009, SOURCE: 1st International Conference on Knowledge Engineering and Ontology Development in KEOD 2009: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON KNOWLEDGE ENGINEERING AND ONTOLOGY DEVELOPMENT, PAGES: 293-299
AUTHORS: Paulo Maio ; Nuno Silva ;
PUBLISHED: 2009, SOURCE: 1st International Conference on Knowledge Engineering and Ontology Development in KEOD 2009: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON KNOWLEDGE ENGINEERING AND ONTOLOGY DEVELOPMENT, PAGES: 293-299
INDEXED IN: Scopus WOS
Scopus WOS9079
9080
TITLE: Greedy randomised dispatching heuristics for the single machine scheduling problem with quadratic earliness and tardiness penalties Full Text
AUTHORS: Jorge M S Valente ; Maria R A Moreira ;
PUBLISHED: 2009, SOURCE: INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY, VOLUME: 44, ISSUE: 9-10, PAGES: 995-1009
AUTHORS: Jorge M S Valente ; Maria R A Moreira ;
PUBLISHED: 2009, SOURCE: INTERNATIONAL JOURNAL OF ADVANCED MANUFACTURING TECHNOLOGY, VOLUME: 44, ISSUE: 9-10, PAGES: 995-1009
