Artificial Intelligence and Computer Science Laboratory (LIACC)
Laboratório de Inteligência Artificial e Ciência de Computadores

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

Update Citation

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!

Update PrePrints

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!

Publications Count: 2681

84 Team Members
Filters -> Year: 2024
1201
TITLE: A serious games framework for health rehabilitation
AUTHORS: Rego, PA ; Moreira, PM ; Reis, LP ;
PUBLISHED: 2015, SOURCE: Gamification: Concepts, Methodologies, Tools, and Applications, VOLUME: 1-4, PAGES: 404-424
INDEXED IN: Scopus CrossRef: 1
1202
TITLE: A short note on type-inhabitation: Formula-trees vs. game semantics  Full Text
AUTHORS: Alves, S ; Broda, S ;
PUBLISHED: 2015, SOURCE: INFORMATION PROCESSING LETTERS, VOLUME: 115, ISSUE: 11, PAGES: 908-911
INDEXED IN: Scopus WOS DBLP CrossRef: 3
1203
TITLE: A Special-Purpose Language for Implementing Pipelined FPGA-based Accelerators
AUTHORS: Cristiano B de Oliveira; Ricardo Menotti; Joao M P Cardoso ; Eduardo Marques;
PUBLISHED: 2015, SOURCE: 18th Forum on Specification and Design Languages (FDL) in 2015 18th Forum on Specification and Design Languages (FDL), VOLUME: 2015-October, PAGES: 74-81
INDEXED IN: Scopus WOS DBLP CrossRef
1204
TITLE: A State-of-the-art Integrated Transportation Simulation Platform
AUTHORS: Azevedo, Tiago ; Rosaldo J F Rossetti ; Jorge G Barbosa ;
PUBLISHED: 2015, SOURCE: International Conference on Models and Technologies for Intelligent Transportation Systems (MT-ITS) in 2015 INTERNATIONAL CONFERENCE ON MODELS AND TECHNOLOGIES FOR INTELLIGENT TRANSPORTATION SYSTEMS (MT-ITS), PAGES: 340-347
INDEXED IN: Scopus WOS DBLP CrossRef: 1
1205
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
INDEXED IN: Scopus WOS DBLP CrossRef: 1
1206
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
INDEXED IN: Scopus WOS CrossRef: 4
1207
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, PAGES: 175-182
INDEXED IN: DBLP CrossRef: 13
1208
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
INDEXED IN: Scopus WOS DBLP CrossRef: 9
1209
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
INDEXED IN: Scopus WOS DBLP CrossRef: 4
1210
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
INDEXED IN: Scopus WOS DBLP CrossRef Handle
1211
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
INDEXED IN: Scopus WOS DBLP CrossRef Handle
1212
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
INDEXED IN: Scopus WOS DBLP CrossRef: 1
1213
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
INDEXED IN: Scopus DBLP
1214
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
INDEXED IN: Scopus
1216
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
INDEXED IN: Scopus DBLP CrossRef: 2
1217
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
INDEXED IN: Scopus WOS CrossRef: 2
1218
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
INDEXED IN: Scopus WOS DBLP CrossRef
1219
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
INDEXED IN: Scopus WOS DBLP CrossRef: 2
1220
TITLE: Are Rankings of Financial Analysts Useful to Investors?
AUTHORS: Artur Aiguzhinov; Ana Paula Serra ; Carlos Soares ;
PUBLISHED: 2015, SOURCE: SSRN Electronic Journal
INDEXED IN: CrossRef: 1

Results per Page: 20.
Page 61 of 135. Total results: 2681.