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: 3689
85 Team MembersFilters -> Year: 2026
1222
TITLE: Towards a formally verified space mission software using SPARK
AUTHORS: Neto, P; Tojal, J; Veríssimo, J; Melo de Sousa, S ;
PUBLISHED: 2019, SOURCE: Ada User Journal, VOLUME: 40, ISSUE: 4, PAGES: 243-246
AUTHORS: Neto, P; Tojal, J; Veríssimo, J; Melo de Sousa, S ;
PUBLISHED: 2019, SOURCE: Ada User Journal, VOLUME: 40, ISSUE: 4, PAGES: 243-246
INDEXED IN: 
Scopus
Scopus1223
TITLE: Towards a Pattern Language for the Masters Student
AUTHORS: Hugo Sereno Ferreira ; André Restivo ; Tiago Boldt Sousa ;
PUBLISHED: 2019, SOURCE: 24th European Conference on Pattern Languages of Programs (EuroPLoP) in PROCEEDINGS OF THE 24TH EUROPEAN CONFERENCE ON PATTERN LANGUAGES OF PROGRAMS (EUROPLOP 2019), PAGES: 34:1-34:12
AUTHORS: Hugo Sereno Ferreira ; André Restivo ; Tiago Boldt Sousa ;
PUBLISHED: 2019, SOURCE: 24th European Conference on Pattern Languages of Programs (EuroPLoP) in PROCEEDINGS OF THE 24TH EUROPEAN CONFERENCE ON PATTERN LANGUAGES OF PROGRAMS (EUROPLOP 2019), PAGES: 34:1-34:12
1224
TITLE: Transportation Policy Evaluation Using Minority Games and Agent-Based Simulation
AUTHORS: Hajar Baghcheband; Zafeiris Kokkinogenis ; Rosaldo J F Rossetti ;
PUBLISHED: 2019, SOURCE: 5th IEEE International Smart Cities Conference, ISC2 2019 in 2019 IEEE International Smart Cities Conference, ISC2 2019, Casablanca, Morocco, October 14-17, 2019, PAGES: 498-503
AUTHORS: Hajar Baghcheband; Zafeiris Kokkinogenis ; Rosaldo J F Rossetti ;
PUBLISHED: 2019, SOURCE: 5th IEEE International Smart Cities Conference, ISC2 2019 in 2019 IEEE International Smart Cities Conference, ISC2 2019, Casablanca, Morocco, October 14-17, 2019, PAGES: 498-503
1225
TITLE: Trusted Data Transformation with Blockchain Technology in Open Data
AUTHORS: Bruno Tavares; Filipe Figueiredo Correia ; André Restivo ;
PUBLISHED: 2019, SOURCE: 16th International Conference on Distributed Computing and Artificial Intelligence, DCAI 2019 in Distributed Computing and Artificial Intelligence, 16th International Conference, DCAI 2019, Avila, Spain, 26-28 June, 2019, Special Sessions, VOLUME: 1004, PAGES: 213-216
AUTHORS: Bruno Tavares; Filipe Figueiredo Correia ; André Restivo ;
PUBLISHED: 2019, SOURCE: 16th International Conference on Distributed Computing and Artificial Intelligence, DCAI 2019 in Distributed Computing and Artificial Intelligence, 16th International Conference, DCAI 2019, Avila, Spain, 26-28 June, 2019, Special Sessions, VOLUME: 1004, PAGES: 213-216
1226
TITLE: Type Inference for Rank 2 Gradual Intersection Types
AUTHORS: Ângelo, Pedro ; Mário Florido ;
PUBLISHED: 2019, SOURCE: 20th International Symposium on Trends in Functional Programming, TFP 2019 in Trends in Functional Programming - 20th International Symposium, TFP 2019, Vancouver, BC, Canada, June 12-14, 2019, Revised Selected Papers, VOLUME: 12053, PAGES: 84-120
AUTHORS: Ângelo, Pedro ; Mário Florido ;
PUBLISHED: 2019, SOURCE: 20th International Symposium on Trends in Functional Programming, TFP 2019 in Trends in Functional Programming - 20th International Symposium, TFP 2019, Vancouver, BC, Canada, June 12-14, 2019, Revised Selected Papers, VOLUME: 12053, PAGES: 84-120
1227
TITLE: Unfolding and folding: A new approach for code restructuring targeting HLS for FPGAs
AUTHORS: Ferreira, AC; Cardoso, JMP ;
PUBLISHED: 2019, SOURCE: 5th International Workshop on FPGAs for Software Programmers, FSP 2018, co-located with International Conference on Field Programmable Logic and Applications, FPL 2018 in 5th International Workshop on FPGAs for Software Programmers, FSP 2018, co-located with International Conference on Field Programmable Logic and Applications, FPL 2018, PAGES: 28-37
AUTHORS: Ferreira, AC; Cardoso, JMP ;
PUBLISHED: 2019, SOURCE: 5th International Workshop on FPGAs for Software Programmers, FSP 2018, co-located with International Conference on Field Programmable Logic and Applications, FPL 2018 in 5th International Workshop on FPGAs for Software Programmers, FSP 2018, co-located with International Conference on Field Programmable Logic and Applications, FPL 2018, PAGES: 28-37
INDEXED IN: Scopus
Scopus1228
TITLE: User Behaviour Analysis and Personalized TV Content Recommendation
AUTHORS: Ribeiro, AC ; Frazão, R; Oliveira e Sá, J;
PUBLISHED: 2019, SOURCE: 10th International Conference on Intelligent Technologies for Interactive Entertainment, INTETAIN 2018 in Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST, VOLUME: 273, PAGES: 127-136
AUTHORS: Ribeiro, AC ; Frazão, R; Oliveira e Sá, J;
PUBLISHED: 2019, SOURCE: 10th International Conference on Intelligent Technologies for Interactive Entertainment, INTETAIN 2018 in Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST, VOLUME: 273, PAGES: 127-136
INDEXED IN: Scopus 
CrossRef
Scopus CrossRef1229
TITLE: Using AR Interfaces to Support Industrial Maintenance Procedures
AUTHORS: Cachada, A; Costa, D; Badikyan, H; Barbosa, J ; Leitao, P; Morais, O; Teixeira, C; Azevedo, J; Moreira, PM; Romero, L ;
PUBLISHED: 2019, SOURCE: 45th Annual Conference of the IEEE Industrial Electronics Society (IECON) in 45TH ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY (IECON 2019), PAGES: 3795-3800
AUTHORS: Cachada, A; Costa, D; Badikyan, H; Barbosa, J ; Leitao, P; Morais, O; Teixeira, C; Azevedo, J; Moreira, PM; Romero, L ;
PUBLISHED: 2019, SOURCE: 45th Annual Conference of the IEEE Industrial Electronics Society (IECON) in 45TH ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY (IECON 2019), PAGES: 3795-3800
INDEXED IN: 
WOS 
DBLP
WOS DBLP1230
TITLE: Using AR Interfaces to Support Industrial Maintenance Procedures
AUTHORS: Cachada, A; Romero, L; Costa, D; Badikyan, H; Barbosa, J; Leitao, P ; Morais, O; Teixeira, C; Azevedo, J; Moreira, PM ;
PUBLISHED: 2019, SOURCE: 45th Annual Conference of the IEEE Industrial Electronics Society, IECON 2019 in IECON Proceedings (Industrial Electronics Conference), VOLUME: 2019-October, PAGES: 3795-3800
AUTHORS: Cachada, A; Romero, L; Costa, D; Badikyan, H; Barbosa, J; Leitao, P ; Morais, O; Teixeira, C; Azevedo, J; Moreira, PM ;
PUBLISHED: 2019, SOURCE: 45th Annual Conference of the IEEE Industrial Electronics Society, IECON 2019 in IECON Proceedings (Industrial Electronics Conference), VOLUME: 2019-October, PAGES: 3795-3800
1231
TITLE: Using CAQDAS in Visual Data Analysis: A Systematic Literature Review
AUTHORS: Rodrigues, AI; Costa, AP ; Moreira, A ;
PUBLISHED: 2019, SOURCE: 3rd World Conference on Qualitative Research (WCQR) in COMPUTER SUPPORTED QUALITATIVE RESEARCH: NEW TRENDS ON QUALITATIVE RESEARCH, VOLUME: 861, PAGES: 235-247
AUTHORS: Rodrigues, AI; Costa, AP ; Moreira, A ;
PUBLISHED: 2019, SOURCE: 3rd World Conference on Qualitative Research (WCQR) in COMPUTER SUPPORTED QUALITATIVE RESEARCH: NEW TRENDS ON QUALITATIVE RESEARCH, VOLUME: 861, PAGES: 235-247
1232
TITLE: Using real-life alert-based data to analyse drowsiness and distraction of commercial drivers Full Text
AUTHORS: Sara Ferreira ; Zafeiris Kokkinogenis ; Antnio Couto ;
PUBLISHED: 2019, SOURCE: TRANSPORTATION RESEARCH PART F-TRAFFIC PSYCHOLOGY AND BEHAVIOUR, VOLUME: 60, PAGES: 25-36
AUTHORS: Sara Ferreira ; Zafeiris Kokkinogenis ; Antnio Couto ;
PUBLISHED: 2019, SOURCE: TRANSPORTATION RESEARCH PART F-TRAFFIC PSYCHOLOGY AND BEHAVIOUR, VOLUME: 60, PAGES: 25-36
1233
TITLE: Using Virtual Reality Environments to Predict Pedestrian Behaviour
AUTHORS: João Filipe Costa; Jacob, J ; Thiago R P M Rúbio; Daniel Castro Silva ; Henrique Lopes Cardoso ; Sara Ferreira; Rui Amaral Rodrigues ; Eugénio Oliveira ; Rosaldo J F Rossetti ;
PUBLISHED: 2019, SOURCE: 5th IEEE International Smart Cities Conference, ISC2 2019 in 2019 IEEE International Smart Cities Conference, ISC2 2019, Casablanca, Morocco, October 14-17, 2019, PAGES: 508-513
AUTHORS: João Filipe Costa; Jacob, J ; Thiago R P M Rúbio; Daniel Castro Silva ; Henrique Lopes Cardoso ; Sara Ferreira; Rui Amaral Rodrigues ; Eugénio Oliveira ; Rosaldo J F Rossetti ;
PUBLISHED: 2019, SOURCE: 5th IEEE International Smart Cities Conference, ISC2 2019 in 2019 IEEE International Smart Cities Conference, ISC2 2019, Casablanca, Morocco, October 14-17, 2019, PAGES: 508-513
1234
TITLE: Visual Engagement and Historical Accuracy in a Production for a Video Mapping Projection
AUTHORS: Faria, PM ; Moreira, PM ; Cardoso, S; Morais, R;
PUBLISHED: 2019, SOURCE: 9th International Conference on Digital and Interactive Arts: Digital Media Art Ecosystems, ARTECH 2019 in PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE ON DIGITAL AND INTERACTIVE ARTS (ARTECH 2019), PAGES: 1:1-1:9
AUTHORS: Faria, PM ; Moreira, PM ; Cardoso, S; Morais, R;
PUBLISHED: 2019, SOURCE: 9th International Conference on Digital and Interactive Arts: Digital Media Art Ecosystems, ARTECH 2019 in PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE ON DIGITAL AND INTERACTIVE ARTS (ARTECH 2019), PAGES: 1:1-1:9
1235
TITLE: WEBQDA: The Quest for a Place in the Competitive World of CAQDAS
AUTHORS: De Almeida, CA; Freitas, F; Costa, AP ; Moreira, A ;
PUBLISHED: 2019, SOURCE: 2019 International Conference on Engineering Applications, ICEA 2019 in 2019 International Conference on Engineering Applications, ICEA 2019 - Proceedings
AUTHORS: De Almeida, CA; Freitas, F; Costa, AP ; Moreira, A ;
PUBLISHED: 2019, SOURCE: 2019 International Conference on Engineering Applications, ICEA 2019 in 2019 International Conference on Engineering Applications, ICEA 2019 - Proceedings
1236
TITLE: xSS: A Soccer Server extension for automated learning of high-level robotic soccer strategies
AUTHORS: Miguel Abreu ; Rosaldo J F Rossetti ; Luis Paulo Reis ;
PUBLISHED: 2019, SOURCE: 19th IEEE International Conference on Autonomous Robot Systems and Competitions (ICARSC) in 2019 19TH IEEE INTERNATIONAL CONFERENCE ON AUTONOMOUS ROBOT SYSTEMS AND COMPETITIONS (ICARSC 2019), PAGES: 135-142
AUTHORS: Miguel Abreu ; Rosaldo J F Rossetti ; Luis Paulo Reis ;
PUBLISHED: 2019, SOURCE: 19th IEEE International Conference on Autonomous Robot Systems and Competitions (ICARSC) in 2019 19TH IEEE INTERNATIONAL CONFERENCE ON AUTONOMOUS ROBOT SYSTEMS AND COMPETITIONS (ICARSC 2019), PAGES: 135-142
1237
TITLE: 12th Workshop on Logical and Semantic Frameworks, with Applications, LSFA 2017, Brasília, Brazil, September 23-24, 2017
AUTHORS: Sandra Alves ; Renata Wasserman;
PUBLISHED: 2018, SOURCE: LSFA, VOLUME: 338
AUTHORS: Sandra Alves ; Renata Wasserman;
PUBLISHED: 2018, SOURCE: LSFA, VOLUME: 338
INDEXED IN: DBLP
DBLP1238
TITLE: 2018 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2018, Lisbon, Portugal, October 1-4, 2018
AUTHORS: Jácome Cunha ; João Paulo Fernandes ; Caitlin Kelleher; Gregor Engels; Jorge Mendes ;
PUBLISHED: 2018, SOURCE: VL/HCC
AUTHORS: Jácome Cunha ; João Paulo Fernandes ; Caitlin Kelleher; Gregor Engels; Jorge Mendes ;
PUBLISHED: 2018, SOURCE: VL/HCC
INDEXED IN: DBLP
DBLP1239
TITLE: A Blockchain-based Approach for Access Control in eHealth Scenarios PDF
AUTHORS: João Pedro Dias ; Luís Reis; Hugo Sereno Ferreira ; Angelo Martins ;
PUBLISHED: 2018, SOURCE: JOURNAL OF INFORMATION ASSURANCE AND SECURITY, VOLUME: 13, ISSUE: 4, PAGES: 125-136
AUTHORS: João Pedro Dias ; Luís Reis; Hugo Sereno Ferreira ; Angelo Martins ;
PUBLISHED: 2018, SOURCE: JOURNAL OF INFORMATION ASSURANCE AND SECURITY, VOLUME: 13, ISSUE: 4, PAGES: 125-136
INDEXED IN: WOS DBLP 
arXiv
WOS DBLP arXiv1240
TITLE: A Blockchain-Based Scheme for Access Control in e-Health Scenarios
AUTHORS: João Pedro Dias ; Hugo Sereno Ferreira ; Angelo Martins ;
PUBLISHED: 2018, SOURCE: 10th International Conference on Soft Computing and Pattern Recognition, SoCPaR 2018 in Proceedings of the Tenth International Conference on Soft Computing and Pattern Recognition, SoCPaR 2018, Porto, Portugal, December 13-15, 2018, VOLUME: 942, PAGES: 238-247
AUTHORS: João Pedro Dias ; Hugo Sereno Ferreira ; Angelo Martins ;
PUBLISHED: 2018, SOURCE: 10th International Conference on Soft Computing and Pattern Recognition, SoCPaR 2018 in Proceedings of the Tenth International Conference on Soft Computing and Pattern Recognition, SoCPaR 2018, Porto, Portugal, December 13-15, 2018, VOLUME: 942, PAGES: 238-247
