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: 2670
83 Team MembersFilters -> Year: 2024
521
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
522
TITLE: Resource Analysis for Lazy Evaluation with Polynomial Potential
AUTHORS: Sara Moreira; Pedro B Vasconcelos ; Mário Florido ;
PUBLISHED: 2020, SOURCE: IFL 2020: 32nd Symposium on Implementation and Application of Functional Languages, Virtual Event / Canterbury, UK, September 2-4, 2020, PAGES: 104-114
AUTHORS: Sara Moreira; Pedro B Vasconcelos ; Mário Florido ;
PUBLISHED: 2020, SOURCE: IFL 2020: 32nd Symposium on Implementation and Application of Functional Languages, Virtual Event / Canterbury, UK, September 2-4, 2020, PAGES: 104-114
523
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
524
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
525
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
526
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
527
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
528
TITLE: Simulating collective decision-making for autonomous vehicles coordination enabled by vehicular networks: A computational social choice perspective Full Text
AUTHORS: Miguel Teixeira; Pedro M d'Orey ; Zafeiris Kokkinogenis ;
PUBLISHED: 2020, SOURCE: SIMULATION MODELLING PRACTICE AND THEORY, VOLUME: 98, PAGES: 101983
AUTHORS: Miguel Teixeira; Pedro M d'Orey ; Zafeiris Kokkinogenis ;
PUBLISHED: 2020, SOURCE: SIMULATION MODELLING PRACTICE AND THEORY, VOLUME: 98, PAGES: 101983
529
TITLE: Simulation of Gamification Elements to Promote Carpooling in a Closed Community
AUTHORS: Bruno Miguel Pinto; Rosaldo J F Rossetti ;
PUBLISHED: 2020, SOURCE: 2020 IEEE International Smart Cities Conference, ISC2 2020 in IEEE International Smart Cities Conference, ISC2 2020, Piscataway, NJ, USA, September 28 - October 1, 2020, PAGES: 1-7
AUTHORS: Bruno Miguel Pinto; Rosaldo J F Rossetti ;
PUBLISHED: 2020, SOURCE: 2020 IEEE International Smart Cities Conference, ISC2 2020 in IEEE International Smart Cities Conference, ISC2 2020, Piscataway, NJ, USA, September 28 - October 1, 2020, PAGES: 1-7
530
TITLE: SmartBugs. a framework to analyze solidity smart contracts
AUTHORS: João F Ferreira; Pedro Cruz; Thomas Durieux; Rui Abreu ;
PUBLISHED: 2020, SOURCE: Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering
AUTHORS: João F Ferreira; Pedro Cruz; Thomas Durieux; Rui Abreu ;
PUBLISHED: 2020, SOURCE: Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering
531
TITLE: SmartBugs: 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
INDEXED IN: Scopus WOS DBLP
532
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
533
TITLE: Source-to-source compilation targeting OpenMP-based automatic parallelization of C applications Full Text
AUTHORS: Hamid Arabnejad; Joao Bispo ; Joao M P Cardoso ; Jorge G Barbosa ;
PUBLISHED: 2020, SOURCE: JOURNAL OF SUPERCOMPUTING, VOLUME: 76, ISSUE: 9, PAGES: 6753-6785
AUTHORS: Hamid Arabnejad; Joao Bispo ; Joao M P Cardoso ; Jorge G Barbosa ;
PUBLISHED: 2020, SOURCE: JOURNAL OF SUPERCOMPUTING, VOLUME: 76, ISSUE: 9, PAGES: 6753-6785
534
TITLE: SPELLing out energy leaks: Aiding developers locate energy inefficient code Full Text
AUTHORS: Rui Pereira ; Tiago Carcao; Marco Couto ; Jacome Cunha ; Joao Paulo Fernandes ; Joao Saraiva ;
PUBLISHED: 2020, SOURCE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 161, PAGES: 110463
AUTHORS: Rui Pereira ; Tiago Carcao; Marco Couto ; Jacome Cunha ; Joao Paulo Fernandes ; Joao Saraiva ;
PUBLISHED: 2020, SOURCE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 161, PAGES: 110463
535
TITLE: Stress among Portuguese Medical Students: the EuStress Solution Full Text
AUTHORS: Silva, E ; Aguiar, J; Reis, LP ; Sa, JOE; Goncalves, J; Carvalho, V;
PUBLISHED: 2020, SOURCE: JOURNAL OF MEDICAL SYSTEMS, VOLUME: 44, ISSUE: 2, PAGES: 45
AUTHORS: Silva, E ; Aguiar, J; Reis, LP ; Sa, JOE; Goncalves, J; Carvalho, V;
PUBLISHED: 2020, SOURCE: JOURNAL OF MEDICAL SYSTEMS, VOLUME: 44, ISSUE: 2, PAGES: 45
536
TITLE: Test case generation based on mutations over user execution traces Full Text
AUTHORS: Ana C R Paiva ; André Restivo ; Sergio Almeida;
PUBLISHED: 2020, SOURCE: SOFTWARE QUALITY JOURNAL, VOLUME: 28, ISSUE: 3, PAGES: 1173-1186
AUTHORS: Ana C R Paiva ; André Restivo ; Sergio Almeida;
PUBLISHED: 2020, SOURCE: SOFTWARE QUALITY JOURNAL, VOLUME: 28, ISSUE: 3, PAGES: 1173-1186
537
TITLE: THE IMPACT OF VOLUNTEERING AND THE ACQUISITION OF SKILLS THROUGH PRACTICE
AUTHORS: Sara Oliveira; Mafalda Fernandes; Ana Carneiro; Marta Brandão; Francisco Campos; Rui Carreira ;
PUBLISHED: 2020, SOURCE: ICERI Proceedings - ICERI2020 Proceedings
AUTHORS: Sara Oliveira; Mafalda Fernandes; Ana Carneiro; Marta Brandão; Francisco Campos; Rui Carreira ;
PUBLISHED: 2020, SOURCE: ICERI Proceedings - ICERI2020 Proceedings
INDEXED IN: CrossRef
538
TITLE: The Use of Consumer Neuroscience Knowledge in Improving Real Promotional Media: The Case of Worten
AUTHORS: Marques dos Santos, José Paulo ; Ferreira, H; Reis, J; Prata, D; Simoes, SP; Borges, ID;
PUBLISHED: 2020, SOURCE: International Conference on Marketing and Technologies, ICMarkTech 2019 in MARKETING AND SMART TECHNOLOGIES, ICMARKTECH 2019, VOLUME: 167, PAGES: 202-218
AUTHORS: Marques dos Santos, José Paulo ; Ferreira, H; Reis, J; Prata, D; Simoes, SP; Borges, ID;
PUBLISHED: 2020, SOURCE: International Conference on Marketing and Technologies, ICMarkTech 2019 in MARKETING AND SMART TECHNOLOGIES, ICMARKTECH 2019, VOLUME: 167, PAGES: 202-218
539
TITLE: The Use of Influencers in Social Media Marketing
AUTHORS: Oliveira, M; Barbosa, R; Sousa, A ;
PUBLISHED: 2020, SOURCE: International Conference on Marketing and Technologies, ICMarkTech 2019 in Smart Innovation, Systems and Technologies, VOLUME: 167, PAGES: 112-124
AUTHORS: Oliveira, M; Barbosa, R; Sousa, A ;
PUBLISHED: 2020, SOURCE: International Conference on Marketing and Technologies, ICMarkTech 2019 in Smart Innovation, Systems and Technologies, VOLUME: 167, PAGES: 112-124
540
TITLE: Thermoplastic Composites and Their Promising Applications in Joining and Repair Composites Structures: A Review Full Text
AUTHORS: Reis, JP; de Moura, M ; Samborski, S;
PUBLISHED: 2020, SOURCE: MATERIALS, VOLUME: 13, ISSUE: 24, PAGES: 1-33
AUTHORS: Reis, JP; de Moura, M ; Samborski, S;
PUBLISHED: 2020, SOURCE: MATERIALS, VOLUME: 13, ISSUE: 24, PAGES: 1-33