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: 2713
85 Team MembersFilters -> Year: 2024
701
TITLE: Pre-grammars and Inhabitation for a Subset of Rank 2 Intersection Types
AUTHORS: Sandra Alves ; Sabine Broda ;
PUBLISHED: 2019, SOURCE: 13th Workshop on Logical and Semantic Frameworks with Applications (LSFA) in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 344, PAGES: 25-45
AUTHORS: Sandra Alves ; Sabine Broda ;
PUBLISHED: 2019, SOURCE: 13th Workshop on Logical and Semantic Frameworks with Applications (LSFA) in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 344, PAGES: 25-45
702
TITLE: Preface
AUTHORS: Costa, AP; Moreira, A ; Reis, LP ;
PUBLISHED: 2019, SOURCE: 3rd World Conference on Qualitative Research, WCQR 2018 in Advances in Intelligent Systems and Computing, VOLUME: 861
AUTHORS: Costa, AP; Moreira, A ; Reis, LP ;
PUBLISHED: 2019, SOURCE: 3rd World Conference on Qualitative Research, WCQR 2018 in Advances in Intelligent Systems and Computing, VOLUME: 861
INDEXED IN: 
Scopus
Scopus703
TITLE: Preface
AUTHORS: Almeida, L; Reis, LP ; Moreira, AP ;
PUBLISHED: 2019, SOURCE: 19th IEEE International Conference on Autonomous Robot Systems and Competitions, ICARSC 2019 in 19th IEEE International Conference on Autonomous Robot Systems and Competitions, ICARSC 2019
AUTHORS: Almeida, L; Reis, LP ; Moreira, AP ;
PUBLISHED: 2019, SOURCE: 19th IEEE International Conference on Autonomous Robot Systems and Competitions, ICARSC 2019 in 19th IEEE International Conference on Autonomous Robot Systems and Competitions, ICARSC 2019
704
TITLE: Preface [Prefácio]
AUTHORS: Rocha, Á ; Pedrosa, I; Cota, MP ; Gonçalves, R;
PUBLISHED: 2019, SOURCE: 14th Iberian Conference on Information Systems and Technologies, CISTI 2019 in Iberian Conference on Information Systems and Technologies, CISTI, VOLUME: 2019-June
AUTHORS: Rocha, Á ; Pedrosa, I; Cota, MP ; Gonçalves, R;
PUBLISHED: 2019, SOURCE: 14th Iberian Conference on Information Systems and Technologies, CISTI 2019 in Iberian Conference on Information Systems and Technologies, CISTI, VOLUME: 2019-June
INDEXED IN: Scopus
Scopus705
TITLE: Preference rules for label ranking: Mining patterns in multi-target relations PDF
AUTHORS: Cláudio Rebelo de Sá; Paulo J Azevedo ; Carlos Soares ; Alípio Mário Jorge ; Arno J Knobbe;
PUBLISHED: 2019, SOURCE: CoRR, VOLUME: abs/1903.08504
AUTHORS: Cláudio Rebelo de Sá; Paulo J Azevedo ; Carlos Soares ; Alípio Mário Jorge ; Arno J Knobbe;
PUBLISHED: 2019, SOURCE: CoRR, VOLUME: abs/1903.08504
INDEXED IN: 
DBLP 
arXiv
DBLP arXiv706
TITLE: Proceedings of the 11th International Conference on Agents and Artificial Intelligence, ICAART 2019, Volume 1, Prague, Czech Republic, February 19-21, 2019
AUTHORS: Ana Paula Rocha ; Luc Steels; Jaap van v den Herik;
PUBLISHED: 2019, SOURCE: ICAART (1)
AUTHORS: Ana Paula Rocha ; Luc Steels; Jaap van v den Herik;
PUBLISHED: 2019, SOURCE: ICAART (1)
INDEXED IN: DBLP
DBLP707
TITLE: Proceedings of the 11th International Conference on Agents and Artificial Intelligence, ICAART 2019, Volume 2, Prague, Czech Republic, February 19-21, 2019
AUTHORS: Ana Paula Rocha ; Luc Steels; Jaap van v den Herik;
PUBLISHED: 2019, SOURCE: ICAART (2)
AUTHORS: Ana Paula Rocha ; Luc Steels; Jaap van v den Herik;
PUBLISHED: 2019, SOURCE: ICAART (2)
INDEXED IN: DBLP
DBLP708
TITLE: Proceedings Twelfth Workshop on Developments in Computational Models and Ninth Workshop on Intersection Types and Related Systems, DCM/ITRS 2018, Oxford, UK, 8th July 2018 PDF
AUTHORS: Michele Pagani; Sandra Alves ;
PUBLISHED: 2019, SOURCE: DCM/ITRS, VOLUME: 293
AUTHORS: Michele Pagani; Sandra Alves ;
PUBLISHED: 2019, SOURCE: DCM/ITRS, VOLUME: 293
INDEXED IN: DBLP arXiv
DBLP arXiv709
TITLE: Programming models and runtimes
AUTHORS: Georges Da Costa; Alexey L Lastovetsky; Jorge G Barbosa ; Juan Carlos Díaz Martín; Juan Luis García Zapata; Matthias Janetschek; Emmanuel Jeannot; João Leitão; Ravi Reddy Manumachu; Radu Prodan; Juan A Rico Gallego; Peter Van Roy; Ali Shoker ; Albert van der Linde;
PUBLISHED: 2019, SOURCE: Ultrascale Computing Systems, PAGES: 9-63
AUTHORS: Georges Da Costa; Alexey L Lastovetsky; Jorge G Barbosa ; Juan Carlos Díaz Martín; Juan Luis García Zapata; Matthias Janetschek; Emmanuel Jeannot; João Leitão; Ravi Reddy Manumachu; Radu Prodan; Juan A Rico Gallego; Peter Van Roy; Ali Shoker ; Albert van der Linde;
PUBLISHED: 2019, SOURCE: Ultrascale Computing Systems, PAGES: 9-63
710
TITLE: Progress in Artificial Intelligence - 19th EPIA Conference on Artificial Intelligence, EPIA 2019, Vila Real, Portugal, September 3-6, 2019, Proceedings, Part I
AUTHORS: Paulo Moura Oliveira ; Paulo Novais; Luís Paulo Reis ;
PUBLISHED: 2019, SOURCE: EPIA (1), VOLUME: 11804
AUTHORS: Paulo Moura Oliveira ; Paulo Novais; Luís Paulo Reis ;
PUBLISHED: 2019, SOURCE: EPIA (1), VOLUME: 11804
INDEXED IN: DBLP
DBLP711
TITLE: Progress in Artificial Intelligence, 19th EPIA Conference on Artificial Intelligence, EPIA 2019, Vila Real, Portugal, September 3-6, 2019, Proceedings, Part II
AUTHORS: Paulo Moura Oliveira ; Paulo Novais; Luís Paulo Reis ;
PUBLISHED: 2019, SOURCE: EPIA (2), VOLUME: 11805
AUTHORS: Paulo Moura Oliveira ; Paulo Novais; Luís Paulo Reis ;
PUBLISHED: 2019, SOURCE: EPIA (2), VOLUME: 11805
INDEXED IN: DBLP
DBLP712
TITLE: pTASC: Trustable Autonomous Secure Communications. trustable autonomous secure communications
AUTHORS: Patricia R Sousa ; Andre Cirne ; Joao S Resende ; Rolando Martins ; Luis Antunes ;
PUBLISHED: 2019, SOURCE: 20th International Conference on Distributed Computing and Networking (ICDCN) in ICDCN '19: PROCEEDINGS OF THE 2019 INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING AND NETWORKING, PAGES: 193-202
AUTHORS: Patricia R Sousa ; Andre Cirne ; Joao S Resende ; Rolando Martins ; Luis Antunes ;
PUBLISHED: 2019, SOURCE: 20th International Conference on Distributed Computing and Networking (ICDCN) in ICDCN '19: PROCEEDINGS OF THE 2019 INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING AND NETWORKING, PAGES: 193-202
713
TITLE: Pure mode I and II interlaminar fracture characterization of carbon-fibre reinforced polyamide composite Full Text
AUTHORS: Reis, JP; de Moura, MFSF ; Moreira, RDF; Silva, FGA;
PUBLISHED: 2019, SOURCE: COMPOSITES PART B-ENGINEERING, VOLUME: 169, PAGES: 126-132
AUTHORS: Reis, JP; de Moura, MFSF ; Moreira, RDF; Silva, FGA;
PUBLISHED: 2019, SOURCE: COMPOSITES PART B-ENGINEERING, VOLUME: 169, PAGES: 126-132
714
TITLE: Q-Learning for Autonomous Mobile Robot Obstacle Avoidance
AUTHORS: Ribeiro, T; Goncalves, F; Garcia, I; Lopes, G ; Ribeiro, AF;
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: 243-249
AUTHORS: Ribeiro, T; Goncalves, F; Garcia, I; Lopes, G ; Ribeiro, AF;
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: 243-249
715
TITLE: Qualitative Data Analysis Software Packages: An Integrative Review
AUTHORS: Luiz Rafael Andrade; Antonio Pedro Costa; Ronaldo Nunes Linhares; Carla Azevedo de Almeida; Luis Paulo Reis ;
PUBLISHED: 2019, SOURCE: 3rd World Conference on Qualitative Research (WCQR) in COMPUTER SUPPORTED QUALITATIVE RESEARCH: NEW TRENDS ON QUALITATIVE RESEARCH, VOLUME: 861, PAGES: 279-290
AUTHORS: Luiz Rafael Andrade; Antonio Pedro Costa; Ronaldo Nunes Linhares; Carla Azevedo de Almeida; Luis Paulo Reis ;
PUBLISHED: 2019, SOURCE: 3rd World Conference on Qualitative Research (WCQR) in COMPUTER SUPPORTED QUALITATIVE RESEARCH: NEW TRENDS ON QUALITATIVE RESEARCH, VOLUME: 861, PAGES: 279-290
716
TITLE: Regulating Blockchain Smart Contracts with Agent-Based Markets
AUTHORS: Rubio, TRPM; Zafeiris Kokkinogenis ; Henrique Lopes Cardoso ; Rosaldo J F Rossetti ; Eugénio Oliveira ;
PUBLISHED: 2019, SOURCE: 19th EPIA Conference on Artificial Intelligence, EPIA 2019 in Progress in Artificial Intelligence - 19th EPIA Conference on Artificial Intelligence, EPIA 2019, Vila Real, Portugal, September 3-6, 2019, Proceedings, Part I, VOLUME: 11804, PAGES: 399-411
AUTHORS: Rubio, TRPM; Zafeiris Kokkinogenis ; Henrique Lopes Cardoso ; Rosaldo J F Rossetti ; Eugénio Oliveira ;
PUBLISHED: 2019, SOURCE: 19th EPIA Conference on Artificial Intelligence, EPIA 2019 in Progress in Artificial Intelligence - 19th EPIA Conference on Artificial Intelligence, EPIA 2019, Vila Real, Portugal, September 3-6, 2019, Proceedings, Part I, VOLUME: 11804, PAGES: 399-411
717
TITLE: Reinforcement learning in multi-agent games: Open AI gym diplomacy environment
AUTHORS: Cruz, D; Cruz, JA; Lopes Cardoso, H ;
PUBLISHED: 2019, SOURCE: 19th EPIA Conference on Artificial Intelligence, EPIA 2019 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 11804 LNAI, PAGES: 49-60
AUTHORS: Cruz, D; Cruz, JA; Lopes Cardoso, H ;
PUBLISHED: 2019, SOURCE: 19th EPIA Conference on Artificial Intelligence, EPIA 2019 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 11804 LNAI, PAGES: 49-60
INDEXED IN: Scopus 
CrossRef
Scopus CrossRef718
TITLE: RnMonitor: a WebGIS-based platform for expedite in situ deployment of IoT edge devices and effective Radon Risk Management
AUTHORS: LOPES, S. I. ; Pedro Miguel Moreira ; António M Cruz; Pedro Martins; Felisberto Pereira; António Curado;
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: 451-457
AUTHORS: LOPES, S. I. ; Pedro Miguel Moreira ; António M Cruz; Pedro Martins; Felisberto Pereira; António Curado;
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: 451-457
719
TITLE: Secure Provisioning for Achieving End-to-End Secure Communications
AUTHORS: Patricia R Sousa ; Joao S Resende ; Rolando Martins ; Luis Antunes ;
PUBLISHED: 2019, SOURCE: 18th International Conference on Ad-Hoc Networks and Wireless (AdHoc-Now) in AD-HOC, MOBILE, AND WIRELESS NETWORKS (ADHOC-NOW 2019), VOLUME: 11803, PAGES: 498-507
AUTHORS: Patricia R Sousa ; Joao S Resende ; Rolando Martins ; Luis Antunes ;
PUBLISHED: 2019, SOURCE: 18th International Conference on Ad-Hoc Networks and Wireless (AdHoc-Now) in AD-HOC, MOBILE, AND WIRELESS NETWORKS (ADHOC-NOW 2019), VOLUME: 11803, PAGES: 498-507
720
TITLE: Self-organising Clusters in Edge Computing
AUTHORS: Luis Nogueira ; Jorge Coelho ;
PUBLISHED: 2019, SOURCE: 3rd Conference on Computational Methods in Systems and Software (CoMeSySo) in INTELLIGENT SYSTEMS APPLICATIONS IN SOFTWARE ENGINEERING, VOL 1, VOLUME: 1046, PAGES: 320-332
AUTHORS: Luis Nogueira ; Jorge Coelho ;
PUBLISHED: 2019, SOURCE: 3rd Conference on Computational Methods in Systems and Software (CoMeSySo) in INTELLIGENT SYSTEMS APPLICATIONS IN SOFTWARE ENGINEERING, VOL 1, VOLUME: 1046, PAGES: 320-332
