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: 2665
83 Team MembersFilters -> Year: 2024
461
TITLE: Empirical Review of Automated Analysis Tools on 47,587 Ethereum Smart Contracts PDF
AUTHORS: Durieux, T; Ferreira, JF; Abreu, R ; Cruz, P;
PUBLISHED: 2020, SOURCE: 42nd ACM/IEEE International Conference on Software Engineering - Companion Proceedings (ICSE-Companion) in 2020 ACM/IEEE 42ND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2020), PAGES: 530-541
AUTHORS: Durieux, T; Ferreira, JF; Abreu, R ; Cruz, P;
PUBLISHED: 2020, SOURCE: 42nd ACM/IEEE International Conference on Software Engineering - Companion Proceedings (ICSE-Companion) in 2020 ACM/IEEE 42ND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2020), PAGES: 530-541
462
TITLE: Empirical Study of Restarted and Flaky Builds on Travis CI PDF
AUTHORS: Durieux, T; Le Goues, C; Hilton, M; Abreu, R ;
PUBLISHED: 2020, SOURCE: 17th IEEE/ACM International Conference on Mining Software Repositories, MSR 2020, co-located with the 42nd International Conference on Software Engineering. ICSE 2020 in Proceedings - 2020 IEEE/ACM 17th International Conference on Mining Software Repositories, MSR 2020, PAGES: 254-264
AUTHORS: Durieux, T; Le Goues, C; Hilton, M; Abreu, R ;
PUBLISHED: 2020, SOURCE: 17th IEEE/ACM International Conference on Mining Software Repositories, MSR 2020, co-located with the 42nd International Conference on Software Engineering. ICSE 2020 in Proceedings - 2020 IEEE/ACM 17th International Conference on Mining Software Repositories, MSR 2020, PAGES: 254-264
463
TITLE: Empirical Study of Restarted and Flaky Builds on Travis CI PDF
AUTHORS: Thomas Durieux; Claire Le Goues; Michael Hilton; Rui Abreu ;
PUBLISHED: 2020, SOURCE: CoRR, VOLUME: abs/2003.11772
AUTHORS: Thomas Durieux; Claire Le Goues; Michael Hilton; Rui Abreu ;
PUBLISHED: 2020, SOURCE: CoRR, VOLUME: abs/2003.11772
INDEXED IN: 
DBLP 
arXiv
DBLP arXiv464
TITLE: Empowering Users Through a Privacy Middleware Watchdog
AUTHORS: Sousa, PR ; Rolando Martins ; Antunes, L ;
PUBLISHED: 2020, SOURCE: 17th International Conference on Trust, Privacy and Security in Digital Business (TrustBus) in TRUST, PRIVACY AND SECURITY IN DIGITAL BUSINESS, TRUSTBUS 2020, VOLUME: 12395, PAGES: 156-170
AUTHORS: Sousa, PR ; Rolando Martins ; Antunes, L ;
PUBLISHED: 2020, SOURCE: 17th International Conference on Trust, Privacy and Security in Digital Business (TrustBus) in TRUST, PRIVACY AND SECURITY IN DIGITAL BUSINESS, TRUSTBUS 2020, VOLUME: 12395, PAGES: 156-170
465
TITLE: End User Involvement in the Big Data Based Service Development Process
AUTHORS: Carreira, R ;
PUBLISHED: 2020, SOURCE: International Conference on Marketing and Technologies, ICMarkTech 2019 in Smart Innovation, Systems and Technologies, VOLUME: 167, PAGES: 321-329
AUTHORS: Carreira, R ;
PUBLISHED: 2020, SOURCE: International Conference on Marketing and Technologies, ICMarkTech 2019 in Smart Innovation, Systems and Technologies, VOLUME: 167, PAGES: 321-329
INDEXED IN: 
Scopus 
CrossRef
Scopus CrossRef466
TITLE: Energy Refactorings for Android in the Large and in the Wild
AUTHORS: Marco Couto ; Joao Saraiva ; Joao Paulo Fernandes ;
PUBLISHED: 2020, SOURCE: 27th IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER) in PROCEEDINGS OF THE 2020 IEEE 27TH INTERNATIONAL CONFERENCE ON SOFTWARE ANALYSIS, EVOLUTION, AND REENGINEERING (SANER '20), PAGES: 217-228
AUTHORS: Marco Couto ; Joao Saraiva ; Joao Paulo Fernandes ;
PUBLISHED: 2020, SOURCE: 27th IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER) in PROCEEDINGS OF THE 2020 IEEE 27TH INTERNATIONAL CONFERENCE ON SOFTWARE ANALYSIS, EVOLUTION, AND REENGINEERING (SANER '20), PAGES: 217-228
467
TITLE: EVL: A Typed Higher-order Functional Language for Events
AUTHORS: Alves, S ; Fernandez, M; Ramos, M ;
PUBLISHED: 2020, SOURCE: 15th International Workshop on Logical and Semantic Frameworks, with Applications (LSFA) in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 351, PAGES: 3-23
AUTHORS: Alves, S ; Fernandez, M; Ramos, M ;
PUBLISHED: 2020, SOURCE: 15th International Workshop on Logical and Semantic Frameworks, with Applications (LSFA) in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 351, PAGES: 3-23
468
TITLE: Executing ARMv8 Loop Traces on Reconfigurable Accelerator via Binary Translation Framework
AUTHORS: Paulino, N ; Ferreira, JC ; Bispo, J ; Cardoso, JMP ;
PUBLISHED: 2020, SOURCE: 30th International Conference on Field-Programmable Logic and Applications (FPL) in 2020 30TH INTERNATIONAL CONFERENCE ON FIELD-PROGRAMMABLE LOGIC AND APPLICATIONS (FPL), PAGES: 367-367
AUTHORS: Paulino, N ; Ferreira, JC ; Bispo, J ; Cardoso, JMP ;
PUBLISHED: 2020, SOURCE: 30th International Conference on Field-Programmable Logic and Applications (FPL) in 2020 30TH INTERNATIONAL CONFERENCE ON FIELD-PROGRAMMABLE LOGIC AND APPLICATIONS (FPL), PAGES: 367-367
469
TITLE: Expelliarmus: Semantic-centric virtual machine image management in IaaS Clouds Full Text
AUTHORS: Saurabh, N; Benedict, S; Barbosa, JG ; Prodan, R;
PUBLISHED: 2020, SOURCE: JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, VOLUME: 146, PAGES: 107-121
AUTHORS: Saurabh, N; Benedict, S; Barbosa, JG ; Prodan, R;
PUBLISHED: 2020, SOURCE: JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, VOLUME: 146, PAGES: 107-121
470
TITLE: Experimenting with Liveness in Cloud Infrastructure Management
AUTHORS: Lourenco, P; Dias, JP ; Aguiar, A ; Ferreira, HS ; André Restivo ;
PUBLISHED: 2020, SOURCE: 14th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE) in EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, VOLUME: 1172, PAGES: 58-82
AUTHORS: Lourenco, P; Dias, JP ; Aguiar, A ; Ferreira, HS ; André Restivo ;
PUBLISHED: 2020, SOURCE: 14th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE) in EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, VOLUME: 1172, PAGES: 58-82
471
TITLE: Exploration of FPGA-Based Hardware Designs for QR Decomposition for Solving Stiff ODE Numerical Methods Using the HARP Hybrid Architecture Full Text
AUTHORS: de Souza, CAO; Bispo, J ; Cardoso, JMP ; Diniz, PC ; Marques, E;
PUBLISHED: 2020, SOURCE: ELECTRONICS, VOLUME: 9, ISSUE: 5, PAGES: 843
AUTHORS: de Souza, CAO; Bispo, J ; Cardoso, JMP ; Diniz, PC ; Marques, E;
PUBLISHED: 2020, SOURCE: ELECTRONICS, VOLUME: 9, ISSUE: 5, PAGES: 843
473
TITLE: Exploring NLP and Information Extraction to Jointly Address Question Generation and Answering
AUTHORS: Pedro Azevedo; Bernardo Leite; Henrique Lopes Cardoso ; Daniel Castro Silva ; Luís Paulo Reis ;
PUBLISHED: 2020, SOURCE: 16th IFIP WG 12.5 International Conference on Artificial Intelligence Applications and Innovations, AIAI 2020 in Artificial Intelligence Applications and Innovations - 16th IFIP WG 12.5 International Conference, AIAI 2020, Neos Marmaras, Greece, June 5-7, 2020, Proceedings, Part II, VOLUME: 584, PAGES: 396-407
AUTHORS: Pedro Azevedo; Bernardo Leite; Henrique Lopes Cardoso ; Daniel Castro Silva ; Luís Paulo Reis ;
PUBLISHED: 2020, SOURCE: 16th IFIP WG 12.5 International Conference on Artificial Intelligence Applications and Innovations, AIAI 2020 in Artificial Intelligence Applications and Innovations - 16th IFIP WG 12.5 International Conference, AIAI 2020, Neos Marmaras, Greece, June 5-7, 2020, Proceedings, Part II, VOLUME: 584, PAGES: 396-407
474
TITLE: Factual Question Generation for the Portuguese Language
AUTHORS: Bernardo Leite; Henrique Lopes Cardoso ; Luís Paulo Reis ; Carlos Soares ;
PUBLISHED: 2020, SOURCE: 2020 International Conference on INnovations in Intelligent SysTems and Applications, INISTA 2020 in International Conference on INnovations in Intelligent SysTems and Applications, INISTA 2020, Novi Sad, Serbia, August 24-26, 2020, PAGES: 1-7
AUTHORS: Bernardo Leite; Henrique Lopes Cardoso ; Luís Paulo Reis ; Carlos Soares ;
PUBLISHED: 2020, SOURCE: 2020 International Conference on INnovations in Intelligent SysTems and Applications, INISTA 2020 in International Conference on INnovations in Intelligent SysTems and Applications, INISTA 2020, Novi Sad, Serbia, August 24-26, 2020, PAGES: 1-7
475
TITLE: Fault Injection, Detection and Treatment in Simulated Autonomous Vehicles
AUTHORS: Daniel Garrido; Leonardo Ferreira; Jacob, J ; Daniel Castro Silva ;
PUBLISHED: 2020, SOURCE: 20th International Conference on Computational Science, ICCS 2020 in Computational Science - ICCS 2020 - 20th International Conference, Amsterdam, The Netherlands, June 3-5, 2020, Proceedings, Part I, VOLUME: 12137, PAGES: 471-485
AUTHORS: Daniel Garrido; Leonardo Ferreira; Jacob, J ; Daniel Castro Silva ;
PUBLISHED: 2020, SOURCE: 20th International Conference on Computational Science, ICCS 2020 in Computational Science - ICCS 2020 - 20th International Conference, Amsterdam, The Netherlands, June 3-5, 2020, Proceedings, Part I, VOLUME: 12137, PAGES: 471-485
476
TITLE: FILLET - Platform for Intelligent Nutrition
AUTHORS: David Ribeiro; João Costa; Inês Lopes; Telmo Barbosa; Carlos Soares ; Filipe Sousa ; Jorge Ribeiro; Duarte Rocha; Marlos Silva;
PUBLISHED: 2020, SOURCE: 17th IEEE/ACS International Conference on Computer Systems and Applications, AICCSA 2020 in 17th IEEE/ACS International Conference on Computer Systems and Applications, AICCSA 2020, Antalya, Turkey, November 2-5, 2020, VOLUME: 2020-November, PAGES: 1-8
AUTHORS: David Ribeiro; João Costa; Inês Lopes; Telmo Barbosa; Carlos Soares ; Filipe Sousa ; Jorge Ribeiro; Duarte Rocha; Marlos Silva;
PUBLISHED: 2020, SOURCE: 17th IEEE/ACS International Conference on Computer Systems and Applications, AICCSA 2020 in 17th IEEE/ACS International Conference on Computer Systems and Applications, AICCSA 2020, Antalya, Turkey, November 2-5, 2020, VOLUME: 2020-November, PAGES: 1-8
477
TITLE: Filling Missing Values in Spatial-temporal Data Collected from Traffic Sensors
AUTHORS: Fábio Oliveira; Ana Paula Rocha ;
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: Fábio Oliveira; Ana Paula Rocha ;
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
478
TITLE: Fog Computing in Real Time Resource Limited IoT Environments
AUTHORS: Pedro Costa; Bruno Gomes; Nilsa Melo; Rafael Rodrigues; Célio Carvalho; Karim Karmali; Salim Karmali; Christophe Soares ; José Manuel Torres ; Pedro Sobral ; Rui S Moreira ;
PUBLISHED: 2020, SOURCE: 8th World Conference on Information Systems and Technologies, WorldCIST 2020 in Trends and Innovations in Information Systems and Technologies - Volume 2, WorldCIST 2020, Budva, Montenegro, 7-10 April 2020., VOLUME: 1160, PAGES: 102-112
AUTHORS: Pedro Costa; Bruno Gomes; Nilsa Melo; Rafael Rodrigues; Célio Carvalho; Karim Karmali; Salim Karmali; Christophe Soares ; José Manuel Torres ; Pedro Sobral ; Rui S Moreira ;
PUBLISHED: 2020, SOURCE: 8th World Conference on Information Systems and Technologies, WorldCIST 2020 in Trends and Innovations in Information Systems and Technologies - Volume 2, WorldCIST 2020, Budva, Montenegro, 7-10 April 2020., VOLUME: 1160, PAGES: 102-112
479
TITLE: Formative Assessment and Digital Tools in a School Context
AUTHORS: Sandra Paiva; Luís Paulo Reis ; Lia Raquel;
PUBLISHED: 2020, SOURCE: 8th World Conference on Information Systems and Technologies, WorldCIST 2020 in Trends and Innovations in Information Systems and Technologies - Volume 3, WorldCIST 2020, Budva, Montenegro, 7-10 April 2020., VOLUME: 1161, PAGES: 271-283
AUTHORS: Sandra Paiva; Luís Paulo Reis ; Lia Raquel;
PUBLISHED: 2020, SOURCE: 8th World Conference on Information Systems and Technologies, WorldCIST 2020 in Trends and Innovations in Information Systems and Technologies - Volume 3, WorldCIST 2020, Budva, Montenegro, 7-10 April 2020., VOLUME: 1161, PAGES: 271-283
480
TITLE: Fraunhofer AICOS at CLEF eHealth 2020 Task 1: Clinical Code Extraction From Textual Data Using Fine-Tuned BERT Models PDF
AUTHORS: João Costa; Inês Lopes; André Carreiro; David Ribeiro; Carlos Soares ;
PUBLISHED: 2020, SOURCE: Working Notes of CLEF 2020 - Conference and Labs of the Evaluation Forum, Thessaloniki, Greece, September 22-25, 2020., VOLUME: 2696
AUTHORS: João Costa; Inês Lopes; André Carreiro; David Ribeiro; Carlos Soares ;
PUBLISHED: 2020, SOURCE: Working Notes of CLEF 2020 - Conference and Labs of the Evaluation Forum, Thessaloniki, Greece, September 22-25, 2020., VOLUME: 2696
INDEXED IN: DBLP
DBLP