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: 2719
85 Team MembersFilters -> Year: 2025
1641
TITLE: Large Scale Treasure Hunt Games assisted by an Augmented Reality System
AUTHORS: Gilberto Felgueiras; Joao Fonseca ; Pedro Miguel Moreira ;
PUBLISHED: 2013, SOURCE: 8th Iberian Conference on Information Systems and Technologies (CISTI) in PROCEEDINGS OF THE 2013 8TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI 2013)
AUTHORS: Gilberto Felgueiras; Joao Fonseca ; Pedro Miguel Moreira ;
PUBLISHED: 2013, SOURCE: 8th Iberian Conference on Information Systems and Technologies (CISTI) in PROCEEDINGS OF THE 2013 8TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI 2013)
INDEXED IN: 
Scopus 
WOS
Scopus WOS1642
TITLE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
AUTHORS: Correia, L ; Reis, LP ; Cascalho, J ;
PUBLISHED: 2013, SOURCE: 16th Portuguese Conference on Artificial Intelligence, EPIA 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8154 LNAI
AUTHORS: Correia, L ; Reis, LP ; Cascalho, J ;
PUBLISHED: 2013, SOURCE: 16th Portuguese Conference on Artificial Intelligence, EPIA 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8154 LNAI
INDEXED IN: Scopus
Scopus1643
TITLE: Leveraging a Constraint Solver for Minimizing Test Suites Full Text
AUTHORS: Jose Campos ; Rui Abreu ;
PUBLISHED: 2013, SOURCE: 13th International Conference on Quality Software (QSIC) in 2013 13TH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE (QSIC), PAGES: 253-259
AUTHORS: Jose Campos ; Rui Abreu ;
PUBLISHED: 2013, SOURCE: 13th International Conference on Quality Software (QSIC) in 2013 13TH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE (QSIC), PAGES: 253-259
1644
TITLE: LoCoBoard: Low-Cost Interactive Whiteboard Using Computer Vision Algorithms Full Text
AUTHORS: Christophe Soares ; Rui S Moreira ; José M Torres; Pedro Sobral ;
PUBLISHED: 2013, SOURCE: ISRN Machine Vision, VOLUME: 2013, PAGES: 1-13
AUTHORS: Christophe Soares ; Rui S Moreira ; José M Torres; Pedro Sobral ;
PUBLISHED: 2013, SOURCE: ISRN Machine Vision, VOLUME: 2013, PAGES: 1-13
1645
TITLE: Manual, Automatic and Shared Methods for Controlling an Intelligent Wheelchair Adaptation to Cerebral Palsy Users
AUTHORS: Faria, BM ; Reis, LP ; Lau, N ;
PUBLISHED: 2013, SOURCE: 13th International Conference on Autonomous Robot Systems in PROCEEDINGS OF THE 2013 13TH INTERNATIONAL CONFERENCE ON AUTONOMOUS ROBOT SYSTEMS (ROBOTICA)
AUTHORS: Faria, BM ; Reis, LP ; Lau, N ;
PUBLISHED: 2013, SOURCE: 13th International Conference on Autonomous Robot Systems in PROCEEDINGS OF THE 2013 13TH INTERNATIONAL CONFERENCE ON AUTONOMOUS ROBOT SYSTEMS (ROBOTICA)
1646
TITLE: Mapping 3D Character Location for Tracking Players' Behaviour
AUTHORS: Joao Emilio Almeida; Rosaldo J F Rossetti ; Antonio Leca Coelho;
PUBLISHED: 2013, SOURCE: 8th Iberian Conference on Information Systems and Technologies (CISTI) in PROCEEDINGS OF THE 2013 8TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI 2013)
AUTHORS: Joao Emilio Almeida; Rosaldo J F Rossetti ; Antonio Leca Coelho;
PUBLISHED: 2013, SOURCE: 8th Iberian Conference on Information Systems and Technologies (CISTI) in PROCEEDINGS OF THE 2013 8TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI 2013)
INDEXED IN: Scopus WOS
Scopus WOS1647
TITLE: MHS2 : A Map-Reduce Heuristic-Driven Minimal Hitting Set Search Algorithm
AUTHORS: Nuno Cardoso ; Rui Abreu ;
PUBLISHED: 2013, SOURCE: International Conference on Multicore Software Engineering, Performance, and Tools (MUSEPAT) in MULTICORE SOFTWARE ENGINEERING, PERFORMANCE, AND TOOLS, VOLUME: 8063, PAGES: 25-36
AUTHORS: Nuno Cardoso ; Rui Abreu ;
PUBLISHED: 2013, SOURCE: International Conference on Multicore Software Engineering, Performance, and Tools (MUSEPAT) in MULTICORE SOFTWARE ENGINEERING, PERFORMANCE, AND TOOLS, VOLUME: 8063, PAGES: 25-36
1648
TITLE: Multi-Agent System for Teaching Service Distribution with Coalition Formation
AUTHORS: Jose Joaquim Moreira ; Luis Paulo Reis ;
PUBLISHED: 2013, SOURCE: World Conference on Information Systems and Technologies (WorldCIST) in ADVANCES IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOLUME: 206, PAGES: 599-609
AUTHORS: Jose Joaquim Moreira ; Luis Paulo Reis ;
PUBLISHED: 2013, SOURCE: World Conference on Information Systems and Technologies (WorldCIST) in ADVANCES IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOLUME: 206, PAGES: 599-609
1649
TITLE: Multi-interval Discretization of Continuous Attributes for Label Ranking Full Text
AUTHORS: de Sa, CR ; Soares, C ; Knobbe, A; Azevedo, P ; Jorge, AM ;
PUBLISHED: 2013, SOURCE: 16th International Conference on Discovery Science (DS) in DISCOVERY SCIENCE, VOLUME: 8140, PAGES: 155-169
AUTHORS: de Sa, CR ; Soares, C ; Knobbe, A; Azevedo, P ; Jorge, AM ;
PUBLISHED: 2013, SOURCE: 16th International Conference on Discovery Science (DS) in DISCOVERY SCIENCE, VOLUME: 8140, PAGES: 155-169
1650
TITLE: Multi-Resolution Simulation of Taxi Services on Airport Terminal's Curbside
AUTHORS: Lucio S Passos; Zafeiris Kokkinogenis ; Rosaldo J F Rossetti ; Joaquim Mendes ;
PUBLISHED: 2013, SOURCE: 16th International IEEE Conference on Intelligent Transportation Systems (ITSC) in 2013 16TH INTERNATIONAL IEEE CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS - (ITSC), PAGES: 2361-2366
AUTHORS: Lucio S Passos; Zafeiris Kokkinogenis ; Rosaldo J F Rossetti ; Joaquim Mendes ;
PUBLISHED: 2013, SOURCE: 16th International IEEE Conference on Intelligent Transportation Systems (ITSC) in 2013 16TH INTERNATIONAL IEEE CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS - (ITSC), PAGES: 2361-2366
1651
TITLE: Multiple intermediate structure deforestation by shortcut fusion
AUTHORS: Pardo, A; Fernandes, JP ; Saraiva, J ;
PUBLISHED: 2013, SOURCE: 17th Brazilian Symposium on Programming Languages, SBLP 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8129 LNCS, PAGES: 120-134
AUTHORS: Pardo, A; Fernandes, JP ; Saraiva, J ;
PUBLISHED: 2013, SOURCE: 17th Brazilian Symposium on Programming Languages, SBLP 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8129 LNCS, PAGES: 120-134
1652
TITLE: MZoltar: Automatic debugging of android applications
AUTHORS: Machado, P; Campos, J ; Abreu, R ;
PUBLISHED: 2013, SOURCE: 2013 1st International Workshop on Software Development Lifecycle for Mobile, DeMobile 2013 in 2013 1st International Workshop on Software Development Lifecycle for Mobile, DeMobile 2013 - Proceedings, PAGES: 9-16
AUTHORS: Machado, P; Campos, J ; Abreu, R ;
PUBLISHED: 2013, SOURCE: 2013 1st International Workshop on Software Development Lifecycle for Mobile, DeMobile 2013 in 2013 1st International Workshop on Software Development Lifecycle for Mobile, DeMobile 2013 - Proceedings, PAGES: 9-16
1653
TITLE: Norms and Trust
AUTHORS: Falcone, R; Castelfranchi, C; Cardoso, HL ; Jones, A; Oliveira, E;
PUBLISHED: 2013, SOURCE: Law, Governance and Technology Series, VOLUME: 8, PAGES: 221-231
AUTHORS: Falcone, R; Castelfranchi, C; Cardoso, HL ; Jones, A; Oliveira, E;
PUBLISHED: 2013, SOURCE: Law, Governance and Technology Series, VOLUME: 8, PAGES: 221-231
1654
TITLE: Omnidirectional Walking and Active Balance for Soccer Humanoid Robot
AUTHORS: Nima Shafii; Abbas Abdolmaleki; Rui Ferreira; Nuno Lau ; Luis Paulo Reis ;
PUBLISHED: 2013, SOURCE: 16th Portuguese Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2013, VOLUME: 8154, PAGES: 283-294
AUTHORS: Nima Shafii; Abbas Abdolmaleki; Rui Ferreira; Nuno Lau ; Luis Paulo Reis ;
PUBLISHED: 2013, SOURCE: 16th Portuguese Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2013, VOLUME: 8154, PAGES: 283-294
1655
TITLE: On Logical Depth and the Running Time of Shortest Programs PDF
AUTHORS: Luis Filipe Coelho Antunes ; Andre Souto ; Paul M. B. Vitányi;
PUBLISHED: 2013, SOURCE: CoRR, VOLUME: abs/1310.6976
AUTHORS: Luis Filipe Coelho Antunes ; Andre Souto ; Paul M. B. Vitányi;
PUBLISHED: 2013, SOURCE: CoRR, VOLUME: abs/1310.6976
INDEXED IN: 
DBLP 
arXiv
DBLP arXiv1656
TITLE: On the Empirical Evaluation of Fault Localization Techniques for Spreadsheets
AUTHORS: Birgit Hofer; Andre Riboira; Franz Wotawa; Rui Abreu ; Elisabeth Getzner;
PUBLISHED: 2013, SOURCE: 16th International Conference on Fundamental Approaches to Software Engineering (FASE) in FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, FASE 2013, VOLUME: 7793, PAGES: 68-82
AUTHORS: Birgit Hofer; Andre Riboira; Franz Wotawa; Rui Abreu ; Elisabeth Getzner;
PUBLISHED: 2013, SOURCE: 16th International Conference on Fundamental Approaches to Software Engineering (FASE) in FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, FASE 2013, VOLUME: 7793, PAGES: 68-82
1657
TITLE: On the logical depth function PDF
AUTHORS: Luis Filipe Coelho Antunes ; Andre Souto ; Teixeira, A.; Paul M. B. Vitányi;
PUBLISHED: 2013, SOURCE: CoRR, VOLUME: abs/1301.4451
AUTHORS: Luis Filipe Coelho Antunes ; Andre Souto ; Teixeira, A.; Paul M. B. Vitányi;
PUBLISHED: 2013, SOURCE: CoRR, VOLUME: abs/1301.4451
INDEXED IN: DBLP arXiv
DBLP arXiv1658
TITLE: One-Way Functions Using Algorithmic and Classical Information Theories Full Text
AUTHORS: Luis Antunes ; Armando Matos ; Alexandre Pinto ; Andre Souto ; Andreia Teixeira ;
PUBLISHED: 2013, SOURCE: THEORY OF COMPUTING SYSTEMS, VOLUME: 52, ISSUE: 1, PAGES: 162-178
AUTHORS: Luis Antunes ; Armando Matos ; Alexandre Pinto ; Andre Souto ; Andreia Teixeira ;
PUBLISHED: 2013, SOURCE: THEORY OF COMPUTING SYSTEMS, VOLUME: 52, ISSUE: 1, PAGES: 162-178
1659
TITLE: Optimizing Energy-Efficiency in High-Available Scientific Cloud Environments
AUTHORS: Altino M Sampaio ; Jorge G Barbosa ;
PUBLISHED: 2013, SOURCE: 3rd IEEE International Conference on Cloud and Green Computing (CGC) in 2013 IEEE THIRD INTERNATIONAL CONFERENCE ON CLOUD AND GREEN COMPUTING (CGC 2013), PAGES: 76-83
AUTHORS: Altino M Sampaio ; Jorge G Barbosa ;
PUBLISHED: 2013, SOURCE: 3rd IEEE International Conference on Cloud and Green Computing (CGC) in 2013 IEEE THIRD INTERNATIONAL CONFERENCE ON CLOUD AND GREEN COMPUTING (CGC 2013), PAGES: 76-83
