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: 2706
43 Team MembersFilters -> Year: 2025
2281
TITLE: Revising first-order logic theories from examples through stochastic local search Full Text
AUTHORS: Aline Paes; Gerson Zaverucha; Vitor Santos Costa ;
PUBLISHED: 2008, SOURCE: Joint Conference of the 17th International Conference on Inductive Logic Programming/24th International Conference on Machine Learning in INDUCTIVE LOGIC PROGRAMMING, VOLUME: 4894, PAGES: 200-210
AUTHORS: Aline Paes; Gerson Zaverucha; Vitor Santos Costa ;
PUBLISHED: 2008, SOURCE: Joint Conference of the 17th International Conference on Inductive Logic Programming/24th International Conference on Machine Learning in INDUCTIVE LOGIC PROGRAMMING, VOLUME: 4894, PAGES: 200-210
2282
TITLE: RL-based Scheduling Strategies in Actual Grid Environments
AUTHORS: Bernardo Costa; Ines Dutra ; Marta Mattoso;
PUBLISHED: 2008, SOURCE: IEEE International Symposium on Parallel and Distributed Processing with Applications in PROCEEDINGS OF THE 2008 INTERNATIONAL SYMPOSIUM ON PARALLEL AND DISTRIBUTED PROCESSING WITH APPLICATIONS, PAGES: 572-577
AUTHORS: Bernardo Costa; Ines Dutra ; Marta Mattoso;
PUBLISHED: 2008, SOURCE: IEEE International Symposium on Parallel and Distributed Processing with Applications in PROCEEDINGS OF THE 2008 INTERNATIONAL SYMPOSIUM ON PARALLEL AND DISTRIBUTED PROCESSING WITH APPLICATIONS, PAGES: 572-577
2283
TITLE: RUSE-WARMR: Rule Selection for Classifier Induction in Multi-Relational Data-Sets
AUTHORS: Carlos Abreu Ferreira ; Joao Gama ; Vitor Santos Costa ;
PUBLISHED: 2008, SOURCE: 20th IEEE International Conference on Tools with Artificial Intelligence in 20TH IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, VOL 1, PROCEEDINGS, VOLUME: 1, PAGES: 379-386
AUTHORS: Carlos Abreu Ferreira ; Joao Gama ; Vitor Santos Costa ;
PUBLISHED: 2008, SOURCE: 20th IEEE International Conference on Tools with Artificial Intelligence in 20TH IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, VOL 1, PROCEEDINGS, VOLUME: 1, PAGES: 379-386
2284
TITLE: Secure biometric authentication with improved accuracy Full Text
AUTHORS: Barbosa, M ; Brouard, T; Cauchie, S; de Sousa, SM ;
PUBLISHED: 2008, SOURCE: 13th Australasian Conference on Information Security and Privacy in INFORMATION SECURITY AND PRIVACY, VOLUME: 5107, PAGES: 21-36
AUTHORS: Barbosa, M ; Brouard, T; Cauchie, S; de Sousa, SM ;
PUBLISHED: 2008, SOURCE: 13th Australasian Conference on Information Security and Privacy in INFORMATION SECURITY AND PRIVACY, VOLUME: 5107, PAGES: 21-36
INDEXED IN: 
Scopus 
WOS 
DBLP 
Handle
Scopus WOS DBLP Handle2285
TITLE: Secure Biometric Authentication With Improved Accuracy
AUTHORS: Manuel Barbosa ; Stéphane Cauchie; Thierry Brouard; Simão Melo de Sousa ;
PUBLISHED: 2008, SOURCE: IACR Cryptology ePrint Archive, VOLUME: 2008, PAGES: 302
AUTHORS: Manuel Barbosa ; Stéphane Cauchie; Thierry Brouard; Simão Melo de Sousa ;
PUBLISHED: 2008, SOURCE: IACR Cryptology ePrint Archive, VOLUME: 2008, PAGES: 302
INDEXED IN: DBLP
DBLP2286
TITLE: SECURING A HEALTH INFORMATION SYSTEM WITH A GOVERNMENT ISSUED DIGITAL IDENTIFICATION CARD
AUTHORS: Santos, R ; Correia, ME ; Antunes, L ;
PUBLISHED: 2008, SOURCE: 42nd Annual IEEE International Carnahan Conference on Security Technology in 42ND ANNUAL 2008 IEEE INTERNATIONAL CARNAHAN CONFERENCE ON SECURITY TECHNOLOGY, PROCEEDINGS, PAGES: 135-+
AUTHORS: Santos, R ; Correia, ME ; Antunes, L ;
PUBLISHED: 2008, SOURCE: 42nd Annual IEEE International Carnahan Conference on Security Technology in 42ND ANNUAL 2008 IEEE INTERNATIONAL CARNAHAN CONFERENCE ON SECURITY TECHNOLOGY, PROCEEDINGS, PAGES: 135-+
2287
TITLE: Security of electronic medical records
AUTHORS: Ferreira, A ; Cruz Correia, R ; Antunes, L ; Chadwick, D;
PUBLISHED: 2008, SOURCE: Handbook of Research on Distributed Medical Informatics and E-Health, PAGES: 30-46
AUTHORS: Ferreira, A ; Cruz Correia, R ; Antunes, L ; Chadwick, D;
PUBLISHED: 2008, SOURCE: Handbook of Research on Distributed Medical Informatics and E-Health, PAGES: 30-46
2288
TITLE: Sensor and actuator modeling of a realistic wheeled mobile robot simulator
AUTHORS: Jose Goncalves ; Jose Lima ; Helder Oliveira ; Paulo Costa ;
PUBLISHED: 2008, SOURCE: 13th IEEE International Conference on Emerging Technologies and Factory Automation in 2008 IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, PROCEEDINGS, PAGES: 980-985
AUTHORS: Jose Goncalves ; Jose Lima ; Helder Oliveira ; Paulo Costa ;
PUBLISHED: 2008, SOURCE: 13th IEEE International Conference on Emerging Technologies and Factory Automation in 2008 IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, PROCEEDINGS, PAGES: 980-985
2289
TITLE: Sensor and actuator modeling of a realistic wheeled mobile robot simulator
AUTHORS: José Gonçalves; José Lima; Hélder P Oliveira ; Paulo G Costa;
PUBLISHED: 2008, SOURCE: Proceedings of 13th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2008, September 15-18, 2008, Hamburg, Germany, PAGES: 980-985
AUTHORS: José Gonçalves; José Lima; Hélder P Oliveira ; Paulo G Costa;
PUBLISHED: 2008, SOURCE: Proceedings of 13th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2008, September 15-18, 2008, Hamburg, Germany, PAGES: 980-985
INDEXED IN: DBLP
DBLP2290
TITLE: Simulation-Based Optimization for Steel Stacking
AUTHORS: Rui Jorge Rei; Mikio Kubo; Joao Pedro Pedroso ;
PUBLISHED: 2008, SOURCE: 2nd International Conference on Modelling, Computation and Optimization in Information Systems and Management Sciences in MODELLING, COMPUTATION AND OPTIMIZATION IN INFORMATION SYSTEMS AND MANAGEMENT SCIENCES, PROCEEDINGS, VOLUME: 14, PAGES: 254-263
AUTHORS: Rui Jorge Rei; Mikio Kubo; Joao Pedro Pedroso ;
PUBLISHED: 2008, SOURCE: 2nd International Conference on Modelling, Computation and Optimization in Information Systems and Management Sciences in MODELLING, COMPUTATION AND OPTIMIZATION IN INFORMATION SYSTEMS AND MANAGEMENT SCIENCES, PROCEEDINGS, VOLUME: 14, PAGES: 254-263
2291
TITLE: The impact of contextual information on the accuracy of existing recommender systems for Web personalization
AUTHORS: Domingues, MA; Jorge, AM ; Soares, C ;
PUBLISHED: 2008, SOURCE: 2008 IEEE/WIC/ACM International Conference on Web Intelligence, WI 2008 in Proceedings - 2008 IEEE/WIC/ACM International Conference on Web Intelligence, WI 2008, PAGES: 789-792
AUTHORS: Domingues, MA; Jorge, AM ; Soares, C ;
PUBLISHED: 2008, SOURCE: 2008 IEEE/WIC/ACM International Conference on Web Intelligence, WI 2008 in Proceedings - 2008 IEEE/WIC/ACM International Conference on Web Intelligence, WI 2008, PAGES: 789-792
2292
TITLE: The Life of a Logic Programming System
AUTHORS: Vitor Santos Costa ;
PUBLISHED: 2008, SOURCE: 24th International Conference on Logic Programming (ICLP) in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 5366, PAGES: 1-6
AUTHORS: Vitor Santos Costa ;
PUBLISHED: 2008, SOURCE: 24th International Conference on Logic Programming (ICLP) in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 5366, PAGES: 1-6
2293
TITLE: The Mob core language and abstract machine (rev 0.2) PDF
AUTHORS: Hervé Paulino ; Luís M. B. Lopes ;
PUBLISHED: 2008, SOURCE: CoRR, VOLUME: abs/0810.4451
AUTHORS: Hervé Paulino ; Luís M. B. Lopes ;
PUBLISHED: 2008, SOURCE: CoRR, VOLUME: abs/0810.4451
INDEXED IN: DBLP 
arXiv
DBLP arXiv2294
TITLE: Thread-Based Competitive Or-Parallelism
AUTHORS: Paulo Moura ; Ricardo Rocha ; Sara C Madeira ;
PUBLISHED: 2008, SOURCE: 24th International Conference on Logic Programming (ICLP) in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 5366, PAGES: 713-717
AUTHORS: Paulo Moura ; Ricardo Rocha ; Sara C Madeira ;
PUBLISHED: 2008, SOURCE: 24th International Conference on Logic Programming (ICLP) in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 5366, PAGES: 713-717
2295
TITLE: Towards more adequate colour histograms for in-body images
AUTHORS: Sousa, A; Dinis Ribeiro, M ; Areia, M ; Correia, M ; Coimbra, M ;
PUBLISHED: 2008, SOURCE: 30th Annual International Conference of the IEEE-Engineering-in-Medicine-and-Biology-Society in 2008 30TH ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY, VOLS 1-8, PAGES: 2193-2196
AUTHORS: Sousa, A; Dinis Ribeiro, M ; Areia, M ; Correia, M ; Coimbra, M ;
PUBLISHED: 2008, SOURCE: 30th Annual International Conference of the IEEE-Engineering-in-Medicine-and-Biology-Society in 2008 30TH ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY, VOLS 1-8, PAGES: 2193-2196
2296
TITLE: Towards Typed Prolog
AUTHORS: Tom Schrijvers; Vitor Santos Costa ; Jan Wielemaker; Bart Demoen;
PUBLISHED: 2008, SOURCE: 24th International Conference on Logic Programming (ICLP) in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 5366, PAGES: 693-697
AUTHORS: Tom Schrijvers; Vitor Santos Costa ; Jan Wielemaker; Bart Demoen;
PUBLISHED: 2008, SOURCE: 24th International Conference on Logic Programming (ICLP) in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 5366, PAGES: 693-697
2297
TITLE: Transactional WaveCache: Towards Speculative and Out-of-Order DataFlow Execution of Memory Operations Full Text
AUTHORS: Leandro A J Marzulo; Felipe M G Franca; Vitor Santos Costa ;
PUBLISHED: 2008, SOURCE: 20th International Symposium on Computer Architecture and High Performance Computing in 20th International Symposium on Computer Architecture and High Performance Computing, Proceedings, PAGES: 183-190
AUTHORS: Leandro A J Marzulo; Felipe M G Franca; Vitor Santos Costa ;
PUBLISHED: 2008, SOURCE: 20th International Symposium on Computer Architecture and High Performance Computing in 20th International Symposium on Computer Architecture and High Performance Computing, Proceedings, PAGES: 183-190
2298
TITLE: Transferring the rig and animations from a character to different face models Full Text
AUTHORS: Orvalho, VC ; Zacur, E; Susin, A;
PUBLISHED: 2008, SOURCE: Computer Graphics Forum, VOLUME: 27, ISSUE: 8, PAGES: 1997-2012
AUTHORS: Orvalho, VC ; Zacur, E; Susin, A;
PUBLISHED: 2008, SOURCE: Computer Graphics Forum, VOLUME: 27, ISSUE: 8, PAGES: 1997-2012
2299
TITLE: Who should access electronic patient records
AUTHORS: Ferreira, A ; Antunes, L ; Pinho, C; Sa, C; Mendes, E; Diana S Nascimento; Silva, F; Sérgio F. Sousa; Gomes, F ; Abreu, F; Mota, F; Aguiar, F; Faria, F; Macedo, F; Martins, S; Cruz Correia, R ;
PUBLISHED: 2008, SOURCE: 1st International Conference on Health Informatics (HEALTHINF 2008) in HEALTHINF 2008: PROCEEDINGS OF THE FIRST INTERNATIONAL CONFERENCE ON HEALTH INFORMATICS, VOL 1, VOLUME: 1, PAGES: 182-+
AUTHORS: Ferreira, A ; Antunes, L ; Pinho, C; Sa, C; Mendes, E; Diana S Nascimento; Silva, F; Sérgio F. Sousa; Gomes, F ; Abreu, F; Mota, F; Aguiar, F; Faria, F; Macedo, F; Martins, S; Cruz Correia, R ;
PUBLISHED: 2008, SOURCE: 1st International Conference on Health Informatics (HEALTHINF 2008) in HEALTHINF 2008: PROCEEDINGS OF THE FIRST INTERNATIONAL CONFERENCE ON HEALTH INFORMATICS, VOL 1, VOLUME: 1, PAGES: 182-+
INDEXED IN: Scopus WOS DBLP
Scopus WOS DBLP2300
TITLE: Work in Progress - iGraphs for Characterization of Online Communities Full Text
AUTHORS: Alvaro Figueira ; Joanne Laranjeiro;
PUBLISHED: 2008, SOURCE: IEEE Frontiers in Education Conference 2008 in FIE: 2008 IEEE FRONTIERS IN EDUCATION CONFERENCE, VOLS 1-3, PAGES: 1033-1034
AUTHORS: Alvaro Figueira ; Joanne Laranjeiro;
PUBLISHED: 2008, SOURCE: IEEE Frontiers in Education Conference 2008 in FIE: 2008 IEEE FRONTIERS IN EDUCATION CONFERENCE, VOLS 1-3, PAGES: 1033-1034
