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: 2691
85 Team MembersFilters -> Year: 2024
301
TITLE: Typed SLD-Resolution: Dynamic Typing for Logic Programming
AUTHORS: Barbosa, Joao ; Florido, Mario ; Costa, Vitor Santos ;
PUBLISHED: 2022, SOURCE: 32nd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR) in LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2022), VOLUME: 13474, PAGES: 123-141
AUTHORS: Barbosa, Joao ; Florido, Mario ; Costa, Vitor Santos ;
PUBLISHED: 2022, SOURCE: 32nd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR) in LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2022), VOLUME: 13474, PAGES: 123-141
302
TITLE: Using Simulation to Evaluate a Tube Perception Algorithm for Bin Picking
AUTHORS: Leao, Goncalo ; Costa, Carlos M. ; Sousa, Armando ; Reis, Luis Paulo ; Veiga, Germano ;
PUBLISHED: 2022, SOURCE: ROBOTICS, VOLUME: 11, ISSUE: 2, PAGES: 46
AUTHORS: Leao, Goncalo ; Costa, Carlos M. ; Sousa, Armando ; Reis, Luis Paulo ; Veiga, Germano ;
PUBLISHED: 2022, SOURCE: ROBOTICS, VOLUME: 11, ISSUE: 2, PAGES: 46
303
TITLE: WebAssembly versus JavaScript: Energy and Runtime Performance
AUTHORS: De Macedo, Joao; Abreu, Rui ; Pereira, Rui ; Saraiva, Joao ;
PUBLISHED: 2022, SOURCE: 8th International Conference on ICT for Sustainability (ICT4S) in 2022 INTERNATIONAL CONFERENCE ON ICT FOR SUSTAINABILITY (ICT4S 2022), PAGES: 24-34
AUTHORS: De Macedo, Joao; Abreu, Rui ; Pereira, Rui ; Saraiva, Joao ;
PUBLISHED: 2022, SOURCE: 8th International Conference on ICT for Sustainability (ICT4S) in 2022 INTERNATIONAL CONFERENCE ON ICT FOR SUSTAINABILITY (ICT4S 2022), PAGES: 24-34
304
TITLE: Which Technologies are Most Frequently Used by Data Scientists?
AUTHORS: Paula Pereira; João Paulo Fernandes ; Jácome Cunha ;
PUBLISHED: 2022, SOURCE: 2022 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2022 in 2022 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2022, Rome, Italy, September 12-16, 2022, VOLUME: 2022-September, PAGES: 1-5
AUTHORS: Paula Pereira; João Paulo Fernandes ; Jácome Cunha ;
PUBLISHED: 2022, SOURCE: 2022 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2022 in 2022 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2022, Rome, Italy, September 12-16, 2022, VOLUME: 2022-September, PAGES: 1-5
305
TITLE: YOLOv3: Traffic Signs & Lights Detection and Recognition for Autonomous Driving
AUTHORS: Marques, Rafael; Ribeiro, Tiago; Lopes, Gil ; Ribeiro, A. Fernando;
PUBLISHED: 2022, SOURCE: 14th International Conference on Agents and Artificial Intelligence (ICAART) in ICAART: PROCEEDINGS OF THE 14TH INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE - VOL 3, PAGES: 818-826
AUTHORS: Marques, Rafael; Ribeiro, Tiago; Lopes, Gil ; Ribeiro, A. Fernando;
PUBLISHED: 2022, SOURCE: 14th International Conference on Agents and Artificial Intelligence (ICAART) in ICAART: PROCEEDINGS OF THE 14TH INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE - VOL 3, PAGES: 818-826
306
TITLE: "Want to come play with me?" Outlier subgroup discovery on spatio-temporal interactions Full Text
AUTHORS: Carolina Centeio Jorge ; Atzmueller, M; Heravi, BM; Gibson, JL; Rossetti, RJF ; de Sa, CR;
PUBLISHED: 2021, SOURCE: EXPERT SYSTEMS, VOLUME: 40, ISSUE: 5
AUTHORS: Carolina Centeio Jorge ; Atzmueller, M; Heravi, BM; Gibson, JL; Rossetti, RJF ; de Sa, CR;
PUBLISHED: 2021, SOURCE: EXPERT SYSTEMS, VOLUME: 40, ISSUE: 5
307
TITLE: 6D Localization and Kicking for Humanoid Robotic Soccer Full Text
AUTHORS: Abreu, M ; Silva, T; Teixeira, H; Reis, LP ; Lau, N ;
PUBLISHED: 2021, SOURCE: JOURNAL OF INTELLIGENT & ROBOTIC SYSTEMS, VOLUME: 102, ISSUE: 2, PAGES: 30
AUTHORS: Abreu, M ; Silva, T; Teixeira, H; Reis, LP ; Lau, N ;
PUBLISHED: 2021, SOURCE: JOURNAL OF INTELLIGENT & ROBOTIC SYSTEMS, VOLUME: 102, ISSUE: 2, PAGES: 30
308
TITLE: A Binary Translation Framework for Automated Hardware Generation Full Text
AUTHORS: Paulino, N ; Bispo, J ; Ferreira, JC ; Cardoso, JMP ;
PUBLISHED: 2021, SOURCE: IEEE MICRO, VOLUME: 41, ISSUE: 4, PAGES: 15-22
AUTHORS: Paulino, N ; Bispo, J ; Ferreira, JC ; Cardoso, JMP ;
PUBLISHED: 2021, SOURCE: IEEE MICRO, VOLUME: 41, ISSUE: 4, PAGES: 15-22
309
TITLE: A Chatbot for Recipe Recommendation and Preference Modeling
AUTHORS: Samagaio, Alvaro Mendes; Cardoso, Henrique Lopes ; Ribeiro, David;
PUBLISHED: 2021, SOURCE: 20th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2021), VOLUME: 12981, PAGES: 389-402
AUTHORS: Samagaio, Alvaro Mendes; Cardoso, Henrique Lopes ; Ribeiro, David;
PUBLISHED: 2021, SOURCE: 20th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2021), VOLUME: 12981, PAGES: 389-402
310
TITLE: A Comparative Study of Automatic Program Repair Techniques for Security Vulnerabilities
AUTHORS: Pinconschi, Eduard; Abreu, Rui ; Adao, Pedro;
PUBLISHED: 2021, SOURCE: 32nd IEEE International Symposium on Software Reliability Engineering (ISSRE) in 2021 IEEE 32ND INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE 2021), VOLUME: 2021-October, PAGES: 196-207
AUTHORS: Pinconschi, Eduard; Abreu, Rui ; Adao, Pedro;
PUBLISHED: 2021, SOURCE: 32nd IEEE International Symposium on Software Reliability Engineering (ISSRE) in 2021 IEEE 32ND INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE 2021), VOLUME: 2021-October, PAGES: 196-207
311
TITLE: A CPG-Based Agile and Versatile Locomotion Framework Using Proximal Symmetry Loss
AUTHORS: Mohammadreza Kasaei; Miguel Abreu; Nuno Lau; Artur Pereira; Luís Paulo Reis ;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2103.00928
AUTHORS: Mohammadreza Kasaei; Miguel Abreu; Nuno Lau; Artur Pereira; Luís Paulo Reis ;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2103.00928
INDEXED IN: 
DBLP
DBLP312
TITLE: A Data-Driven Simulator for Assessing Decision-Making in Soccer
AUTHORS: Mendes Neves, Tiago ; Mendes Moreira, Joao ; Rossetti, Rosaldo J. F. ;
PUBLISHED: 2021, SOURCE: 20th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2021), VOLUME: 12981, PAGES: 687-698
AUTHORS: Mendes Neves, Tiago ; Mendes Moreira, Joao ; Rossetti, Rosaldo J. F. ;
PUBLISHED: 2021, SOURCE: 20th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2021), VOLUME: 12981, PAGES: 687-698
313
TITLE: A Graphical Framework for the Category-Based Metamodel for Access Control and Obligations
AUTHORS: Sandra Alves ; Jorge Iglésias;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2111.00588
AUTHORS: Sandra Alves ; Jorge Iglésias;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2111.00588
INDEXED IN: DBLP
DBLP314
TITLE: A Kolmogorov Complexity for multidisciplinary domains
AUTHORS: João S. Resende ; Marco Almeida; Rolando Martins ; Luís Antunes ;
PUBLISHED: 2021, SOURCE: Proceedings of Entropy 2021: The Scientific Tool of the 21st Century
AUTHORS: João S. Resende ; Marco Almeida; Rolando Martins ; Luís Antunes ;
PUBLISHED: 2021, SOURCE: Proceedings of Entropy 2021: The Scientific Tool of the 21st Century
INDEXED IN: 
CrossRef 
Unpaywall
CrossRef Unpaywall315
TITLE: A methodology and framework for software memoization of functions
AUTHORS: Pedro Pinto ; João M P Cardoso ;
PUBLISHED: 2021, SOURCE: 18th ACM International Conference on Computing Frontiers 2021, CF 2021 in CF '21: Computing Frontiers Conference, Virtual Event, Italy, May 11-13, 2021, PAGES: 93-101
AUTHORS: Pedro Pinto ; João M P Cardoso ;
PUBLISHED: 2021, SOURCE: 18th ACM International Conference on Computing Frontiers 2021, CF 2021 in CF '21: Computing Frontiers Conference, Virtual Event, Italy, May 11-13, 2021, PAGES: 93-101
316
TITLE: A QUBO Model to the Tail Assignment Problem
AUTHORS: Martins, LN; Rocha, AP ; Castro, AJM ;
PUBLISHED: 2021, SOURCE: 13th International Conference on Agents and Artificial Intelligence (ICAART) in ICAART: PROCEEDINGS OF THE 13TH INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE - VOL 2, VOLUME: 2, PAGES: 899-906
AUTHORS: Martins, LN; Rocha, AP ; Castro, AJM ;
PUBLISHED: 2021, SOURCE: 13th International Conference on Agents and Artificial Intelligence (ICAART) in ICAART: PROCEEDINGS OF THE 13TH INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE - VOL 2, VOLUME: 2, PAGES: 899-906
317
TITLE: A Resource-Based Model for Home Energy Management Using Multi-Agent Systems
AUTHORS: Martins, Sofia; Rossetti, Rosaldo J. F. ; Kokkinogenis, Zafeiris ;
PUBLISHED: 2021, SOURCE: IEEE International Smart Cities Conference (ISC2) in 2021 IEEE INTERNATIONAL SMART CITIES CONFERENCE (ISC2), PAGES: 1-4
AUTHORS: Martins, Sofia; Rossetti, Rosaldo J. F. ; Kokkinogenis, Zafeiris ;
PUBLISHED: 2021, SOURCE: IEEE International Smart Cities Conference (ISC2) in 2021 IEEE INTERNATIONAL SMART CITIES CONFERENCE (ISC2), PAGES: 1-4
318
TITLE: A Review on Visual Programming for Distributed Computation in IoT
AUTHORS: Margarida Silva; João Pedro Dias ; André Restivo ; Hugo Sereno Ferreira ;
PUBLISHED: 2021, SOURCE: Computational Science - ICCS 2021 - 21st International Conference, Krakow, Poland, June 16-18, 2021, Proceedings, Part IV, VOLUME: 12745, PAGES: 443-457
AUTHORS: Margarida Silva; João Pedro Dias ; André Restivo ; Hugo Sereno Ferreira ;
PUBLISHED: 2021, SOURCE: Computational Science - ICCS 2021 - 21st International Conference, Krakow, Poland, June 16-18, 2021, Proceedings, Part IV, VOLUME: 12745, PAGES: 443-457
319
TITLE: A Study in Search Pattern Efficiency Using Under-Actuated Aircraft Full Text
AUTHORS: Tiago Carvalho; Leonardo Ferreira; Daniel Castro Silva ;
PUBLISHED: 2021, SOURCE: International Journal of Engineering and Technology, VOLUME: 13, ISSUE: 3, PAGES: 24-30
AUTHORS: Tiago Carvalho; Leonardo Ferreira; Daniel Castro Silva ;
PUBLISHED: 2021, SOURCE: International Journal of Engineering and Technology, VOLUME: 13, ISSUE: 3, PAGES: 24-30
INDEXED IN: CrossRef Unpaywall
CrossRef Unpaywall320
TITLE: A Theoretical and Empirical Analysis of Program Spectra Diagnosability Full Text
AUTHORS: Perez, A; Abreu, R ; Van Deursen, A;
PUBLISHED: 2021, SOURCE: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOLUME: 47, ISSUE: 2, PAGES: 412-431
AUTHORS: Perez, A; Abreu, R ; Van Deursen, A;
PUBLISHED: 2021, SOURCE: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOLUME: 47, ISSUE: 2, PAGES: 412-431
