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
561
TITLE: A Quantitative Understanding of Pattern Matching
AUTHORS: Sandra Alves ; Delia Kesner; Daniel Ventura;
PUBLISHED: 2019, SOURCE: 25th International Conference on Types for Proofs and Programs, TYPES 2019 in 25th International Conference on Types for Proofs and Programs, TYPES 2019, June 11-14, 2019, Oslo, Norway., VOLUME: 175, PAGES: 3:1-3:36
AUTHORS: Sandra Alves ; Delia Kesner; Daniel Ventura;
PUBLISHED: 2019, SOURCE: 25th International Conference on Types for Proofs and Programs, TYPES 2019 in 25th International Conference on Types for Proofs and Programs, TYPES 2019, June 11-14, 2019, Oslo, Norway., VOLUME: 175, PAGES: 3:1-3:36
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP562
TITLE: A survey on blockchain technologies and research
AUTHORS: Bruno Tavares ; Filipe Figueiredo Correia ; André Restivo ;
PUBLISHED: 2019, SOURCE: JOURNAL OF INFORMATION ASSURANCE AND SECURITY, VOLUME: 14, ISSUE: 4, PAGES: 118-128
AUTHORS: Bruno Tavares ; Filipe Figueiredo Correia ; André Restivo ;
PUBLISHED: 2019, SOURCE: JOURNAL OF INFORMATION ASSURANCE AND SECURITY, VOLUME: 14, ISSUE: 4, PAGES: 118-128
INDEXED IN: 
WOS
WOS563
TITLE: A Survey on Using Kolmogorov Complexity in Cybersecurity Full Text
AUTHORS: Joao S Resende ; Rolando Martins ; Luis Antunes ;
PUBLISHED: 2019, SOURCE: ENTROPY, VOLUME: 21, ISSUE: 12, PAGES: 1196
AUTHORS: Joao S Resende ; Rolando Martins ; Luis Antunes ;
PUBLISHED: 2019, SOURCE: ENTROPY, VOLUME: 21, ISSUE: 12, PAGES: 1196
564
TITLE: A Three-Valued Semantics for Typed Logic Programming PDF Full Text
AUTHORS: João Barbosa ; Mário Florido ; Vítor Santos Costa ;
PUBLISHED: 2019, SOURCE: 35th International Conference on Logic Programming (Technical Communications), ICLP 2019 in Proceedings 35th International Conference on Logic Programming (Technical Communications), ICLP 2019 Technical Communications, Las Cruces, NM, USA, September 20-25, 2019., VOLUME: 306, PAGES: 36-51
AUTHORS: João Barbosa ; Mário Florido ; Vítor Santos Costa ;
PUBLISHED: 2019, SOURCE: 35th International Conference on Logic Programming (Technical Communications), ICLP 2019 in Proceedings 35th International Conference on Logic Programming (Technical Communications), ICLP 2019 Technical Communications, Las Cruces, NM, USA, September 20-25, 2019., VOLUME: 306, PAGES: 36-51
565
TITLE: A Visual Analytics Approach for Effective Radon Risk Perception in the IoT Era
AUTHORS: LOPES, S. I. ; Sanne Bogers; Pedro Miguel Moreira; António Curado;
PUBLISHED: 2019, SOURCE: 5th EAI International Smart City 360 Summit, 2019 in Science and Technologies for Smart Cities - 5th EAI International Summit, SmartCity360°, Braga, Portugal, December 4-6, 2019, Proceedings, VOLUME: 323, PAGES: 90-101
AUTHORS: LOPES, S. I. ; Sanne Bogers; Pedro Miguel Moreira; António Curado;
PUBLISHED: 2019, SOURCE: 5th EAI International Smart City 360 Summit, 2019 in Science and Technologies for Smart Cities - 5th EAI International Summit, SmartCity360°, Braga, Portugal, December 4-6, 2019, Proceedings, VOLUME: 323, PAGES: 90-101
566
TITLE: Absenteeism Prediction in Call Center Using Machine Learning Algorithms
AUTHORS: de Oliveira, EL; José Manuel Torres ; Moreira, RS ; de Lima, RAF;
PUBLISHED: 2019, SOURCE: World Conference on Information Systems and Technologies, WorldCIST 2019 in Advances in Intelligent Systems and Computing, VOLUME: 930, PAGES: 958-968
AUTHORS: de Oliveira, EL; José Manuel Torres ; Moreira, RS ; de Lima, RAF;
PUBLISHED: 2019, SOURCE: World Conference on Information Systems and Technologies, WorldCIST 2019 in Advances in Intelligent Systems and Computing, VOLUME: 930, PAGES: 958-968
567
TITLE: Agent Process Modelling. When Multiagent Systems Meet Process Models and Microservices
AUTHORS: Rubio, TRPM; Henrique Lopes Cardoso ; Eugénio Oliveira ;
PUBLISHED: 2019, SOURCE: Advances in Practical Applications of Survivable Agents and Multi-Agent Systems: The PAAMS Collection - Lecture Notes in Computer Science, PAGES: 277-280
AUTHORS: Rubio, TRPM; Henrique Lopes Cardoso ; Eugénio Oliveira ;
PUBLISHED: 2019, SOURCE: Advances in Practical Applications of Survivable Agents and Multi-Agent Systems: The PAAMS Collection - Lecture Notes in Computer Science, PAGES: 277-280
568
TITLE: Agent Process Modelling - When Multiagent Systems Meet Process Models and Microservices
AUTHORS: Rubio, TRPM; Henrique Lopes Cardoso ; Eugénio Oliveira ;
PUBLISHED: 2019, SOURCE: 17th International Conference on Practical Applications of Agents and Multi-Agent Systems, PAAMS 2019 in Advances in Practical Applications of Survivable Agents and Multi-Agent Systems: The PAAMS Collection - 17th International Conference, PAAMS 2019, Ávila, Spain, June 26-28, 2019, Proceedings, VOLUME: 11523, PAGES: 277-280
AUTHORS: Rubio, TRPM; Henrique Lopes Cardoso ; Eugénio Oliveira ;
PUBLISHED: 2019, SOURCE: 17th International Conference on Practical Applications of Agents and Multi-Agent Systems, PAAMS 2019 in Advances in Practical Applications of Survivable Agents and Multi-Agent Systems: The PAAMS Collection - 17th International Conference, PAAMS 2019, Ávila, Spain, June 26-28, 2019, Proceedings, VOLUME: 11523, PAGES: 277-280
INDEXED IN: Scopus DBLP
Scopus DBLP569
TITLE: Agent-Based Approach for Decentralized Data Analysis in Industrial Cyber-Physical Systems
AUTHORS: Jonas Queiroz ; Paulo Leitão; José Barbosa ; Eugénio Oliveira ;
PUBLISHED: 2019, SOURCE: 9th International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2019 in Industrial Applications of Holonic and Multi-Agent Systems - 9th International Conference, HoloMAS 2019, Linz, Austria, August 26-29, 2019, Proceedings, VOLUME: 11710, PAGES: 130-144
AUTHORS: Jonas Queiroz ; Paulo Leitão; José Barbosa ; Eugénio Oliveira ;
PUBLISHED: 2019, SOURCE: 9th International Conference on Industrial Applications of Holonic and Multi-Agent Systems, HoloMAS 2019 in Industrial Applications of Holonic and Multi-Agent Systems - 9th International Conference, HoloMAS 2019, Linz, Austria, August 26-29, 2019, Proceedings, VOLUME: 11710, PAGES: 130-144
570
TITLE: Agents and Artificial Intelligence. 11th International Conference, ICAART 2019, Prague, Czech Republic, February 19–21, 2019, Revised Selected Papers
AUTHORS: Jaap van den Herik; Ana Paula Rocha ; Luc Steels;
PUBLISHED: 2019, SOURCE: Lecture Notes in Computer Science
AUTHORS: Jaap van den Herik; Ana Paula Rocha ; Luc Steels;
PUBLISHED: 2019, SOURCE: Lecture Notes in Computer Science
INDEXED IN: 
CrossRef
CrossRef571
TITLE: Agents and Artificial Intelligence. 10th International Conference, ICAART 2018, Funchal, Madeira, Portugal, January 16 – 18, 2018, Revised Selected Papers
AUTHORS: Jaap van den Herik; Ana Paula Rocha ;
PUBLISHED: 2019, SOURCE: Lecture Notes in Computer Science
AUTHORS: Jaap van den Herik; Ana Paula Rocha ;
PUBLISHED: 2019, SOURCE: Lecture Notes in Computer Science
572
TITLE: Agents and Artificial Intelligence - 10th International Conference, ICAART 2018, Funchal, Madeira, Portugal, January 16-18, 2018, Revised Selected Papers
AUTHORS: Jaap van v den Herik; Ana Paula Rocha ;
PUBLISHED: 2019, SOURCE: ICAART (Revised Selected Papers), VOLUME: 11352
AUTHORS: Jaap van v den Herik; Ana Paula Rocha ;
PUBLISHED: 2019, SOURCE: ICAART (Revised Selected Papers), VOLUME: 11352
INDEXED IN: DBLP
DBLP573
TITLE: Agents and Artificial Intelligence - 11th International Conference, ICAART 2019, Prague, Czech Republic, February 19-21, 2019, Revised Selected Papers
AUTHORS: Jaap van v den Herik; Ana Paula Rocha ; Luc Steels;
PUBLISHED: 2019, SOURCE: ICAART (Revised Selected Papers), VOLUME: 11978
AUTHORS: Jaap van v den Herik; Ana Paula Rocha ; Luc Steels;
PUBLISHED: 2019, SOURCE: ICAART (Revised Selected Papers), VOLUME: 11978
INDEXED IN: DBLP
DBLP574
TITLE: An Agent-Based Industrial Cyber-Physical System Deployed in an Automobile Multi-stage Production System
AUTHORS: Jonas Queiroz; Paulo Leitão; José Barbosa; Eugénio Oliveira ; Gisela García;
PUBLISHED: 2019, SOURCE: Proceedings of the 9th Workshop on Service Oriented, Holonic and Multi-agent Manufacturing Systems for Industry of the Future, SOHOMA 2019, Valencia, Spain, October 3-4, 2019, VOLUME: 853, PAGES: 379-391
AUTHORS: Jonas Queiroz; Paulo Leitão; José Barbosa; Eugénio Oliveira ; Gisela García;
PUBLISHED: 2019, SOURCE: Proceedings of the 9th Workshop on Service Oriented, Holonic and Multi-agent Manufacturing Systems for Industry of the Future, SOHOMA 2019, Valencia, Spain, October 3-4, 2019, VOLUME: 853, PAGES: 379-391
INDEXED IN: DBLP
DBLP575
TITLE: An Analysis of 35+Million Jobs of Travis CI Full Text
AUTHORS: Durieux, T; Abreu, R ; Monperrus, M; Bissyande, TF; Cruz, L;
PUBLISHED: 2019, SOURCE: 35th IEEE International Conference on Software Maintenance and Evolution (ICSME) in 2019 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE AND EVOLUTION (ICSME 2019), PAGES: 291-295
AUTHORS: Durieux, T; Abreu, R ; Monperrus, M; Bissyande, TF; Cruz, L;
PUBLISHED: 2019, SOURCE: 35th IEEE International Conference on Software Maintenance and Evolution (ICSME) in 2019 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE AND EVOLUTION (ICSME 2019), PAGES: 291-295
576
TITLE: An Approach to Assess Quality of Life Through Biometric Monitoring in Cancer Patients
AUTHORS: Eliana Silva ; Joyce Aguiar; Alexandra Oliveira ; Brígida Mónica Faria ; Luís Paulo Reis ; Victor Carvalho; Joaquim Gonçalves; Jorge Oliveira e Sá;
PUBLISHED: 2019, SOURCE: World Conference on Information Systems and Technologies, WorldCIST 2019 in New Knowledge in Information Systems and Technologies - Volume 2, World Conference on Information Systems and Technologies, WorldCIST 2019, Galicia, Spain, 16-19 April, VOLUME: 931, PAGES: 607-617
AUTHORS: Eliana Silva ; Joyce Aguiar; Alexandra Oliveira ; Brígida Mónica Faria ; Luís Paulo Reis ; Victor Carvalho; Joaquim Gonçalves; Jorge Oliveira e Sá;
PUBLISHED: 2019, SOURCE: World Conference on Information Systems and Technologies, WorldCIST 2019 in New Knowledge in Information Systems and Technologies - Volume 2, World Conference on Information Systems and Technologies, WorldCIST 2019, Galicia, Spain, 16-19 April, VOLUME: 931, PAGES: 607-617
577
TITLE: An Efficient Scheme for Prototyping kNN in the Context of Real-Time Human Activity Recognition
AUTHORS: Ferreira, PJS; Magalhaes, RMC; Garcia, KD; Cardoso, JMP ; Mendes Moreira, J ;
PUBLISHED: 2019, SOURCE: 20th International Conference on Intelligent Data Engineering and Automated Learning (IDEAL) in INTELLIGENT DATA ENGINEERING AND AUTOMATED LEARNING - IDEAL 2019, PT I, VOLUME: 11871, PAGES: 486-493
AUTHORS: Ferreira, PJS; Magalhaes, RMC; Garcia, KD; Cardoso, JMP ; Mendes Moreira, J ;
PUBLISHED: 2019, SOURCE: 20th International Conference on Intelligent Data Engineering and Automated Learning (IDEAL) in INTELLIGENT DATA ENGINEERING AND AUTOMATED LEARNING - IDEAL 2019, PT I, VOLUME: 11871, PAGES: 486-493
578
TITLE: An Empirical Study on the Energy Efficiency of Matrix Transposition Algorithms
AUTHORS: Gonçalo Lopes; João Paulo Fernandes ; Luís Paquete;
PUBLISHED: 2019, SOURCE: 8th Central European Functional Programming School, CEFP 2019 in Composability, Comprehensibility and Correctness of Working Software - 8th Summer School, CEFP 2019, Budapest, Hungary, June 17-21, 2019, Revised Selected Papers, VOLUME: 11950, PAGES: 375-391
AUTHORS: Gonçalo Lopes; João Paulo Fernandes ; Luís Paquete;
PUBLISHED: 2019, SOURCE: 8th Central European Functional Programming School, CEFP 2019 in Composability, Comprehensibility and Correctness of Working Software - 8th Summer School, CEFP 2019, Budapest, Hungary, June 17-21, 2019, Revised Selected Papers, VOLUME: 11950, PAGES: 375-391
INDEXED IN: Scopus DBLP
Scopus DBLP579
TITLE: An Empirical Study on the Use of Defect Prediction for Test Case Prioritization
AUTHORS: Paterson, D; Campos, J ; Abreu, R ; Kapfhammer, GM; Fraser, G; McMinn, P;
PUBLISHED: 2019, SOURCE: 12th IEEE International Conference on Software Testing, Verification and Validation (ICST) in 2019 IEEE 12TH CONFERENCE ON SOFTWARE TESTING, VALIDATION AND VERIFICATION (ICST 2019), PAGES: 346-357
AUTHORS: Paterson, D; Campos, J ; Abreu, R ; Kapfhammer, GM; Fraser, G; McMinn, P;
PUBLISHED: 2019, SOURCE: 12th IEEE International Conference on Software Testing, Verification and Validation (ICST) in 2019 IEEE 12TH CONFERENCE ON SOFTWARE TESTING, VALIDATION AND VERIFICATION (ICST 2019), PAGES: 346-357
