Department of Computer Science (DCC)
Departamento de Ciências dos Computadores
AuthID: I-000-0JZ
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: 2662
43 Team MembersFilters -> Year: 2025
2141
TITLE: On Improving the Efficiency of Deterministic Calls and Answers in Tabled Logic Programs
AUTHORS: Miguel Areias ; Ricardo Rocha ;
PUBLISHED: 2009, SOURCE: 14th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 5816, PAGES: 113-125
AUTHORS: Miguel Areias ; Ricardo Rocha ;
PUBLISHED: 2009, SOURCE: 14th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 5816, PAGES: 113-125
2142
TITLE: On Just in Time Indexing of Dynamic Predicates in Prolog
AUTHORS: Vitor Santos Costa ;
PUBLISHED: 2009, SOURCE: 14th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 5816, PAGES: 126-137
AUTHORS: Vitor Santos Costa ;
PUBLISHED: 2009, SOURCE: 14th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 5816, PAGES: 126-137
2143
TITLE: On Schmidl-Cox-like frequency estimation applied to UWB impulse radio systems
AUTHORS: Erseghe, T; Renna, F ;
PUBLISHED: 2009, SOURCE: 2009 IEEE International Conference on Ultra-Wideband, ICUWB 2009 in Proceedings - 2009 IEEE International Conference on Ultra-Wideband, ICUWB 2009, PAGES: 693-697
AUTHORS: Erseghe, T; Renna, F ;
PUBLISHED: 2009, SOURCE: 2009 IEEE International Conference on Ultra-Wideband, ICUWB 2009 in Proceedings - 2009 IEEE International Conference on Ultra-Wideband, ICUWB 2009, PAGES: 693-697
2144
TITLE: ON THE STRENGTHENING OF OPENID AUTHENTICATION MECANISMS WITH THE PORTUGUESE CITIZEN CARD
AUTHORS: Filipa Falcao Reis; Diana Almeida; Manuel E. Correia ;
PUBLISHED: 2009, SOURCE: 4th Iberian Conference on Information Systems and Technologies in SISTEMAS E TECHNOLOGIAS DE INFORMACAO: ACTAS DA 4A CONFERENCIA IBERICA DE SISTEMAS E TECNOLOGIAS DE LA INFORMACAO, PAGES: 273-278
AUTHORS: Filipa Falcao Reis; Diana Almeida; Manuel E. Correia ;
PUBLISHED: 2009, SOURCE: 4th Iberian Conference on Information Systems and Technologies in SISTEMAS E TECHNOLOGIAS DE INFORMACAO: ACTAS DA 4A CONFERENCIA IBERICA DE SISTEMAS E TECNOLOGIAS DE LA INFORMACAO, PAGES: 273-278
INDEXED IN: 
Scopus 
WOS
Scopus WOS2145
TITLE: One Table Fits All Full Text
AUTHORS: Jorge Costa; Ricardo Rocha ;
PUBLISHED: 2009, SOURCE: 11th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, VOLUME: 5418, PAGES: 195-208
AUTHORS: Jorge Costa; Ricardo Rocha ;
PUBLISHED: 2009, SOURCE: 11th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, VOLUME: 5418, PAGES: 195-208
2146
TITLE: Parallel calculation of multi-electrode array correlation networks Full Text
AUTHORS: Pedro Ribeiro ; Jennifer Simonotto; Marcus Kaiser; Fernando Silva ;
PUBLISHED: 2009, SOURCE: JOURNAL OF NEUROSCIENCE METHODS, VOLUME: 184, ISSUE: 2, PAGES: 357-364
AUTHORS: Pedro Ribeiro ; Jennifer Simonotto; Marcus Kaiser; Fernando Silva ;
PUBLISHED: 2009, SOURCE: JOURNAL OF NEUROSCIENCE METHODS, VOLUME: 184, ISSUE: 2, PAGES: 357-364
2147
TITLE: Parallel ILP for distributed-memory architectures Full Text
AUTHORS: Fonseca, NA ; Srinivasan, A; Silva, F ; Camacho, R ;
PUBLISHED: 2009, SOURCE: MACHINE LEARNING, VOLUME: 74, ISSUE: 3, PAGES: 257-279
AUTHORS: Fonseca, NA ; Srinivasan, A; Silva, F ; Camacho, R ;
PUBLISHED: 2009, SOURCE: MACHINE LEARNING, VOLUME: 74, ISSUE: 3, PAGES: 257-279
2148
TITLE: Partitional Clustering of Protein Sequences - An Inductive Logic Programming Approach
AUTHORS: Fonseca, NA ; Costa, VS ; Camacho, R ; Vieira, C ; Vieira, J ;
PUBLISHED: 2009, SOURCE: 10th International Work-Conference on Artificial Neural Networks (IWANN 2009) in DISTRIBUTED COMPUTING, ARTIFICIAL INTELLIGENCE, BIOINFORMATICS, SOFT COMPUTING, AND AMBIENT ASSISTED LIVING, PT II, PROCEEDINGS, VOLUME: 5518, ISSUE: PART 2, PAGES: 1001-1004
AUTHORS: Fonseca, NA ; Costa, VS ; Camacho, R ; Vieira, C ; Vieira, J ;
PUBLISHED: 2009, SOURCE: 10th International Work-Conference on Artificial Neural Networks (IWANN 2009) in DISTRIBUTED COMPUTING, ARTIFICIAL INTELLIGENCE, BIOINFORMATICS, SOFT COMPUTING, AND AMBIENT ASSISTED LIVING, PT II, PROCEEDINGS, VOLUME: 5518, ISSUE: PART 2, PAGES: 1001-1004
2149
TITLE: Precision and Recall for Regression
AUTHORS: Luis Torgo ; Rita Ribeiro ;
PUBLISHED: 2009, SOURCE: 12th International Conference on Discovery Science in DISCOVERY SCIENCE, PROCEEDINGS, VOLUME: 5808, PAGES: 332-346
AUTHORS: Luis Torgo ; Rita Ribeiro ;
PUBLISHED: 2009, SOURCE: 12th International Conference on Discovery Science in DISCOVERY SCIENCE, PROCEEDINGS, VOLUME: 5808, PAGES: 332-346
2150
TITLE: Proceedings First International Workshop on Linearity, LINEARITY 2009, Coimbra, Portugal, 12th September 2009 PDF
AUTHORS: Mário Florido ; Ian Mackie;
PUBLISHED: 2009, SOURCE: LINEARITY, VOLUME: 22
AUTHORS: Mário Florido ; Ian Mackie;
PUBLISHED: 2009, SOURCE: LINEARITY, VOLUME: 22
INDEXED IN: 
DBLP 
arXiv
DBLP arXiv2151
TITLE: Programming Wireless Sensor Networks Full Text
AUTHORS: Luís M B Lopes ; Francisco Martins ; João Barros;
PUBLISHED: 2009, SOURCE: Middleware for Network Eccentric and Mobile Applications, PAGES: 25-41
AUTHORS: Luís M B Lopes ; Francisco Martins ; João Barros;
PUBLISHED: 2009, SOURCE: Middleware for Network Eccentric and Mobile Applications, PAGES: 25-41
2152
TITLE: QUANTITATIVE COMPARISON OF SEGMENTATION METHODS FOR IN-BODY IMAGES
AUTHORS: Riaz, F; Ribeiro, MD ; Coimbra, MT ;
PUBLISHED: 2009, SOURCE: Annual International Conference of the IEEE-Engineering-in-Medicine-and-Biology-Society in 2009 ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY, VOLS 1-20, PAGES: 5785-5788
AUTHORS: Riaz, F; Ribeiro, MD ; Coimbra, MT ;
PUBLISHED: 2009, SOURCE: Annual International Conference of the IEEE-Engineering-in-Medicine-and-Biology-Society in 2009 ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY, VOLS 1-20, PAGES: 5785-5788
2153
TITLE: Relational Models for Tabling Logic Programs in a Database Full Text
AUTHORS: Pedro Costa ; Ricardo Rocha ; Michel Ferreira ;
PUBLISHED: 2009, SOURCE: 17th International Conference on Applications of Declarative Programming and Knowledge Management/21st Workshop on Logic Programming in APPLICATIONS OF DECLARATIVE PROGRAMMING AND KNOWLEDGE MANAGEMENT, VOLUME: 5437, PAGES: 99-116
AUTHORS: Pedro Costa ; Ricardo Rocha ; Michel Ferreira ;
PUBLISHED: 2009, SOURCE: 17th International Conference on Applications of Declarative Programming and Knowledge Management/21st Workshop on Logic Programming in APPLICATIONS OF DECLARATIVE PROGRAMMING AND KNOWLEDGE MANAGEMENT, VOLUME: 5437, PAGES: 99-116
2154
TITLE: Responding to questionnaires on the Web using XwQuest
AUTHORS: Leal, JP ;
PUBLISHED: 2009, SOURCE: IADIS International Conference WWW/Internet 2009, ICWI 2009 in Proceedings of the IADIS International Conference WWW/Internet 2009, ICWI 2009, VOLUME: 1, PAGES: 149-156
AUTHORS: Leal, JP ;
PUBLISHED: 2009, SOURCE: IADIS International Conference WWW/Internet 2009, ICWI 2009 in Proceedings of the IADIS International Conference WWW/Internet 2009, ICWI 2009, VOLUME: 1, PAGES: 149-156
INDEXED IN: Scopus
Scopus2155
TITLE: Schem@Doc: a web-based XML schema visualizer
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
Handle2156
TITLE: Security Analysis of Standard Authentication and Key Agreement Protocols Utilising Timestamps
AUTHORS: Manuel Barbosa ; Pooya Farshim;
PUBLISHED: 2009, SOURCE: 2nd International Conference on Cryptology in Africa in PROGRESS IN CRYPTOLOGY - AFRICACRYPT 2009, VOLUME: 5580, PAGES: 235-253
AUTHORS: Manuel Barbosa ; Pooya Farshim;
PUBLISHED: 2009, SOURCE: 2nd International Conference on Cryptology in Africa in PROGRESS IN CRYPTOLOGY - AFRICACRYPT 2009, VOLUME: 5580, PAGES: 235-253
2157
TITLE: SEMANTIC RELEVANCE OF CURRENT IMAGE SEGMENTATION ALGORITHMS
AUTHORS: Farhan Riaz; Mario Dinis Ribeiro ; Miguel Coimbra ;
PUBLISHED: 2009, SOURCE: 10th International Workshop on Image Analysis for Multimedia Interactive Services in 2009 10TH INTERNATIONAL WORKSHOP ON IMAGE ANALYSIS FOR MULTIMEDIA INTERACTIVE SERVICES, PAGES: 165-168
AUTHORS: Farhan Riaz; Mario Dinis Ribeiro ; Miguel Coimbra ;
PUBLISHED: 2009, SOURCE: 10th International Workshop on Image Analysis for Multimedia Interactive Services in 2009 10TH INTERNATIONAL WORKSHOP ON IMAGE ANALYSIS FOR MULTIMEDIA INTERACTIVE SERVICES, PAGES: 165-168
2158
TITLE: Series-Parallel Automata and Short Regular Expressions Full Text
AUTHORS: Nelma Moreira ; Rogerio Reis ;
PUBLISHED: 2009, SOURCE: FUNDAMENTA INFORMATICAE, VOLUME: 91, ISSUE: 3-4, PAGES: 611-629
AUTHORS: Nelma Moreira ; Rogerio Reis ;
PUBLISHED: 2009, SOURCE: FUNDAMENTA INFORMATICAE, VOLUME: 91, ISSUE: 3-4, PAGES: 611-629
2159
TITLE: Sophistication Revisited Full Text
AUTHORS: Luis Antunes ; Fortnow, Lance ;
PUBLISHED: 2009, SOURCE: THEORY OF COMPUTING SYSTEMS, VOLUME: 45, ISSUE: 1, PAGES: 150-161
AUTHORS: Luis Antunes ; Fortnow, Lance ;
PUBLISHED: 2009, SOURCE: THEORY OF COMPUTING SYSTEMS, VOLUME: 45, ISSUE: 1, PAGES: 150-161
2160
TITLE: Spatial Clustering of Molecular Dynamics Trajectories in Protein Unfolding Simulations
AUTHORS: Pedro Gabriel Ferreira ; Cândida G Silva ; Paulo J Azevedo ; Rui M M Brito ;
PUBLISHED: 2009, SOURCE: 5th International Meeting on Computational Intelligence Methods for Bioinformatics and Biostatistics, CIBB 2008 in COMPUTATIONAL INTELLIGENCE METHODS FOR BIOINFORMATICS AND BIOSTATISTICS, VOLUME: 5488, PAGES: 156-+
AUTHORS: Pedro Gabriel Ferreira ; Cândida G Silva ; Paulo J Azevedo ; Rui M M Brito ;
PUBLISHED: 2009, SOURCE: 5th International Meeting on Computational Intelligence Methods for Bioinformatics and Biostatistics, CIBB 2008 in COMPUTATIONAL INTELLIGENCE METHODS FOR BIOINFORMATICS AND BIOSTATISTICS, VOLUME: 5488, PAGES: 156-+
