Departamento de Engenharia Informática (DEI)
Department of Informatics Engineering
AuthID: I-000-0K9 
Publications Count: 3918
48 Team MembersFilters -> Year: 2025
1081
TÃTULO: Learning to Run Faster in a Humanoid Robot Soccer Environment Through Reinforcement Learning
AUTORES: Miguel Abreu ; Luís Paulo Reis ; Nuno Lau ;
PUBLICAÇÃO: 2019, FONTE: 23rd Annual RoboCup International Symposium, RoboCup 2019 in RoboCup 2019: Robot World Cup XXIII [Sydney, NSW, Australia, July 8, 2019]., VOLUME: 11531, PÁGINAS: 3-15
AUTORES: Miguel Abreu ; Luís Paulo Reis ; Nuno Lau ;
PUBLICAÇÃO: 2019, FONTE: 23rd Annual RoboCup International Symposium, RoboCup 2019 in RoboCup 2019: Robot World Cup XXIII [Sydney, NSW, Australia, July 8, 2019]., VOLUME: 11531, PÁGINAS: 3-15
1082
TÃTULO: Live Software Development Environment for Java using Virtual Reality
AUTORES: Amaral, D; Domingues, G; Dias, JP ; Ferreira, HS ; Aguiar, A ; Nobrega, R ;
PUBLICAÇÃO: 2019, FONTE: 14th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE) in PROCEEDINGS OF THE 14TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING (ENASE), PÁGINAS: 37-46
AUTORES: Amaral, D; Domingues, G; Dias, JP ; Ferreira, HS ; Aguiar, A ; Nobrega, R ;
PUBLICAÇÃO: 2019, FONTE: 14th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE) in PROCEEDINGS OF THE 14TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING (ENASE), PÁGINAS: 37-46
1083
TÃTULO: Live software development: tightening the feedback loops. tightening the feedback loops
AUTORES: Ademar Aguiar ; André Restivo ; Filipe Figueiredo Correia ; Hugo Sereno Ferreira ; João Pedro Dias ;
PUBLICAÇÃO: 2019, FONTE: 3rd International Conference on Art, Science, and Engineering of Programming, Programming 2019 in Conference Companion of the 3rd International Conference on Art, Science, and Engineering of Programming, Genova, Italy, April 1-4, 2019, PÁGINAS: 22:1-22:6
AUTORES: Ademar Aguiar ; André Restivo ; Filipe Figueiredo Correia ; Hugo Sereno Ferreira ; João Pedro Dias ;
PUBLICAÇÃO: 2019, FONTE: 3rd International Conference on Art, Science, and Engineering of Programming, Programming 2019 in Conference Companion of the 3rd International Conference on Art, Science, and Engineering of Programming, Genova, Italy, April 1-4, 2019, PÁGINAS: 22:1-22:6
1084
TÃTULO: Local Observability and Controllability Enforcement in Distributed Testing
AUTORES: Bruno Lima ; João Pascoal Faria ; Robert M Hierons;
PUBLICAÇÃO: 2019, FONTE: 12th International Conference on the Quality of Information and Communications Technology, QUATIC 2019 in Quality of Information and Communications Technology - 12th International Conference, QUATIC 2019, Ciudad Real, Spain, September 11-13, 2019, Proceedings, VOLUME: 1010, PÁGINAS: 327-338
AUTORES: Bruno Lima ; João Pascoal Faria ; Robert M Hierons;
PUBLICAÇÃO: 2019, FONTE: 12th International Conference on the Quality of Information and Communications Technology, QUATIC 2019 in Quality of Information and Communications Technology - 12th International Conference, QUATIC 2019, Ciudad Real, Spain, September 11-13, 2019, Proceedings, VOLUME: 1010, PÁGINAS: 327-338
1085
TÃTULO: Logic, Algebra, and Geometry at the Foundation of Computer Science
AUTORES: Tony Hoare; Alexandra Mendes ; João F Ferreira;
PUBLICAÇÃO: 2019, FONTE: 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, PÁGINAS: 3-20
AUTORES: Tony Hoare; Alexandra Mendes ; João F Ferreira;
PUBLICAÇÃO: 2019, FONTE: 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, PÁGINAS: 3-20
1086
TÃTULO: Lost in Disclosure: On the Inference of Password Composition Policies
AUTORES: Saul A Johnson; João Ferreira; Alexandra Mendes ; Julien Cordry;
PUBLICAÇÃO: 2019, FONTE: 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, PÁGINAS: 264-269
AUTORES: Saul A Johnson; João Ferreira; Alexandra Mendes ; Julien Cordry;
PUBLICAÇÃO: 2019, FONTE: 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, PÁGINAS: 264-269
1087
TÃTULO: Machine Learning predictive model of grapevine yield based on agroclimatic patterns
AUTORES: Sirsat, MS; Mendes Moreira, J ; Ferreira, C ; Cunha, M ;
PUBLICAÇÃO: 2019, FONTE: Engineering in Agriculture, Environment and Food, VOLUME: 12, NÚMERO: 4, PÁGINAS: 443-450
AUTORES: Sirsat, MS; Mendes Moreira, J ; Ferreira, C ; Cunha, M ;
PUBLICAÇÃO: 2019, FONTE: Engineering in Agriculture, Environment and Food, VOLUME: 12, NÚMERO: 4, PÁGINAS: 443-450
1088
TÃTULO: Memory bandwidth regulation for multiframe task sets
AUTORES: Awan, MA; Souto, PF ; Bletsas, K; Akesson, B; Tovar, E ;
PUBLICAÇÃO: 2019, FONTE: 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
AUTORES: Awan, MA; Souto, PF ; Bletsas, K; Akesson, B; Tovar, E ;
PUBLICAÇÃO: 2019, FONTE: 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
1089
TÃTULO: Memory Bandwidth Regulation for Multiframe Task Sets
AUTORES: Muhammad Ali Awan; Pedro F Souto ; Konstantinos Bletsas; Benny Akesson; Eduardo Tovar ;
PUBLICAÇÃO: 2019, FONTE: 25th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2019, Hangzhou, China, August 18-21, 2019, PÁGINAS: 1-11
AUTORES: Muhammad Ali Awan; Pedro F Souto ; Konstantinos Bletsas; Benny Akesson; Eduardo Tovar ;
PUBLICAÇÃO: 2019, FONTE: 25th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2019, Hangzhou, China, August 18-21, 2019, PÁGINAS: 1-11
1090
TÃTULO: Memory Bandwidth Regulation for Multiframe Task Sets
AUTORES: Awan, Muhammad Ali; Souto, Pedro F. ; Bletsas, Konstantinos; Akesson, Benny; Tovar, Eduardo;
PUBLICAÇÃO: 2019, FONTE: 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)
AUTORES: Awan, Muhammad Ali; Souto, Pedro F. ; Bletsas, Konstantinos; Akesson, Benny; Tovar, Eduardo;
PUBLICAÇÃO: 2019, FONTE: 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)
1091
TÃTULO: Message from the a- Most 2019 chairs
AUTORES: Hierons, R; Núñez, M; Pretschner, A; Gargantini, A; Faria, JP ; Wang, S;
PUBLICAÇÃO: 2019, FONTE: 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
AUTORES: Hierons, R; Núñez, M; Pretschner, A; Gargantini, A; Faria, JP ; Wang, S;
PUBLICAÇÃO: 2019, FONTE: 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
1092
TÃTULO: Message from the symposium general chair and program chairs
AUTORES: Shibata, Y; Cardoso, JMP ; Takamaeda Yamazaki, S;
PUBLICAÇÃO: 2019, FONTE: 10th International Symposium on Highly-Efficient Accelerators and Reconfigurable Technologies, HEART 2019 in ACM International Conference Proceeding Series
AUTORES: Shibata, Y; Cardoso, JMP ; Takamaeda Yamazaki, S;
PUBLICAÇÃO: 2019, FONTE: 10th International Symposium on Highly-Efficient Accelerators and Reconfigurable Technologies, HEART 2019 in ACM International Conference Proceeding Series
1093
TÃTULO: Minha: Large-Scale Distributed Systems Testing Made Practical
AUTORES: Nuno Machado ; Francisco Maia ; Francisco Neves ; Fábio Coelho ; José Pereira ;
PUBLICAÇÃO: 2019, FONTE: 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, PÁGINAS: 11:1-11:17
AUTORES: Nuno Machado ; Francisco Maia ; Francisco Neves ; Fábio Coelho ; José Pereira ;
PUBLICAÇÃO: 2019, FONTE: 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, PÁGINAS: 11:1-11:17
1094
TÃTULO: Mining Exceptional Social Behaviour
AUTORES: Carolina Centeio Jorge ; Martin Atzmueller; Behzad Momahed Heravi; Jenny L Gibson; Cláudio Rebelo de Sá; Rosaldo J F Rossetti ;
PUBLICAÇÃO: 2019, FONTE: 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, PÁGINAS: 460-472
AUTORES: Carolina Centeio Jorge ; Martin Atzmueller; Behzad Momahed Heravi; Jenny L Gibson; Cláudio Rebelo de Sá; Rosaldo J F Rossetti ;
PUBLICAÇÃO: 2019, FONTE: 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, PÁGINAS: 460-472
1095
TÃTULO: Mining Frequent Distributions in Time Series
AUTORES: Coutinho, JC; Moreira, JM ; de Sa, CR;
PUBLICAÇÃO: 2019, FONTE: 20th International Conference on Intelligent Data Engineering and Automated Learning (IDEAL) in INTELLIGENT DATA ENGINEERING AND AUTOMATED LEARNING (IDEAL 2019), PT II, VOLUME: 11872, PÁGINAS: 271-279
AUTORES: Coutinho, JC; Moreira, JM ; de Sa, CR;
PUBLICAÇÃO: 2019, FONTE: 20th International Conference on Intelligent Data Engineering and Automated Learning (IDEAL) in INTELLIGENT DATA ENGINEERING AND AUTOMATED LEARNING (IDEAL 2019), PT II, VOLUME: 11872, PÁGINAS: 271-279
1096
TÃTULO: MixMash. An Assistive Tool for Music Mashup Creation from Large Music Collections
AUTORES: Catarina Maçãs; Ana Rodrigues; Gilberto Bernardes ; Penousal Machado;
PUBLICAÇÃO: 2019, FONTE: International Journal of Art, Culture and Design Technologies, VOLUME: 8, NÚMERO: 2, PÁGINAS: 20-40
AUTORES: Catarina Maçãs; Ana Rodrigues; Gilberto Bernardes ; Penousal Machado;
PUBLICAÇÃO: 2019, FONTE: International Journal of Art, Culture and Design Technologies, VOLUME: 8, NÚMERO: 2, PÁGINAS: 20-40
1097
TÃTULO: Model-Based Software Debugging
AUTORES: Rafael Ceballos; Rui Abreu ; Ángel Jesús Varela Vaca; Rafael M Gasca;
PUBLICAÇÃO: 2019, FONTE: Fault Diagnosis of Dynamic Systems: Quantitative and Qualitative Approaches, PÁGINAS: 365-387
AUTORES: Rafael Ceballos; Rui Abreu ; Ángel Jesús Varela Vaca; Rafael M Gasca;
PUBLICAÇÃO: 2019, FONTE: Fault Diagnosis of Dynamic Systems: Quantitative and Qualitative Approaches, PÁGINAS: 365-387
1098
TÃTULO: Modeling of video projectors in OpenGL for implementing a spatial augmented reality teaching system for assembly operations
AUTORES: Carlos M Costa ; Germano Veiga ; Sousa, A. ; Luis Rocha ; Augusto Sousa, AA ; Rui Rodrigues ; Ulrike Thomas;
PUBLICAÇÃO: 2019, FONTE: 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), PÁGINAS: 84-91
AUTORES: Carlos M Costa ; Germano Veiga ; Sousa, A. ; Luis Rocha ; Augusto Sousa, AA ; Rui Rodrigues ; Ulrike Thomas;
PUBLICAÇÃO: 2019, FONTE: 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), PÁGINAS: 84-91
1099
TÃTULO: Modelling Reporting Delays in a Multilevel Structured Surveillance System - Application to Portuguese HIV-AIDS Data
AUTORES: Alexandra Oliveira ; Humberta Amorim; Rita Gaio ; Luís Paulo Reis ;
PUBLICAÇÃO: 2019, FONTE: 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, PÁGINAS: 716-726
AUTORES: Alexandra Oliveira ; Humberta Amorim; Rita Gaio ; Luís Paulo Reis ;
PUBLICAÇÃO: 2019, FONTE: 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, PÁGINAS: 716-726
1100
TÃTULO: MOTSD: A Multi-Objective Test Selection Tool using Test Suite Diagnosability
AUTORES: Correia, D; Abreu, R ; Santos, P; Nadkarni, J;
PUBLICAÇÃO: 2019, FONTE: 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, PÁGINAS: 1070-1074
AUTORES: Correia, D; Abreu, R ; Santos, P; Nadkarni, J;
PUBLICAÇÃO: 2019, FONTE: 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, PÁGINAS: 1070-1074