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
1241
TITLE: A Typed Language for Events
AUTHORS: Sandra Alves ; Sabine Broda ; Maribel Fernandez;
PUBLISHED: 2015, SOURCE: 25th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR) in LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2015), VOLUME: 9527, PAGES: 107-123
AUTHORS: Sandra Alves ; Sabine Broda ; Maribel Fernandez;
PUBLISHED: 2015, SOURCE: 25th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR) in LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2015), VOLUME: 9527, PAGES: 107-123
1242
TITLE: A Virtual Reservoir Electricity Market Design Applied to the Brazilian System Using an Agent Based Model
AUTHORS: Felipe Alves Calabria; Joao Tome Saraiva ; Ana Paula Rocha ;
PUBLISHED: 2015, SOURCE: 12th International Conference on the European Energy Market (EEM) in 2015 12TH INTERNATIONAL CONFERENCE ON THE EUROPEAN ENERGY MARKET (EEM), VOLUME: 2015-August
AUTHORS: Felipe Alves Calabria; Joao Tome Saraiva ; Ana Paula Rocha ;
PUBLISHED: 2015, SOURCE: 12th International Conference on the European Energy Market (EEM) in 2015 12TH INTERNATIONAL CONFERENCE ON THE EUROPEAN ENERGY MARKET (EEM), VOLUME: 2015-August
1243
TITLE: A wearable and mobile intervention delivery system for individuals with panic disorder
AUTHORS: Luis Cruz; Jonathan Rubin; Rui Abreu ; Shane Ahern; Hoda Eldardiry; Daniel G Bobrow;
PUBLISHED: 2015, SOURCE: Proceedings of the 14th International Conference on Mobile and Ubiquitous Multimedia, Linz, Austria, November 30 - December 2, 2015, VOLUME: 30-November-2015, PAGES: 175-182
AUTHORS: Luis Cruz; Jonathan Rubin; Rui Abreu ; Shane Ahern; Hoda Eldardiry; Daniel G Bobrow;
PUBLISHED: 2015, SOURCE: Proceedings of the 14th International Conference on Mobile and Ubiquitous Multimedia, Linz, Austria, November 30 - December 2, 2015, VOLUME: 30-November-2015, PAGES: 175-182
1244
TITLE: A Weighted Constraint Optimization Approach to the Nurse Scheduling Problem
AUTHORS: Diogo Santos; Pedro Fernandes; Henrique Lopes Cardoso ; Eugenio Oliveira ;
PUBLISHED: 2015, SOURCE: IEEE 18th International Conference on Computational Science and Engineering (CSE) in 2015 IEEE 18TH INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE AND ENGINEERING (CSE), PAGES: 233-239
AUTHORS: Diogo Santos; Pedro Fernandes; Henrique Lopes Cardoso ; Eugenio Oliveira ;
PUBLISHED: 2015, SOURCE: IEEE 18th International Conference on Computational Science and Engineering (CSE) in 2015 IEEE 18TH INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE AND ENGINEERING (CSE), PAGES: 233-239
1245
TITLE: Access Control and Obligations in the Category-Based Metamodel: A Rewrite-Based Semantics
AUTHORS: Sandra Alves ; Anatoli Degtyarev; Maribel Fernandez;
PUBLISHED: 2015, SOURCE: 24th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR) in LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2014), VOLUME: 8981, PAGES: 148-163
AUTHORS: Sandra Alves ; Anatoli Degtyarev; Maribel Fernandez;
PUBLISHED: 2015, SOURCE: 24th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR) in LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2014), VOLUME: 8981, PAGES: 148-163
1246
TITLE: Adapted Control Methods for Cerebral Palsy Users of an Intelligent Wheelchair
AUTHORS: Faria, BM ; Reis, LP ; Lau, N ;
PUBLISHED: 2015, SOURCE: JOURNAL OF INTELLIGENT & ROBOTIC SYSTEMS, VOLUME: 77, ISSUE: 2, PAGES: 299-312
AUTHORS: Faria, BM ; Reis, LP ; Lau, N ;
PUBLISHED: 2015, SOURCE: JOURNAL OF INTELLIGENT & ROBOTIC SYSTEMS, VOLUME: 77, ISSUE: 2, PAGES: 299-312
1247
TITLE: Adaptive Services Reconfiguration in Manufacturing Environments Using a Multi-agent System Approach
AUTHORS: Rodrigues, N; Leitao, P ; Oliveira, E ;
PUBLISHED: 2015, SOURCE: 13th German Conference on Multiagent System Technologies (MATES) in MULTIAGENT SYSTEM TECHNOLOGIES, MATES 2015, VOLUME: 9433, PAGES: 280-284
AUTHORS: Rodrigues, N; Leitao, P ; Oliveira, E ;
PUBLISHED: 2015, SOURCE: 13th German Conference on Multiagent System Technologies (MATES) in MULTIAGENT SYSTEM TECHNOLOGIES, MATES 2015, VOLUME: 9433, PAGES: 280-284
1248
TITLE: Adding conscious aspects in virtual robot navigation through Baars-Franklin's cognitive architecture
AUTHORS: Thiago Becker; Joao Alberto Fabro; Andre Schneider de Oliveira; Luis Paulo Reis ;
PUBLISHED: 2015, SOURCE: 9th IEEE International Conference on Autonomous Robot Systems and Competitions (ICARSC) in 2015 IEEE INTERNATIONAL CONFERENCE ON AUTONOMOUS ROBOT SYSTEMS AND COMPETITIONS (ICARSC), PAGES: 204-209
AUTHORS: Thiago Becker; Joao Alberto Fabro; Andre Schneider de Oliveira; Luis Paulo Reis ;
PUBLISHED: 2015, SOURCE: 9th IEEE International Conference on Autonomous Robot Systems and Competitions (ICARSC) in 2015 IEEE INTERNATIONAL CONFERENCE ON AUTONOMOUS ROBOT SYSTEMS AND COMPETITIONS (ICARSC), PAGES: 204-209
1249
TITLE: Airline disruption management: Dynamic aircraft scheduling with ant colony optimization
AUTHORS: Sousa, H; Teixeira, R; Cardoso, HL ; Oliveira, E ;
PUBLISHED: 2015, SOURCE: 7th International Conference on Agents and Artificial Intelligence, ICAART 2015 in ICAART 2015 - 7th International Conference on Agents and Artificial Intelligence, Proceedings, VOLUME: 2, PAGES: 398-405
AUTHORS: Sousa, H; Teixeira, R; Cardoso, HL ; Oliveira, E ;
PUBLISHED: 2015, SOURCE: 7th International Conference on Agents and Artificial Intelligence, ICAART 2015 in ICAART 2015 - 7th International Conference on Agents and Artificial Intelligence, Proceedings, VOLUME: 2, PAGES: 398-405
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP1250
TITLE: An agent-based simulation approach to the circular open dimension problem
AUTHORS: Ribeiro, JP; Rossetti, RJF ; Oliveira, JF ;
PUBLISHED: 2015, SOURCE: 13th Annual International Industrial Simulation Conference 2015, ISC 2015 in 13th International Industrial Simulation Conference 2015, ISC 2015, PAGES: 78-82
AUTHORS: Ribeiro, JP; Rossetti, RJF ; Oliveira, JF ;
PUBLISHED: 2015, SOURCE: 13th Annual International Industrial Simulation Conference 2015, ISC 2015 in 13th International Industrial Simulation Conference 2015, ISC 2015, PAGES: 78-82
INDEXED IN: Scopus
Scopus1251
TITLE: An annotation tool for automatically triangulating individuals' psychophysiological emotional reactions to digital media stimuli Full Text
AUTHORS: Pedro A Nogueira ; Vasco Torres; Rui Rodrigues ; Eugenio Oliveira ;
PUBLISHED: 2015, SOURCE: ENTERTAINMENT COMPUTING, VOLUME: 9-10, PAGES: 19-27
AUTHORS: Pedro A Nogueira ; Vasco Torres; Rui Rodrigues ; Eugenio Oliveira ;
PUBLISHED: 2015, SOURCE: ENTERTAINMENT COMPUTING, VOLUME: 9-10, PAGES: 19-27
1252
TITLE: An Approach for Automated Scenario-based Testing of Distributed and Heterogeneous Systems
AUTHORS: Bruno Lima ; João Pascoal Faria ;
PUBLISHED: 2015, SOURCE: 10th International Conference on Software Engineering and Applications, ICSOFT-EA 2015 in ICSOFT-EA 2015 - Proceedings of the 10th International Conference on Software Engineering and Applications, Colmar, Alsace, France, 20-22 July, 2015., PAGES: 241-250
AUTHORS: Bruno Lima ; João Pascoal Faria ;
PUBLISHED: 2015, SOURCE: 10th International Conference on Software Engineering and Applications, ICSOFT-EA 2015 in ICSOFT-EA 2015 - Proceedings of the 10th International Conference on Software Engineering and Applications, Colmar, Alsace, France, 20-22 July, 2015., PAGES: 241-250
1253
TITLE: An Integrated Framework for Mobile-Based ADAS Simulation
AUTHORS: Goncalves, JSV; Jacob, J ; Rossetti, RJF ; Coelho, A ; Rodrigues, R ;
PUBLISHED: 2015, SOURCE: 2nd SUMO User Conference (SUMO) in MODELING MOBILITY WITH OPEN DATA, VOLUME: 13, PAGES: 171-186
AUTHORS: Goncalves, JSV; Jacob, J ; Rossetti, RJF ; Coelho, A ; Rodrigues, R ;
PUBLISHED: 2015, SOURCE: 2nd SUMO User Conference (SUMO) in MODELING MOBILITY WITH OPEN DATA, VOLUME: 13, PAGES: 171-186
1254
TITLE: An Ontological Approach to Spatio-Temporal Information Modelling in Transportation
AUTHORS: Seliverstov, A; Rossetti, RJF ;
PUBLISHED: 2015, SOURCE: IEEE First International Smart Cities Conference (ISC2) in 2015 IEEE FIRST INTERNATIONAL SMART CITIES CONFERENCE (ISC2), PAGES: 1-6
AUTHORS: Seliverstov, A; Rossetti, RJF ;
PUBLISHED: 2015, SOURCE: IEEE First International Smart Cities Conference (ISC2) in 2015 IEEE FIRST INTERNATIONAL SMART CITIES CONFERENCE (ISC2), PAGES: 1-6
1255
TITLE: ANTAREX - AutoTuning and Adaptivity appRoach for Energy efficient eXascale HPC systems
AUTHORS: Cristina Silvano; Giovanni Agosta; Andrea Bartolini; Andrea Beccari; Luca Benini; Joao M P Cardoso ; Carlo Cavazzoni; Radim Cmar; Jan Martinovic; Gianluca Palermo; Martin Palkovic; Erven Rohou; Nico Sanna; Katerina Slaninova;
PUBLISHED: 2015, SOURCE: IEEE 18th International Conference on Computational Science and Engineering (CSE) in 2015 IEEE 18TH INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE AND ENGINEERING (CSE), PAGES: 343-346
AUTHORS: Cristina Silvano; Giovanni Agosta; Andrea Bartolini; Andrea Beccari; Luca Benini; Joao M P Cardoso ; Carlo Cavazzoni; Radim Cmar; Jan Martinovic; Gianluca Palermo; Martin Palkovic; Erven Rohou; Nico Sanna; Katerina Slaninova;
PUBLISHED: 2015, SOURCE: IEEE 18th International Conference on Computational Science and Engineering (CSE) in 2015 IEEE 18TH INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE AND ENGINEERING (CSE), PAGES: 343-346
1256
TITLE: Are Rankings of Financial Analysts Useful to Investors?
AUTHORS: Artur Aiguzhinov; Ana Paula Serra ; Carlos Soares ;
PUBLISHED: 2015, SOURCE: SSRN Electronic Journal
AUTHORS: Artur Aiguzhinov; Ana Paula Serra ; Carlos Soares ;
PUBLISHED: 2015, SOURCE: SSRN Electronic Journal
1257
TITLE: Assessing physical activity intensity by video analysis Full Text
AUTHORS: Silva, P; Santiago, C; Reis, LP ; Sousa, A. ; Mota, J; Welk, G;
PUBLISHED: 2015, SOURCE: PHYSIOLOGICAL MEASUREMENT, VOLUME: 36, ISSUE: 5, PAGES: 1037-1046
AUTHORS: Silva, P; Santiago, C; Reis, LP ; Sousa, A. ; Mota, J; Welk, G;
PUBLISHED: 2015, SOURCE: PHYSIOLOGICAL MEASUREMENT, VOLUME: 36, ISSUE: 5, PAGES: 1037-1046
1258
TITLE: Authenticated File Broadcast Protocol
AUTHORS: Reis, S ; Zuquete, A; Faneca, C; José Manuel Neto Vieira ;
PUBLISHED: 2015, SOURCE: 30th IFIP TC 11International Information Security and Privacy Conference (SEC) in ICT SYSTEMS SECURITY AND PRIVACY PROTECTION, VOLUME: 455, PAGES: 237-251
AUTHORS: Reis, S ; Zuquete, A; Faneca, C; José Manuel Neto Vieira ;
PUBLISHED: 2015, SOURCE: 30th IFIP TC 11International Information Security and Privacy Conference (SEC) in ICT SYSTEMS SECURITY AND PRIVACY PROTECTION, VOLUME: 455, PAGES: 237-251
1259
TITLE: Beat Tracking for Interactive Dancing Robots
AUTHORS: Joao Lobato Oliveira ; Gokhan Ince; Keisuke Nakamura; Kazuhiro Nakadai; Hiroshi G Okuno; Fabien Gouyon; Luis Paulo Reis ;
PUBLISHED: 2015, SOURCE: INTERNATIONAL JOURNAL OF HUMANOID ROBOTICS, VOLUME: 12, ISSUE: 4, PAGES: 1550023
AUTHORS: Joao Lobato Oliveira ; Gokhan Ince; Keisuke Nakamura; Kazuhiro Nakadai; Hiroshi G Okuno; Fabien Gouyon; Luis Paulo Reis ;
PUBLISHED: 2015, SOURCE: INTERNATIONAL JOURNAL OF HUMANOID ROBOTICS, VOLUME: 12, ISSUE: 4, PAGES: 1550023
1260
TITLE: Buckling and post-buckling in filament wound composite tubes under transverse compression
AUTHORS: Almeida, JHS; Ribeiro, ML; Tita, V; Faria, H; Marques, AT ; Amico, SC;
PUBLISHED: 2015, SOURCE: 20th International Conference on Composite Materials, ICCM 2015 in ICCM International Conferences on Composite Materials, VOLUME: 2015-July
AUTHORS: Almeida, JHS; Ribeiro, ML; Tita, V; Faria, H; Marques, AT ; Amico, SC;
PUBLISHED: 2015, SOURCE: 20th International Conference on Composite Materials, ICCM 2015 in ICCM International Conferences on Composite Materials, VOLUME: 2015-July
INDEXED IN: Scopus
Scopus