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: 2726
43 Team MembersFilters -> Year: 2025
2121
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
2122
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 WOS2123
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
2124
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
2125
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
2126
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 arXiv2127
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
2128
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
2129
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
2130
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
2131
TITLE: Temporal Anomaly Detection: An Artificial Immune Approach Based on T Cell Activation, Clonal Size Regulation and Homeostasis
AUTHORS: Antunes, MJ ; Correia, ME ;
PUBLISHED: 2010, SOURCE: ADVANCES IN COMPUTATIONAL BIOLOGY, VOLUME: 680, PAGES: 291-298
AUTHORS: Antunes, MJ ; Correia, ME ;
PUBLISHED: 2010, SOURCE: ADVANCES IN COMPUTATIONAL BIOLOGY, VOLUME: 680, PAGES: 291-298
2132
TITLE: Testing the Equivalence of Regular Languages
AUTHORS: Marco Almeida; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2010, SOURCE: Journal of Automata, Languages and Combinatorics, VOLUME: 15, ISSUE: 1/2, PAGES: 7-25
AUTHORS: Marco Almeida; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2010, SOURCE: Journal of Automata, Languages and Combinatorics, VOLUME: 15, ISSUE: 1/2, PAGES: 7-25
INDEXED IN: DBLP
DBLP2133
TITLE: The See-Through System: A VANET-Enabled Assistant for Overtaking Maneuvers
AUTHORS: Cristina Olaverri Monreal; Pedro Gomes; Ricardo Fernandes; Fausto Vieira ; Michel Ferreira ;
PUBLISHED: 2010, SOURCE: IEEE Intelligent Vehicles Symposium (IV) in 2010 IEEE INTELLIGENT VEHICLES SYMPOSIUM (IV), PAGES: 123-128
AUTHORS: Cristina Olaverri Monreal; Pedro Gomes; Ricardo Fernandes; Fausto Vieira ; Michel Ferreira ;
PUBLISHED: 2010, SOURCE: IEEE Intelligent Vehicles Symposium (IV) in 2010 IEEE INTELLIGENT VEHICLES SYMPOSIUM (IV), PAGES: 123-128
2134
TITLE: Threads and or-parallelism unified
AUTHORS: Vitor Santos Costa ; Ines Dutra ; Ricardo Rocha ;
PUBLISHED: 2010, SOURCE: 26th International Conference on Logic Programming in THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 10, ISSUE: 4-6, PAGES: 417-432
AUTHORS: Vitor Santos Costa ; Ines Dutra ; Ricardo Rocha ;
PUBLISHED: 2010, SOURCE: 26th International Conference on Logic Programming in THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 10, ISSUE: 4-6, PAGES: 417-432
2135
TITLE: Towards a Theory of Views for Feature Models PDF
AUTHORS: Dave Clarke; José Proença ;
PUBLISHED: 2010, SOURCE: Software Product Lines - 14th International Conference, SPLC 2010, Jeju Island, South Korea, September 13-17, 2010. Workshop Proceedings (Volume 2 : Workshops, Industrial Track, Doctoral Symposium, Demonstrations and Tools), PAGES: 91-98
AUTHORS: Dave Clarke; José Proença ;
PUBLISHED: 2010, SOURCE: Software Product Lines - 14th International Conference, SPLC 2010, Jeju Island, South Korea, September 13-17, 2010. Workshop Proceedings (Volume 2 : Workshops, Industrial Track, Doctoral Symposium, Demonstrations and Tools), PAGES: 91-98
INDEXED IN: DBLP
DBLP2136
TITLE: Value of Photographic Side-Views in the Objective Evaluation of the Aesthetic Result of Breast Cancer Conservative Treatment
AUTHORS: Magalhaes, AT; Oliveira, HP ; Costa, S; Cardoso, JS ; Cardoso, MJ;
PUBLISHED: 2010, SOURCE: CANCER RESEARCH, VOLUME: 70, ISSUE: 24 Supplement
AUTHORS: Magalhaes, AT; Oliveira, HP ; Costa, S; Cardoso, JS ; Cardoso, MJ;
PUBLISHED: 2010, SOURCE: CANCER RESEARCH, VOLUME: 70, ISSUE: 24 Supplement
INDEXED IN: WOS 
CrossRef
WOS CrossRef2137
TITLE: Visual programming of XSLT from examples
AUTHORS: José P Leal ; Ricardo Queirós ;
PUBLISHED: 2010, SOURCE: XML, Associated Technologies and Applications
AUTHORS: José P Leal ; Ricardo Queirós ;
PUBLISHED: 2010, SOURCE: XML, Associated Technologies and Applications
INDEXED IN: 
Handle
Handle2138
TITLE: Web-Based Intelligent Tutoring Systems Using the SCORM 2004 Specification - A Conceptual Framework for Implementing SCORM Compliant Intelligent Web-Based Learning Environments
AUTHORS: Gustavo Santos; Álvaro Figueira ;
PUBLISHED: 2010, SOURCE: 10th IEEE International Conference on Advanced Learning Technologies, ICALT 2010 in ICALT 2010, 10th IEEE International Conference on Advanced Learning Technologies, Sousse, Tunesia, 5-7 July 2010, PAGES: 676-678
AUTHORS: Gustavo Santos; Álvaro Figueira ;
PUBLISHED: 2010, SOURCE: 10th IEEE International Conference on Advanced Learning Technologies, ICALT 2010 in ICALT 2010, 10th IEEE International Conference on Advanced Learning Technologies, Sousse, Tunesia, 5-7 July 2010, PAGES: 676-678
2139
TITLE: Your personal archival: repository server
AUTHORS: José P Leal ; Ricardo Queirós ;
PUBLISHED: 2010, SOURCE: Edujudge system handbook: how to organize programming competitions in Moodle courses
AUTHORS: José P Leal ; Ricardo Queirós ;
PUBLISHED: 2010, SOURCE: Edujudge system handbook: how to organize programming competitions in Moodle courses
INDEXED IN: Handle
Handle2140
TITLE: A Cautionary View of Mobility and Connectivity Modeling in Vehicular Ad-Hoc Networks
AUTHORS: Hugo Conceicao ; Michel Ferreira ; Joao Barros ;
PUBLISHED: 2009, SOURCE: 69th IEEE Vehicular Technology Conference in 2009 IEEE VEHICULAR TECHNOLOGY CONFERENCE, VOLS 1-5, PAGES: 2764-2768
AUTHORS: Hugo Conceicao ; Michel Ferreira ; Joao Barros ;
PUBLISHED: 2009, SOURCE: 69th IEEE Vehicular Technology Conference in 2009 IEEE VEHICULAR TECHNOLOGY CONFERENCE, VOLS 1-5, PAGES: 2764-2768
