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: 2858
47 Team MembersFilters -> Year: 2026
2281
TITLE: Deductive Verification of Cryptographic Software
AUTHORS: Manuel Barbosa ; José Bacelar Almeida ; Jorge Sousa Pinto ; Bárbara Vieira;
PUBLISHED: 2009, SOURCE: NASA Formal Methods, PAGES: 146-155
AUTHORS: Manuel Barbosa ; José Bacelar Almeida ; Jorge Sousa Pinto ; Bárbara Vieira;
PUBLISHED: 2009, SOURCE: NASA Formal Methods, PAGES: 146-155
INDEXED IN: 
DBLP
DBLP2282
TITLE: Defining programming problems as learning objects
AUTHORS: Leal, JP ; Queiros, R ;
PUBLISHED: 2009, SOURCE: World Academy of Science, Engineering and Technology, VOLUME: 58, PAGES: 188-195
AUTHORS: Leal, JP ; Queiros, R ;
PUBLISHED: 2009, SOURCE: World Academy of Science, Engineering and Technology, VOLUME: 58, PAGES: 188-195
INDEXED IN: 
Scopus 
Handle
Scopus Handle2283
TITLE: Depth as Randomness Deficiency Full Text
AUTHORS: Antunes, L ; Matos, A ; Souto, A ; Vitányi, P;
PUBLISHED: 2009, SOURCE: 3rd Computability in Europe Conference 2007 in THEORY OF COMPUTING SYSTEMS, VOLUME: 45, ISSUE: 4, PAGES: 724-739
AUTHORS: Antunes, L ; Matos, A ; Souto, A ; Vitányi, P;
PUBLISHED: 2009, SOURCE: 3rd Computability in Europe Conference 2007 in THEORY OF COMPUTING SYSTEMS, VOLUME: 45, ISSUE: 4, PAGES: 724-739
2284
TITLE: Designing a user interface for repositories of learning objects
AUTHORS: Leal, JP ; Queiros, R ;
PUBLISHED: 2009, SOURCE: IADIS International Conference e-Learning 2009, Part of the IADIS Multi Conference on Computer Science and Information Systems, MCCSIS 2009 in Proceedings of the IADIS International Conference e-Learning 2009, Part of the IADIS Multi Conference on Computer Science and Information Systems, MCCSIS 2009, VOLUME: 2, PAGES: 137-140
AUTHORS: Leal, JP ; Queiros, R ;
PUBLISHED: 2009, SOURCE: IADIS International Conference e-Learning 2009, Part of the IADIS Multi Conference on Computer Science and Information Systems, MCCSIS 2009 in Proceedings of the IADIS International Conference e-Learning 2009, Part of the IADIS Multi Conference on Computer Science and Information Systems, MCCSIS 2009, VOLUME: 2, PAGES: 137-140
INDEXED IN: Scopus Handle
Scopus Handle2285
TITLE: Detecting Errors in Foreign Trade Transactions: Dealing with Insufficient Data
AUTHORS: Torgo, L ; Pereira, W; Soares, C ;
PUBLISHED: 2009, SOURCE: 14th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 5816, PAGES: 435-446
AUTHORS: Torgo, L ; Pereira, W; Soares, C ;
PUBLISHED: 2009, SOURCE: 14th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 5816, PAGES: 435-446
2286
TITLE: Deterministic Motif Mining in Protein Databases
AUTHORS: Pedro Gabriel Ferreira ; Paulo J Azevedo ;
PUBLISHED: 2009, SOURCE: Database Technologies: Concepts, Methodologies, Tools, and Applications, PAGES: 2632-2656
AUTHORS: Pedro Gabriel Ferreira ; Paulo J Azevedo ;
PUBLISHED: 2009, SOURCE: Database Technologies: Concepts, Methodologies, Tools, and Applications, PAGES: 2632-2656
INDEXED IN: Scopus DBLP
Scopus DBLP2287
TITLE: Deterministic pattern mining on genetic sequences
AUTHORS: Ferreira, PG ; Azevedo, PJ ;
PUBLISHED: 2009, SOURCE: Handbook of Research on Machine Learning Applications and Trends: Algorithms, Methods, and Techniques, PAGES: 277-301
AUTHORS: Ferreira, PG ; Azevedo, PJ ;
PUBLISHED: 2009, SOURCE: Handbook of Research on Machine Learning Applications and Trends: Algorithms, Methods, and Techniques, PAGES: 277-301
INDEXED IN: Scopus 
CrossRef
Scopus CrossRef2288
TITLE: DISAMBIGUATING WEB SEARCH RESULTS BY TOPIC AND TEMPORAL CLUSTERING <i>A Proposal</i>
AUTHORS: Campos, R ; Dias, G; Jorge, AM ;
PUBLISHED: 2009, SOURCE: 1st International Conference on Knowledge Discovery and Information Retrieval in KDIR 2009: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON KNOWLEDGE DISCOVERY AND INFORMATION RETRIEVAL, PAGES: 292-+
AUTHORS: Campos, R ; Dias, G; Jorge, AM ;
PUBLISHED: 2009, SOURCE: 1st International Conference on Knowledge Discovery and Information Retrieval in KDIR 2009: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON KNOWLEDGE DISCOVERY AND INFORMATION RETRIEVAL, PAGES: 292-+
INDEXED IN: Scopus 
WOS DBLP
Scopus WOS DBLP2289
TITLE: Discovery Science, 12th International Conference, DS 2009, Porto, Portugal, October 3-5, 2009 Full Text
AUTHORS: João Gama ; Vítor Santos Costa ; Alípio Mário Jorge ; Pavel Brazdil ;
PUBLISHED: 2009, SOURCE: Discovery Science, VOLUME: 5808
AUTHORS: João Gama ; Vítor Santos Costa ; Alípio Mário Jorge ; Pavel Brazdil ;
PUBLISHED: 2009, SOURCE: Discovery Science, VOLUME: 5808
2290
TITLE: Distributed, Modular HTL Full Text
AUTHORS: Henzinger, TA; Kirsch, CM; Marques, ERB ; Sokolova, A;
PUBLISHED: 2009, SOURCE: 30th IEEE International Real-Time Systems Symposium (RTSS 2009) in 2009 30TH IEEE REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS, PAGES: 171-+
AUTHORS: Henzinger, TA; Kirsch, CM; Marques, ERB ; Sokolova, A;
PUBLISHED: 2009, SOURCE: 30th IEEE International Real-Time Systems Symposium (RTSS 2009) in 2009 30TH IEEE REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS, PAGES: 171-+
2291
TITLE: ECCA - Endoscopic Capsule Capview cAtaloguer
AUTHORS: Sergio Lima; Joao P S Silva Cunha ; Miguel Coimbra ; Jose M Soares;
PUBLISHED: 2009, SOURCE: World Congress on Medical Physics and Biomedical Engineering in WORLD CONGRESS ON MEDICAL PHYSICS AND BIOMEDICAL ENGINEERING, VOL 25, PT 5, VOLUME: 25, ISSUE: 5, PAGES: 226-229
AUTHORS: Sergio Lima; Joao P S Silva Cunha ; Miguel Coimbra ; Jose M Soares;
PUBLISHED: 2009, SOURCE: World Congress on Medical Physics and Biomedical Engineering in WORLD CONGRESS ON MEDICAL PHYSICS AND BIOMEDICAL ENGINEERING, VOL 25, PT 5, VOLUME: 25, ISSUE: 5, PAGES: 226-229
INDEXED IN: Scopus WOS
Scopus WOS2292
TITLE: Efficient Coverage of Case Space with Active Learning
AUTHORS: Escudeiro, NF ; Jorge, AM ;
PUBLISHED: 2009, SOURCE: 14th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 5816, PAGES: 411-+
AUTHORS: Escudeiro, NF ; Jorge, AM ;
PUBLISHED: 2009, SOURCE: 14th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 5816, PAGES: 411-+
2293
TITLE: Ensemble Learning: A Study on Different Variants of the Dynamic Selection Approach Full Text
AUTHORS: Mendes Moreira, J ; Jorge, AM ; Soares, C ; de Sousa, JF ;
PUBLISHED: 2009, SOURCE: 6th International Conference on Machine Learning and Data Mining in Pattern Recognition in MACHINE LEARNING AND DATA MINING IN PATTERN RECOGNITION, VOLUME: 5632, PAGES: 191-+
AUTHORS: Mendes Moreira, J ; Jorge, AM ; Soares, C ; de Sousa, JF ;
PUBLISHED: 2009, SOURCE: 6th International Conference on Machine Learning and Data Mining in Pattern Recognition in MACHINE LEARNING AND DATA MINING IN PATTERN RECOGNITION, VOLUME: 5632, PAGES: 191-+
2294
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
Handle2295
TITLE: Facial Synthesis of 3D Avatars for Therapeutic Applications Full Text
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 DBLP2296
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
Scopus2297
TITLE: FAdo and GUItar: Tools for Automata Manipulation and Visualization
AUTHORS: Almeida, A; Almeida, M; Alves, J ; Moreira, N ; Reis, R ;
PUBLISHED: 2009, SOURCE: 14th International Conference on Implementation and Application of Automata in IMPLEMENTATION AND APPLICATION OF AUTOMATA, PROCEEDINGS, VOLUME: 5642, PAGES: 65-+
AUTHORS: Almeida, A; Almeida, M; Alves, J ; Moreira, N ; Reis, R ;
PUBLISHED: 2009, SOURCE: 14th International Conference on Implementation and Application of Automata in IMPLEMENTATION AND APPLICATION OF AUTOMATA, PROCEEDINGS, VOLUME: 5642, PAGES: 65-+
2298
TITLE: High Level Thread-Based Competitive Or-Parallelism in Logtalk Full Text
AUTHORS: Moura, P ; Rocha, R ; Madeira, SC ;
PUBLISHED: 2009, SOURCE: 11th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, VOLUME: 5418, PAGES: 107-121
AUTHORS: Moura, P ; Rocha, R ; Madeira, SC ;
PUBLISHED: 2009, SOURCE: 11th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, VOLUME: 5418, PAGES: 107-121
2299
TITLE: High-Level Interaction with Relational Databases in Logic Programming Full Text
AUTHORS: Porto, A ;
PUBLISHED: 2009, SOURCE: 11th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, VOLUME: 5418, PAGES: 152-167
AUTHORS: Porto, A ;
PUBLISHED: 2009, SOURCE: 11th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, VOLUME: 5418, PAGES: 152-167
2300
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-+
