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: 8279
531 Team MembersFilters -> Year: 2024
6821
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
6822
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
Handle6823
TITLE: Facial Synthesis of 3D Avatars for Therapeutic Applications Full Text
AUTHORS: Veronica Orvalho ; Jose Miranda; Augusto A Sousa ;
PUBLISHED: 2009, SOURCE: CYBERPSYCHOLOGY & BEHAVIOR, VOLUME: 12, ISSUE: 5, PAGES: 643-644
AUTHORS: Veronica Orvalho ; Jose Miranda; Augusto A Sousa ;
PUBLISHED: 2009, SOURCE: CYBERPSYCHOLOGY & BEHAVIOR, VOLUME: 12, ISSUE: 5, PAGES: 643-644
INDEXED IN: 
Scopus 
WOS 
DBLP
Scopus WOS DBLP6824
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
Scopus6825
TITLE: Fast Estimation of Aggregates in Unstructured Networks
AUTHORS: Carlos Baquero ; Paulo Sergio Almeida ; Raquel Menezes ;
PUBLISHED: 2009, SOURCE: 5th International Conference on Autonomic and Autonomous Systems in ICAS: 2009 FIFTH INTERNATIONAL CONFERENCE ON AUTONOMIC AND AUTONOMOUS SYSTEMS, PAGES: 88-93
AUTHORS: Carlos Baquero ; Paulo Sergio Almeida ; Raquel Menezes ;
PUBLISHED: 2009, SOURCE: 5th International Conference on Autonomic and Autonomous Systems in ICAS: 2009 FIFTH INTERNATIONAL CONFERENCE ON AUTONOMIC AND AUTONOMOUS SYSTEMS, PAGES: 88-93
6826
TITLE: Fault-Tolerant Aggregation by Flow Updating
AUTHORS: Paulo Jesus ; Carlos Baquero ; Paulo Sergio Almeida ;
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: Paulo Jesus ; Carlos Baquero ; Paulo Sergio Almeida ;
PUBLISHED: 2009, SOURCE: 9th International Conference on Distributed Applications and Interoperable Systems in DISTRIBUTED APPLICATIONS AND INTEROPERABLE SYSTEMS, PROCESSINGS, VOLUME: 5523, PAGES: 73-86
6827
TITLE: FEUP at TREC 2009 Blog Track: Temporal evidence in the faceted blog distillation task PDF
AUTHORS: Nunes, S ; Ribeiro, C ; David, G ;
PUBLISHED: 2009, SOURCE: 18th Text REtrieval Conference, TREC 2009 in NIST Special Publication, VOLUME: Special Publication 500-278
AUTHORS: Nunes, S ; Ribeiro, C ; David, G ;
PUBLISHED: 2009, SOURCE: 18th Text REtrieval Conference, TREC 2009 in NIST Special Publication, VOLUME: Special Publication 500-278
INDEXED IN: Scopus DBLP
Scopus DBLP6828
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
INDEXED IN: 
CrossRef 
Openlibrary
CrossRef Openlibrary6829
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
6830
TITLE: Forby: Providing Groupware Features Relying on Distributed File System Event Dissemination
AUTHORS: Pedro Sousa; Nuno Preguica ; Carlos Baquero ;
PUBLISHED: 2009, SOURCE: 15th International Workshop on Groupware - Design, Implementation, and Use in GROUPWARE-DESIGN: IMPLEMENTATION, AND USE, PROCEEDINGS, VOLUME: 5784, PAGES: 158-173
AUTHORS: Pedro Sousa; Nuno Preguica ; Carlos Baquero ;
PUBLISHED: 2009, SOURCE: 15th International Workshop on Groupware - Design, Implementation, and Use in GROUPWARE-DESIGN: IMPLEMENTATION, AND USE, PROCEEDINGS, VOLUME: 5784, PAGES: 158-173
6831
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
WOS6832
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
Scopus6833
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
6834
TITLE: From spreadsheets to relational databases and back
AUTHORS: Cunha, J ; Saraiva, J ; Visser, J;
PUBLISHED: 2009, SOURCE: 2009 ACM SIGPLAN Symposium on Partial Evaluation and Program Manipulation, PEPM'09 in Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Program Manipulation, PEPM'09, PAGES: 179-188
AUTHORS: Cunha, J ; Saraiva, J ; Visser, J;
PUBLISHED: 2009, SOURCE: 2009 ACM SIGPLAN Symposium on Partial Evaluation and Program Manipulation, PEPM'09 in Proceedings of the 2009 ACM SIGPLAN Symposium on Partial Evaluation and Program Manipulation, PEPM'09, PAGES: 179-188
6835
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 WOS6836
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
6837
TITLE: Groupware: Design, Implementation, and Use
AUTHORS: Luís Carriço; Nelson Baloian; Benjamim Fonseca ;
PUBLISHED: 2009, SOURCE: Lecture Notes in Computer Science
AUTHORS: Luís Carriço; Nelson Baloian; Benjamim Fonseca ;
PUBLISHED: 2009, SOURCE: Lecture Notes in Computer Science
INDEXED IN: CrossRef
CrossRef6838
TITLE: Groupware: Design, Implementation, and Use, 15th International Workshop, CRIWG 2009, Peso da Régua, Douro, Portugal, September 13-17, 2009. Proceedings
AUTHORS: Luís Carriço; Nelson Baloian; Benjamim Fonseca ;
PUBLISHED: 2009, SOURCE: CRIWG, VOLUME: 5784
AUTHORS: Luís Carriço; Nelson Baloian; Benjamim Fonseca ;
PUBLISHED: 2009, SOURCE: CRIWG, VOLUME: 5784
INDEXED IN: DBLP
DBLP6839
TITLE: H-NAMe: A hidden-node avoidance mechanism for wireless sensor networks
AUTHORS: Koubâa, A; Severino, R ; Alves, M; Tovar, E ;
PUBLISHED: 2009, SOURCE: 8th IFAC Conference on Fieldbuses and Networks in Industrial and Embedded Systems, FeT 2009 in IFAC Proceedings Volumes (IFAC-PapersOnline), VOLUME: 42, ISSUE: 3, PAGES: 10-19
AUTHORS: Koubâa, A; Severino, R ; Alves, M; Tovar, E ;
PUBLISHED: 2009, SOURCE: 8th IFAC Conference on Fieldbuses and Networks in Industrial and Embedded Systems, FeT 2009 in IFAC Proceedings Volumes (IFAC-PapersOnline), VOLUME: 42, ISSUE: 3, PAGES: 10-19
6840
TITLE: High Level Thread-Based Competitive Or-Parallelism in Logtalk Full Text
AUTHORS: Paulo Moura ; Ricardo Rocha ; Sara C Madeira ;
PUBLISHED: 2009, SOURCE: 11th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, VOLUME: 5418, PAGES: 107-121
AUTHORS: Paulo Moura ; Ricardo Rocha ; Sara C Madeira ;
PUBLISHED: 2009, SOURCE: 11th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, VOLUME: 5418, PAGES: 107-121
