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: 2847
47 Team MembersFilters -> Year: 2026
2201
TITLE: Modelling non-trivial evaluation processes
AUTHORS: José P Leal ; Ricardo Queirós ;
PUBLISHED: 2010, SOURCE: Conference on Enterprise Information Systems
AUTHORS: José P Leal ; Ricardo Queirós ;
PUBLISHED: 2010, SOURCE: Conference on Enterprise Information Systems
INDEXED IN: 
Handle
Handle2202
TITLE: On the Average Number of States of Partial Derivative Automata
AUTHORS: Broda, S ; Machiavelo, A ; Moreira, N ; Reis, R ;
PUBLISHED: 2010, SOURCE: 14th International Conference on Developments in Language Theory in DEVELOPMENTS IN LANGUAGE THEORY, VOLUME: 6224, PAGES: 112-+
AUTHORS: Broda, S ; Machiavelo, A ; Moreira, N ; Reis, R ;
PUBLISHED: 2010, SOURCE: 14th International Conference on Developments in Language Theory in DEVELOPMENTS IN LANGUAGE THEORY, VOLUME: 6224, PAGES: 112-+
2203
TITLE: On the Implementation of the CLP(BN) Language
AUTHORS: Vitor Santos Costa ;
PUBLISHED: 2010, SOURCE: 12th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, VOLUME: 5937, PAGES: 234-248
AUTHORS: Vitor Santos Costa ;
PUBLISHED: 2010, SOURCE: 12th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, VOLUME: 5937, PAGES: 234-248
2204
TITLE: PARALLEL CALCULATION OF SUBGRAPH CENSUS IN BIOLOGICAL NETWORKS
AUTHORS: Ribeiro, P ; Silva, F ; Lopes, L ;
PUBLISHED: 2010, SOURCE: 1st International Conference on Bioinformatics (BIOINFORMATICS 2010) in BIONFORMATICS 2010: PROCEEDINGS OF THE FIRST INTERNATIONAL CONFERENCE ON BIOINFORMATICS, PAGES: 56-65
AUTHORS: Ribeiro, P ; Silva, F ; Lopes, L ;
PUBLISHED: 2010, SOURCE: 1st International Conference on Bioinformatics (BIOINFORMATICS 2010) in BIONFORMATICS 2010: PROCEEDINGS OF THE FIRST INTERNATIONAL CONFERENCE ON BIOINFORMATICS, PAGES: 56-65
INDEXED IN: 
Scopus 
WOS 
DBLP
Scopus WOS DBLP2205
TITLE: Password sharing and how to reduce it
AUTHORS: Ferreira, A ; Correia, R ; Chadwick, DW; Santos, H; Gomes, R; Reis, D; Antunes, L ;
PUBLISHED: 2010, SOURCE: Certification and Security in Health-Related Web Applications: Concepts and Solutions, PAGES: 243-263
AUTHORS: Ferreira, A ; Correia, R ; Chadwick, DW; Santos, H; Gomes, R; Reis, D; Antunes, L ;
PUBLISHED: 2010, SOURCE: Certification and Security in Health-Related Web Applications: Concepts and Solutions, PAGES: 243-263
2206
TITLE: Patient Empowerment by the Means of Citizen-managed Electronic Health Records: Web 2.0 Health Digital Identity
AUTHORS: Falcao Reis, F; Correia, ME ;
PUBLISHED: 2010, SOURCE: 7th Annual Conference of the International-Council-on-Medical-and-Care-Compunetics (ICMCC) in MEDICAL AND CARE COMPUNETICS 6, VOLUME: 156, PAGES: 214-228
AUTHORS: Falcao Reis, F; Correia, ME ;
PUBLISHED: 2010, SOURCE: 7th Annual Conference of the International-Council-on-Medical-and-Care-Compunetics (ICMCC) in MEDICAL AND CARE COMPUNETICS 6, VOLUME: 156, PAGES: 214-228
2207
TITLE: Physical layer secrecy for OFDM systems
AUTHORS: Renna, F ; Laurenti, N; Poor, HV;
PUBLISHED: 2010, SOURCE: 2010 European Wireless Conference, EW 2010 in 2010 European Wireless Conference, EW 2010, PAGES: 782-789
AUTHORS: Renna, F ; Laurenti, N; Poor, HV;
PUBLISHED: 2010, SOURCE: 2010 European Wireless Conference, EW 2010 in 2010 European Wireless Conference, EW 2010, PAGES: 782-789
2208
TITLE: Portability of Prolog programs: theory and case-studies
AUTHORS: Jan Wielemaker; Vítor Santos Costa ;
PUBLISHED: 2010, SOURCE: CoRR, VOLUME: abs/1009.3796, PAGES: 05
AUTHORS: Jan Wielemaker; Vítor Santos Costa ;
PUBLISHED: 2010, SOURCE: CoRR, VOLUME: abs/1009.3796, PAGES: 05
INDEXED IN: Scopus DBLP
Scopus DBLP2209
TITLE: Predicting the Start of Protein alpha-Helices Using Machine Learning Algorithms Full Text
AUTHORS: Rui Camacho ; Rita Ferreira; Natacha Rosa; Vania Guimaraes; Nuno A Fonseca ; Vitor Santos Costa ; Miguel de Sousa; Alexandre Magalhaes ;
PUBLISHED: 2010, SOURCE: 4th International workshop on Practical Applications of Computational Biology & Bioinformatics in ADVANCES IN BIOINFORMATICS, VOLUME: 74, PAGES: 33-41
AUTHORS: Rui Camacho ; Rita Ferreira; Natacha Rosa; Vania Guimaraes; Nuno A Fonseca ; Vitor Santos Costa ; Miguel de Sousa; Alexandre Magalhaes ;
PUBLISHED: 2010, SOURCE: 4th International workshop on Practical Applications of Computational Biology & Bioinformatics in ADVANCES IN BIOINFORMATICS, VOLUME: 74, PAGES: 33-41
2210
TITLE: Predictive models for forecasting hourly urban water demand Full Text
AUTHORS: Manuel Herrera; Luis Torgo ; Joaquin Izquierdo; Rafael Perez Garcia;
PUBLISHED: 2010, SOURCE: JOURNAL OF HYDROLOGY, VOLUME: 387, ISSUE: 1-2, PAGES: 141-150
AUTHORS: Manuel Herrera; Luis Torgo ; Joaquin Izquierdo; Rafael Perez Garcia;
PUBLISHED: 2010, SOURCE: JOURNAL OF HYDROLOGY, VOLUME: 387, ISSUE: 1-2, PAGES: 141-150
2211
TITLE: Preface Full Text
AUTHORS: Mário Florido ; Ian Mackie;
PUBLISHED: 2010, SOURCE: Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 22
AUTHORS: Mário Florido ; Ian Mackie;
PUBLISHED: 2010, SOURCE: Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 22
INDEXED IN: Scopus 
CrossRef
Scopus CrossRef2212
TITLE: Preprocessing Boolean Formulae for BDDs in a Probabilistic Context
AUTHORS: Mantadelis, T ; Rocha, R ; Kimmig, A; Janssens, G;
PUBLISHED: 2010, SOURCE: 12th European Conference on Logics in Artificial Intelligence (JELIA) in LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2010, VOLUME: 6341, PAGES: 260-272
AUTHORS: Mantadelis, T ; Rocha, R ; Kimmig, A; Janssens, G;
PUBLISHED: 2010, SOURCE: 12th European Conference on Logics in Artificial Intelligence (JELIA) in LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2010, VOLUME: 6341, PAGES: 260-272
2213
TITLE: Probabilistic Inductive Querying Using ProbLog
AUTHORS: Luc De Raedt; Angelika Kimmig; Bernd Gutmann; Kristian Kersting; Vítor Santos Costa ; Hannu Toivonen;
PUBLISHED: 2010, SOURCE: Inductive Databases and Constraint-Based Data Mining, PAGES: 229-262
AUTHORS: Luc De Raedt; Angelika Kimmig; Bernd Gutmann; Kristian Kersting; Vítor Santos Costa ; Hannu Toivonen;
PUBLISHED: 2010, SOURCE: Inductive Databases and Constraint-Based Data Mining, PAGES: 229-262
2214
TITLE: Regression Trees
AUTHORS: Buhmann, MD; Prem Melville; Vikas Sindhwani; Novi Quadrianto; Wray L Buntine; Luís Torgo ; Xinhua Zhang; Peter Stone; Jan Struyf; Hendrik Blockeel; Kurt Driessens; Risto Miikkulainen; Eric Wiewiora; Jan Peters; Russ Tedrake; Nicholas Roy; Jun Morimoto; Peter A Flach; Johannes Fürnkranz;
PUBLISHED: 2010, SOURCE: Encyclopedia of Machine Learning, PAGES: 842-845
AUTHORS: Buhmann, MD; Prem Melville; Vikas Sindhwani; Novi Quadrianto; Wray L Buntine; Luís Torgo ; Xinhua Zhang; Peter Stone; Jan Struyf; Hendrik Blockeel; Kurt Driessens; Risto Miikkulainen; Eric Wiewiora; Jan Peters; Russ Tedrake; Nicholas Roy; Jun Morimoto; Peter A Flach; Johannes Fürnkranz;
PUBLISHED: 2010, SOURCE: Encyclopedia of Machine Learning, PAGES: 842-845
2215
TITLE: Relations among Notions of Complete Non-malleability: Indistinguishability Characterisation and Efficient Construction without Random Oracles
AUTHORS: Barbosa, M ; Farshim, P;
PUBLISHED: 2010, SOURCE: 15th Australasian conference, ACISP 2010 in INFORMATION SECURITY AND PRIVACY, VOLUME: 6168, PAGES: 145-+
AUTHORS: Barbosa, M ; Farshim, P;
PUBLISHED: 2010, SOURCE: 15th Australasian conference, ACISP 2010 in INFORMATION SECURITY AND PRIVACY, VOLUME: 6168, PAGES: 145-+
2216
TITLE: Resource-bounded Outlier Detection using Clustering Methods
AUTHORS: Luís Torgo ; Carlos Soares ;
PUBLISHED: 2010, SOURCE: Data Mining for Business Applications, VOLUME: 218, PAGES: 84-98
AUTHORS: Luís Torgo ; Carlos Soares ;
PUBLISHED: 2010, SOURCE: Data Mining for Business Applications, VOLUME: 218, PAGES: 84-98
2217
TITLE: Retroactive Subsumption-Based Tabled Evaluation of Logic Programs
AUTHORS: Cruz, F ; Rocha, R ;
PUBLISHED: 2010, SOURCE: 12th European Conference on Logics in Artificial Intelligence (JELIA) in LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2010, VOLUME: 6341, PAGES: 130-142
AUTHORS: Cruz, F ; Rocha, R ;
PUBLISHED: 2010, SOURCE: 12th European Conference on Logics in Artificial Intelligence (JELIA) in LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2010, VOLUME: 6341, PAGES: 130-142
2218
TITLE: Reusable and Inter-Operable Web-Based Intelligent Tutoring Systems Using SCORM 2004
AUTHORS: Gustavo Santos; Alvaro Figueira ;
PUBLISHED: 2010, SOURCE: 9th European Conference on e-Learning in PROCEEDINGS OF THE 9TH EUROPEAN CONFERENCE ON E-LEARNING, VOL 1, PAGES: 521-527
AUTHORS: Gustavo Santos; Alvaro Figueira ;
PUBLISHED: 2010, SOURCE: 9th European Conference on e-Learning in PROCEEDINGS OF THE 9TH EUROPEAN CONFERENCE ON E-LEARNING, VOL 1, PAGES: 521-527
INDEXED IN: Scopus WOS
Scopus WOS2219
TITLE: Runtime Programming through Model-Preserving, Scalable Runtime Patches
AUTHORS: Christoph M Kirsch; Luís M B Lopes ; Eduardo R B Marques ; Ana Sokolova;
PUBLISHED: 2010, SOURCE: FACS, VOLUME: 6921 LNCS, PAGES: 290-294
AUTHORS: Christoph M Kirsch; Luís M B Lopes ; Eduardo R B Marques ; Ana Sokolova;
PUBLISHED: 2010, SOURCE: FACS, VOLUME: 6921 LNCS, PAGES: 290-294
2220
TITLE: Segmentation for Classification of Gastroenterology Images
AUTHORS: Coimbra, M ; Riaz, F; Areia, M ; Silva, FB; Dinis Ribeiro, M ;
PUBLISHED: 2010, SOURCE: 32nd Annual International Conference of the IEEE Engineering-in-Medicine-and-Biology-Society (EMBC 10) in 2010 ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC), PAGES: 4744-4747
AUTHORS: Coimbra, M ; Riaz, F; Areia, M ; Silva, FB; Dinis Ribeiro, M ;
PUBLISHED: 2010, SOURCE: 32nd Annual International Conference of the IEEE Engineering-in-Medicine-and-Biology-Society (EMBC 10) in 2010 ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC), PAGES: 4744-4747
