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: 4497
56 Team MembersFilters -> Year: 2025
1501
TITLE: Logic, Algebra, and Geometry at the Foundation of Computer Science
AUTHORS: Tony Hoare; Alexandra Mendes ; João F Ferreira;
PUBLISHED: 2019, SOURCE: 3rd International Workshop and Tutorial, FMTea 2019, held as part of the 3rd World Congress on Formal Methods, FM 2019 in Formal Methods Teaching - Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings, VOLUME: 11758, PAGES: 3-20
AUTHORS: Tony Hoare; Alexandra Mendes ; João F Ferreira;
PUBLISHED: 2019, SOURCE: 3rd International Workshop and Tutorial, FMTea 2019, held as part of the 3rd World Congress on Formal Methods, FM 2019 in Formal Methods Teaching - Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings, VOLUME: 11758, PAGES: 3-20
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP1502
TITLE: Lost in Disclosure: On the Inference of Password Composition Policies
AUTHORS: Saul A Johnson; João Ferreira; Alexandra Mendes ; Julien Cordry;
PUBLISHED: 2019, SOURCE: 30th IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2019 in IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops 2019, Berlin, Germany, October 27-30, 2019, PAGES: 264-269
AUTHORS: Saul A Johnson; João Ferreira; Alexandra Mendes ; Julien Cordry;
PUBLISHED: 2019, SOURCE: 30th IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW 2019 in IEEE International Symposium on Software Reliability Engineering Workshops, ISSRE Workshops 2019, Berlin, Germany, October 27-30, 2019, PAGES: 264-269
1503
TITLE: Machine Learning predictive model of grapevine yield based on agroclimatic patterns
AUTHORS: Sirsat, MS; Mendes Moreira, J ; Ferreira, C ; Cunha, M ;
PUBLISHED: 2019, SOURCE: Engineering in Agriculture, Environment and Food, VOLUME: 12, ISSUE: 4, PAGES: 443-450
AUTHORS: Sirsat, MS; Mendes Moreira, J ; Ferreira, C ; Cunha, M ;
PUBLISHED: 2019, SOURCE: Engineering in Agriculture, Environment and Food, VOLUME: 12, ISSUE: 4, PAGES: 443-450
1504
TITLE: Memory bandwidth regulation for multiframe task sets
AUTHORS: Awan, MA; Souto, PF ; Bletsas, K; Akesson, B; Tovar, E ;
PUBLISHED: 2019, SOURCE: 25th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2019 in Proceedings - 2019 IEEE 25th International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2019
AUTHORS: Awan, MA; Souto, PF ; Bletsas, K; Akesson, B; Tovar, E ;
PUBLISHED: 2019, SOURCE: 25th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2019 in Proceedings - 2019 IEEE 25th International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2019
1505
TITLE: Memory Bandwidth Regulation for Multiframe Task Sets
AUTHORS: Muhammad Ali Awan; Pedro F Souto ; Konstantinos Bletsas; Benny Akesson; Eduardo Tovar ;
PUBLISHED: 2019, SOURCE: 25th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2019, Hangzhou, China, August 18-21, 2019, PAGES: 1-11
AUTHORS: Muhammad Ali Awan; Pedro F Souto ; Konstantinos Bletsas; Benny Akesson; Eduardo Tovar ;
PUBLISHED: 2019, SOURCE: 25th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2019, Hangzhou, China, August 18-21, 2019, PAGES: 1-11
INDEXED IN: DBLP
DBLP1506
TITLE: Memory Bandwidth Regulation for Multiframe Task Sets
AUTHORS: Awan, Muhammad Ali; Souto, Pedro F. ; Bletsas, Konstantinos; Akesson, Benny; Tovar, Eduardo;
PUBLISHED: 2019, SOURCE: 25th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA) in 2019 IEEE 25TH INTERNATIONAL CONFERENCE ON EMBEDDED AND REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS (RTCSA 2019)
AUTHORS: Awan, Muhammad Ali; Souto, Pedro F. ; Bletsas, Konstantinos; Akesson, Benny; Tovar, Eduardo;
PUBLISHED: 2019, SOURCE: 25th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA) in 2019 IEEE 25TH INTERNATIONAL CONFERENCE ON EMBEDDED AND REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS (RTCSA 2019)
INDEXED IN: 
WOS
WOS1507
TITLE: Message from the a- Most 2019 chairs
AUTHORS: Hierons, R; Núñez, M; Pretschner, A; Gargantini, A; Faria, JP ; Wang, S;
PUBLISHED: 2019, SOURCE: 12th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2019 in Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2019
AUTHORS: Hierons, R; Núñez, M; Pretschner, A; Gargantini, A; Faria, JP ; Wang, S;
PUBLISHED: 2019, SOURCE: 12th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2019 in Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2019
INDEXED IN: Scopus 
CrossRef
Scopus CrossRef1508
TITLE: Message from the symposium general chair and program chairs
AUTHORS: Shibata, Y; Cardoso, JMP ; Takamaeda Yamazaki, S;
PUBLISHED: 2019, SOURCE: 10th International Symposium on Highly-Efficient Accelerators and Reconfigurable Technologies, HEART 2019 in ACM International Conference Proceeding Series
AUTHORS: Shibata, Y; Cardoso, JMP ; Takamaeda Yamazaki, S;
PUBLISHED: 2019, SOURCE: 10th International Symposium on Highly-Efficient Accelerators and Reconfigurable Technologies, HEART 2019 in ACM International Conference Proceeding Series
INDEXED IN: Scopus
Scopus1509
TITLE: Message from the TAIC part 2019 chairs
AUTHORS: Yang, G; Alégroth, E; Abreu, R ;
PUBLISHED: 2019, SOURCE: 12th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2019 in Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2019
AUTHORS: Yang, G; Alégroth, E; Abreu, R ;
PUBLISHED: 2019, SOURCE: 12th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2019 in Proceedings - 2019 IEEE 12th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2019
INDEXED IN: Scopus
Scopus1510
TITLE: Minha: Large-Scale Distributed Systems Testing Made Practical
AUTHORS: Nuno Machado ; Francisco Maia ; Francisco Neves ; Fábio Coelho ; José Pereira ;
PUBLISHED: 2019, SOURCE: 23rd International Conference on Principles of Distributed Systems, OPODIS 2019 in 23rd International Conference on Principles of Distributed Systems, OPODIS 2019, December 17-19, 2019, Neuchâtel, Switzerland., VOLUME: 153, PAGES: 11:1-11:17
AUTHORS: Nuno Machado ; Francisco Maia ; Francisco Neves ; Fábio Coelho ; José Pereira ;
PUBLISHED: 2019, SOURCE: 23rd International Conference on Principles of Distributed Systems, OPODIS 2019 in 23rd International Conference on Principles of Distributed Systems, OPODIS 2019, December 17-19, 2019, Neuchâtel, Switzerland., VOLUME: 153, PAGES: 11:1-11:17
INDEXED IN: Scopus DBLP
Scopus DBLP1511
TITLE: Mining Exceptional Social Behaviour
AUTHORS: Carolina Centeio Jorge ; Martin Atzmueller; Behzad Momahed Heravi; Jenny L Gibson; Cláudio Rebelo de Sá; Rosaldo J F Rossetti ;
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 II., VOLUME: 11805, PAGES: 460-472
AUTHORS: Carolina Centeio Jorge ; Martin Atzmueller; Behzad Momahed Heravi; Jenny L Gibson; Cláudio Rebelo de Sá; Rosaldo J F Rossetti ;
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 II., VOLUME: 11805, PAGES: 460-472
1512
TITLE: Mining Frequent Distributions in Time Series
AUTHORS: Coutinho, JC; Moreira, JM ; de Sa, CR;
PUBLISHED: 2019, SOURCE: 20th International Conference on Intelligent Data Engineering and Automated Learning (IDEAL) in INTELLIGENT DATA ENGINEERING AND AUTOMATED LEARNING (IDEAL 2019), PT II, VOLUME: 11872, PAGES: 271-279
AUTHORS: Coutinho, JC; Moreira, JM ; de Sa, CR;
PUBLISHED: 2019, SOURCE: 20th International Conference on Intelligent Data Engineering and Automated Learning (IDEAL) in INTELLIGENT DATA ENGINEERING AND AUTOMATED LEARNING (IDEAL 2019), PT II, VOLUME: 11872, PAGES: 271-279
1513
TITLE: MixMash. An Assistive Tool for Music Mashup Creation from Large Music Collections
AUTHORS: Catarina Maçãs; Ana Rodrigues; Gilberto Bernardes ; Penousal Machado ;
PUBLISHED: 2019, SOURCE: International Journal of Art, Culture and Design Technologies, VOLUME: 8, ISSUE: 2, PAGES: 20-40
AUTHORS: Catarina Maçãs; Ana Rodrigues; Gilberto Bernardes ; Penousal Machado ;
PUBLISHED: 2019, SOURCE: International Journal of Art, Culture and Design Technologies, VOLUME: 8, ISSUE: 2, PAGES: 20-40
1514
TITLE: Model-Based Software Debugging
AUTHORS: Rafael Ceballos; Rui Abreu ; Ángel Jesús Varela Vaca; Rafael M Gasca;
PUBLISHED: 2019, SOURCE: Fault Diagnosis of Dynamic Systems: Quantitative and Qualitative Approaches, PAGES: 365-387
AUTHORS: Rafael Ceballos; Rui Abreu ; Ángel Jesús Varela Vaca; Rafael M Gasca;
PUBLISHED: 2019, SOURCE: Fault Diagnosis of Dynamic Systems: Quantitative and Qualitative Approaches, PAGES: 365-387
INDEXED IN: Scopus CrossRef
Scopus CrossRef1515
TITLE: Modeling of video projectors in OpenGL for implementing a spatial augmented reality teaching system for assembly operations
AUTHORS: Carlos M Costa ; Germano Veiga ; Armando Sousa ; Luis Rocha ; Augusto Sousa, AA ; Rui Rodrigues ; Ulrike Thomas;
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: 84-91
AUTHORS: Carlos M Costa ; Germano Veiga ; Armando Sousa ; Luis Rocha ; Augusto Sousa, AA ; Rui Rodrigues ; Ulrike Thomas;
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: 84-91
1516
TITLE: Modelling Reporting Delays in a Multilevel Structured Surveillance System - Application to Portuguese HIV-AIDS Data
AUTHORS: Alexandra Oliveira ; Humberta Amorim; Rita Gaio ; Luís Paulo Reis ;
PUBLISHED: 2019, SOURCE: World Conference on Information Systems and Technologies, WorldCIST 2019 in New Knowledge in Information Systems and Technologies - Volume 1, World Conference on Information Systems and Technologies, WorldCIST 2019, Galicia, Spain, 16-19 April, 2019, VOLUME: 930, PAGES: 716-726
AUTHORS: Alexandra Oliveira ; Humberta Amorim; Rita Gaio ; Luís Paulo Reis ;
PUBLISHED: 2019, SOURCE: World Conference on Information Systems and Technologies, WorldCIST 2019 in New Knowledge in Information Systems and Technologies - Volume 1, World Conference on Information Systems and Technologies, WorldCIST 2019, Galicia, Spain, 16-19 April, 2019, VOLUME: 930, PAGES: 716-726
1517
TITLE: MOTSD: A Multi-Objective Test Selection Tool using Test Suite Diagnosability
AUTHORS: Correia, D; Abreu, R ; Santos, P; Nadkarni, J;
PUBLISHED: 2019, SOURCE: 27th ACM Joint Meeting on European Software Engineering Conference (ESEC) / Symposium on the Foundations of Software Engineering (FSE) in ESEC/FSE'2019: PROCEEDINGS OF THE 2019 27TH ACM JOINT MEETING ON EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING, PAGES: 1070-1074
AUTHORS: Correia, D; Abreu, R ; Santos, P; Nadkarni, J;
PUBLISHED: 2019, SOURCE: 27th ACM Joint Meeting on European Software Engineering Conference (ESEC) / Symposium on the Foundations of Software Engineering (FSE) in ESEC/FSE'2019: PROCEEDINGS OF THE 2019 27TH ACM JOINT MEETING ON EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING, PAGES: 1070-1074
1518
TITLE: MQTT-RD: A MQTT based Resource Discovery for Machine to Machine Communication
AUTHORS: Pereira, E ; Rui Pinto ; Reis, J; Gil Gonçalves ;
PUBLISHED: 2019, SOURCE: 4th International Conference on Internet of Things, Big Data and Security (IoTBDS) in PROCEEDINGS OF THE 4TH INTERNATIONAL CONFERENCE ON INTERNET OF THINGS, BIG DATA AND SECURITY (IOTBDS 2019), PAGES: 115-124
AUTHORS: Pereira, E ; Rui Pinto ; Reis, J; Gil Gonçalves ;
PUBLISHED: 2019, SOURCE: 4th International Conference on Internet of Things, Big Data and Security (IoTBDS) in PROCEEDINGS OF THE 4TH INTERNATIONAL CONFERENCE ON INTERNET OF THINGS, BIG DATA AND SECURITY (IOTBDS 2019), PAGES: 115-124
1519
TITLE: Multi-Agent Deep Reinforcement Learning with Emergent Communication
AUTHORS: Simoes, D; Lau, N ; Reis, LP ;
PUBLISHED: 2019, SOURCE: International Joint Conference on Neural Networks (IJCNN) in 2019 INTERNATIONAL JOINT CONFERENCE ON NEURAL NETWORKS (IJCNN), VOLUME: 2019-July
AUTHORS: Simoes, D; Lau, N ; Reis, LP ;
PUBLISHED: 2019, SOURCE: International Joint Conference on Neural Networks (IJCNN) in 2019 INTERNATIONAL JOINT CONFERENCE ON NEURAL NETWORKS (IJCNN), VOLUME: 2019-July
1520
TITLE: Multi-Agent Deep Reinforcement Learning with Emergent Communication
AUTHORS: David Apolinário Simões; Nuno Lau; Luís Paulo Reis ;
PUBLISHED: 2019, SOURCE: International Joint Conference on Neural Networks, IJCNN 2019 Budapest, Hungary, July 14-19, 2019, PAGES: 1-8
AUTHORS: David Apolinário Simões; Nuno Lau; Luís Paulo Reis ;
PUBLISHED: 2019, SOURCE: International Joint Conference on Neural Networks, IJCNN 2019 Budapest, Hungary, July 14-19, 2019, PAGES: 1-8
INDEXED IN: DBLP
DBLP