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: 2722
85 Team MembersFilters -> Year: 2025
561
TITLE: Proceedings of the 12th International Conference on Agents and Artificial Intelligence, ICAART 2020, Volume 2, Valletta, Malta, February 22-24, 2020
AUTHORS: Ana Paula Rocha ; Luc Steels; Jaap van v den Herik;
PUBLISHED: 2020, SOURCE: ICAART (2)
AUTHORS: Ana Paula Rocha ; Luc Steels; Jaap van v den Herik;
PUBLISHED: 2020, SOURCE: ICAART (2)
INDEXED IN: 
DBLP
DBLP562
TITLE: Process discovery on geolocation data
AUTHORS: Ribeiro, J ; Fontes, T ; Soares, C ; Borges, JL ;
PUBLISHED: 2020, SOURCE: 22nd EURO Working Group on Transportation Meeting, EWGT 2019 in Transportation Research Procedia, VOLUME: 47, PAGES: 139-146
AUTHORS: Ribeiro, J ; Fontes, T ; Soares, C ; Borges, JL ;
PUBLISHED: 2020, SOURCE: 22nd EURO Working Group on Transportation Meeting, EWGT 2019 in Transportation Research Procedia, VOLUME: 47, PAGES: 139-146
563
TITLE: Profiles of Professional Drivers Based on Drowsiness and Distraction Alerts
AUTHORS: Sónia Soares; Zafeiris Kokkinogenis ; Sara Ferreira; António Couto ;
PUBLISHED: 2020, SOURCE: 2nd International Conference on Human Interaction and Emerging Technologies: Future Applications, IHIET-AI 2020 in Human Interaction, Emerging Technologies and Future Applications II - Proceedings of the 2nd International Conference on Human Interaction and Emerging Technologies: Future Applications (IHIET - AI 2020), April 23-25, 2020, Lausanne, Switzerland, VOLUME: 1152, PAGES: 272-278
AUTHORS: Sónia Soares; Zafeiris Kokkinogenis ; Sara Ferreira; António Couto ;
PUBLISHED: 2020, SOURCE: 2nd International Conference on Human Interaction and Emerging Technologies: Future Applications, IHIET-AI 2020 in Human Interaction, Emerging Technologies and Future Applications II - Proceedings of the 2nd International Conference on Human Interaction and Emerging Technologies: Future Applications (IHIET - AI 2020), April 23-25, 2020, Lausanne, Switzerland, VOLUME: 1152, PAGES: 272-278
564
TITLE: Profiling IT Security and Interoperability in Brazilian Health Organisations From a Business Perspective
AUTHORS: Rui, RJ; Ricardo Martinho; Adicineia Aparecida Oliveira; Domingos Alves; Zilma Silveira N Nogueira Reis; Catia Santos Pereira; Manuel E. Correia ; Luis Filipe Antunes ; Ricardo Joao Cruz Correia ;
PUBLISHED: 2020, SOURCE: INTERNATIONAL JOURNAL OF E-HEALTH AND MEDICAL COMMUNICATIONS, VOLUME: 11, ISSUE: 2, PAGES: 96-114
AUTHORS: Rui, RJ; Ricardo Martinho; Adicineia Aparecida Oliveira; Domingos Alves; Zilma Silveira N Nogueira Reis; Catia Santos Pereira; Manuel E. Correia ; Luis Filipe Antunes ; Ricardo Joao Cruz Correia ;
PUBLISHED: 2020, SOURCE: INTERNATIONAL JOURNAL OF E-HEALTH AND MEDICAL COMMUNICATIONS, VOLUME: 11, ISSUE: 2, PAGES: 96-114
565
TITLE: Real-time Feedback in Node-RED for IoT Development: An Empirical Study
AUTHORS: Torres, D; Dias, JP ; André Restivo ; Ferreira, HS ;
PUBLISHED: 2020, SOURCE: IEEE/ACM 24th International Symposium on Distributed Simulation and Real Time Applications (DS-RT) in PROCEEDINGS OF THE 2020 IEEE/ACM 24TH INTERNATIONAL SYMPOSIUM ON DISTRIBUTED SIMULATION AND REAL TIME APPLICATIONS (DS-RT), PAGES: 92-99
AUTHORS: Torres, D; Dias, JP ; André Restivo ; Ferreira, HS ;
PUBLISHED: 2020, SOURCE: IEEE/ACM 24th International Symposium on Distributed Simulation and Real Time Applications (DS-RT) in PROCEEDINGS OF THE 2020 IEEE/ACM 24TH INTERNATIONAL SYMPOSIUM ON DISTRIBUTED SIMULATION AND REAL TIME APPLICATIONS (DS-RT), PAGES: 92-99
566
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
567
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
568
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
569
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 Openlibrary570
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
DBLP571
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
DBLP572
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
573
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
574
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
575
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
576
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
Scopus WOS DBLP577
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
578
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
579
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
580
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
