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: Preface
AUTHORS: Antunes, L ; Naldi, M; Italiano, GF; Rannenberg, K; Drogkaris, P;
PUBLISHED: 2020, SOURCE: 8th Annual Privacy Forum, APF 2020 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 12121 LNCS, ISSUE: 5
AUTHORS: Antunes, L ; Naldi, M; Italiano, GF; Rannenberg, K; Drogkaris, P;
PUBLISHED: 2020, SOURCE: 8th Annual Privacy Forum, APF 2020 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 12121 LNCS, ISSUE: 5
INDEXED IN: 
Scopus 
CrossRef
Scopus CrossRef563
TITLE: Privacy Technologies and Policy - 8th Annual Privacy Forum, APF 2020, Lisbon, Portugal, October 22-23, 2020, Proceedings
AUTHORS: Luís Antunes ; Maurizio Naldi; Giuseppe F Italiano; Kai Rannenberg; Prokopios Drogkaris;
PUBLISHED: 2020, SOURCE: APF, VOLUME: 12121
AUTHORS: Luís Antunes ; Maurizio Naldi; Giuseppe F Italiano; Kai Rannenberg; Prokopios Drogkaris;
PUBLISHED: 2020, SOURCE: APF, VOLUME: 12121
INDEXED IN: 
DBLP
DBLP564
TITLE: Proceedings of the 12th International Conference on Agents and Artificial Intelligence, ICAART 2020, Volume 1, Valletta, Malta, February 22-24, 2020
AUTHORS: Ana Paula Rocha ; Luc Steels; Jaap van v den Herik;
PUBLISHED: 2020, SOURCE: ICAART (1)
AUTHORS: Ana Paula Rocha ; Luc Steels; Jaap van v den Herik;
PUBLISHED: 2020, SOURCE: ICAART (1)
INDEXED IN: DBLP
DBLP565
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
DBLP566
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
567
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
568
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
569
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
570
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
571
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
572
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
573
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 Openlibrary574
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
DBLP575
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
DBLP576
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
577
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
578
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
579
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
580
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 DBLP