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: 2849
46 Team MembersFilters -> Year: 2026
2221
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
2222
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 WOS2223
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
2224
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
2225
TITLE: Self Tolerance by Tuning T-Cell Activation: An Artificial Immune System for Anomaly Detection
AUTHORS: Mário João Gonçalves Antunes ; Manuel Eduardo Correia ;
PUBLISHED: 2010, SOURCE: BIONETICS, VOLUME: 87 LNICST, PAGES: 1-15
AUTHORS: Mário João Gonçalves Antunes ; Manuel Eduardo Correia ;
PUBLISHED: 2010, SOURCE: BIONETICS, VOLUME: 87 LNICST, PAGES: 1-15
2226
TITLE: Self-organized traffic control
AUTHORS: Michel Ferreira ; Ricardo Fernandes; Hugo Conceição ; Wantanee Viriyasitavat; Ozan K Tonguz;
PUBLISHED: 2010, SOURCE: Vehicular Ad Hoc Networks, PAGES: 85-90
AUTHORS: Michel Ferreira ; Ricardo Fernandes; Hugo Conceição ; Wantanee Viriyasitavat; Ozan K Tonguz;
PUBLISHED: 2010, SOURCE: Vehicular Ad Hoc Networks, PAGES: 85-90
2227
TITLE: Sequential Pattern Mining in Multi-relational Datasets
AUTHORS: Ferreira, CA ; Gama, J ; Costa, VS ;
PUBLISHED: 2010, SOURCE: 13th Conference of the Spanish-Association-for-Artificial-Intelligence (CAEPIA 2009) in CURRENT TOPICS IN ARTIFICIAL INTELLIGENCE, VOLUME: 5988, PAGES: 121-+
AUTHORS: Ferreira, CA ; Gama, J ; Costa, VS ;
PUBLISHED: 2010, SOURCE: 13th Conference of the Spanish-Association-for-Artificial-Intelligence (CAEPIA 2009) in CURRENT TOPICS IN ARTIFICIAL INTELLIGENCE, VOLUME: 5988, PAGES: 121-+
2228
TITLE: Small NFAs from Regular Expressions: Some Experimental Results
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
DBLP2229
TITLE: Specifying a Programming Exercises Evaluation Service on the e-Framework
AUTHORS: Leal, JP ; Queirós, 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-+
AUTHORS: Leal, JP ; Queirós, 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-+
2230
TITLE: State Elimination Ordering Strategies: Some Experimental Results
AUTHORS: Nelma Moreira ; Davide Nabais; Rogério Reis ;
PUBLISHED: 2010, SOURCE: DCFS, VOLUME: 31, PAGES: 139-148
AUTHORS: Nelma Moreira ; Davide Nabais; Rogério Reis ;
PUBLISHED: 2010, SOURCE: DCFS, VOLUME: 31, PAGES: 139-148
2231
TITLE: Strong Knowledge Extractors for Public-Key Encryption Schemes
AUTHORS: Barbosa, M ; Farshim, P;
PUBLISHED: 2010, SOURCE: 15th Australasian conference, ACISP 2010 in INFORMATION SECURITY AND PRIVACY, VOLUME: 6168, PAGES: 164-+
AUTHORS: Barbosa, M ; Farshim, P;
PUBLISHED: 2010, SOURCE: 15th Australasian conference, ACISP 2010 in INFORMATION SECURITY AND PRIVACY, VOLUME: 6168, PAGES: 164-+
2232
TITLE: TALM: A Hybrid Execution Model with Distributed Speculation Support
AUTHORS: Leandro A J Marzulo; Tiago A O Alves; Felipe M G França; Vítor Santos Costa ;
PUBLISHED: 2010, SOURCE: SBAC-PAD (Workshops), PAGES: 31-36
AUTHORS: Leandro A J Marzulo; Tiago A O Alves; Felipe M G França; Vítor Santos Costa ;
PUBLISHED: 2010, SOURCE: SBAC-PAD (Workshops), PAGES: 31-36
2233
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
2234
TITLE: Testing the Equivalence of Regular Languages
AUTHORS: Marco Almeida; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2010, SOURCE: J. Autom. Lang. Comb., VOLUME: 15, ISSUE: 1/2, PAGES: 7-25
AUTHORS: Marco Almeida; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2010, SOURCE: J. Autom. Lang. Comb., VOLUME: 15, ISSUE: 1/2, PAGES: 7-25
INDEXED IN: DBLP
DBLP2235
TITLE: The See-Through System: A VANET-Enabled Assistant for Overtaking Maneuvers
AUTHORS: Olaverri Monreal, C; Gomes, P; Fernandes, R; Vieira, F ; Ferreira, M ;
PUBLISHED: 2010, SOURCE: IEEE Intelligent Vehicles Symposium (IV) in 2010 IEEE INTELLIGENT VEHICLES SYMPOSIUM (IV), PAGES: 123-128
AUTHORS: Olaverri Monreal, C; Gomes, P; Fernandes, R; Vieira, F ; Ferreira, M ;
PUBLISHED: 2010, SOURCE: IEEE Intelligent Vehicles Symposium (IV) in 2010 IEEE INTELLIGENT VEHICLES SYMPOSIUM (IV), PAGES: 123-128
2237
TITLE: Towards a Theory of Views for Feature Models PDF
AUTHORS: Dave Clarke; José Proença ;
PUBLISHED: 2010, SOURCE: SPLC Workshops, PAGES: 91-98
AUTHORS: Dave Clarke; José Proença ;
PUBLISHED: 2010, SOURCE: SPLC Workshops, PAGES: 91-98
INDEXED IN: DBLP
DBLP2238
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 CrossRef2239
TITLE: Variability Modelling in the ABS Language
AUTHORS: Dave Clarke; Radu Muschevici; José Proença ; Ina Schaefer; Rudolf Schlatte;
PUBLISHED: 2010, SOURCE: FMCO, VOLUME: 6957 LNCS, PAGES: 204-224
AUTHORS: Dave Clarke; Radu Muschevici; José Proença ; Ina Schaefer; Rudolf Schlatte;
PUBLISHED: 2010, SOURCE: FMCO, VOLUME: 6957 LNCS, PAGES: 204-224
2240
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
Handle