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
2181
TITLE: Automatic Systems Diagnosis Without Behavioral Models
AUTHORS: Shekhar Gupta; Rui Abreu ; Johan de Kleer; Arjan J C van Gemund;
PUBLISHED: 2014, SOURCE: IEEE Aerospace Conference in 2014 IEEE AEROSPACE CONFERENCE
AUTHORS: Shekhar Gupta; Rui Abreu ; Johan de Kleer; Arjan J C van Gemund;
PUBLISHED: 2014, SOURCE: IEEE Aerospace Conference in 2014 IEEE AEROSPACE CONFERENCE
2182
TITLE: Avaliação de métodos de desofuscação de palavrões
AUTHORS: Gustavo Laboreiro; Eugénio C Oliveira ;
PUBLISHED: 2014, SOURCE: Linguamática, VOLUME: 6, ISSUE: 2, PAGES: 25-43
AUTHORS: Gustavo Laboreiro; Eugénio C Oliveira ;
PUBLISHED: 2014, SOURCE: Linguamática, VOLUME: 6, ISSUE: 2, PAGES: 25-43
INDEXED IN: 
DBLP
DBLP2183
TITLE: Biped Locomotion - Improvement and Adaptation
AUTHORS: Teixeira, C; Costa, L ; Santos, C ;
PUBLISHED: 2014, SOURCE: IEEE International Conference on Autonomous Robot Systems and Competitions (ICARSC) in 2014 IEEE INTERNATIONAL CONFERENCE ON AUTONOMOUS ROBOT SYSTEMS AND COMPETITIONS (ICARSC), PAGES: 110-115
AUTHORS: Teixeira, C; Costa, L ; Santos, C ;
PUBLISHED: 2014, SOURCE: IEEE International Conference on Autonomous Robot Systems and Competitions (ICARSC) in 2014 IEEE INTERNATIONAL CONFERENCE ON AUTONOMOUS ROBOT SYSTEMS AND COMPETITIONS (ICARSC), PAGES: 110-115
2184
TITLE: Budget Constrained Scheduling Strategies for On-line Workflow Applications
AUTHORS: Arabnejad, H; Barbosa, JG ;
PUBLISHED: 2014, SOURCE: 14th International Conference on Computational Science and Its Applications (ICCSA) in COMPUTATIONAL SCIENCE AND ITS APPLICATIONS, PART VI - ICCSA 2014, VOLUME: 8584, ISSUE: PART 6, PAGES: 532-545
AUTHORS: Arabnejad, H; Barbosa, JG ;
PUBLISHED: 2014, SOURCE: 14th International Conference on Computational Science and Its Applications (ICCSA) in COMPUTATIONAL SCIENCE AND ITS APPLICATIONS, PART VI - ICCSA 2014, VOLUME: 8584, ISSUE: PART 6, PAGES: 532-545
2185
TITLE: Building a game scenario to encourage children with autism to recognize and label emotions using a humanoid robot
AUTHORS: Costa, S; Soares, F ; Pereira, AP ; Santos, C ; Hiolle, A;
PUBLISHED: 2014, SOURCE: 23rd IEEE International Symposium on Robot and Human Interactive Communication, IEEE RO-MAN 2014 in IEEE RO-MAN 2014 - 23rd IEEE International Symposium on Robot and Human Interactive Communication: Human-Robot Co-Existence: Adaptive Interfaces and Systems for Daily Life, Therapy, Assistance and Socially Engaging Interactions, PAGES: 820-825
AUTHORS: Costa, S; Soares, F ; Pereira, AP ; Santos, C ; Hiolle, A;
PUBLISHED: 2014, SOURCE: 23rd IEEE International Symposium on Robot and Human Interactive Communication, IEEE RO-MAN 2014 in IEEE RO-MAN 2014 - 23rd IEEE International Symposium on Robot and Human Interactive Communication: Human-Robot Co-Existence: Adaptive Interfaces and Systems for Daily Life, Therapy, Assistance and Socially Engaging Interactions, PAGES: 820-825
INDEXED IN: 
Scopus
Scopus2186
TITLE: Building a game scenario to encourage children with autism to recognize and label emotions using a humanoid robot
AUTHORS: Sandra Costa; Filomena O Soares ; Ana Paula Pereira Vieira ; Cristina P Santos ; Antoine Hiolle;
PUBLISHED: 2014, SOURCE: 23rd IEEE International Symposium on Robot and Human Interactive Communication, IEEE RO-MAN 2014 in RO-MAN, VOLUME: 2014-October, ISSUE: October, PAGES: 820-825
AUTHORS: Sandra Costa; Filomena O Soares ; Ana Paula Pereira Vieira ; Cristina P Santos ; Antoine Hiolle;
PUBLISHED: 2014, SOURCE: 23rd IEEE International Symposium on Robot and Human Interactive Communication, IEEE RO-MAN 2014 in RO-MAN, VOLUME: 2014-October, ISSUE: October, PAGES: 820-825
2187
TITLE: Capability-Enhanced AIMSUN with Real-Time Signal Timing Control
AUTHORS: Cristina Vilarinho; Giuilherme Soares; Jose Macedo; Jose Pedro Tavares ; Rosaldo J F Rossetti ;
PUBLISHED: 2014, SOURCE: 16th Meeting of the Euro-Working-Group-in-Transportation in TRANSPORTATION: CAN WE DO MORE WITH LESS RESOURCES? - 16TH MEETING OF THE EURO WORKING GROUP ON TRANSPORTATION - PORTO 2013, VOLUME: 111, PAGES: 262-271
AUTHORS: Cristina Vilarinho; Giuilherme Soares; Jose Macedo; Jose Pedro Tavares ; Rosaldo J F Rossetti ;
PUBLISHED: 2014, SOURCE: 16th Meeting of the Euro-Working-Group-in-Transportation in TRANSPORTATION: CAN WE DO MORE WITH LESS RESOURCES? - 16TH MEETING OF THE EURO WORKING GROUP ON TRANSPORTATION - PORTO 2013, VOLUME: 111, PAGES: 262-271
2188
TITLE: CloudThinking as an Intelligent Infrastructure for Mobile Robotics Full Text
AUTHORS: Aguiar, RL ; Gomes, D ; João Paulo Barraca ; Lau, N ;
PUBLISHED: 2014, SOURCE: WIRELESS PERSONAL COMMUNICATIONS, VOLUME: 76, ISSUE: 2, PAGES: 231-244
AUTHORS: Aguiar, RL ; Gomes, D ; João Paulo Barraca ; Lau, N ;
PUBLISHED: 2014, SOURCE: WIRELESS PERSONAL COMMUNICATIONS, VOLUME: 76, ISSUE: 2, PAGES: 231-244
2189
TITLE: Coarse/Fine-grained Approaches for Pipelining Computing Stages in FPGA-Based Multicore Architectures
AUTHORS: Azarian, A ; Cardoso, JMP ;
PUBLISHED: 2014, SOURCE: 20th Euro-Par International Workshops in EURO-PAR 2014: PARALLEL PROCESSING WORKSHOPS, PT II, VOLUME: 8806, PAGES: 266-278
AUTHORS: Azarian, A ; Cardoso, JMP ;
PUBLISHED: 2014, SOURCE: 20th Euro-Par International Workshops in EURO-PAR 2014: PARALLEL PROCESSING WORKSHOPS, PT II, VOLUME: 8806, PAGES: 266-278
2190
TITLE: Collaborative Web Platform for UNIX-Based Big Data Processing
AUTHORS: Omar Castro; Hugo Sereno Ferreira ; Tiago Boldt Sousa ;
PUBLISHED: 2014, SOURCE: 11th International Conference on Cooperative Design, Visualization, and Engineering (CDVE) in COOPERATIVE DESIGN, VISUALIZATION, AND ENGINEERING, CDVE 2014, VOLUME: 8683, PAGES: 199-202
AUTHORS: Omar Castro; Hugo Sereno Ferreira ; Tiago Boldt Sousa ;
PUBLISHED: 2014, SOURCE: 11th International Conference on Cooperative Design, Visualization, and Engineering (CDVE) in COOPERATIVE DESIGN, VISUALIZATION, AND ENGINEERING, CDVE 2014, VOLUME: 8683, PAGES: 199-202
2191
TITLE: Comparing centralized and decentralized multi-agent approaches to air traffic control
AUTHORS: Camara, A; Silva, DC; Oliveira, E ; Abreu, PH;
PUBLISHED: 2014, SOURCE: 28th European Simulation and Modelling Conference, ESM 2014 in Modelling and Simulation 2014 - European Simulation and Modelling Conference, ESM 2014, PAGES: 189-193
AUTHORS: Camara, A; Silva, DC; Oliveira, E ; Abreu, PH;
PUBLISHED: 2014, SOURCE: 28th European Simulation and Modelling Conference, ESM 2014 in Modelling and Simulation 2014 - European Simulation and Modelling Conference, ESM 2014, PAGES: 189-193
INDEXED IN: Scopus
Scopus2192
TITLE: Complexity checking of ARM programs, by deduction Full Text
AUTHORS: Mário Pereira; Simão Melo de Sousa ;
PUBLISHED: 2014, SOURCE: SAC, PAGES: 1309-1314
AUTHORS: Mário Pereira; Simão Melo de Sousa ;
PUBLISHED: 2014, SOURCE: SAC, PAGES: 1309-1314
2193
TITLE: Computational Models of Players' Physiological-based Emotional Reactions: A Digital Games Case Study
AUTHORS: Nogueira, PA ; Aguiar, R; Rodrigues, R ; Oliveira, E ;
PUBLISHED: 2014, SOURCE: IEEE/WIC/ACM International Joint Conferences on Web Intelligence (WI) and Intelligent Agent Technologies (WI-IAT) in 2014 IEEE/WIC/ACM INTERNATIONAL JOINT CONFERENCES ON WEB INTELLIGENCE (WI) AND INTELLIGENT AGENT TECHNOLOGIES (IAT), VOL 3, VOLUME: 3, PAGES: 278-285
AUTHORS: Nogueira, PA ; Aguiar, R; Rodrigues, R ; Oliveira, E ;
PUBLISHED: 2014, SOURCE: IEEE/WIC/ACM International Joint Conferences on Web Intelligence (WI) and Intelligent Agent Technologies (WI-IAT) in 2014 IEEE/WIC/ACM INTERNATIONAL JOINT CONFERENCES ON WEB INTELLIGENCE (WI) AND INTELLIGENT AGENT TECHNOLOGIES (IAT), VOL 3, VOLUME: 3, PAGES: 278-285
2194
TITLE: Consolidação e fortalecimento dos estudos qualitativos nas diversas vertentes da área de saúde. Full Text
AUTHORS: Dayse Neri de Souza; António Pedro Costa ; Francislê Neri de Souza; Luís Paulo Reis ;
PUBLISHED: 2014, SOURCE: Revista da Escola de Enfermagem da USP, VOLUME: 48, ISSUE: spe2, PAGES: 1-2
AUTHORS: Dayse Neri de Souza; António Pedro Costa ; Francislê Neri de Souza; Luís Paulo Reis ;
PUBLISHED: 2014, SOURCE: Revista da Escola de Enfermagem da USP, VOLUME: 48, ISSUE: spe2, PAGES: 1-2
INDEXED IN: 
CrossRef
CrossRef2195
TITLE: Consolidation of qualitative studies in health research. Consolidação e fortalecimento dos estudos qualitativos nas diversas vertentes da área de saúde Full Text
AUTHORS: de Souza, DN; Costa, AP; de Souza, FN; Reis, LP ;
PUBLISHED: 2014, SOURCE: REVISTA DA ESCOLA DE ENFERMAGEM DA USP, VOLUME: 48
AUTHORS: de Souza, DN; Costa, AP; de Souza, FN; Reis, LP ;
PUBLISHED: 2014, SOURCE: REVISTA DA ESCOLA DE ENFERMAGEM DA USP, VOLUME: 48
INDEXED IN: 
WOS 
Handle
WOS Handle2196
TITLE: Constraint Logic Programming for Hedges: A Semantic Reconstruction
AUTHORS: Dundua, B ; Florido, M ; Kutsia, T; Marin, M;
PUBLISHED: 2014, SOURCE: 12th International Symposium on Functional and Logic Programming (FLOPS) in FUNCTIONAL AND LOGIC PROGRAMMING, FLOPS 2014, VOLUME: 8475, PAGES: 285-301
AUTHORS: Dundua, B ; Florido, M ; Kutsia, T; Marin, M;
PUBLISHED: 2014, SOURCE: 12th International Symposium on Functional and Logic Programming (FLOPS) in FUNCTIONAL AND LOGIC PROGRAMMING, FLOPS 2014, VOLUME: 8475, PAGES: 285-301
2197
TITLE: Continuous test generation: enhancing continuous integration with automated test generation. enhancing continuous integration with automated test generation
AUTHORS: José Carlos Medeiros de Campos ; Andrea Arcuri; Gordon Fraser; Rui Filipe Lima Maranhão de Abreu ;
PUBLISHED: 2014, SOURCE: 29th ACM/IEEE International Conference on Automated Software Engineering, ASE 2014 in ACM/IEEE International Conference on Automated Software Engineering, ASE '14, Vasteras, Sweden - September 15 - 19, 2014, PAGES: 55-66
AUTHORS: José Carlos Medeiros de Campos ; Andrea Arcuri; Gordon Fraser; Rui Filipe Lima Maranhão de Abreu ;
PUBLISHED: 2014, SOURCE: 29th ACM/IEEE International Conference on Automated Software Engineering, ASE 2014 in ACM/IEEE International Conference on Automated Software Engineering, ASE '14, Vasteras, Sweden - September 15 - 19, 2014, PAGES: 55-66
2198
TITLE: Coordination infrastructures for future smart social mobility services Full Text
AUTHORS: Sassi, A; Zambonelli, F; Rossetti, RJF ;
PUBLISHED: 2014, SOURCE: IEEE Intelligent Systems, VOLUME: 29, ISSUE: 5, PAGES: 78-82
AUTHORS: Sassi, A; Zambonelli, F; Rossetti, RJF ;
PUBLISHED: 2014, SOURCE: IEEE Intelligent Systems, VOLUME: 29, ISSUE: 5, PAGES: 78-82
2199
TITLE: Cross-Artefacts for the Purpose of Education
AUTHORS: Mota, D ; Reis, LP ; de Carvalho, CV ;
PUBLISHED: 2014, SOURCE: World Conference on Information Systems and Technologies (WorldCIST) in NEW PERSPECTIVES IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 2, VOLUME: 276, PAGES: 487-496
AUTHORS: Mota, D ; Reis, LP ; de Carvalho, CV ;
PUBLISHED: 2014, SOURCE: World Conference on Information Systems and Technologies (WorldCIST) in NEW PERSPECTIVES IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 2, VOLUME: 276, PAGES: 487-496
2200
TITLE: Design of Learning Activities - Pedagogy, Technology and Delivery Trends
AUTHORS: Dulce Mota ; Luís Paulo Reis ; Carlos Vaz de Carvalho;
PUBLISHED: 2014, SOURCE: EAI Endorsed Trans. e Learn., VOLUME: 1, ISSUE: 4
AUTHORS: Dulce Mota ; Luís Paulo Reis ; Carlos Vaz de Carvalho;
PUBLISHED: 2014, SOURCE: EAI Endorsed Trans. e Learn., VOLUME: 1, ISSUE: 4
