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: 2665
83 Team MembersFilters -> Year: 2024
281
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
282
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
283
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
284
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
285
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
286
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
287
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
288
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
289
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
290
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
291
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
DBLP292
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
293
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
DBLP294
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 Unpaywall295
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
296
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
297
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
298
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
299
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 Unpaywall300
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
