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: 2713
85 Team MembersFilters -> Year: 2024
821
TITLE: Formal verification of a domain specific language for run-time adaptation
AUTHORS: Shahid Khan; Faiq Khalid; Osman Hasan; João M P Cardoso ;
PUBLISHED: 2018, SOURCE: 12th Annual IEEE International Systems Conference, SysCon 2018 in 2018 Annual IEEE International Systems Conference, SysCon 2018, Vancouver, BC, Canada, April 23-26, 2018, PAGES: 1-8
AUTHORS: Shahid Khan; Faiq Khalid; Osman Hasan; João M P Cardoso ;
PUBLISHED: 2018, SOURCE: 12th Annual IEEE International Systems Conference, SysCon 2018 in 2018 Annual IEEE International Systems Conference, SysCon 2018, Vancouver, BC, Canada, April 23-26, 2018, PAGES: 1-8
822
TITLE: Gait events detector for transtibial prosthesis
AUTHORS: Ferreira, C; Reis, LP ; Santos, CP;
PUBLISHED: 2018, SOURCE: 20th International Conference on Climbing and Walking Robots and the Support Technologies for Mobile Machines, CLAWAR 2017 in Human-Centric Robotics- Proceedings of the 20th International Conference on Climbing and Walking Robots and the Support Technologies for Mobile Machines, CLAWAR 2017, PAGES: 685-692
AUTHORS: Ferreira, C; Reis, LP ; Santos, CP;
PUBLISHED: 2018, SOURCE: 20th International Conference on Climbing and Walking Robots and the Support Technologies for Mobile Machines, CLAWAR 2017 in Human-Centric Robotics- Proceedings of the 20th International Conference on Climbing and Walking Robots and the Support Technologies for Mobile Machines, CLAWAR 2017, PAGES: 685-692
INDEXED IN: 
Scopus 
CrossRef
Scopus CrossRef823
TITLE: Generalizing Knowledge in Decentralized Rule-Based Models
AUTHORS: Pedro Strecht ; João Mendes Moreira ; Carlos Soares ;
PUBLISHED: 2018, SOURCE: Workshops Nemesis, UrbReas, SoGood, IWAISe, and Green Data Mining, held at the 18th European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2018 in ECML PKDD 2018 Workshops - DMLE 2018 and IoTStream 2018, Dublin, Ireland, September 10-14, 2018, Revised Selected Papers, VOLUME: 967, PAGES: 29-36
AUTHORS: Pedro Strecht ; João Mendes Moreira ; Carlos Soares ;
PUBLISHED: 2018, SOURCE: Workshops Nemesis, UrbReas, SoGood, IWAISe, and Green Data Mining, held at the 18th European Conference on Machine Learning and Knowledge Discovery in Databases, ECML PKDD 2018 in ECML PKDD 2018 Workshops - DMLE 2018 and IoTStream 2018, Dublin, Ireland, September 10-14, 2018, Revised Selected Papers, VOLUME: 967, PAGES: 29-36
824
TITLE: GreenSoftwareLab: Towards an Engineering Discipline for Green Software Full Text
AUTHORS: João Saraiva ; Rui Abreu ; Jácome Cunha ; João Paulo Fernandes ;
PUBLISHED: 2018, SOURCE: Impact, VOLUME: 2018, ISSUE: 1, PAGES: 9-11
AUTHORS: João Saraiva ; Rui Abreu ; Jácome Cunha ; João Paulo Fernandes ;
PUBLISHED: 2018, SOURCE: Impact, VOLUME: 2018, ISSUE: 1, PAGES: 9-11
INDEXED IN: CrossRef
CrossRef825
TITLE: Growing Smart Cities on an Open-Data-Centric Cyber-Physical Platform
AUTHORS: José Pedro Pinto; João Pedro Dias ; Rosaldo J F Rossetti ;
PUBLISHED: 2018, SOURCE: 2018 IEEE International Smart Cities Conference, ISC2 2018 in IEEE International Smart Cities Conference, ISC2 2018, Kansas City, MO, USA, September 16-19, 2018, PAGES: 1-6
AUTHORS: José Pedro Pinto; João Pedro Dias ; Rosaldo J F Rossetti ;
PUBLISHED: 2018, SOURCE: 2018 IEEE International Smart Cities Conference, ISC2 2018 in IEEE International Smart Cities Conference, ISC2 2018, Kansas City, MO, USA, September 16-19, 2018, PAGES: 1-6
826
TITLE: Guided Deep Reinforcement Learning in the GeoFriends2 Environment
AUTHORS: Simoes, D; Lau, N ; Reis, LP ;
PUBLISHED: 2018, SOURCE: 2018 International Joint Conference on Neural Networks, IJCNN 2018 in Proceedings of the International Joint Conference on Neural Networks, VOLUME: 2018-July
AUTHORS: Simoes, D; Lau, N ; Reis, LP ;
PUBLISHED: 2018, SOURCE: 2018 International Joint Conference on Neural Networks, IJCNN 2018 in Proceedings of the International Joint Conference on Neural Networks, VOLUME: 2018-July
827
TITLE: Guided Deep Reinforcement Learning in the GeoFriends2 Environment
AUTHORS: David Apolinário Simões; Nuno Lau; Luís Paulo Reis ;
PUBLISHED: 2018, SOURCE: 2018 International Joint Conference on Neural Networks, IJCNN 2018, Rio de Janeiro, Brazil, July 8-13, 2018, PAGES: 1-7
AUTHORS: David Apolinário Simões; Nuno Lau; Luís Paulo Reis ;
PUBLISHED: 2018, SOURCE: 2018 International Joint Conference on Neural Networks, IJCNN 2018, Rio de Janeiro, Brazil, July 8-13, 2018, PAGES: 1-7
INDEXED IN: 
DBLP
DBLP828
TITLE: Helping developers write energy efficient Haskell through a data-structure evaluation
AUTHORS: Melfe, G; Fonseca, A ; Fernandes, JP ;
PUBLISHED: 2018, SOURCE: 6th IEEE/ACM International Workshop on Green And Sustainable Software (GREENS) in 2018 IEEE/ACM 6TH INTERNATIONAL WORKSHOP ON GREEN AND SUSTAINABLE SOFTWARE (GREENS), VOLUME: Part F137724, PAGES: 9-15
AUTHORS: Melfe, G; Fonseca, A ; Fernandes, JP ;
PUBLISHED: 2018, SOURCE: 6th IEEE/ACM International Workshop on Green And Sustainable Software (GREENS) in 2018 IEEE/ACM 6TH INTERNATIONAL WORKSHOP ON GREEN AND SUSTAINABLE SOFTWARE (GREENS), VOLUME: Part F137724, PAGES: 9-15
829
TITLE: How-to Express Explicit and Auditable Consent
AUTHORS: Ana C Carvalho; Rolando Martins ; Luis Antunes ;
PUBLISHED: 2018, SOURCE: 16th Annual Conference on Privacy, Security and Trust (PST) in 2018 16TH ANNUAL CONFERENCE ON PRIVACY, SECURITY AND TRUST (PST), PAGES: 105-109
AUTHORS: Ana C Carvalho; Rolando Martins ; Luis Antunes ;
PUBLISHED: 2018, SOURCE: 16th Annual Conference on Privacy, Security and Trust (PST) in 2018 16TH ANNUAL CONFERENCE ON PRIVACY, SECURITY AND TRUST (PST), PAGES: 105-109
830
TITLE: HS.Register - An Audit-Trail Tool to Respond to the General Data Protection Regulation (GDPR)
AUTHORS: Duarte Nuno Gonçalves Ferreira; Mariana Leite; Cátia Santos Pereira ; Manuel E. Correia ; Luis Filipe Coelho Antunes ; Ricardo Cruz Correia ;
PUBLISHED: 2018, SOURCE: 40th Medical Informatics in Europe Conference, MIE 2018 in Building Continents of Knowledge in Oceans of Data: The Future of Co-Created eHealth - Proceedings of MIE 2018, Medical Informatics Europe, Gothenburg, Sweden, April 24-26, 2018, VOLUME: 247, PAGES: 81-85
AUTHORS: Duarte Nuno Gonçalves Ferreira; Mariana Leite; Cátia Santos Pereira ; Manuel E. Correia ; Luis Filipe Coelho Antunes ; Ricardo Cruz Correia ;
PUBLISHED: 2018, SOURCE: 40th Medical Informatics in Europe Conference, MIE 2018 in Building Continents of Knowledge in Oceans of Data: The Future of Co-Created eHealth - Proceedings of MIE 2018, Medical Informatics Europe, Gothenburg, Sweden, April 24-26, 2018, VOLUME: 247, PAGES: 81-85
INDEXED IN: Scopus DBLP
Scopus DBLP831
TITLE: Hybrid Approaches for Time Series Prediction
AUTHORS: Xavier Fontes; Daniel Castro Silva ;
PUBLISHED: 2018, SOURCE: 18th International Conference on Hybrid Intelligent Systems, HIS 2018 in Hybrid Intelligent Systems - 18th International Conference on Hybrid Intelligent Systems, HIS 2018, Porto, Portugal, December 13-15, 2018, VOLUME: 923, PAGES: 146-155
AUTHORS: Xavier Fontes; Daniel Castro Silva ;
PUBLISHED: 2018, SOURCE: 18th International Conference on Hybrid Intelligent Systems, HIS 2018 in Hybrid Intelligent Systems - 18th International Conference on Hybrid Intelligent Systems, HIS 2018, Porto, Portugal, December 13-15, 2018, VOLUME: 923, PAGES: 146-155
INDEXED IN: Scopus DBLP
Scopus DBLP832
TITLE: Impact of Vectorization Over 16-bit Data-Types on GPUs
AUTHORS: Reis, L; Nobre, R; Cardoso, JMP ;
PUBLISHED: 2018, SOURCE: 9th Workshop on Parallel Programming and Run-Time Management Techniques for Many-Core Architectures (PARMA) / 7th Workshop on Design Tools and Architectures for Multicore Embedded Computing Platforms (DITAM) in PARMA-DITAM 2018: 9TH WORKSHOP ON PARALLEL PROGRAMMING AND RUNTIME MANAGEMENT TECHNIQUES FOR MANY-CORE ARCHITECTURES AND 7TH WORKSHOP ON DESIGN TOOLS AND ARCHITECTURES FOR MULTICORE EMBEDDED COMPUTING PLATFORMS, PAGES: 32-38
AUTHORS: Reis, L; Nobre, R; Cardoso, JMP ;
PUBLISHED: 2018, SOURCE: 9th Workshop on Parallel Programming and Run-Time Management Techniques for Many-Core Architectures (PARMA) / 7th Workshop on Design Tools and Architectures for Multicore Embedded Computing Platforms (DITAM) in PARMA-DITAM 2018: 9TH WORKSHOP ON PARALLEL PROGRAMMING AND RUNTIME MANAGEMENT TECHNIQUES FOR MANY-CORE ARCHITECTURES AND 7TH WORKSHOP ON DESIGN TOOLS AND ARCHITECTURES FOR MULTICORE EMBEDDED COMPUTING PLATFORMS, PAGES: 32-38
833
TITLE: Improving OpenCL Performance by Specializing Compiler Phase Selection and Ordering PDF
AUTHORS: Ricardo Nobre; Luís Reis; João M P Cardoso ;
PUBLISHED: 2018, SOURCE: CoRR, VOLUME: abs/1810.10496
AUTHORS: Ricardo Nobre; Luís Reis; João M P Cardoso ;
PUBLISHED: 2018, SOURCE: CoRR, VOLUME: abs/1810.10496
INDEXED IN: DBLP 
arXiv
DBLP arXiv834
TITLE: Improving the Brazilian electricity market: how to replace the centralized dispatch by decentralized market-based bidding
AUTHORS: Felipe A Calabria; Joao Tome Saraiva ; Rocha, AP ;
PUBLISHED: 2018, SOURCE: JOURNAL OF ENERGY MARKETS, VOLUME: 11, ISSUE: 2, PAGES: 83-106
AUTHORS: Felipe A Calabria; Joao Tome Saraiva ; Rocha, AP ;
PUBLISHED: 2018, SOURCE: JOURNAL OF ENERGY MARKETS, VOLUME: 11, ISSUE: 2, PAGES: 83-106
835
TITLE: In case of doubt see the manual: A comparative analysis of (self)learning packages qualitative research software
AUTHORS: Fábio Freitas; Jaime Ribeiro; Catarina Brandão; Francislê Neri de Souza; António Pedro Costa; Luís Paulo Reis ;
PUBLISHED: 2018, SOURCE: Advances in Intelligent Systems and Computing, VOLUME: 621, PAGES: 176-192
AUTHORS: Fábio Freitas; Jaime Ribeiro; Catarina Brandão; Francislê Neri de Souza; António Pedro Costa; Luís Paulo Reis ;
PUBLISHED: 2018, SOURCE: Advances in Intelligent Systems and Computing, VOLUME: 621, PAGES: 176-192
836
TITLE: Indoor Location Using Bluetooth Low Energy Beacons
AUTHORS: Ana Gomes; André Pinto; Christophe Soares ; Jose M Torres ; Pedro Sobral ; Rui S Moreira ;
PUBLISHED: 2018, SOURCE: 6th World Conference on Information Systems and Technologies, WorldCIST 2018 in Trends and Advances in Information Systems and Technologies - Volume 2 [WorldCIST'18, Naples, Italy, March 27-29, 2018], VOLUME: 746, PAGES: 565-580
AUTHORS: Ana Gomes; André Pinto; Christophe Soares ; Jose M Torres ; Pedro Sobral ; Rui S Moreira ;
PUBLISHED: 2018, SOURCE: 6th World Conference on Information Systems and Technologies, WorldCIST 2018 in Trends and Advances in Information Systems and Technologies - Volume 2 [WorldCIST'18, Naples, Italy, March 27-29, 2018], VOLUME: 746, PAGES: 565-580
837
TITLE: Izinto. a pattern-based IoT testing framework
AUTHORS: Pedro Martins Pontes; Bruno Lima ; João Pascoal Faria ;
PUBLISHED: 2018, SOURCE: Companion Proceedings for the ISSTA/ECOOP 2018 Workshops on - ISSTA '18
AUTHORS: Pedro Martins Pontes; Bruno Lima ; João Pascoal Faria ;
PUBLISHED: 2018, SOURCE: Companion Proceedings for the ISSTA/ECOOP 2018 Workshops on - ISSTA '18
838
TITLE: Izinto: a pattern-based IoT testing framework
AUTHORS: Pedro Martins Pontes; Bruno Lima ; João Pascoal Faria ;
PUBLISHED: 2018, SOURCE: 2018 International Symposium on Software Testing and Analysis, ISSTA 2018 in Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, ISSTA 2018, Amsterdam, Netherlands, July 16-21, 2018, PAGES: 125-131
AUTHORS: Pedro Martins Pontes; Bruno Lima ; João Pascoal Faria ;
PUBLISHED: 2018, SOURCE: 2018 International Symposium on Software Testing and Analysis, ISSTA 2018 in Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, ISSTA 2018, Amsterdam, Netherlands, July 16-21, 2018, PAGES: 125-131
INDEXED IN: Scopus DBLP
Scopus DBLP839
TITLE: Label Expansion for Multi-Label Classification
AUTHORS: Adriano Rivolli ; Carlos Soares ; Andre C P L F de Carvalho;
PUBLISHED: 2018, SOURCE: 7th Brazilian Conference on Intelligent Systems (BRACIS) in 2018 7TH BRAZILIAN CONFERENCE ON INTELLIGENT SYSTEMS (BRACIS), PAGES: 414-419
AUTHORS: Adriano Rivolli ; Carlos Soares ; Andre C P L F de Carvalho;
PUBLISHED: 2018, SOURCE: 7th Brazilian Conference on Intelligent Systems (BRACIS) in 2018 7TH BRAZILIAN CONFERENCE ON INTELLIGENT SYSTEMS (BRACIS), PAGES: 414-419
840
TITLE: Leveraging Qualitative Reasoning to Improve SFL
AUTHORS: Alexandre Perez; Rui Abreu ;
PUBLISHED: 2018, SOURCE: 27th International Joint Conference on Artificial Intelligence, IJCAI 2018 in Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm, Sweden., VOLUME: 2018-July, PAGES: 1935-1941
AUTHORS: Alexandre Perez; Rui Abreu ;
PUBLISHED: 2018, SOURCE: 27th International Joint Conference on Artificial Intelligence, IJCAI 2018 in Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, IJCAI 2018, July 13-19, 2018, Stockholm, Sweden., VOLUME: 2018-July, PAGES: 1935-1941
