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: 3720
86 Team MembersFilters -> Year: 2026
1001
TITLE: Reinforcement Learning in Navigation and Cooperative Mapping
AUTHORS: Cruz, JA; Cardoso, HL ; Reis, LP ; Sousa, A ;
PUBLISHED: 2020, SOURCE: IEEE International Conference on Autonomous Robot Systems and Competitions (ICARSC) in 2020 IEEE INTERNATIONAL CONFERENCE ON AUTONOMOUS ROBOT SYSTEMS AND COMPETITIONS (ICARSC 2020), PAGES: 200-205
AUTHORS: Cruz, JA; Cardoso, HL ; Reis, LP ; Sousa, A ;
PUBLISHED: 2020, SOURCE: IEEE International Conference on Autonomous Robot Systems and Competitions (ICARSC) in 2020 IEEE INTERNATIONAL CONFERENCE ON AUTONOMOUS ROBOT SYSTEMS AND COMPETITIONS (ICARSC 2020), PAGES: 200-205
1002
TITLE: Resource Analysis for Lazy Evaluation with Polynomial Potential
AUTHORS: Sara Moreira; Pedro B Vasconcelos ; Mário Florido ;
PUBLISHED: 2020, SOURCE: IFL, PAGES: 104-114
AUTHORS: Sara Moreira; Pedro B Vasconcelos ; Mário Florido ;
PUBLISHED: 2020, SOURCE: IFL, PAGES: 104-114
1003
TITLE: Revocation Mechanisms for Academic Certificates Stored on a Blockchain
AUTHORS: Vidal, FR; Gouveia, F; Christophe Soares ;
PUBLISHED: 2020, SOURCE: 15th Iberian Conference on Information Systems and Technologies (CISTI) in 2020 15TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI'2020), VOLUME: 2020-June
AUTHORS: Vidal, FR; Gouveia, F; Christophe Soares ;
PUBLISHED: 2020, SOURCE: 15th Iberian Conference on Information Systems and Technologies (CISTI) in 2020 15TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI'2020), VOLUME: 2020-June
1004
TITLE: Robot 2019: Fourth Iberian Robotics Conference. Advances in Robotics, Volume 2
AUTHORS: Manuel F Silva ; José Luís Lima; Luís Paulo Reis ; Alberto Sanfeliu; Danilo Tardioli;
PUBLISHED: 2020, SOURCE: Advances in Intelligent Systems and Computing
AUTHORS: Manuel F Silva ; José Luís Lima; Luís Paulo Reis ; Alberto Sanfeliu; Danilo Tardioli;
PUBLISHED: 2020, SOURCE: Advances in Intelligent Systems and Computing
INDEXED IN: 
CrossRef 
Openlibrary
CrossRef Openlibrary1005
TITLE: Robot 2019: Fourth Iberian Robotics Conference - Advances in Robotics, Volume 1, Porto, Portugal, 20-22 November, 2019
AUTHORS: Manuel F Silva ; José Luís Lima; Luís Paulo Reis ; Alberto Sanfeliu; Danilo Tardioli;
PUBLISHED: 2020, SOURCE: ROBOT (1), VOLUME: 1092
AUTHORS: Manuel F Silva ; José Luís Lima; Luís Paulo Reis ; Alberto Sanfeliu; Danilo Tardioli;
PUBLISHED: 2020, SOURCE: ROBOT (1), VOLUME: 1092
INDEXED IN: 
DBLP
DBLP1006
TITLE: Robot 2019: Fourth Iberian Robotics Conference - Advances in Robotics, Volume 2, Porto, Portugal, 20-22 November, 2019
AUTHORS: Manuel F Silva ; José Luís Lima; Luís Paulo Reis ; Alberto Sanfeliu; Danilo Tardioli;
PUBLISHED: 2020, SOURCE: ROBOT (2), VOLUME: 1093
AUTHORS: Manuel F Silva ; José Luís Lima; Luís Paulo Reis ; Alberto Sanfeliu; Danilo Tardioli;
PUBLISHED: 2020, SOURCE: ROBOT (2), VOLUME: 1093
INDEXED IN: DBLP
DBLP1007
TITLE: Serious Pervasive Games
AUTHORS: António Coelho ; Rui Rodrigues ; Rui Nóbrega; Jacob, J ; Leonel Morgado ; Pedro Cardoso; Maria van Zeller ; Liliana Santos; António Augusto de Sousa ;
PUBLISHED: 2020, SOURCE: Frontiers Comput. Sci., VOLUME: 2, PAGES: 30
AUTHORS: António Coelho ; Rui Rodrigues ; Rui Nóbrega; Jacob, J ; Leonel Morgado ; Pedro Cardoso; Maria van Zeller ; Liliana Santos; António Augusto de Sousa ;
PUBLISHED: 2020, SOURCE: Frontiers Comput. Sci., VOLUME: 2, PAGES: 30
1008
TITLE: Simulating a Three-Lane Roundabout Using SUMO
AUTHORS: Leite, B; Azevedo, P; Leixo, R; Rossetti, RJF ;
PUBLISHED: 2020, SOURCE: 3rd European-Alliance-for-Innovation (EAI) International Conference on Intelligent Transport Systems (INTSYS) in INTELLIGENT TRANSPORT SYSTEMS, VOLUME: 310, PAGES: 18-31
AUTHORS: Leite, B; Azevedo, P; Leixo, R; Rossetti, RJF ;
PUBLISHED: 2020, SOURCE: 3rd European-Alliance-for-Innovation (EAI) International Conference on Intelligent Transport Systems (INTSYS) in INTELLIGENT TRANSPORT SYSTEMS, VOLUME: 310, PAGES: 18-31
1009
TITLE: Simulating collective decision-making for autonomous vehicles coordination enabled by vehicular networks: A computational social choice perspective Full Text
AUTHORS: Teixeira, M; d'Orey, PM ; Kokkinogenis, Z ;
PUBLISHED: 2020, SOURCE: SIMULATION MODELLING PRACTICE AND THEORY, VOLUME: 98, PAGES: 101983
AUTHORS: Teixeira, M; d'Orey, PM ; Kokkinogenis, Z ;
PUBLISHED: 2020, SOURCE: SIMULATION MODELLING PRACTICE AND THEORY, VOLUME: 98, PAGES: 101983
1010
TITLE: Simulation of Gamification Elements to Promote Carpooling in a Closed Community
AUTHORS: Bruno Miguel Pinto; Rosaldo J F Rossetti ;
PUBLISHED: 2020, SOURCE: ISC2, PAGES: 1-7
AUTHORS: Bruno Miguel Pinto; Rosaldo J F Rossetti ;
PUBLISHED: 2020, SOURCE: ISC2, PAGES: 1-7
1011
TITLE: Smart Data Visualisation as a Stepping Stone for Industry 4.0-a Case Study in Investment Casting Industry
AUTHORS: Cruz, AB; Sousa, A ; Cardoso, A; Valente, B; Reis, A ;
PUBLISHED: 2020, SOURCE: 4th Iberian Robotics Conference (Robot) - Advances in Robotics in FOURTH IBERIAN ROBOTICS CONFERENCE: ADVANCES IN ROBOTICS, ROBOT 2019, VOL 1, VOLUME: 1092, PAGES: 657-668
AUTHORS: Cruz, AB; Sousa, A ; Cardoso, A; Valente, B; Reis, A ;
PUBLISHED: 2020, SOURCE: 4th Iberian Robotics Conference (Robot) - Advances in Robotics in FOURTH IBERIAN ROBOTICS CONFERENCE: ADVANCES IN ROBOTICS, ROBOT 2019, VOL 1, VOLUME: 1092, PAGES: 657-668
1012
TITLE: Smart Vest for Real-Time Postural Biofeedback and Ergonomic Risk Assessment
AUTHORS: Cerqueira, SM; Da Silva, AF; Santos, CP ;
PUBLISHED: 2020, SOURCE: IEEE ACCESS, VOLUME: 8, PAGES: 107583-107592
AUTHORS: Cerqueira, SM; Da Silva, AF; Santos, CP ;
PUBLISHED: 2020, SOURCE: IEEE ACCESS, VOLUME: 8, PAGES: 107583-107592
1013
TITLE: SmartBugs: A Framework to Analyze Solidity Smart Contracts. a framework to analyze solidity smart contracts
AUTHORS: Ferreira, JF ; Cruz, P; Durieux, T; Abreu, R ;
PUBLISHED: 2020, SOURCE: 35th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2020 35TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2020), PAGES: 1349-1352
AUTHORS: Ferreira, JF ; Cruz, P; Durieux, T; Abreu, R ;
PUBLISHED: 2020, SOURCE: 35th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2020 35TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2020), PAGES: 1349-1352
1014
TITLE: SmartGC: a software architecture for garbage collection in smart cities
AUTHORS: Ramalho, MS; Rossetti, RJF ; Cacho, N; Souza, A;
PUBLISHED: 2020, SOURCE: INTERNATIONAL JOURNAL OF BIO-INSPIRED COMPUTATION, VOLUME: 16, ISSUE: 2, PAGES: 79-93
AUTHORS: Ramalho, MS; Rossetti, RJF ; Cacho, N; Souza, A;
PUBLISHED: 2020, SOURCE: INTERNATIONAL JOURNAL OF BIO-INSPIRED COMPUTATION, VOLUME: 16, ISSUE: 2, PAGES: 79-93
1015
TITLE: Source-to-source compilation targeting OpenMP-based automatic parallelization of C applications Full Text
AUTHORS: Arabnejad, H; Bispo, J ; Cardoso, JMP ; Barbosa, JG ;
PUBLISHED: 2020, SOURCE: JOURNAL OF SUPERCOMPUTING, VOLUME: 76, ISSUE: 9, PAGES: 6753-6785
AUTHORS: Arabnejad, H; Bispo, J ; Cardoso, JMP ; Barbosa, JG ;
PUBLISHED: 2020, SOURCE: JOURNAL OF SUPERCOMPUTING, VOLUME: 76, ISSUE: 9, PAGES: 6753-6785
1016
TITLE: SPELLing out energy leaks: Aiding developers locate energy inefficient code Full Text
AUTHORS: Pereira, R ; Carçao, T; Couto, M ; Cunha, J ; Fernandes, JP ; Saraiva, J ;
PUBLISHED: 2020, SOURCE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 161, PAGES: 110463
AUTHORS: Pereira, R ; Carçao, T; Couto, M ; Cunha, J ; Fernandes, JP ; Saraiva, J ;
PUBLISHED: 2020, SOURCE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 161, PAGES: 110463
1017
TITLE: Step changes in the intertrial interval in the midsession reversal task: Predicting pigeons' performance with the learning-to-time model Full Text
AUTHORS: Soares, C; Santos, C ; Machado, A; Vasconcelos, M;
PUBLISHED: 2020, SOURCE: JOURNAL OF THE EXPERIMENTAL ANALYSIS OF BEHAVIOR, VOLUME: 114, ISSUE: 3, PAGES: 337-353
AUTHORS: Soares, C; Santos, C ; Machado, A; Vasconcelos, M;
PUBLISHED: 2020, SOURCE: JOURNAL OF THE EXPERIMENTAL ANALYSIS OF BEHAVIOR, VOLUME: 114, ISSUE: 3, PAGES: 337-353
1018
TITLE: Stress among Portuguese Medical Students: the EuStress Solution Full Text
AUTHORS: Silva, E ; Aguiar, J; Reis, LP ; Sá, JOE; Gonçalves, J ; Carvalho, V;
PUBLISHED: 2020, SOURCE: JOURNAL OF MEDICAL SYSTEMS, VOLUME: 44, ISSUE: 2, PAGES: 45
AUTHORS: Silva, E ; Aguiar, J; Reis, LP ; Sá, JOE; Gonçalves, J ; Carvalho, V;
PUBLISHED: 2020, SOURCE: JOURNAL OF MEDICAL SYSTEMS, VOLUME: 44, ISSUE: 2, PAGES: 45
1019
TITLE: Teaching Mobile Robotics Using the Autonomous Driving Simulator of the Portuguese Robotics Open
AUTHORS: Valter Costa ; Cebola, P; Tavares, P; Morais, V ; Sousa, A ;
PUBLISHED: 2020, SOURCE: 4th Iberian Robotics Conference (Robot) - Advances in Robotics in FOURTH IBERIAN ROBOTICS CONFERENCE: ADVANCES IN ROBOTICS, ROBOT 2019, VOL 1, VOLUME: 1092, PAGES: 455-466
AUTHORS: Valter Costa ; Cebola, P; Tavares, P; Morais, V ; Sousa, A ;
PUBLISHED: 2020, SOURCE: 4th Iberian Robotics Conference (Robot) - Advances in Robotics in FOURTH IBERIAN ROBOTICS CONFERENCE: ADVANCES IN ROBOTICS, ROBOT 2019, VOL 1, VOLUME: 1092, PAGES: 455-466
1020
TITLE: Test case generation based on mutations over user execution traces Full Text
AUTHORS: Paiva, ACR ; André Restivo ; Almeida, S;
PUBLISHED: 2020, SOURCE: SOFTWARE QUALITY JOURNAL, VOLUME: 28, ISSUE: 3, PAGES: 1173-1186
AUTHORS: Paiva, ACR ; André Restivo ; Almeida, S;
PUBLISHED: 2020, SOURCE: SOFTWARE QUALITY JOURNAL, VOLUME: 28, ISSUE: 3, PAGES: 1173-1186
