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: 3642
85 Team MembersFilters -> Year: 2026
1921
TITLE: Deciding Kleene algebra terms equivalence in Coq
AUTHORS: Moreira, N ; Pereira, D ; de Sousa, SM ;
PUBLISHED: 2015, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 84, ISSUE: 3, PAGES: 377-401
AUTHORS: Moreira, N ; Pereira, D ; de Sousa, SM ;
PUBLISHED: 2015, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 84, ISSUE: 3, PAGES: 377-401
1922
TITLE: Decision-“making” or how decisions emerge in a cyclic automatic process, parsimoniously modulated by reason
AUTHORS: Marques dos Santos, José Paulo ; Moutinho, L;
PUBLISHED: 2015, SOURCE: The Routledge Companion to Consumer Behavior Analysis, PAGES: 328-349
AUTHORS: Marques dos Santos, José Paulo ; Moutinho, L;
PUBLISHED: 2015, SOURCE: The Routledge Companion to Consumer Behavior Analysis, PAGES: 328-349
INDEXED IN: 
Scopus
Scopus1923
TITLE: Demand-side Management in Power Grids: An Ant Colony Optimization Approach
AUTHORS: Silva, A; Marinheiro, J; Cardoso, HL ; Oliveira, E ;
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: 300-306
AUTHORS: Silva, A; Marinheiro, J; Cardoso, HL ; Oliveira, E ;
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: 300-306
1924
TITLE: Demonstration of Realistic Multi-agent Scenario Generator for Electricity Markets Simulation
AUTHORS: Francisco Silva; Brigida Teixeira ; Tiago Pinto ; Gabriel Santos; Isabel Praca ; Zita Vale ;
PUBLISHED: 2015, SOURCE: 13th International Conference on Practical Applications of Agents, Multi-Agent Systems, and Sustainability (PAAMS) in ADVANCES IN PRACTICAL APPLICATIONS OF AGENTS, MULTI-AGENT SYSTEMS, AND SUSTAINABILITY, VOLUME: 9086, PAGES: 316-319
AUTHORS: Francisco Silva; Brigida Teixeira ; Tiago Pinto ; Gabriel Santos; Isabel Praca ; Zita Vale ;
PUBLISHED: 2015, SOURCE: 13th International Conference on Practical Applications of Agents, Multi-Agent Systems, and Sustainability (PAAMS) in ADVANCES IN PRACTICAL APPLICATIONS OF AGENTS, MULTI-AGENT SYSTEMS, AND SUSTAINABILITY, VOLUME: 9086, PAGES: 316-319
1925
TITLE: Densifying the Sparse Cloud SimSaaS: The need of a Synergy among Agent-directed Simulation, SimSaaS and HLA
AUTHORS: Azevedo, Tiago ; Rosaldo J F Rossetti ; Jorge G Barbosa ;
PUBLISHED: 2015, SOURCE: SIMULTECH, PAGES: 172-177
AUTHORS: Azevedo, Tiago ; Rosaldo J F Rossetti ; Jorge G Barbosa ;
PUBLISHED: 2015, SOURCE: SIMULTECH, PAGES: 172-177
1926
TITLE: Design and Implementation of Queries for Model-Driven Spreadsheets
AUTHORS: Cunha, J ; Fernandes, JP ; Mendes, J ; Pereira, R ; Saraiva, J ;
PUBLISHED: 2015, SOURCE: 5th Central European Functional Programming School (CEFP) in CENTRAL EUROPEAN FUNCTIONAL PROGRAMMING SCHOOL, CEFP 2013, VOLUME: 8606, PAGES: 459-478
AUTHORS: Cunha, J ; Fernandes, JP ; Mendes, J ; Pereira, R ; Saraiva, J ;
PUBLISHED: 2015, SOURCE: 5th Central European Functional Programming School (CEFP) in CENTRAL EUROPEAN FUNCTIONAL PROGRAMMING SCHOOL, CEFP 2013, VOLUME: 8606, PAGES: 459-478
1927
TITLE: Development of a serious game for Portuguese Sign Language
AUTHORS: Soares, F ; Esteves, JS; Carvalho, V; Lopes, G ; Barbosa, F; Ribeiro, P;
PUBLISHED: 2015, SOURCE: 7th International Congress on Ultra Modern Telecommunications and Control Systems and Workshops (ICUMT) in 2015 7th International Congress on Ultra Modern Telecommunications and Control Systems and Workshops (ICUMT), VOLUME: 2016-January, PAGES: 226-230
AUTHORS: Soares, F ; Esteves, JS; Carvalho, V; Lopes, G ; Barbosa, F; Ribeiro, P;
PUBLISHED: 2015, SOURCE: 7th International Congress on Ultra Modern Telecommunications and Control Systems and Workshops (ICUMT) in 2015 7th International Congress on Ultra Modern Telecommunications and Control Systems and Workshops (ICUMT), VOLUME: 2016-January, PAGES: 226-230
1928
TITLE: DEVELOPMENT OF A STUDENT-CENTRED TOOL THAT PROMOTES DEEP LEARNING IN THE TECHNICAL AREA OF CONTROL OF DISCRETE EVENT SYSTEMS
AUTHORS: Sousa, A ; Augusto, B; Costa, P;
PUBLISHED: 2015, SOURCE: 7th International Conference on Education and New Learning Technologies (EDULEARN) in EDULEARN15: 7TH INTERNATIONAL CONFERENCE ON EDUCATION AND NEW LEARNING TECHNOLOGIES, PAGES: 8388-8395
AUTHORS: Sousa, A ; Augusto, B; Costa, P;
PUBLISHED: 2015, SOURCE: 7th International Conference on Education and New Learning Technologies (EDULEARN) in EDULEARN15: 7TH INTERNATIONAL CONFERENCE ON EDUCATION AND NEW LEARNING TECHNOLOGIES, PAGES: 8388-8395
INDEXED IN: 
WOS
WOS1929
TITLE: Development of an Omnidirectional Walk Engine for Soccer Humanoid Robots Full Text
AUTHORS: Shafii, N; Abdolmaleki, A; Lau, N ; Reis, LP ;
PUBLISHED: 2015, SOURCE: INTERNATIONAL JOURNAL OF ADVANCED ROBOTIC SYSTEMS, VOLUME: 12, ISSUE: 12, PAGES: 1
AUTHORS: Shafii, N; Abdolmaleki, A; Lau, N ; Reis, LP ;
PUBLISHED: 2015, SOURCE: INTERNATIONAL JOURNAL OF ADVANCED ROBOTIC SYSTEMS, VOLUME: 12, ISSUE: 12, PAGES: 1
1930
TITLE: Device Health Estimation by Combining Contextual Control Information with Sensor Data PDF
AUTHORS: Tomonori Honda; Linxia Liao; Hoda Eldardiry; Bhaskar Saha; Rui Abreu ; Radu Pavel; Jonathan Iverson;
PUBLISHED: 2015, SOURCE: Proceedings of the 26th International Workshop on Principles of Diagnosis (DX-2015) co-located with 9th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes (Safeprocess 2015), Paris, France, August 31 - September 3, 2015., VOLUME: 1507, PAGES: 209-216
AUTHORS: Tomonori Honda; Linxia Liao; Hoda Eldardiry; Bhaskar Saha; Rui Abreu ; Radu Pavel; Jonathan Iverson;
PUBLISHED: 2015, SOURCE: Proceedings of the 26th International Workshop on Principles of Diagnosis (DX-2015) co-located with 9th IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes (Safeprocess 2015), Paris, France, August 31 - September 3, 2015., VOLUME: 1507, PAGES: 209-216
INDEXED IN: Scopus 
DBLP
Scopus DBLP1931
TITLE: Diagnosing Advanced Persistent Threats: A Position Paper
AUTHORS: Rui Abreu ; Daniel G Bobrow; Hoda Eldardiry; Alexander Feldman; John Hanley; Tomonori Honda; Johan de Kleer; Alexandre Perez ; Dave Archer; David Burke;
PUBLISHED: 2015, SOURCE: DX, VOLUME: 1507, PAGES: 193-200
AUTHORS: Rui Abreu ; Daniel G Bobrow; Hoda Eldardiry; Alexander Feldman; John Hanley; Tomonori Honda; Johan de Kleer; Alexandre Perez ; Dave Archer; David Burke;
PUBLISHED: 2015, SOURCE: DX, VOLUME: 1507, PAGES: 193-200
INDEXED IN: Scopus DBLP
Scopus DBLP1932
TITLE: DipBlue: A Diplomacy Agent with Strategic and Trust Reasoning
AUTHORS: André Ferreira; Henrique Lopes Cardoso ; Luís Paulo Reis ;
PUBLISHED: 2015, SOURCE: ICAART (1), VOLUME: 1, PAGES: 54-65
AUTHORS: André Ferreira; Henrique Lopes Cardoso ; Luís Paulo Reis ;
PUBLISHED: 2015, SOURCE: ICAART (1), VOLUME: 1, PAGES: 54-65
1933
TITLE: DISim: Ontology-driven Simulation of Biomedical Data Integration Tasks
AUTHORS: Sernadela, P; Pereira, A; Rossetti, R ;
PUBLISHED: 2015, SOURCE: 10th Iberian Conference on Information Systems and Technologies (CISTI) in 2015 10TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI)
AUTHORS: Sernadela, P; Pereira, A; Rossetti, R ;
PUBLISHED: 2015, SOURCE: 10th Iberian Conference on Information Systems and Technologies (CISTI) in 2015 10TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI)
1934
TITLE: Distance-Based Decision Tree Algorithms for Label Ranking
AUTHORS: de Sá, CR ; Rebelo, C; Soares, C ; Knobbe, A;
PUBLISHED: 2015, SOURCE: 17th Portuguese Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE-BK, VOLUME: 9273, PAGES: 525-534
AUTHORS: de Sá, CR ; Rebelo, C; Soares, C ; Knobbe, A;
PUBLISHED: 2015, SOURCE: 17th Portuguese Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE-BK, VOLUME: 9273, PAGES: 525-534
1935
TITLE: Distributed Flight Simulation Environment using Flight Simulator X
AUTHORS: Rodrigues, C; Silva, DC ; Rossetti, RJF ; Oliveira, E ;
PUBLISHED: 2015, SOURCE: 10th Iberian Conference on Information Systems and Technologies (CISTI) in 2015 10TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI)
AUTHORS: Rodrigues, C; Silva, DC ; Rossetti, RJF ; Oliveira, E ;
PUBLISHED: 2015, SOURCE: 10th Iberian Conference on Information Systems and Technologies (CISTI) in 2015 10TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI)
1936
TITLE: Editorial
AUTHORS: Antonio Pedro Costa ; Luis Paulo Gonçalves Reis ; Pedro Vitor Lemos Cravo; Alexandre Cláudio Botazzo Delbem; Clarimar José Coelho;
PUBLISHED: 2015, SOURCE: Fronteiras: Journal of Social, Technological and Environmental Science, VOLUME: 4, ISSUE: 3, PAGES: 11
AUTHORS: Antonio Pedro Costa ; Luis Paulo Gonçalves Reis ; Pedro Vitor Lemos Cravo; Alexandre Cláudio Botazzo Delbem; Clarimar José Coelho;
PUBLISHED: 2015, SOURCE: Fronteiras: Journal of Social, Technological and Environmental Science, VOLUME: 4, ISSUE: 3, PAGES: 11
INDEXED IN: 
CrossRef
CrossRef1937
TITLE: Editorial: Dossier "Technologies, Epistemological Convergence of Complexity" [Editorial: Dossiê "Tecnologias, Convergência Epistemológica da Complexidade"]
AUTHORS: Costa, AP; Dos Reis, LPG ; Cravo, PVL; Delbem, ACB; Coelho, CJ;
PUBLISHED: 2015, SOURCE: Fronteiras, VOLUME: 4, ISSUE: 3, PAGES: 11-15
AUTHORS: Costa, AP; Dos Reis, LPG ; Cravo, PVL; Delbem, ACB; Coelho, CJ;
PUBLISHED: 2015, SOURCE: Fronteiras, VOLUME: 4, ISSUE: 3, PAGES: 11-15
INDEXED IN: Scopus
Scopus1938
TITLE: Embedding, Evolution, and Validation of Model-Driven Spreadsheets
AUTHORS: Cunha, J ; Fernandes, JP ; Mendes, J ; Saraiva, J ;
PUBLISHED: 2015, SOURCE: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOLUME: 41, ISSUE: 3, PAGES: 241-263
AUTHORS: Cunha, J ; Fernandes, JP ; Mendes, J ; Saraiva, J ;
PUBLISHED: 2015, SOURCE: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOLUME: 41, ISSUE: 3, PAGES: 241-263
1939
TITLE: Enabling FPGA routing configuration sharing in dynamic partial reconfiguration
AUTHORS: Al Farisi, B; Heyse, K; Bruneel, K; Cardoso, J ; Stroobandt, D;
PUBLISHED: 2015, SOURCE: DESIGN AUTOMATION FOR EMBEDDED SYSTEMS, VOLUME: 19, ISSUE: 1-2, PAGES: 189-221
AUTHORS: Al Farisi, B; Heyse, K; Bruneel, K; Cardoso, J ; Stroobandt, D;
PUBLISHED: 2015, SOURCE: DESIGN AUTOMATION FOR EMBEDDED SYSTEMS, VOLUME: 19, ISSUE: 1-2, PAGES: 189-221
1940
TITLE: Energy Efficiency for Ultrascale Systems: Challenges and Trends from Nesus Project
AUTHORS: Michel Bagein; Jorge G Barbosa ; Vicente Blanco Pérez; Ivona Brandic; Samuel Cremer; Sébastien Fremal; Helen D Karatza; Laurent Lefèvre; Toni Mastelic; Ariel Oleksiak; Anne Cécile Orgerie; Georgios L Stavrinides; Sébastien Varrette;
PUBLISHED: 2015, SOURCE: Supercomput. Front. Innov., VOLUME: 2, ISSUE: 2, PAGES: 105-131
AUTHORS: Michel Bagein; Jorge G Barbosa ; Vicente Blanco Pérez; Ivona Brandic; Samuel Cremer; Sébastien Fremal; Helen D Karatza; Laurent Lefèvre; Toni Mastelic; Ariel Oleksiak; Anne Cécile Orgerie; Georgios L Stavrinides; Sébastien Varrette;
PUBLISHED: 2015, SOURCE: Supercomput. Front. Innov., VOLUME: 2, ISSUE: 2, PAGES: 105-131
INDEXED IN: DBLP
DBLP