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: 3687
85 Team MembersFilters -> Year: 2026
1441
TITLE: Traffic Simulation of Lane-Merging of Autonomous Vehicles in the Context of Platooning
AUTHORS: Gil Domingues; João Cabral; João Mota; Pedro Pontes; Zafeiris Kokkinogenis ; Rosaldo J F Rossetti ;
PUBLISHED: 2018, SOURCE: 2018 IEEE International Smart Cities Conference, ISC2 2018 in IEEE International Smart Cities Conference, ISC2 2018, Kansas City, MO, USA, September 16-19, 2018, PAGES: 1-6
AUTHORS: Gil Domingues; João Cabral; João Mota; Pedro Pontes; Zafeiris Kokkinogenis ; Rosaldo J F Rossetti ;
PUBLISHED: 2018, SOURCE: 2018 IEEE International Smart Cities Conference, ISC2 2018 in IEEE International Smart Cities Conference, ISC2 2018, Kansas City, MO, USA, September 16-19, 2018, PAGES: 1-6
1442
TITLE: Transactions on Computational Collective Intelligence XXVIII
AUTHORS: Ngoc Thanh Nguyen; Ryszard Kowalczyk; Jaap van v den Herik; Ana Paula Rocha ; Joaquim Filipe;
PUBLISHED: 2018, SOURCE: Trans. Computational Collective Intelligence, VOLUME: 10780
AUTHORS: Ngoc Thanh Nguyen; Ryszard Kowalczyk; Jaap van v den Herik; Ana Paula Rocha ; Joaquim Filipe;
PUBLISHED: 2018, SOURCE: Trans. Computational Collective Intelligence, VOLUME: 10780
INDEXED IN: 
DBLP
DBLP1443
TITLE: Trends and Advances in Information Systems and Technologies. Volume 1
AUTHORS: Álvaro Rocha; Hojjat Adeli; Luís Paulo Reis ; Sandra Costanzo;
PUBLISHED: 2018, SOURCE: Advances in Intelligent Systems and Computing
AUTHORS: Álvaro Rocha; Hojjat Adeli; Luís Paulo Reis ; Sandra Costanzo;
PUBLISHED: 2018, SOURCE: Advances in Intelligent Systems and Computing
1444
TITLE: Trends and Advances in Information Systems and Technologies. Volume 3
AUTHORS: Álvaro Rocha; Hojjat Adeli; Luís Paulo Reis ; Sandra Costanzo;
PUBLISHED: 2018
AUTHORS: Álvaro Rocha; Hojjat Adeli; Luís Paulo Reis ; Sandra Costanzo;
PUBLISHED: 2018
INDEXED IN: 
Openlibrary
Openlibrary1445
TITLE: Trends and Advances in Information Systems and Technologies - Volume 1 [WorldCIST'18, Naples, Italy, March 27-29, 2018]
AUTHORS: Álvaro Rocha ; Ana Maria Ramalho Correia; Hojjat Adeli; Luís Paulo Reis ; Marcelo Mendonça Teixeira;
PUBLISHED: 2018, SOURCE: WorldCIST (1), VOLUME: 745
AUTHORS: Álvaro Rocha ; Ana Maria Ramalho Correia; Hojjat Adeli; Luís Paulo Reis ; Marcelo Mendonça Teixeira;
PUBLISHED: 2018, SOURCE: WorldCIST (1), VOLUME: 745
INDEXED IN: DBLP
DBLP1446
TITLE: Trends and Advances in Information Systems and Technologies - Volume 2 [WorldCIST'18, Naples, Italy, March 27-29, 2018]
AUTHORS: Álvaro Rocha ; Hojjat Adeli; Luís Paulo Reis ; Sandra Costanzo;
PUBLISHED: 2018, SOURCE: 2013 World Conference on Information Systems and Technologies, WorldCIST 2013 in WorldCIST (2), VOLUME: 746
AUTHORS: Álvaro Rocha ; Hojjat Adeli; Luís Paulo Reis ; Sandra Costanzo;
PUBLISHED: 2018, SOURCE: 2013 World Conference on Information Systems and Technologies, WorldCIST 2013 in WorldCIST (2), VOLUME: 746
INDEXED IN: 
Scopus DBLP
Scopus DBLP1447
TITLE: Trends and Advances in Information Systems and Technologies - Volume 3 [WorldCIST'18, Naples, Italy, March 27-29, 2018]. Volume 1
AUTHORS: Álvaro Rocha ; Hojjat Adeli; Luís Paulo Reis ; Sandra Costanzo;
PUBLISHED: 2018, SOURCE: WorldCIST (3), VOLUME: 747
AUTHORS: Álvaro Rocha ; Hojjat Adeli; Luís Paulo Reis ; Sandra Costanzo;
PUBLISHED: 2018, SOURCE: WorldCIST (3), VOLUME: 747
INDEXED IN: DBLP Openlibrary
DBLP Openlibrary1448
TITLE: Três por sete : três temas, sete pensamentos
AUTHORS: Armando B Mendes ; Áurea Sousa; Helena Melo; Jerónimo Nunes; Maria d C Martins; Osvaldo Silva; Paulo Medeiros;
PUBLISHED: 2018, SOURCE: Três por sete : três temas, sete pensamentos
AUTHORS: Armando B Mendes ; Áurea Sousa; Helena Melo; Jerónimo Nunes; Maria d C Martins; Osvaldo Silva; Paulo Medeiros;
PUBLISHED: 2018, SOURCE: Três por sete : três temas, sete pensamentos
INDEXED IN: 
Handle
Handle1449
TITLE: Using Automatic Refactoring to Improve Energy Efficiency of Android Apps
AUTHORS: Luis Cruz; Rui Abreu ;
PUBLISHED: 2018, SOURCE: 21st Ibero-American Conference on Software Engineering, CIbSE 2018 in Proceedings of the XXI Iberoamerican Conference on Software Engineering, Bogota, Colombia, April 23-27, 2018., PAGES: 163-176
AUTHORS: Luis Cruz; Rui Abreu ;
PUBLISHED: 2018, SOURCE: 21st Ibero-American Conference on Software Engineering, CIbSE 2018 in Proceedings of the XXI Iberoamerican Conference on Software Engineering, Bogota, Colombia, April 23-27, 2018., PAGES: 163-176
INDEXED IN: Scopus DBLP
Scopus DBLP1450
TITLE: Using Metalearning for Parameter Tuning in Neural Networks
AUTHORS: Catarina Felix ; Carlos Soares ; Alipio Jorge ; Hugo Ferreira ;
PUBLISHED: 2018, SOURCE: 6th ECCOMAS Thematic Conference on Computational Vision and Medical Image Processing (VipIMAGE) in VIPIMAGE 2017, VOLUME: 27, PAGES: 1081-1090
AUTHORS: Catarina Felix ; Carlos Soares ; Alipio Jorge ; Hugo Ferreira ;
PUBLISHED: 2018, SOURCE: 6th ECCOMAS Thematic Conference on Computational Vision and Medical Image Processing (VipIMAGE) in VIPIMAGE 2017, VOLUME: 27, PAGES: 1081-1090
1451
TITLE: Validation of a knee angle measurement system based on imus
AUTHORS: Nuno Ferrete Ribeiro; César Ferreira; Luis Paulo Reis ; Hélder Silva; Pedro Macedo; Luís Rocha; Cristina P Santos ;
PUBLISHED: 2018, SOURCE: Human-Centric Robotics- Proceedings of the 20th International Conference on Climbing and Walking Robots and the Support Technologies for Mobile Machines, CLAWAR 2017, PAGES: 645-652
AUTHORS: Nuno Ferrete Ribeiro; César Ferreira; Luis Paulo Reis ; Hélder Silva; Pedro Macedo; Luís Rocha; Cristina P Santos ;
PUBLISHED: 2018, SOURCE: Human-Centric Robotics- Proceedings of the 20th International Conference on Climbing and Walking Robots and the Support Technologies for Mobile Machines, CLAWAR 2017, PAGES: 645-652
1452
TITLE: Verification of highly imperative OCaml programs with Why3 [Vérification de programmes OCaml fortement impératifs avec Why3]
AUTHORS: Filliâtre, JC; Pereira, M; de Sousa, SM ;
PUBLISHED: 2018, SOURCE: Vingt-neuviemes Journees Francophones des Langages Applicatifs, JFLA 2018 - 29th French-Speaking Conference on Applicative Languages, JFLA 2018 in JFLA 2018 - Journees Francophones des Langages Applicatifs, PAGES: 151-164
AUTHORS: Filliâtre, JC; Pereira, M; de Sousa, SM ;
PUBLISHED: 2018, SOURCE: Vingt-neuviemes Journees Francophones des Langages Applicatifs, JFLA 2018 - 29th French-Speaking Conference on Applicative Languages, JFLA 2018 in JFLA 2018 - Journees Francophones des Langages Applicatifs, PAGES: 151-164
INDEXED IN: Scopus
Scopus1453
TITLE: Wearables with Heart Rate Monitors and Dynamic Workout Plans
AUTHORS: Antonio Ferreira; Jorge Coelho ; Nuno Nogueira;
PUBLISHED: 2018, SOURCE: 14th IEEE International Wireless Communications and Mobile Computing Conference (IWCMC) in 2018 14TH INTERNATIONAL WIRELESS COMMUNICATIONS & MOBILE COMPUTING CONFERENCE (IWCMC), PAGES: 376-381
AUTHORS: Antonio Ferreira; Jorge Coelho ; Nuno Nogueira;
PUBLISHED: 2018, SOURCE: 14th IEEE International Wireless Communications and Mobile Computing Conference (IWCMC) in 2018 14TH INTERNATIONAL WIRELESS COMMUNICATIONS & MOBILE COMPUTING CONFERENCE (IWCMC), PAGES: 376-381
1454
TITLE: WebQDA 2.0 versus webQDA 3.0: A comparative study about usability of qualitative data analysis software
AUTHORS: António Pedro Costa ; Francislê Neri de Souza; António Moreira ; Dayse Neri de Souza;
PUBLISHED: 2018, SOURCE: Studies in Computational Intelligence, VOLUME: 718, PAGES: 229-240
AUTHORS: António Pedro Costa ; Francislê Neri de Souza; António Moreira ; Dayse Neri de Souza;
PUBLISHED: 2018, SOURCE: Studies in Computational Intelligence, VOLUME: 718, PAGES: 229-240
1455
TITLE: Welcome to Engineering: Gender Equality in Learning and Integration among First Year Students
AUTHORS: Manuel Torres ; Sara Ferreira ; Armando Sousa ; Luciano Moreira ; Raquel Torres;
PUBLISHED: 2018, SOURCE: INTERNATIONAL JOURNAL OF ENGINEERING EDUCATION, VOLUME: 34, ISSUE: 1, PAGES: 45-55
AUTHORS: Manuel Torres ; Sara Ferreira ; Armando Sousa ; Luciano Moreira ; Raquel Torres;
PUBLISHED: 2018, SOURCE: INTERNATIONAL JOURNAL OF ENGINEERING EDUCATION, VOLUME: 34, ISSUE: 1, PAGES: 45-55
INDEXED IN: Scopus 
WOS
Scopus WOS1456
TITLE: Witness Hiding Without Extractors or Simulators
AUTHORS: Andre Souto ; Luis Antunes ; Paulo Mateus; Andreia Teixeira ;
PUBLISHED: 2018, SOURCE: 14th Conference on Computability in Europe (CiE) in SAILING ROUTES IN THE WORLD OF COMPUTATION, VOLUME: 10936, PAGES: 397-409
AUTHORS: Andre Souto ; Luis Antunes ; Paulo Mateus; Andreia Teixeira ;
PUBLISHED: 2018, SOURCE: 14th Conference on Computability in Europe (CiE) in SAILING ROUTES IN THE WORLD OF COMPUTATION, VOLUME: 10936, PAGES: 397-409
1457
TITLE: 11th Workshop on Logical and Semantic Frameworks with Applications, LSFA 2016, Porto, Portugal, January 1, 2016
AUTHORS: Vivek Nigam; Mário Florido ;
PUBLISHED: 2017, SOURCE: LSFA, VOLUME: 332
AUTHORS: Vivek Nigam; Mário Florido ;
PUBLISHED: 2017, SOURCE: LSFA, VOLUME: 332
INDEXED IN: DBLP
DBLP1458
TITLE: 3DSlicer module to perform registration: An intraoperative situation
AUTHORS: Roberto M Barbosa; Luís Serrador; Bruno Santos; Silva M.V.; Elena De Momi; Cristina Santos ;
PUBLISHED: 2017, SOURCE: 2017 IEEE International Conference on Autonomous Robot Systems and Competitions, ICARSC 2017, PAGES: 55-60
AUTHORS: Roberto M Barbosa; Luís Serrador; Bruno Santos; Silva M.V.; Elena De Momi; Cristina Santos ;
PUBLISHED: 2017, SOURCE: 2017 IEEE International Conference on Autonomous Robot Systems and Competitions, ICARSC 2017, PAGES: 55-60
INDEXED IN: Scopus 
CrossRef
Scopus CrossRef1459
TITLE: A Comparative Cost Study of Fault-Tolerant Techniques for Availability on the Cloud
AUTHORS: Altino M Sampaio ; Jorge G Barbosa ;
PUBLISHED: 2017, SOURCE: 8th International Symposium on Ambient Intelligence (ISAmI) in AMBIENT INTELLIGENCE- SOFTWARE AND APPLICATIONS- 8TH INTERNATIONAL SYMPOSIUM ON AMBIENT INTELLIGENCE (ISAMI 2017), VOLUME: 615, PAGES: 263-268
AUTHORS: Altino M Sampaio ; Jorge G Barbosa ;
PUBLISHED: 2017, SOURCE: 8th International Symposium on Ambient Intelligence (ISAmI) in AMBIENT INTELLIGENCE- SOFTWARE AND APPLICATIONS- 8TH INTERNATIONAL SYMPOSIUM ON AMBIENT INTELLIGENCE (ISAMI 2017), VOLUME: 615, PAGES: 263-268
1460
TITLE: A Database of Existing Vulnerabilities to Enable Controlled Testing Studies
AUTHORS: Sofia Reis; Rui Abreu ;
PUBLISHED: 2017, SOURCE: IJSSE, VOLUME: 8, ISSUE: 3, PAGES: 1-23
AUTHORS: Sofia Reis; Rui Abreu ;
PUBLISHED: 2017, SOURCE: IJSSE, VOLUME: 8, ISSUE: 3, PAGES: 1-23
INDEXED IN: DBLP
DBLP