Department of Informatics Engineering (DEI)
Departamento de Engenharia Informática

AuthID: I-000-0K9


Publications Count: 4619

61 Team Members
Filters -> Year: 2026
1601
TITLE: Logic, Algebra, and Geometry at the Foundation of Computer Science
AUTHORS: Tony Hoare; Alexandra Mendes ; João F Ferreira;
PUBLISHED: 2019, SOURCE: FMTea, VOLUME: 11758 LNCS, PAGES: 3-20
1602
TITLE: Lost in Disclosure: On the Inference of Password Composition Policies
AUTHORS: Saul A Johnson; João F Ferreira; Alexandra Mendes ; Julien Cordry;
PUBLISHED: 2019, SOURCE: ISSRE Workshops, PAGES: 264-269
1603
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
1604
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 in RTCSA, PAGES: 1-11
1605
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
1606
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
1607
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
1608
TITLE: Minha: Large-Scale Distributed Systems Testing Made Practical
AUTHORS: Nuno Machado ; Francisco Maia ; Francisco Neves ; Fábio Coelho ; José Pereira ;
PUBLISHED: 2019, SOURCE: OPODIS, VOLUME: 153, PAGES: 11:1-11:17
1609
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: EPIA (2), VOLUME: 11805 LNAI, PAGES: 460-472
1610
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
1611
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
1612
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
1613
TITLE: Modeling of video projectors in OpenGL for implementing a spatial augmented reality teaching system for assembly operations
AUTHORS: Costa, CM ; Veiga, G ; Sousa, A ; Rocha, L ; Sousa, AA ; Rodrigues, R ; Thomas, U;
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
1614
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: WorldCIST (1), VOLUME: 930, PAGES: 716-726
1615
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
1616
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
1617
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, PAGES: 1-8
1618
TITLE: Multi-agent Neural Reinforcement-Learning System with Communication
AUTHORS: David Simões; Nuno Lau ; Luís Paulo Reis ;
PUBLISHED: 2019, SOURCE: WorldCIST (2), VOLUME: 931, PAGES: 3-12
1619
TITLE: Multiple-Choice Questions in Programming Courses: Can We Use Them and Are Students Motivated by Them?. Can We Use Them and Are Students Motivated by Them?
AUTHORS: Abreu, PH ; Silva, DC ; Gomes, A ;
PUBLISHED: 2019, SOURCE: ACM TRANSACTIONS ON COMPUTING EDUCATION, VOLUME: 19, ISSUE: 1, PAGES: 6:1-6:16
1620
TITLE: Mutation-Based Web Test Case Generation
AUTHORS: Sérgio Almeida; Ana C R Paiva ; André Restivo ;
PUBLISHED: 2019, SOURCE: QUATIC, VOLUME: 1010, PAGES: 339-346

Results per Page: 20.
Page 81 of 231. Total results: 4619.