Department of Informatics Engineering (DEI)
Departamento de Engenharia Informática
AuthID: I-000-0K9
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: 3948
49 Team MembersFilters -> Year: 2024
1461
TITLE: Arbitrated Ensemble for Solar Radiation Forecasting
AUTHORS: Vitor Cerqueira ; Luis Torgo ; Carlos Soares ;
PUBLISHED: 2017, SOURCE: 14th International Work-Conference on Artificial Neural Networks (IWANN) in ADVANCES IN COMPUTATIONAL INTELLIGENCE, IWANN 2017, PT I, VOLUME: 10305, PAGES: 720-732
AUTHORS: Vitor Cerqueira ; Luis Torgo ; Carlos Soares ;
PUBLISHED: 2017, SOURCE: 14th International Work-Conference on Artificial Neural Networks (IWANN) in ADVANCES IN COMPUTATIONAL INTELLIGENCE, IWANN 2017, PT I, VOLUME: 10305, PAGES: 720-732
1462
TITLE: Arbitrated Ensemble for Time Series Forecasting
AUTHORS: Vitor Cerqueira ; Luis Torgo ; Faboi Pinto; Carlos Soares ;
PUBLISHED: 2017, SOURCE: European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECML PKDD) in MACHINE LEARNING AND KNOWLEDGE DISCOVERY IN DATABASES, ECML PKDD 2017, PT II, VOLUME: 10535, PAGES: 478-494
AUTHORS: Vitor Cerqueira ; Luis Torgo ; Faboi Pinto; Carlos Soares ;
PUBLISHED: 2017, SOURCE: European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECML PKDD) in MACHINE LEARNING AND KNOWLEDGE DISCOVERY IN DATABASES, ECML PKDD 2017, PT II, VOLUME: 10535, PAGES: 478-494
1463
TITLE: Argumentation in the Re-accommodation of Airline Passengers Using Mobile Devices
AUTHORS: Jorge Lima; Ana Paula Rocha ; António J M Castro ;
PUBLISHED: 2017, SOURCE: 15th International Conference on Practical Applications of Agents and Multi-Agent Systems, PAAMS 2017 in Highlights of Practical Applications of Cyber-Physical Multi-Agent Systems - International Workshops of PAAMS 2017, Porto, Portugal, June 21-23, 2017, Proceedings, VOLUME: 722, PAGES: 16-27
AUTHORS: Jorge Lima; Ana Paula Rocha ; António J M Castro ;
PUBLISHED: 2017, SOURCE: 15th International Conference on Practical Applications of Agents and Multi-Agent Systems, PAAMS 2017 in Highlights of Practical Applications of Cyber-Physical Multi-Agent Systems - International Workshops of PAAMS 2017, Porto, Portugal, June 21-23, 2017, Proceedings, VOLUME: 722, PAGES: 16-27
1464
TITLE: As Secure as Possible Eventual Consistency. Work in Progress
AUTHORS: Ali Shoker ; Houssam Yactine ; Carlos Baquero ;
PUBLISHED: 2017, SOURCE: 3rd International Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC) in PROCEEDINGS OF THE 3RD INTERNATIONAL WORKSHOP ON PRINCIPLES AND PRACTICE OF CONSISTENCY FOR DISTRIBUTED DATA (PAPOC 17), PAGES: 5:1-5:5
AUTHORS: Ali Shoker ; Houssam Yactine ; Carlos Baquero ;
PUBLISHED: 2017, SOURCE: 3rd International Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC) in PROCEEDINGS OF THE 3RD INTERNATIONAL WORKSHOP ON PRINCIPLES AND PRACTICE OF CONSISTENCY FOR DISTRIBUTED DATA (PAPOC 17), PAGES: 5:1-5:5
1465
TITLE: Audio Guides and Human Tour Guides: Measuring Children's Engagement & Learning at a Museum Setting PDF
AUTHORS: Vanessa Cesário; António Coelho ; Valentina Nisi;
PUBLISHED: 2017, SOURCE: Proceedings of the Doctoral Consortium, Posters and Demos at CHItaly 2017 co-located with 12th Biannual Conference of the Italian SIGCHI Chapter (CHItaly 2017), Cagliari, Italy, September 18-20, 2017., VOLUME: 1910, PAGES: 133-137
AUTHORS: Vanessa Cesário; António Coelho ; Valentina Nisi;
PUBLISHED: 2017, SOURCE: Proceedings of the Doctoral Consortium, Posters and Demos at CHItaly 2017 co-located with 12th Biannual Conference of the Italian SIGCHI Chapter (CHItaly 2017), Cagliari, Italy, September 18-20, 2017., VOLUME: 1910, PAGES: 133-137
INDEXED IN: DBLP
1466
TITLE: autoBagging: Learning to Rank Bagging Workflows with Metalearning PDF
AUTHORS: Fábio Pinto; Vítor Cerqueira ; Carlos Soares ; João Mendes Moreira ;
PUBLISHED: 2017, SOURCE: 2017 International Workshop on Automatic Selection, Configuration and Composition of Machine Learning Algorithms, AutoML 2017 in Proceedings of the International Workshop on Automatic Selection, Configuration and Composition of Machine Learning Algorithms co-located with the European Conference on Machine Learning & Principles and Practice of Knowledge Discovery in Databases, AutoML@PKDD/ECML 2017, Skopje, Macedonia, September 22, 2017., VOLUME: 1998, PAGES: 21-27
AUTHORS: Fábio Pinto; Vítor Cerqueira ; Carlos Soares ; João Mendes Moreira ;
PUBLISHED: 2017, SOURCE: 2017 International Workshop on Automatic Selection, Configuration and Composition of Machine Learning Algorithms, AutoML 2017 in Proceedings of the International Workshop on Automatic Selection, Configuration and Composition of Machine Learning Algorithms co-located with the European Conference on Machine Learning & Principles and Practice of Knowledge Discovery in Databases, AutoML@PKDD/ECML 2017, Skopje, Macedonia, September 22, 2017., VOLUME: 1998, PAGES: 21-27
INDEXED IN: Scopus DBLP
1467
TITLE: AUTOMATIC MUSICAL KEY ESTIMATION WITH ADAPTIVE MODE BIAS
AUTHORS: Gilberto Bernardes ; Matthew E P Davies ; Carlos Guedes ;
PUBLISHED: 2017, SOURCE: IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP) in 2017 IEEE INTERNATIONAL CONFERENCE ON ACOUSTICS, SPEECH AND SIGNAL PROCESSING (ICASSP), PAGES: 316-320
AUTHORS: Gilberto Bernardes ; Matthew E P Davies ; Carlos Guedes ;
PUBLISHED: 2017, SOURCE: IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP) in 2017 IEEE INTERNATIONAL CONFERENCE ON ACOUSTICS, SPEECH AND SIGNAL PROCESSING (ICASSP), PAGES: 316-320
1468
TITLE: Automating the Extraction of Static Content and Dynamic Behaviour from e-Commerce Websites
AUTHORS: joao Pedro Dias ; Hugo Sereno Ferreira ;
PUBLISHED: 2017, SOURCE: 8th International Conference on Ambient Systems, Networks and Technologies (ANT) / 7th International Conference on Sustainable Energy Information Technology (SEIT) in 8TH INTERNATIONAL CONFERENCE ON AMBIENT SYSTEMS, NETWORKS AND TECHNOLOGIES (ANT-2017) AND THE 7TH INTERNATIONAL CONFERENCE ON SUSTAINABLE ENERGY INFORMATION TECHNOLOGY (SEIT 2017), VOLUME: 109, PAGES: 297-304
AUTHORS: joao Pedro Dias ; Hugo Sereno Ferreira ;
PUBLISHED: 2017, SOURCE: 8th International Conference on Ambient Systems, Networks and Technologies (ANT) / 7th International Conference on Sustainable Energy Information Technology (SEIT) in 8TH INTERNATIONAL CONFERENCE ON AMBIENT SYSTEMS, NETWORKS AND TECHNOLOGIES (ANT-2017) AND THE 7TH INTERNATIONAL CONFERENCE ON SUSTAINABLE ENERGY INFORMATION TECHNOLOGY (SEIT 2017), VOLUME: 109, PAGES: 297-304
1469
TITLE: Autonomous Interactive Object Manipulation and Navigation Capabilities for an Intelligent Wheelchair
AUTHORS: Nima Shafii; Farias, PCMA; Ivo Sousa; Heber Sobreira ; Luis Paulo Reis ; Antonio Paulo Moreira ;
PUBLISHED: 2017, SOURCE: 18th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2017), VOLUME: 10423, PAGES: 473-485
AUTHORS: Nima Shafii; Farias, PCMA; Ivo Sousa; Heber Sobreira ; Luis Paulo Reis ; Antonio Paulo Moreira ;
PUBLISHED: 2017, SOURCE: 18th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2017), VOLUME: 10423, PAGES: 473-485
1470
TITLE: Borrowing an Identity for a Distributed Counter. Work in progress report
AUTHORS: Vitor Enes ; Carlos Baquero ; Paulo Sergio Almeida ; Joao Leitao;
PUBLISHED: 2017, SOURCE: 3rd International Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC) in PROCEEDINGS OF THE 3RD INTERNATIONAL WORKSHOP ON PRINCIPLES AND PRACTICE OF CONSISTENCY FOR DISTRIBUTED DATA (PAPOC 17), PAGES: 4:1-4:3
AUTHORS: Vitor Enes ; Carlos Baquero ; Paulo Sergio Almeida ; Joao Leitao;
PUBLISHED: 2017, SOURCE: 3rd International Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC) in PROCEEDINGS OF THE 3RD INTERNATIONAL WORKSHOP ON PRINCIPLES AND PRACTICE OF CONSISTENCY FOR DISTRIBUTED DATA (PAPOC 17), PAGES: 4:1-4:3
1471
TITLE: Bulding ontologies with ontoforinfoscience methodology: A detailed approach to the activiyies of ontology development [Construindo ontologias com a metodologia ontoforinfoscience: Uma abordagem detalhada das atividades do desenvolvimento ontológico] [Construyendo ontologías con la metodología ontoforinfoscience: Un enfoque detallado de las actividades del desarrollo ontológico]
AUTHORS: Mendonça, FM; Soares, AL ;
PUBLISHED: 2017, SOURCE: Ciencia da Informacao, VOLUME: 46, ISSUE: 1, PAGES: 43-59
AUTHORS: Mendonça, FM; Soares, AL ;
PUBLISHED: 2017, SOURCE: Ciencia da Informacao, VOLUME: 46, ISSUE: 1, PAGES: 43-59
INDEXED IN: Scopus
1472
TITLE: Cargo dynamic stability in the container loading problem - a physics simulation tool approach
AUTHORS: António Galrão Ramos ; Jacob, J ; Jorge Fonseca Justo ; José Fernando Oliveira ; Rui Rodrigues ; Miguel M Gomes ;
PUBLISHED: 2017, SOURCE: Int. J. Simul. Process. Model., VOLUME: 12, ISSUE: 1, PAGES: 29-41
AUTHORS: António Galrão Ramos ; Jacob, J ; Jorge Fonseca Justo ; José Fernando Oliveira ; Rui Rodrigues ; Miguel M Gomes ;
PUBLISHED: 2017, SOURCE: Int. J. Simul. Process. Model., VOLUME: 12, ISSUE: 1, PAGES: 29-41
1473
TITLE: Certified Password Quality
AUTHORS: João F Ferreira; Saul A Johnson; Alexandra Mendes ; Phillip J Brooke;
PUBLISHED: 2017, SOURCE: Lecture Notes in Computer Science - Integrated Formal Methods, PAGES: 407-421
AUTHORS: João F Ferreira; Saul A Johnson; Alexandra Mendes ; Phillip J Brooke;
PUBLISHED: 2017, SOURCE: Lecture Notes in Computer Science - Integrated Formal Methods, PAGES: 407-421
INDEXED IN: CrossRef
1474
TITLE: Certified Password Quality - A Case Study Using Coq and Linux Pluggable Authentication Modules
AUTHORS: João F Ferreira; Saul A Johnson; Alexandra Mendes ; Phillip J Brooke;
PUBLISHED: 2017, SOURCE: 13th International Conference on Integrated Formal Methods, IFM 2017 in Integrated Formal Methods - 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings, VOLUME: 10510, PAGES: 407-421
AUTHORS: João F Ferreira; Saul A Johnson; Alexandra Mendes ; Phillip J Brooke;
PUBLISHED: 2017, SOURCE: 13th International Conference on Integrated Formal Methods, IFM 2017 in Integrated Formal Methods - 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings, VOLUME: 10510, PAGES: 407-421
INDEXED IN: Scopus DBLP
1475
TITLE: Characterizing geo-located tweets in brazilian megacities PDF
AUTHORS: Pereira, J; Pasquali, A; Saleiro, P; Rossetti, R ; Cacho, N;
PUBLISHED: 2017, SOURCE: 2017 International Smart Cities Conference, ISC2 2017 in 2017 International Smart Cities Conference, ISC2 2017, VOLUME: abs/1709.01981
AUTHORS: Pereira, J; Pasquali, A; Saleiro, P; Rossetti, R ; Cacho, N;
PUBLISHED: 2017, SOURCE: 2017 International Smart Cities Conference, ISC2 2017 in 2017 International Smart Cities Conference, ISC2 2017, VOLUME: abs/1709.01981
1476
TITLE: ClueKing: Allowing Parents to Customize an Informal Learning Environment for Children
AUTHORS: Vanessa Cesario; Valentina Nisi; Antonio Coelho ;
PUBLISHED: 2017, SOURCE: 6th EAI International Conference on Serious Games, Interaction and Simulation (SGAMES) in SERIOUS GAMES, INTERACTION AND SIMULATION, VOLUME: 176, PAGES: 23-30
AUTHORS: Vanessa Cesario; Valentina Nisi; Antonio Coelho ;
PUBLISHED: 2017, SOURCE: 6th EAI International Conference on Serious Games, Interaction and Simulation (SGAMES) in SERIOUS GAMES, INTERACTION AND SIMULATION, VOLUME: 176, PAGES: 23-30
1477
TITLE: Co-expression networks between protein encoding mitochondrial genes and all the remaining genes in human tissues
AUTHORS: Joao Almeida; Joana Ferreira; Rui Camacho ; Luisa Pereira;
PUBLISHED: 2017, SOURCE: IEEE International Conference on Bioinformatics and Biomedicine (IEEE BIBM) in 2017 IEEE INTERNATIONAL CONFERENCE ON BIOINFORMATICS AND BIOMEDICINE (BIBM), VOLUME: 2017-January, PAGES: 70-73
AUTHORS: Joao Almeida; Joana Ferreira; Rui Camacho ; Luisa Pereira;
PUBLISHED: 2017, SOURCE: IEEE International Conference on Bioinformatics and Biomedicine (IEEE BIBM) in 2017 IEEE INTERNATIONAL CONFERENCE ON BIOINFORMATICS AND BIOMEDICINE (BIBM), VOLUME: 2017-January, PAGES: 70-73
1478
TITLE: Code retargeting for CPU-based platforms
AUTHORS: João M.P Cardoso ; José Gabriel F Coutinho; Pedro C Diniz;
PUBLISHED: 2017, SOURCE: Embedded Computing for High Performance, PAGES: 185-225
AUTHORS: João M.P Cardoso ; José Gabriel F Coutinho; Pedro C Diniz;
PUBLISHED: 2017, SOURCE: Embedded Computing for High Performance, PAGES: 185-225
INDEXED IN: CrossRef
1479
TITLE: Command and Control Systems for Search and Rescue Robots
AUTHORS: Shashank Govindaraj; Pierre Letier; Keshav Chintamani; Jeremi Gancet; Mario Nunez Jimenez; Miguel Ángel Esbrí; Pawel Musialik; Janusz Bedkowski; Irune Badiola; Ricardo Gonçalves; António Coelho ; Daniel Serrano; Massimo Tosa; Thomas Pfister; Jose Manuel Sanchez;
PUBLISHED: 2017, SOURCE: Search and Rescue Robotics - From Theory to Practice
AUTHORS: Shashank Govindaraj; Pierre Letier; Keshav Chintamani; Jeremi Gancet; Mario Nunez Jimenez; Miguel Ángel Esbrí; Pawel Musialik; Janusz Bedkowski; Irune Badiola; Ricardo Gonçalves; António Coelho ; Daniel Serrano; Massimo Tosa; Thomas Pfister; Jose Manuel Sanchez;
PUBLISHED: 2017, SOURCE: Search and Rescue Robotics - From Theory to Practice
1480
TITLE: Compact Resettable Counters through Causal Stability
AUTHORS: Georges Younes ; Paulo Sergio Almeida ; Carlos Baquero ;
PUBLISHED: 2017, SOURCE: 3rd International Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC) in PROCEEDINGS OF THE 3RD INTERNATIONAL WORKSHOP ON PRINCIPLES AND PRACTICE OF CONSISTENCY FOR DISTRIBUTED DATA (PAPOC 17), PAGES: 2:1-2:3
AUTHORS: Georges Younes ; Paulo Sergio Almeida ; Carlos Baquero ;
PUBLISHED: 2017, SOURCE: 3rd International Workshop on Principles and Practice of Consistency for Distributed Data (PaPoC) in PROCEEDINGS OF THE 3RD INTERNATIONAL WORKSHOP ON PRINCIPLES AND PRACTICE OF CONSISTENCY FOR DISTRIBUTED DATA (PAPOC 17), PAGES: 2:1-2:3