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: 2918
85 Team MembersFilters -> Year: 2025
1941
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 DBLP1942
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: 15th Euromicro Conference on Digital System Design, DSD 2012 in 15th Euromicro Conference on Digital System Design, DSD 2012, Cesme, Izmir, Turkey, September 5-8, 2012, 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: 15th Euromicro Conference on Digital System Design, DSD 2012 in 15th Euromicro Conference on Digital System Design, DSD 2012, Cesme, Izmir, Turkey, September 5-8, 2012, PAGES: 226-233
1943
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: Agents and Artificial Intelligence - 4th International Conference, ICAART 2012, Vilamoura, Portugal, February 6-8, 2012. Revised Selected Papers, VOLUME: 358, PAGES: 3-21
AUTHORS: Luís Paulo Reis ; Fernando Almeida; Luís Mota ; Nuno Lau ;
PUBLISHED: 2012, SOURCE: Agents and Artificial Intelligence - 4th International Conference, ICAART 2012, Vilamoura, Portugal, February 6-8, 2012. Revised Selected Papers, VOLUME: 358, PAGES: 3-21
1944
TITLE: Data mining process models: A roadmap for knowledge discovery
AUTHORS: Mendes, AB; Luís Cavique ; Santos, JMA;
PUBLISHED: 2012, SOURCE: Quantitative Modelling in Marketing and Management, PAGES: 405-434
AUTHORS: Mendes, AB; Luís Cavique ; Santos, JMA;
PUBLISHED: 2012, SOURCE: Quantitative Modelling in Marketing and Management, PAGES: 405-434
1945
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
1946
TITLE: Designing a meta-model for a generic robotic agent system using Gaia methodology Full Text
AUTHORS: Daniel Castro Silva ; Rodrigo A M Braga; Luis Paulo Reis ; Eugenio Oliveira ;
PUBLISHED: 2012, SOURCE: INFORMATION SCIENCES, VOLUME: 195, PAGES: 190-210
AUTHORS: Daniel Castro Silva ; Rodrigo A M Braga; Luis Paulo Reis ; Eugenio Oliveira ;
PUBLISHED: 2012, SOURCE: INFORMATION SCIENCES, VOLUME: 195, PAGES: 190-210
1947
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 DBLP1949
TITLE: Ensemble Approaches for Regression: A Survey. A survey Full Text
AUTHORS: Joao Mendes Moreira ; Carlos Soares ; Alipio Mario Jorge ; Jorge Freire De Sousa ;
PUBLISHED: 2012, SOURCE: ACM COMPUTING SURVEYS, VOLUME: 45, ISSUE: 1, PAGES: 10
AUTHORS: Joao Mendes Moreira ; Carlos Soares ; Alipio Mario Jorge ; Jorge Freire De Sousa ;
PUBLISHED: 2012, SOURCE: ACM COMPUTING SURVEYS, VOLUME: 45, ISSUE: 1, PAGES: 10
1950
TITLE: Experiments with the LARA aspect-oriented approach
AUTHORS: Coutinho, JGF; Carvalho, T ; Durand, S; Cardoso, JMP ; Nobre, R ; Diniz, PC ; Luk, W;
PUBLISHED: 2012, SOURCE: 11th Annual International Conference on Aspect Oriented Software Development, AOSD'12 in AOSD'12 Companion - Proceedings of the 11th Annual International Conference on Aspect Oriented Software Development, PAGES: 27-30
AUTHORS: Coutinho, JGF; Carvalho, T ; Durand, S; Cardoso, JMP ; Nobre, R ; Diniz, PC ; Luk, W;
PUBLISHED: 2012, SOURCE: 11th Annual International Conference on Aspect Oriented Software Development, AOSD'12 in AOSD'12 Companion - Proceedings of the 11th Annual International Conference on Aspect Oriented Software Development, PAGES: 27-30
1951
TITLE: Extension and Implementation of ClassSheet Models
AUTHORS: Jacome Cunha ; Joao Paulo Fernandes ; Jorge Mendes ; Joao Saraiva ;
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: Jacome Cunha ; Joao Paulo Fernandes ; Jorge Mendes ; Joao Saraiva ;
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
1952
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
Handle1953
TITLE: Fairness Resource Sharing for Dynamic Workflow Scheduling on Heterogeneous Systems
AUTHORS: Hamid Arabnejad; Jorge G Barbosa ;
PUBLISHED: 2012, SOURCE: 2012 10th IEEE International Symposium on Parallel and Distributed Processing with Applications, ISPA 2012 in 10th IEEE International Symposium on Parallel and Distributed Processing with Applications, ISPA 2012, Leganes, Madrid, Spain, July 10-13, 2012, PAGES: 633-639
AUTHORS: Hamid Arabnejad; Jorge G Barbosa ;
PUBLISHED: 2012, SOURCE: 2012 10th IEEE International Symposium on Parallel and Distributed Processing with Applications, ISPA 2012 in 10th IEEE International Symposium on Parallel and Distributed Processing with Applications, ISPA 2012, Leganes, Madrid, Spain, July 10-13, 2012, PAGES: 633-639
1954
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 DBLP1955
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: 11th International Symposium on Intelligent Data Analysis, IDA 2012 in Advances in Intelligent Data Analysis XI - 11th International Symposium, IDA 2012, Helsinki, Finland, October 25-27, 2012. Proceedings, VOLUME: 7619, 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: 11th International Symposium on Intelligent Data Analysis, IDA 2012 in Advances in Intelligent Data Analysis XI - 11th International Symposium, IDA 2012, Helsinki, Finland, October 25-27, 2012. Proceedings, VOLUME: 7619, PAGES: 139-149
1956
TITLE: From relational ClassSheets to UML+OCL Full Text
AUTHORS: Cunha, J ; Fernandes, JP ; Saraiva, J ;
PUBLISHED: 2012, SOURCE: 27th Annual ACM Symposium on Applied Computing, SAC 2012 in Proceedings of the ACM Symposium on Applied Computing, PAGES: 1151-1158
AUTHORS: Cunha, J ; Fernandes, JP ; Saraiva, J ;
PUBLISHED: 2012, SOURCE: 27th Annual ACM Symposium on Applied Computing, SAC 2012 in Proceedings of the ACM Symposium on Applied Computing, PAGES: 1151-1158
1957
TITLE: Generation of planar radiographs from 3D anatomical models using the GPU
AUTHORS: Cardoso, AS; Moura, DC; Barbosa, JG ;
PUBLISHED: 2012, SOURCE: 3rd ECCOMAS Thematic Conference on Computational Vision and Medical Image Processing (VipIMAGE) in COMPUTATIONAL VISION AND MEDICAL IMAGE PROCESSING: VIPIMAGE 2011, PAGES: 19-22
AUTHORS: Cardoso, AS; Moura, DC; Barbosa, JG ;
PUBLISHED: 2012, SOURCE: 3rd ECCOMAS Thematic Conference on Computational Vision and Medical Image Processing (VipIMAGE) in COMPUTATIONAL VISION AND MEDICAL IMAGE PROCESSING: VIPIMAGE 2011, PAGES: 19-22
INDEXED IN: Scopus 
WOS
Scopus WOS1958
TITLE: Graph-based approach for interference free integration of pervasive applications
AUTHORS: Christophe Soares ; Moreiray, RS; Morla, R ; Jose M Torres ; Sobral, P ;
PUBLISHED: 2012, SOURCE: 2012 7th International Symposium on Wireless and Pervasive Computing, ISWPC 2012 in 2012 7th International Symposium on Wireless and Pervasive Computing, ISWPC 2012
AUTHORS: Christophe Soares ; Moreiray, RS; Morla, R ; Jose M Torres ; Sobral, P ;
PUBLISHED: 2012, SOURCE: 2012 7th International Symposium on Wireless and Pervasive Computing, ISWPC 2012 in 2012 7th International Symposium on Wireless and Pervasive Computing, ISWPC 2012
1959
TITLE: GZoltar: An Eclipse Plug-In for Testing and Debugging
AUTHORS: Jose Campos ; Andre Riboira; Alexandre Perez ; Rui Abreu ;
PUBLISHED: 2012, SOURCE: 27th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2012 PROCEEDINGS OF THE 27TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE), PAGES: 378-381
AUTHORS: Jose Campos ; Andre Riboira; Alexandre Perez ; Rui Abreu ;
PUBLISHED: 2012, SOURCE: 27th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2012 PROCEEDINGS OF THE 27TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE), PAGES: 378-381
1960
TITLE: Hardware pipelining of runtime-detected loops
AUTHORS: João Bispo ; João M P Cardoso ; José Monteiro ;
PUBLISHED: 2012, SOURCE: 2012 25th Symposium on Integrated Circuits and Systems Design, SBCCI 2012 in 25th Symposium on Integrated Circuits and Systems Design, SBCCI 2012, Brasilia, Brazil, August 30 - September 2, 2012, PAGES: 1-6
AUTHORS: João Bispo ; João M P Cardoso ; José Monteiro ;
PUBLISHED: 2012, SOURCE: 2012 25th Symposium on Integrated Circuits and Systems Design, SBCCI 2012 in 25th Symposium on Integrated Circuits and Systems Design, SBCCI 2012, Brasilia, Brazil, August 30 - September 2, 2012, PAGES: 1-6
