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: 3644
86 Team MembersFilters -> Year: 2026
2141
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
Scopus2142
TITLE: Complexity checking of ARM programs, by deduction
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
2143
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
2144
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
CrossRef2145
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 Handle2146
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
2147
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
2148
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
2149
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
2150
TITLE: Crowd Simulation Applied to Emergency and Evacuation Scenarios
AUTHORS: Almeida, JE; Rossetti, RJF ; Aguiar, F; Oliveira, E ;
PUBLISHED: 2014, SOURCE: Advances in Artificial Transportation Systems and Simulation, PAGES: 149-161
AUTHORS: Almeida, JE; Rossetti, RJF ; Aguiar, F; Oliveira, E ;
PUBLISHED: 2014, SOURCE: Advances in Artificial Transportation Systems and Simulation, PAGES: 149-161
INDEXED IN: Scopus CrossRef
Scopus CrossRef2151
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
2152
TITLE: Designing Players' Emotional Reaction Models: A Generic Method Towards Adaptive Affective Gaming
AUTHORS: Pedro A Nogueira ; Ruben Aguiar; Rui Rodrigues ; Eugenio Oliveira ;
PUBLISHED: 2014, SOURCE: 9th Iberian Conference on Information Systems and Technologies (CISTI) in PROCEEDINGS OF THE 2014 9TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI 2014)
AUTHORS: Pedro A Nogueira ; Ruben Aguiar; Rui Rodrigues ; Eugenio Oliveira ;
PUBLISHED: 2014, SOURCE: 9th Iberian Conference on Information Systems and Technologies (CISTI) in PROCEEDINGS OF THE 2014 9TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI 2014)
2153
TITLE: Detecting Anomalous Energy Consumption in Android Applications
AUTHORS: Couto, M ; Carçao, T; Cunha, J ; Fernandes, JP ; Saraiva, J ;
PUBLISHED: 2014, SOURCE: 18th Brazilian Symposium on Programing Languages (SBLP) in PROGRAMMING LANGUAGES, SBLP 2014, VOLUME: 8771, PAGES: 77-91
AUTHORS: Couto, M ; Carçao, T; Cunha, J ; Fernandes, JP ; Saraiva, J ;
PUBLISHED: 2014, SOURCE: 18th Brazilian Symposium on Programing Languages (SBLP) in PROGRAMMING LANGUAGES, SBLP 2014, VOLUME: 8771, PAGES: 77-91
2154
TITLE: Detection of gait events and assessment of fall risk using accelerometers in assisted gait
AUTHORS: Tereso, A; Martins, M; Santos, CP ; Vieira Da Silva, M; Goncalves, L; Rocha, L;
PUBLISHED: 2014, SOURCE: 11th International Conference on Informatics in Control, Automation and Robotics, ICINCO 2014 in ICINCO 2014 - Proceedings of the 11th International Conference on Informatics in Control, Automation and Robotics, VOLUME: 1, PAGES: 788-793
AUTHORS: Tereso, A; Martins, M; Santos, CP ; Vieira Da Silva, M; Goncalves, L; Rocha, L;
PUBLISHED: 2014, SOURCE: 11th International Conference on Informatics in Control, Automation and Robotics, ICINCO 2014 in ICINCO 2014 - Proceedings of the 11th International Conference on Informatics in Control, Automation and Robotics, VOLUME: 1, PAGES: 788-793
INDEXED IN: Scopus
Scopus2155
TITLE: Development of a flexible language for mission description for multi-robot missions
AUTHORS: Silva, DC ; Abreu, PH ; Reis, LP ; Oliveira, E ;
PUBLISHED: 2014, SOURCE: INFORMATION SCIENCES, VOLUME: 288, ISSUE: 1, PAGES: 27-44
AUTHORS: Silva, DC ; Abreu, PH ; Reis, LP ; Oliveira, E ;
PUBLISHED: 2014, SOURCE: INFORMATION SCIENCES, VOLUME: 288, ISSUE: 1, PAGES: 27-44
2156
TITLE: Diagnosing Unobserved Components in Self-Adaptive Systems
AUTHORS: Paulo Casanova; David Garlan; Bradley Schmerl; Rui Abreu ;
PUBLISHED: 2014, SOURCE: 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) in 9TH INTERNATIONAL SYMPOSIUM ON SOFTWARE ENGINEERING FOR ADAPTIVE AND SELF-MANAGING SYSTEMS (SEAMS 2014), PAGES: 75-84
AUTHORS: Paulo Casanova; David Garlan; Bradley Schmerl; Rui Abreu ;
PUBLISHED: 2014, SOURCE: 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS) in 9TH INTERNATIONAL SYMPOSIUM ON SOFTWARE ENGINEERING FOR ADAPTIVE AND SELF-MANAGING SYSTEMS (SEAMS 2014), PAGES: 75-84
2157
TITLE: Direct Communication versus Virtual Communication in Virtual Teams
AUTHORS: Goncalves, P; Luís Ferreira ; Goncalves, J ; Putnik, GD; Cruz Cunha, MM;
PUBLISHED: 2014, SOURCE: Conference on ENTERprise Information Systems (CENTERIS) / International Conference on Project MANagement (ProjMAN) / International Conference on Health and Social Care Information Systems and Technologies (HCIST) in CENTERIS 2014 - CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS / PROJMAN 2014 - INTERNATIONAL CONFERENCE ON PROJECT MANAGEMENT / HCIST 2014 - INTERNATIONAL CONFERENCE ON HEALTH AND SOCIAL CARE INFORMATION SYSTEMS AND TECHNOLOGIES, VOLUME: 16, PAGES: 3-10
AUTHORS: Goncalves, P; Luís Ferreira ; Goncalves, J ; Putnik, GD; Cruz Cunha, MM;
PUBLISHED: 2014, SOURCE: Conference on ENTERprise Information Systems (CENTERIS) / International Conference on Project MANagement (ProjMAN) / International Conference on Health and Social Care Information Systems and Technologies (HCIST) in CENTERIS 2014 - CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS / PROJMAN 2014 - INTERNATIONAL CONFERENCE ON PROJECT MANAGEMENT / HCIST 2014 - INTERNATIONAL CONFERENCE ON HEALTH AND SOCIAL CARE INFORMATION SYSTEMS AND TECHNOLOGIES, VOLUME: 16, PAGES: 3-10
INDEXED IN: WOS CrossRef
WOS CrossRef2158
TITLE: Directors' perspective on course and institution selection of Portuguese engineering students [Perspetiva dos diretores de curso sobre a escolha do curso e instituição dos estudantes da área de engenharia em Portugal] Full Text
AUTHORS: Reis, LP ; Barros, D; Vasconcelos, R; Costa, AP ; Faria, BM ;
PUBLISHED: 2014, SOURCE: RISTI - Revista Iberica de Sistemas e Tecnologias de Informacao, ISSUE: E2, PAGES: 99-114
AUTHORS: Reis, LP ; Barros, D; Vasconcelos, R; Costa, AP ; Faria, BM ;
PUBLISHED: 2014, SOURCE: RISTI - Revista Iberica de Sistemas e Tecnologias de Informacao, ISSUE: E2, PAGES: 99-114
INDEXED IN: Scopus CrossRef
Scopus CrossRef2159
TITLE: Distributed Enviroment Framework for Optimization Experiments
AUTHORS: Abreu, P ; Soares, C ; Camacho, R ;
PUBLISHED: 2014, SOURCE: 14th International Conference on Computational Science and Its Applications (ICCSA) in 2014 14TH INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE AND ITS APPLICATIONS (ICCSA), PAGES: 256-259
AUTHORS: Abreu, P ; Soares, C ; Camacho, R ;
PUBLISHED: 2014, SOURCE: 14th International Conference on Computational Science and Its Applications (ICCSA) in 2014 14TH INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE AND ITS APPLICATIONS (ICCSA), PAGES: 256-259
2160
TITLE: Distributed Prime Sieve in Heterogeneous Computer Clusters
AUTHORS: Costa, CM ; Sampaio, AM ; Barbosa, JG ;
PUBLISHED: 2014, SOURCE: 14th International Conference on Computational Science and Its Applications (ICCSA) in COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2014, PT IV, VOLUME: 8582, ISSUE: PART 4, PAGES: 592-606
AUTHORS: Costa, CM ; Sampaio, AM ; Barbosa, JG ;
PUBLISHED: 2014, SOURCE: 14th International Conference on Computational Science and Its Applications (ICCSA) in COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2014, PT IV, VOLUME: 8582, ISSUE: PART 4, PAGES: 592-606
