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: 2720
43 Team MembersFilters -> Year: 2025
2181
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
2182
TITLE: How to securely break into RBAC: the BTG-RBAC model
AUTHORS: Ferreira, A ; Chadwick, D; Farinha, P ; Correia, R ; Zao, GS; Chilro, R; Antunes, L ;
PUBLISHED: 2009, SOURCE: 25th Annual Computer Security Applications Conference in 25TH ANNUAL COMPUTER SECURITY APPLICATIONS CONFERENCE, PAGES: 23-+
AUTHORS: Ferreira, A ; Chadwick, D; Farinha, P ; Correia, R ; Zao, GS; Chilro, R; Antunes, L ;
PUBLISHED: 2009, SOURCE: 25th Annual Computer Security Applications Conference in 25TH ANNUAL COMPUTER SECURITY APPLICATIONS CONFERENCE, PAGES: 23-+
2183
TITLE: IDENTIFYING CANCER REGIONS IN VITAL-STAINED MAGNIFICATION ENDOSCOPY IMAGES USING ADAPTED COLOR HISTOGRAMS Full Text
AUTHORS: Sousa, A; Dinis Ribeiro, M ; Areia, M ; Coimbra, M ;
PUBLISHED: 2009, SOURCE: 16th IEEE International Conference on Image Processing in 2009 16TH IEEE INTERNATIONAL CONFERENCE ON IMAGE PROCESSING, VOLS 1-6, PAGES: 681-684
AUTHORS: Sousa, A; Dinis Ribeiro, M ; Areia, M ; Coimbra, M ;
PUBLISHED: 2009, SOURCE: 16th IEEE International Conference on Image Processing in 2009 16TH IEEE INTERNATIONAL CONFERENCE ON IMAGE PROCESSING, VOLS 1-6, PAGES: 681-684
2184
TITLE: IMAGE RETARGETING USING STABLE PATHS
AUTHORS: Oliveira, HP ; Cardoso, JS ;
PUBLISHED: 2009, SOURCE: 4th International Conference on Computer Vision Theory and Applications in VISAPP 2009: PROCEEDINGS OF THE FOURTH INTERNATIONAL CONFERENCE ON COMPUTER VISION THEORY AND APPLICATIONS, VOL 2, VOLUME: 2, PAGES: 40-47
AUTHORS: Oliveira, HP ; Cardoso, JS ;
PUBLISHED: 2009, SOURCE: 4th International Conference on Computer Vision Theory and Applications in VISAPP 2009: PROCEEDINGS OF THE FOURTH INTERNATIONAL CONFERENCE ON COMPUTER VISION THEORY AND APPLICATIONS, VOL 2, VOLUME: 2, PAGES: 40-47
INDEXED IN: 
Scopus 
WOS 
DBLP 
Handle
Scopus WOS DBLP Handle2185
TITLE: IMC: A Communication Protocol for Networked Vehicles and Sensors
AUTHORS: Ricardo Martins; Paulo Sousa Dias ; Eduardo R B Marques ; Jose Pinto ; Joao B Sousa ; Fernando L Pereira ;
PUBLISHED: 2009, SOURCE: OCEANS 2009 Conference in OCEANS 2009 - EUROPE, VOLS 1 AND 2, PAGES: 1263-1268
AUTHORS: Ricardo Martins; Paulo Sousa Dias ; Eduardo R B Marques ; Jose Pinto ; Joao B Sousa ; Fernando L Pereira ;
PUBLISHED: 2009, SOURCE: OCEANS 2009 Conference in OCEANS 2009 - EUROPE, VOLS 1 AND 2, PAGES: 1263-1268
2186
TITLE: Improving the automatic evaluation of problem solutions in programming contests
AUTHORS: Ribeiro, P ; Guerreiro, P;
PUBLISHED: 2009, SOURCE: International Conference Joint with the 21st International Olympiad in Informatics, IOI 2009 in Olympiads in Informatics, VOLUME: 3, PAGES: 132-143
AUTHORS: Ribeiro, P ; Guerreiro, P;
PUBLISHED: 2009, SOURCE: International Conference Joint with the 21st International Olympiad in Informatics, IOI 2009 in Olympiads in Informatics, VOLUME: 3, PAGES: 132-143
INDEXED IN: Scopus
Scopus2187
TITLE: Improving the efficiency of inductive logic programming systems Full Text
AUTHORS: Fonseca, NA ; Costa, VS ; Rocha, R ; Camacho, R ; Silva, F ;
PUBLISHED: 2009, SOURCE: SOFTWARE-PRACTICE & EXPERIENCE, VOLUME: 39, ISSUE: 2, PAGES: 189-219
AUTHORS: Fonseca, NA ; Costa, VS ; Rocha, R ; Camacho, R ; Silva, F ;
PUBLISHED: 2009, SOURCE: SOFTWARE-PRACTICE & EXPERIENCE, VOLUME: 39, ISSUE: 2, PAGES: 189-219
2188
TITLE: Item-Based and User-Based Incremental Collaborative Filtering for Web Recommendations
AUTHORS: Catarina Miranda; Alipio Mario Jorge ;
PUBLISHED: 2009, SOURCE: 14th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 5816, PAGES: 673-684
AUTHORS: Catarina Miranda; Alipio Mario Jorge ;
PUBLISHED: 2009, SOURCE: 14th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 5816, PAGES: 673-684
2189
TITLE: Khronos - a High-level Framework for Discrete Event Simulation in Python
AUTHORS: Rui Jorge Rei; Peter Josef Madera; Joao Pedro Pedroso ;
PUBLISHED: 2009, SOURCE: International Conference on Computers and Industrial Engineering (CIE39) in CIE: 2009 INTERNATIONAL CONFERENCE ON COMPUTERS AND INDUSTRIAL ENGINEERING, VOLS 1-3, PAGES: 1574-1579
AUTHORS: Rui Jorge Rei; Peter Josef Madera; Joao Pedro Pedroso ;
PUBLISHED: 2009, SOURCE: International Conference on Computers and Industrial Engineering (CIE39) in CIE: 2009 INTERNATIONAL CONFERENCE ON COMPUTERS AND INDUSTRIAL ENGINEERING, VOLS 1-3, PAGES: 1574-1579
2190
TITLE: Knowledge discovery for sensor network comprehension
AUTHORS: Rodrigues, PP ; Gama, J ; Lopes, L ;
PUBLISHED: 2009, SOURCE: Intelligent Techniques for Warehousing and Mining Sensor Network Data, PAGES: 118-135
AUTHORS: Rodrigues, PP ; Gama, J ; Lopes, L ;
PUBLISHED: 2009, SOURCE: Intelligent Techniques for Warehousing and Mining Sensor Network Data, PAGES: 118-135
2191
TITLE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
AUTHORS: Gama, J ; Costa, VS ; Jorge, A ; Brazdil, P;
PUBLISHED: 2009, SOURCE: 12th International Conference on Discovery Science, DS 2009 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 5808 LNAI
AUTHORS: Gama, J ; Costa, VS ; Jorge, A ; Brazdil, P;
PUBLISHED: 2009, SOURCE: 12th International Conference on Discovery Science, DS 2009 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 5808 LNAI
INDEXED IN: Scopus
Scopus2192
TITLE: Locating Cars through a Vision Enabled VANET
AUTHORS: Michel Ferreira ; Hugo Conceicao ; Ricardo Fernandes; Rogerio Reis ;
PUBLISHED: 2009, SOURCE: IEEE Intelligent Vehicles Symposium in 2009 IEEE INTELLIGENT VEHICLES SYMPOSIUM, VOLS 1 AND 2, PAGES: 99-104
AUTHORS: Michel Ferreira ; Hugo Conceicao ; Ricardo Fernandes; Rogerio Reis ;
PUBLISHED: 2009, SOURCE: IEEE Intelligent Vehicles Symposium in 2009 IEEE INTELLIGENT VEHICLES SYMPOSIUM, VOLS 1 AND 2, PAGES: 99-104
2193
TITLE: Mapping between Alloy specifications and database implementations
AUTHORS: Alcino Cunha ; Hugo Pacheco ;
PUBLISHED: 2009, SOURCE: 7th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2009) in SEFM 2009: SEVENTH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PAGES: 285-294
AUTHORS: Alcino Cunha ; Hugo Pacheco ;
PUBLISHED: 2009, SOURCE: 7th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2009) in SEFM 2009: SEVENTH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PAGES: 285-294
2194
TITLE: Mapping e-learning interactions using social network analysis
AUTHORS: Figueira, A ;
PUBLISHED: 2009, SOURCE: 8th IASTED International Conference on Web-based Education, WBE 2009 in Proceedings of the 8th IASTED International Conference on Web-based Education, WBE 2009, PAGES: 66-72
AUTHORS: Figueira, A ;
PUBLISHED: 2009, SOURCE: 8th IASTED International Conference on Web-based Education, WBE 2009 in Proceedings of the 8th IASTED International Conference on Web-based Education, WBE 2009, PAGES: 66-72
INDEXED IN: Scopus
Scopus2195
TITLE: Modeling and Assessing of Omni-Directional Robots with Three and Four Wheels
AUTHORS: Helder P. ; Armando J. ; Paulo, A; Paulo J.;
PUBLISHED: 2009, SOURCE: Contemporary Robotics - Challenges and Solutions
AUTHORS: Helder P. ; Armando J. ; Paulo, A; Paulo J.;
PUBLISHED: 2009, SOURCE: Contemporary Robotics - Challenges and Solutions
2196
TITLE: Moodle - Criação e Gestão de cursos online
AUTHORS: Álvaro Figueira ;
PUBLISHED: 2009
AUTHORS: Álvaro Figueira ;
PUBLISHED: 2009
INDEXED IN: Handle
Handle2197
TITLE: mtDNA GeneExtractor: A computer tool for mtDNA gene/region information extraction Full Text
AUTHORS: Fernando Freitas; Sandra Oliveira; Ricardo Rocha ; Luisa Pereira ;
PUBLISHED: 2009, SOURCE: MITOCHONDRION, VOLUME: 9, ISSUE: 1, PAGES: 36-40
AUTHORS: Fernando Freitas; Sandra Oliveira; Ricardo Rocha ; Luisa Pereira ;
PUBLISHED: 2009, SOURCE: MITOCHONDRION, VOLUME: 9, ISSUE: 1, PAGES: 36-40
2198
TITLE: On Connecting PRISM to CLP(BN) PDF
AUTHORS: Vítor Santos Costa ; Aline Paes;
PUBLISHED: 2009, SOURCE: Proceedings of the Joint 7th Workshop on Mining and Learning with Graphs and the 6th International Workshop on Statistical Relational Learning, MLG/SRL@ILP 2009, Leuven, Belgium, July 2-4, 2009
AUTHORS: Vítor Santos Costa ; Aline Paes;
PUBLISHED: 2009, SOURCE: Proceedings of the Joint 7th Workshop on Mining and Learning with Graphs and the 6th International Workshop on Statistical Relational Learning, MLG/SRL@ILP 2009, Leuven, Belgium, July 2-4, 2009
INDEXED IN: DBLP
DBLP2199
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
2200
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
