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: 2637
43 Team MembersFilters -> Year: 2024
2021
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
2022
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
2023
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 CrossRef2024
TITLE: Preprocessing Boolean Formulae for BDDs in a Probabilistic Context
AUTHORS: Theofrastos Mantadelis ; Ricardo Rocha ; Angelika Kimmig; Gerda Janssens;
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: Theofrastos Mantadelis ; Ricardo Rocha ; Angelika Kimmig; Gerda Janssens;
PUBLISHED: 2010, SOURCE: 12th European Conference on Logics in Artificial Intelligence (JELIA) in LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2010, VOLUME: 6341, PAGES: 260-272
2025
TITLE: Probabilistic inductive querying using problog
AUTHORS: De Raedt, L; Kimmig, A; Gutmann, B; Kersting, K; Costa, VS ; Toivonen, H;
PUBLISHED: 2010, SOURCE: Inductive Databases and Constraint-Based Data Mining, PAGES: 229-262
AUTHORS: De Raedt, L; Kimmig, A; Gutmann, B; Kersting, K; Costa, VS ; Toivonen, H;
PUBLISHED: 2010, SOURCE: Inductive Databases and Constraint-Based Data Mining, PAGES: 229-262
2026
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
2027
TITLE: Relations among Notions of Complete Non-malleability: Indistinguishability Characterisation and Efficient Construction without Random Oracles Full Text
AUTHORS: Manuel Barbosa ; Pooya Farshim;
PUBLISHED: 2010, SOURCE: 15th Australasian conference, ACISP 2010 in INFORMATION SECURITY AND PRIVACY, VOLUME: 6168, PAGES: 145-163
AUTHORS: Manuel Barbosa ; Pooya Farshim;
PUBLISHED: 2010, SOURCE: 15th Australasian conference, ACISP 2010 in INFORMATION SECURITY AND PRIVACY, VOLUME: 6168, PAGES: 145-163
2028
TITLE: Resource-bounded Outlier Detection using Clustering Methods
AUTHORS: Luis Torgo ; Carlos Soares ;
PUBLISHED: 2010, SOURCE: Data Mining for Business Applications, VOLUME: 218, PAGES: 84-98
AUTHORS: Luis Torgo ; Carlos Soares ;
PUBLISHED: 2010, SOURCE: Data Mining for Business Applications, VOLUME: 218, PAGES: 84-98
INDEXED IN: Scopus 
DBLP
Scopus DBLP2029
TITLE: Retroactive Subsumption-Based Tabled Evaluation of Logic Programs
AUTHORS: Flavio Cruz ; Ricardo Rocha ;
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: Flavio Cruz ; Ricardo Rocha ;
PUBLISHED: 2010, SOURCE: 12th European Conference on Logics in Artificial Intelligence (JELIA) in LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2010, VOLUME: 6341, PAGES: 130-142
2030
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 WOS2031
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
2032
TITLE: Segmentation for classification of gastroenterology images.
AUTHORS: Coimbra, M; Riaz, F; Areia, M ; Baldaque Silva, F; Dinis Ribeiro, M;
PUBLISHED: 2010, SOURCE: Conference proceedings : ... Annual International Conference of the IEEE Engineering in Medicine and Biology Society. IEEE Engineering in Medicine and Biology Society. Conference, PAGES: 4744-4747
AUTHORS: Coimbra, M; Riaz, F; Areia, M ; Baldaque Silva, F; Dinis Ribeiro, M;
PUBLISHED: 2010, SOURCE: Conference proceedings : ... Annual International Conference of the IEEE Engineering in Medicine and Biology Society. IEEE Engineering in Medicine and Biology Society. Conference, PAGES: 4744-4747
INDEXED IN: Scopus
Scopus2033
TITLE: Self-organized traffic control
AUTHORS: Ferreira, M ; Fernandes, R; Conceicao, H ; Viriyasitavat, W; Tonguz, OK;
PUBLISHED: 2010, SOURCE: 7th ACM International Workshop on VehiculAr InterNETworking, VANET '10 in Proceedings of the Annual International Conference on Mobile Computing and Networking, MOBICOM, PAGES: 85-89
AUTHORS: Ferreira, M ; Fernandes, R; Conceicao, H ; Viriyasitavat, W; Tonguz, OK;
PUBLISHED: 2010, SOURCE: 7th ACM International Workshop on VehiculAr InterNETworking, VANET '10 in Proceedings of the Annual International Conference on Mobile Computing and Networking, MOBICOM, PAGES: 85-89
2034
TITLE: Sequential Pattern Mining in Multi-relational Datasets Full Text
AUTHORS: Carlos Abreu Ferreira ; Joao Gama ; Vitor Santos Costa ;
PUBLISHED: 2010, SOURCE: 13th Conference of the Spanish-Association-for-Artificial-Intelligence (CAEPIA 2009) in CURRENT TOPICS IN ARTIFICIAL INTELLIGENCE, VOLUME: 5988, PAGES: 121-130
AUTHORS: Carlos Abreu Ferreira ; Joao Gama ; Vitor Santos Costa ;
PUBLISHED: 2010, SOURCE: 13th Conference of the Spanish-Association-for-Artificial-Intelligence (CAEPIA 2009) in CURRENT TOPICS IN ARTIFICIAL INTELLIGENCE, VOLUME: 5988, PAGES: 121-130
2035
TITLE: Small NFAs from Regular Expressions: Some Experimental Results PDF
AUTHORS: Hugo Gouveia; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2010, SOURCE: CoRR, VOLUME: abs/1009.3599
AUTHORS: Hugo Gouveia; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2010, SOURCE: CoRR, VOLUME: abs/1009.3599
INDEXED IN: DBLP 
arXiv
DBLP arXiv2036
TITLE: Specifying a Programming Exercises Evaluation Service on the e-Framework
AUTHORS: Leal, JP ; Queiros, R ; Ferreira, D;
PUBLISHED: 2010, SOURCE: 9th International Conference on Advances in Web-Based Learning in ADVANCES IN WEB-BASED LEARNING-ICWL 2010, VOLUME: 6483, PAGES: 141-150
AUTHORS: Leal, JP ; Queiros, R ; Ferreira, D;
PUBLISHED: 2010, SOURCE: 9th International Conference on Advances in Web-Based Learning in ADVANCES IN WEB-BASED LEARNING-ICWL 2010, VOLUME: 6483, PAGES: 141-150
2037
TITLE: State Elimination Ordering Strategies: Some Experimental Results Full Text
AUTHORS: Nelma Moreira ; Davide Nabais; Rogério Reis ;
PUBLISHED: 2010, SOURCE: Proceedings Twelfth Annual Workshop on Descriptional Complexity of Formal Systems, DCFS 2010, Saskatoon, Canada, 8-10th August 2010., VOLUME: 31, PAGES: 139-148
AUTHORS: Nelma Moreira ; Davide Nabais; Rogério Reis ;
PUBLISHED: 2010, SOURCE: Proceedings Twelfth Annual Workshop on Descriptional Complexity of Formal Systems, DCFS 2010, Saskatoon, Canada, 8-10th August 2010., VOLUME: 31, PAGES: 139-148
2038
TITLE: Strong Knowledge Extractors for Public-Key Encryption Schemes Full Text
AUTHORS: Manuel Barbosa ; Pooya Farshim;
PUBLISHED: 2010, SOURCE: 15th Australasian conference, ACISP 2010 in INFORMATION SECURITY AND PRIVACY, VOLUME: 6168, PAGES: 164-181
AUTHORS: Manuel Barbosa ; Pooya Farshim;
PUBLISHED: 2010, SOURCE: 15th Australasian conference, ACISP 2010 in INFORMATION SECURITY AND PRIVACY, VOLUME: 6168, PAGES: 164-181
2039
TITLE: TALM: A hybrid execution model with distributed speculation support
AUTHORS: Marzulo, LAJ; Alves, TAO; Franc, FMG; Costa, VS ;
PUBLISHED: 2010, SOURCE: 22nd International Symposium on Computer Architecture and High Performance Computing Workshops, SBAC-PADW 2010, 1st Workshop on Applications for Multi and Many Core Architectures, WAMMCA 2010 in Proceedings - 22nd International Symposium on Computer Architecture and High Performance Computing Workshops, SBAC-PADW 2010, 1st Workshop on Applications for Multi and Many Core Architectures, WAMMCA, PAGES: 31-36
AUTHORS: Marzulo, LAJ; Alves, TAO; Franc, FMG; Costa, VS ;
PUBLISHED: 2010, SOURCE: 22nd International Symposium on Computer Architecture and High Performance Computing Workshops, SBAC-PADW 2010, 1st Workshop on Applications for Multi and Many Core Architectures, WAMMCA 2010 in Proceedings - 22nd International Symposium on Computer Architecture and High Performance Computing Workshops, SBAC-PADW 2010, 1st Workshop on Applications for Multi and Many Core Architectures, WAMMCA, PAGES: 31-36
2040
TITLE: Temporal Anomaly Detection: An Artificial Immune Approach Based on T Cell Activation, Clonal Size Regulation and Homeostasis
AUTHORS: Antunes, MJ ; Manuel E. Correia ;
PUBLISHED: 2010, SOURCE: ADVANCES IN COMPUTATIONAL BIOLOGY, VOLUME: 680, PAGES: 291-298
AUTHORS: Antunes, MJ ; Manuel E. Correia ;
PUBLISHED: 2010, SOURCE: ADVANCES IN COMPUTATIONAL BIOLOGY, VOLUME: 680, PAGES: 291-298
