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
2541
TITLE: A Purely Functional Combinator Language for Software Quality Assessment
AUTHORS: Pedro Martins ; João Paulo Fernandes ; João Saraiva ;
PUBLISHED: 2012, SOURCE: SLATE, VOLUME: 21, PAGES: 51-69
AUTHORS: Pedro Martins ; João Paulo Fernandes ; João Saraiva ;
PUBLISHED: 2012, SOURCE: SLATE, VOLUME: 21, PAGES: 51-69
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP2542
TITLE: A Quality Model for Spreadsheets
AUTHORS: Cunha, J ; Fernandes, JP ; Peixoto, C; Saraiva, J ;
PUBLISHED: 2012, SOURCE: 8th International Conference on the Quality of Information and Communications Technology (QUATIC) in 2012 EIGHTH INTERNATIONAL CONFERENCE ON THE QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY (QUATIC 2012), PAGES: 231-236
AUTHORS: Cunha, J ; Fernandes, JP ; Peixoto, C; Saraiva, J ;
PUBLISHED: 2012, SOURCE: 8th International Conference on the Quality of Information and Communications Technology (QUATIC) in 2012 EIGHTH INTERNATIONAL CONFERENCE ON THE QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY (QUATIC 2012), PAGES: 231-236
2543
TITLE: A simulation system to support computer poker research
AUTHORS: Luís F Teófilo; Rosaldo Rossetti ; Luís P Reis ; Henrique L Cardoso ;
PUBLISHED: 2012
AUTHORS: Luís F Teófilo; Rosaldo Rossetti ; Luís P Reis ; Henrique L Cardoso ;
PUBLISHED: 2012
INDEXED IN: 
Handle
Handle2544
TITLE: A Software Framework for Building Biomedical Machine Learning Classifiers through Grid Computing Resources Full Text
AUTHORS: Ramos Pollán, R; Guevara López, MA ; Oliveira, E ;
PUBLISHED: 2012, SOURCE: JOURNAL OF MEDICAL SYSTEMS, VOLUME: 36, ISSUE: 4, PAGES: 2245-2257
AUTHORS: Ramos Pollán, R; Guevara López, MA ; Oliveira, E ;
PUBLISHED: 2012, SOURCE: JOURNAL OF MEDICAL SYSTEMS, VOLUME: 36, ISSUE: 4, PAGES: 2245-2257
2545
TITLE: A structured environment to facilitate agreements PDF
AUTHORS: Oliveira, E ;
PUBLISHED: 2012, SOURCE: 1st International Conference on Agreement Technologies, AT 2012 in CEUR Workshop Proceedings, VOLUME: 918, PAGES: 351-352
AUTHORS: Oliveira, E ;
PUBLISHED: 2012, SOURCE: 1st International Conference on Agreement Technologies, AT 2012 in CEUR Workshop Proceedings, VOLUME: 918, PAGES: 351-352
INDEXED IN: Scopus DBLP
Scopus DBLP2546
TITLE: A Survey on Ambient Intelligence Projects
AUTHORS: Daniel Sampaio; Luis Paulo Reis ; Rui Rodrigues ;
PUBLISHED: 2012, SOURCE: 7th Iberian Conference on Information Systems and Technologies (CISTI) in INFORMATION SYSTEMS AND TECHNOLOGIES
AUTHORS: Daniel Sampaio; Luis Paulo Reis ; Rui Rodrigues ;
PUBLISHED: 2012, SOURCE: 7th Iberian Conference on Information Systems and Technologies (CISTI) in INFORMATION SYSTEMS AND TECHNOLOGIES
INDEXED IN: Scopus 
WOS
Scopus WOS2547
TITLE: A Topology-based Model for Estimating the Diagnostic Efficiency of Statistics-based Approaches
AUTHORS: Perez, A ; Riboira, A; Abreu, R ;
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: 171-176
AUTHORS: Perez, A ; Riboira, A; Abreu, R ;
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: 171-176
2548
TITLE: A Ubiquitous Ambient Assisted Living Solution to Promote Safer Independent Living in Older Adults Suffering from Co-morbidity
AUTHORS: Sandra Prescher; Alan K Bourke; Friedrich Koehler; Angelo Martins ; Hugo Sereno Ferreira ; Tiago Boldt Sousa ; Rui Nuno Castro; Antonio Santos; Marc Torrent; Sergi Gomis; Margarita Hospedales; John Nelson;
PUBLISHED: 2012, SOURCE: 34th Annual International Conference of the IEEE Engineering-in-Medicine-and-Biology-Society (EMBS) in 2012 ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC), PAGES: 5118-5121
AUTHORS: Sandra Prescher; Alan K Bourke; Friedrich Koehler; Angelo Martins ; Hugo Sereno Ferreira ; Tiago Boldt Sousa ; Rui Nuno Castro; Antonio Santos; Marc Torrent; Sergi Gomis; Margarita Hospedales; John Nelson;
PUBLISHED: 2012, SOURCE: 34th Annual International Conference of the IEEE Engineering-in-Medicine-and-Biology-Society (EMBS) in 2012 ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC), PAGES: 5118-5121
2549
TITLE: A Web Portal for the Certification of Open Source Software
AUTHORS: Pedro Martins ; João Paulo Fernandes ; João Saraiva ;
PUBLISHED: 2012, SOURCE: 10th International Conference on Software Engineering and Formal Methods, SEFM 2012, 1st International Symposium on InSuEdu 2012, 1st International Symposium on MoKMaSD 2012, 6th International Workshop on Foundations and Techniques for OpenCert 2012 in SEFM Satellite Events, VOLUME: 7991 LNCS, PAGES: 244-260
AUTHORS: Pedro Martins ; João Paulo Fernandes ; João Saraiva ;
PUBLISHED: 2012, SOURCE: 10th International Conference on Software Engineering and Formal Methods, SEFM 2012, 1st International Symposium on InSuEdu 2012, 1st International Symposium on MoKMaSD 2012, 6th International Workshop on Foundations and Techniques for OpenCert 2012 in SEFM Satellite Events, VOLUME: 7991 LNCS, PAGES: 244-260
2550
TITLE: Adapting Strategies to Opponent Models in Incomplete Information Games: A Reinforcement Learning Approach for Poker
AUTHORS: Luís Filipe Teófilo ; Nuno Passos; Luís Paulo Reis ; Henrique Lopes Cardoso ;
PUBLISHED: 2012, SOURCE: AIS, VOLUME: 7326 LNAI, PAGES: 220-227
AUTHORS: Luís Filipe Teófilo ; Nuno Passos; Luís Paulo Reis ; Henrique Lopes Cardoso ;
PUBLISHED: 2012, SOURCE: AIS, VOLUME: 7326 LNAI, PAGES: 220-227
2551
TITLE: Adaptive quadruped locomotion: Learning to detect and avoid an obstacle
AUTHORS: Silva, P; Matos, V; Santos, CP ;
PUBLISHED: 2012, SOURCE: 12th International Conference on Simulation of Adaptive Behavior, SAB 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7426 LNAI, PAGES: 361-370
AUTHORS: Silva, P; Matos, V; Santos, CP ;
PUBLISHED: 2012, SOURCE: 12th International Conference on Simulation of Adaptive Behavior, SAB 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7426 LNAI, PAGES: 361-370
2552
TITLE: AI for the win. improving spectrum-based fault localization Full Text
AUTHORS: Birgit Hofer; Franz Wotawa; Rui Abreu ;
PUBLISHED: 2012, SOURCE: SIGSOFT Softw. Eng. Notes - ACM SIGSOFT Software Engineering Notes, VOLUME: 37, ISSUE: 6, PAGES: 1
AUTHORS: Birgit Hofer; Franz Wotawa; Rui Abreu ;
PUBLISHED: 2012, SOURCE: SIGSOFT Softw. Eng. Notes - ACM SIGSOFT Software Engineering Notes, VOLUME: 37, ISSUE: 6, PAGES: 1
2553
TITLE: AI for the win: improving spectrum-based fault localization
AUTHORS: Birgit Hofer; Franz Wotawa; Rui Abreu ;
PUBLISHED: 2012, SOURCE: ACM SIGSOFT Software Engineering Notes, VOLUME: 37, ISSUE: 6, PAGES: 1-8
AUTHORS: Birgit Hofer; Franz Wotawa; Rui Abreu ;
PUBLISHED: 2012, SOURCE: ACM SIGSOFT Software Engineering Notes, VOLUME: 37, ISSUE: 6, PAGES: 1-8
INDEXED IN: DBLP
DBLP2554
TITLE: An active audition framework for auditory-driven HRI: Application to interactive robot dancing
AUTHORS: João Lobato Oliveira ; Gökhan Ince; Keisuke Nakamura; Kazuhiro Nakadai; Hiroshi G Okuno; Luís Paulo Reis ; Fabien Gouyon ;
PUBLISHED: 2012, SOURCE: RO-MAN, PAGES: 1078-1085
AUTHORS: João Lobato Oliveira ; Gökhan Ince; Keisuke Nakamura; Kazuhiro Nakadai; Hiroshi G Okuno; Luís Paulo Reis ; Fabien Gouyon ;
PUBLISHED: 2012, SOURCE: RO-MAN, PAGES: 1078-1085
2555
TITLE: An Adaptive Assessment System with Knowledge Representation and Visual Feedback
AUTHORS: Silva, JF; Restivo, FJ ;
PUBLISHED: 2012, SOURCE: 15th International Conference on Interactive Collaborative Learning (ICL) in 2012 15TH INTERNATIONAL CONFERENCE ON INTERACTIVE COLLABORATIVE LEARNING (ICL)
AUTHORS: Silva, JF; Restivo, FJ ;
PUBLISHED: 2012, SOURCE: 15th International Conference on Interactive Collaborative Learning (ICL) in 2012 15TH INTERNATIONAL CONFERENCE ON INTERACTIVE COLLABORATIVE LEARNING (ICL)
2556
TITLE: An Approach to Advisory-Based Traffic Control
AUTHORS: Macedo, J; Soares, M; Timoteo, I; Rossetti, RJF ;
PUBLISHED: 2012, SOURCE: 7th Iberian Conference on Information Systems and Technologies (CISTI) in INFORMATION SYSTEMS AND TECHNOLOGIES
AUTHORS: Macedo, J; Soares, M; Timoteo, I; Rossetti, RJF ;
PUBLISHED: 2012, SOURCE: 7th Iberian Conference on Information Systems and Technologies (CISTI) in INFORMATION SYSTEMS AND TECHNOLOGIES
INDEXED IN: Scopus WOS
Scopus WOS2557
TITLE: An Empiric Evaluation of a Real-Time Robot Dancing Framework based on Multi-Modal Events Full Text
AUTHORS: João Lobato Oliveira; Luis Paulo Reis ; Brigida Monica Faria ; Fabien Gouyon;
PUBLISHED: 2012, SOURCE: TELKOMNIKA Indonesian Journal of Electrical Engineering, VOLUME: 10, ISSUE: 8
AUTHORS: João Lobato Oliveira; Luis Paulo Reis ; Brigida Monica Faria ; Fabien Gouyon;
PUBLISHED: 2012, SOURCE: TELKOMNIKA Indonesian Journal of Electrical Engineering, VOLUME: 10, ISSUE: 8
2558
TITLE: An Experimental Study of the Combination of Meta-Learning with Particle Swarm Algorithms for SVM Parameter Selection
AUTHORS: de Miranda, PBC; Prudêncio, RBC; de Carvalho, ACPLF; Soares, C ;
PUBLISHED: 2012, SOURCE: 12th International Conference on Computational Science and Its Applications (ICCSA) in COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2012, PT III, VOLUME: 7335, ISSUE: PART 3, PAGES: 562-575
AUTHORS: de Miranda, PBC; Prudêncio, RBC; de Carvalho, ACPLF; Soares, C ;
PUBLISHED: 2012, SOURCE: 12th International Conference on Computational Science and Its Applications (ICCSA) in COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2012, PT III, VOLUME: 7335, ISSUE: PART 3, PAGES: 562-575
2559
TITLE: An integrated architecture for autonomous vehicles simulation Full Text
AUTHORS: José L F Pereira; Rosaldo J F Rossetti ;
PUBLISHED: 2012, SOURCE: SAC, PAGES: 286-292
AUTHORS: José L F Pereira; Rosaldo J F Rossetti ;
PUBLISHED: 2012, SOURCE: SAC, PAGES: 286-292
2560
TITLE: Analysis of error detection schemes: Toolchain support and hardware/software implications Full Text
AUTHORS: Ali Azarian ; João Canas Ferreira ; Stephan Werner; Zlatko Petrov; João M P Cardoso ; Michael Hübner;
PUBLISHED: 2012, SOURCE: AHS, PAGES: 62-69
AUTHORS: Ali Azarian ; João Canas Ferreira ; Stephan Werner; Zlatko Petrov; João M P Cardoso ; Michael Hübner;
PUBLISHED: 2012, SOURCE: AHS, PAGES: 62-69
