Artificial Intelligence and Computer Science Laboratory (LIACC)
Laboratório de Inteligência Artificial e Ciência de Computadores
AuthID: I-000-18J
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: 3694
86 Team MembersFilters -> Year: 2026
2581
TITLE: Comparing state-of-the-art regression methods for long term travel time prediction Full Text
AUTHORS: Mendes Moreira, J ; Jorge, AM ; de Sousa, JF ; Soares, C ;
PUBLISHED: 2012, SOURCE: INTELLIGENT DATA ANALYSIS, VOLUME: 16, ISSUE: 3, PAGES: 427-449
AUTHORS: Mendes Moreira, J ; Jorge, AM ; de Sousa, JF ; Soares, C ;
PUBLISHED: 2012, SOURCE: INTELLIGENT DATA ANALYSIS, VOLUME: 16, ISSUE: 3, PAGES: 427-449
2582
TITLE: Conditional Renyi Entropies
AUTHORS: Andreia Teixeira ; Armando Matos ; Luis Antunes ;
PUBLISHED: 2012, SOURCE: IEEE TRANSACTIONS ON INFORMATION THEORY, VOLUME: 58, ISSUE: 7, PAGES: 4273-4277
AUTHORS: Andreia Teixeira ; Armando Matos ; Luis Antunes ;
PUBLISHED: 2012, SOURCE: IEEE TRANSACTIONS ON INFORMATION THEORY, VOLUME: 58, ISSUE: 7, PAGES: 4273-4277
2583
TITLE: Constraint-based debugging of spreadsheets PDF
AUTHORS: Abreu, R ; Riboira, A; Wotawa, F;
PUBLISHED: 2012, SOURCE: 15th Ibero-American Conference on Software Engineering, CIbSE 2012 in 15th Ibero-American Conference on Software Engineering, CIbSE 2012, PAGES: 1-14
AUTHORS: Abreu, R ; Riboira, A; Wotawa, F;
PUBLISHED: 2012, SOURCE: 15th Ibero-American Conference on Software Engineering, CIbSE 2012 in 15th Ibero-American Conference on Software Engineering, CIbSE 2012, PAGES: 1-14
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP2584
TITLE: Controlling Hardware Synthesis with Aspects
AUTHORS: João M P Cardoso ; Tiago Carvalho ; José Gabriel F Coutinho; Pedro C Diniz ; Zlatko Petrov; Wayne Luk;
PUBLISHED: 2012, SOURCE: DSD, PAGES: 226-233
AUTHORS: João M P Cardoso ; Tiago Carvalho ; José Gabriel F Coutinho; Pedro C Diniz ; Zlatko Petrov; Wayne Luk;
PUBLISHED: 2012, SOURCE: DSD, PAGES: 226-233
2585
TITLE: Coordination in Multi-robot Systems: Applications in Robotic Soccer
AUTHORS: Luís Paulo Reis ; Fernando Almeida; Luís Mota ; Nuno Lau ;
PUBLISHED: 2012, SOURCE: ICAART (Revised Selected Papers), VOLUME: 358, PAGES: 3-21
AUTHORS: Luís Paulo Reis ; Fernando Almeida; Luís Mota ; Nuno Lau ;
PUBLISHED: 2012, SOURCE: ICAART (Revised Selected Papers), VOLUME: 358, PAGES: 3-21
2586
TITLE: CPG modulation for navigation and omnidirectional quadruped locomotion Full Text
AUTHORS: Cristina P Santos ; Vitor Matos;
PUBLISHED: 2012, SOURCE: ROBOTICS AND AUTONOMOUS SYSTEMS, VOLUME: 60, ISSUE: 6, PAGES: 912-927
AUTHORS: Cristina P Santos ; Vitor Matos;
PUBLISHED: 2012, SOURCE: ROBOTICS AND AUTONOMOUS SYSTEMS, VOLUME: 60, ISSUE: 6, PAGES: 912-927
2587
TITLE: Debugging Spreadsheets: A CSP-based Approach
AUTHORS: Rui Abreu ; Andre Riboira; Franz Wotawa;
PUBLISHED: 2012, SOURCE: 23rd IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) in 23RD IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSRE 2012), PAGES: 159-164
AUTHORS: Rui Abreu ; Andre Riboira; Franz Wotawa;
PUBLISHED: 2012, SOURCE: 23rd IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) in 23RD IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSRE 2012), PAGES: 159-164
2588
TITLE: Deciding Regular Expressions (In-)Equivalence in Coq
AUTHORS: Nelma Moreira ; David Pereira ; Simão Melo de Sousa ;
PUBLISHED: 2012, SOURCE: RAMiCS, VOLUME: 7560 LNCS, PAGES: 98-113
AUTHORS: Nelma Moreira ; David Pereira ; Simão Melo de Sousa ;
PUBLISHED: 2012, SOURCE: RAMiCS, VOLUME: 7560 LNCS, PAGES: 98-113
2589
TITLE: Design and Modelling of a 3D Compliant Leg for Bioloid Full Text
AUTHORS: Mafalda Couto; Cristina Santos ; Jose Machado ;
PUBLISHED: 2012, SOURCE: International Conference of Numerical Analysis and Applied Mathematics (ICNAAM) in NUMERICAL ANALYSIS AND APPLIED MATHEMATICS (ICNAAM 2012), VOLS A AND B, VOLUME: 1479, ISSUE: 1, PAGES: 507-510
AUTHORS: Mafalda Couto; Cristina Santos ; Jose Machado ;
PUBLISHED: 2012, SOURCE: International Conference of Numerical Analysis and Applied Mathematics (ICNAAM) in NUMERICAL ANALYSIS AND APPLIED MATHEMATICS (ICNAAM 2012), VOLS A AND B, VOLUME: 1479, ISSUE: 1, PAGES: 507-510
2590
TITLE: Designing a meta-model for a generic robotic agent system using Gaia methodology Full Text
AUTHORS: Silva, DC ; Braga, RAM; Reis, LP ; Oliveira, E ;
PUBLISHED: 2012, SOURCE: INFORMATION SCIENCES, VOLUME: 195, PAGES: 190-210
AUTHORS: Silva, DC ; Braga, RAM; Reis, LP ; Oliveira, E ;
PUBLISHED: 2012, SOURCE: INFORMATION SCIENCES, VOLUME: 195, PAGES: 190-210
2591
TITLE: Dynamic Discovery and Maintenance of Role-based Performance Standards PDF
AUTHORS: Ramón Hermoso; Henrique Lopes Cardoso ;
PUBLISHED: 2012, SOURCE: 1st International Conference on Agreement Technologies, AT 2012 in Proceedings of the First International Conference on Agreement Technologies, AT 2012, Dubrovnik, Croatia, October 15-16, 2012, VOLUME: 918, PAGES: 27-41
AUTHORS: Ramón Hermoso; Henrique Lopes Cardoso ;
PUBLISHED: 2012, SOURCE: 1st International Conference on Agreement Technologies, AT 2012 in Proceedings of the First International Conference on Agreement Technologies, AT 2012, Dubrovnik, Croatia, October 15-16, 2012, VOLUME: 918, PAGES: 27-41
INDEXED IN: Scopus DBLP
Scopus DBLP2592
TITLE: Dynamical Systems in Robot Control Architectures: A Building Block Perspective
AUTHORS: Joao Sequeira ; Cristina Santos ; Jorge Silva;
PUBLISHED: 2012, SOURCE: 12th International Conference on Control, Automation, Robotics and Vision (ICARCV) in 2012 12TH INTERNATIONAL CONFERENCE ON CONTROL, AUTOMATION, ROBOTICS & VISION (ICARCV), PAGES: 82-87
AUTHORS: Joao Sequeira ; Cristina Santos ; Jorge Silva;
PUBLISHED: 2012, SOURCE: 12th International Conference on Control, Automation, Robotics and Vision (ICARCV) in 2012 12TH INTERNATIONAL CONFERENCE ON CONTROL, AUTOMATION, ROBOTICS & VISION (ICARCV), PAGES: 82-87
2594
TITLE: Ensemble Approaches for Regression: A Survey. A survey Full Text
AUTHORS: Mendes Moreira, J ; Soares, C ; Jorge, AM ; De Sousa, JF ;
PUBLISHED: 2012, SOURCE: ACM COMPUTING SURVEYS, VOLUME: 45, ISSUE: 1, PAGES: 10:1-10:40
AUTHORS: Mendes Moreira, J ; Soares, C ; Jorge, AM ; De Sousa, JF ;
PUBLISHED: 2012, SOURCE: ACM COMPUTING SURVEYS, VOLUME: 45, ISSUE: 1, PAGES: 10:1-10:40
2595
TITLE: Experiments with the LARA aspect-oriented approach
AUTHORS: José Gabriel F Coutinho; Tiago Carvalho ; Sérgio Durand; João M P Cardoso ; Ricardo Nobre ; Pedro C Diniz ; Wayne Luk;
PUBLISHED: 2012, SOURCE: AOSD (Companion), PAGES: 27-30
AUTHORS: José Gabriel F Coutinho; Tiago Carvalho ; Sérgio Durand; João M P Cardoso ; Ricardo Nobre ; Pedro C Diniz ; Wayne Luk;
PUBLISHED: 2012, SOURCE: AOSD (Companion), PAGES: 27-30
2596
TITLE: Extension and Implementation of ClassSheet Models
AUTHORS: Cunha, J ; Fernandes, JP ; Mendes, J ; Saraiva, J ;
PUBLISHED: 2012, SOURCE: IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) Co-Located with the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS) in 2012 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING (VL/HCC), PAGES: 19-22
AUTHORS: Cunha, J ; Fernandes, JP ; Mendes, J ; Saraiva, J ;
PUBLISHED: 2012, SOURCE: IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) Co-Located with the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS) in 2012 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING (VL/HCC), PAGES: 19-22
2597
TITLE: Extração de informação de texto formal para a modelação expedita de edifícios monumentais
AUTHORS: Ricardo Baptista ; Luís P Reis ; Luís Magalhães; Roberto Rodrigues; António Coelho ; Augusto Sousa ;
PUBLISHED: 2012, SOURCE: 20º Encontro Português de Computação Gráfica
AUTHORS: Ricardo Baptista ; Luís P Reis ; Luís Magalhães; Roberto Rodrigues; António Coelho ; Augusto Sousa ;
PUBLISHED: 2012, SOURCE: 20º Encontro Português de Computação Gráfica
INDEXED IN: 
Handle
Handle2598
TITLE: Fairness Resource Sharing for Dynamic Workflow Scheduling on Heterogeneous Systems
AUTHORS: Hamid Arabnejad; Jorge G Barbosa ;
PUBLISHED: 2012, SOURCE: ISPA, PAGES: 633-639
AUTHORS: Hamid Arabnejad; Jorge G Barbosa ;
PUBLISHED: 2012, SOURCE: ISPA, PAGES: 633-639
2599
TITLE: Federated health registers: A literature review
AUTHORS: Leite, L; Miranda, A; Esteves, C; Antunes, L ;
PUBLISHED: 2012, SOURCE: HEALTHINF 2012 - Proceedings of the International Conference on Health Informatics in HEALTHINF 2012 - Proceedings of the International Conference on Health Informatics, PAGES: 158-163
AUTHORS: Leite, L; Miranda, A; Esteves, C; Antunes, L ;
PUBLISHED: 2012, SOURCE: HEALTHINF 2012 - Proceedings of the International Conference on Health Informatics in HEALTHINF 2012 - Proceedings of the International Conference on Health Informatics, PAGES: 158-163
INDEXED IN: Scopus DBLP
Scopus DBLP2600
TITLE: Finding Interesting Contexts for Explaining Deviations in Bus Trip Duration Using Distribution Rules
AUTHORS: Alípio Mário Jorge ; João Mendes Moreira ; Jorge Freire de Sousa ; Carlos Soares ; Paulo J Azevedo ;
PUBLISHED: 2012, SOURCE: IDA, VOLUME: 7619 LNCS, PAGES: 139-149
AUTHORS: Alípio Mário Jorge ; João Mendes Moreira ; Jorge Freire de Sousa ; Carlos Soares ; Paulo J Azevedo ;
PUBLISHED: 2012, SOURCE: IDA, VOLUME: 7619 LNCS, PAGES: 139-149
