Department of Informatics Engineering (DEI)
Departamento de Engenharia Informática
AuthID: I-000-0K9 Publications Count: 4625
61 Team MembersFilters -> Year: 2026
2001
TITLE: An Empirical Evaluation of Evolutionary Algorithms for Test Suite Generation
AUTHORS: José Campos ; Yan Ge; Gordon Fraser; Marcelo Eler; Andrea Arcuri;
PUBLISHED: 2017, SOURCE: Search Based Software Engineering - Lecture Notes in Computer Science, PAGES: 33-48
AUTHORS: José Campos ; Yan Ge; Gordon Fraser; Marcelo Eler; Andrea Arcuri;
PUBLISHED: 2017, SOURCE: Search Based Software Engineering - Lecture Notes in Computer Science, PAGES: 33-48
2002
TITLE: An Evolutionary Approach to Test SELECT SQL Statements Using Mutation Analysis
AUTHORS: Moncao, AC; Camilo, CG; Queiroz, LT; Rodrigues, CL; Leitao, PS; VINCENZI, AURI M. R. ; Araújo, AA; Dantas, A; de Souza, JT;
PUBLISHED: 2017, SOURCE: IEEE LATIN AMERICA TRANSACTIONS, VOLUME: 15, ISSUE: 6, PAGES: 1128-1136
AUTHORS: Moncao, AC; Camilo, CG; Queiroz, LT; Rodrigues, CL; Leitao, PS; VINCENZI, AURI M. R. ; Araújo, AA; Dantas, A; de Souza, JT;
PUBLISHED: 2017, SOURCE: IEEE LATIN AMERICA TRANSACTIONS, VOLUME: 15, ISSUE: 6, PAGES: 1128-1136
2003
TITLE: An Experimental Evaluation of Peer Testing in the Context of the Teaching of Software Testing
AUTHORS: Barbosa, JR; Valle, P; Maldonado, J; Delamaro, M; VINCENZI, AURI M. R. ;
PUBLISHED: 2017, SOURCE: 2017 INTERNATIONAL SYMPOSIUM ON COMPUTERS IN EDUCATION (SIIE), VOLUME: 2018-January, PAGES: 1-6
AUTHORS: Barbosa, JR; Valle, P; Maldonado, J; Delamaro, M; VINCENZI, AURI M. R. ;
PUBLISHED: 2017, SOURCE: 2017 INTERNATIONAL SYMPOSIUM ON COMPUTERS IN EDUCATION (SIIE), VOLUME: 2018-January, PAGES: 1-6
2004
TITLE: An ideal IoT solution for real-time web monitoring
AUTHORS: Diogo, P; Lopes, NV; Reis, LP ;
PUBLISHED: 2017, SOURCE: CLUSTER COMPUTING-THE JOURNAL OF NETWORKS SOFTWARE TOOLS AND APPLICATIONS, VOLUME: 20, ISSUE: 3, PAGES: 2193-2209
AUTHORS: Diogo, P; Lopes, NV; Reis, LP ;
PUBLISHED: 2017, SOURCE: CLUSTER COMPUTING-THE JOURNAL OF NETWORKS SOFTWARE TOOLS AND APPLICATIONS, VOLUME: 20, ISSUE: 3, PAGES: 2193-2209
2005
TITLE: An Incremental Approach to Testing AOP
AUTHORS: André Restivo ; Aguiar, A ; Moreira, A;
PUBLISHED: 2017, SOURCE: 11th International Joint Conference on Software Technologies (ICSOFT-EA) in SOFTWARE TECHNOLOGIES, VOLUME: 743, PAGES: 309-331
AUTHORS: André Restivo ; Aguiar, A ; Moreira, A;
PUBLISHED: 2017, SOURCE: 11th International Joint Conference on Software Technologies (ICSOFT-EA) in SOFTWARE TECHNOLOGIES, VOLUME: 743, PAGES: 309-331
2006
TITLE: Analysis of Data Science Tools for Sensor-Based Assessment of Quality of Life in Health Care
AUTHORS: Urbano, J; Nogueira, P; Rocha, AP ; Cardoso, HL ;
PUBLISHED: 2017, SOURCE: World Conference on Information Systems and Technologies (WorldCIST) in RECENT ADVANCES IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 1, VOLUME: 569, PAGES: 446-455
AUTHORS: Urbano, J; Nogueira, P; Rocha, AP ; Cardoso, HL ;
PUBLISHED: 2017, SOURCE: World Conference on Information Systems and Technologies (WorldCIST) in RECENT ADVANCES IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 1, VOLUME: 569, PAGES: 446-455
2007
TITLE: Applying an Extended Kernel Density 4-Step Floating Catchment Area Method to Identify Priority Districts to Promote New Publicly Financed Supply of Gastroenterology Exams
AUTHORS: Pierre Polzin; José Borges ; António Coelho ;
PUBLISHED: 2017, SOURCE: Journal of Management and Sustainability, VOLUME: 7, ISSUE: 1, PAGES: 1
AUTHORS: Pierre Polzin; José Borges ; António Coelho ;
PUBLISHED: 2017, SOURCE: Journal of Management and Sustainability, VOLUME: 7, ISSUE: 1, PAGES: 1
2008
TITLE: Approaches to strategic alignment of software process improvement: A systematic literature review
AUTHORS: Vasconcellos, FJS; Landre, GB; Cunha, JAOG; Oliveira, JL; Ferreira, RA; VINCENZI, AURI M. R. ;
PUBLISHED: 2017, SOURCE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 123, PAGES: 45-63
AUTHORS: Vasconcellos, FJS; Landre, GB; Cunha, JAOG; Oliveira, JL; Ferreira, RA; VINCENZI, AURI M. R. ;
PUBLISHED: 2017, SOURCE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 123, PAGES: 45-63
2009
TITLE: Arbitrated Ensemble for Solar Radiation Forecasting
AUTHORS: Cerqueira, V ; Torgo, L ; Soares, C ;
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: Cerqueira, V ; Torgo, L ; Soares, C ;
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
2010
TITLE: Arbitrated Ensemble for Time Series Forecasting
AUTHORS: Cerqueira, V ; Torgo, L ; Pinto, F; Soares, C ;
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: Cerqueira, V ; Torgo, L ; Pinto, F; Soares, C ;
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
2011
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
2012
TITLE: As Secure as Possible Eventual Consistency. Work in Progress
AUTHORS: Shoker, A ; Yactine, H ; Baquero, C ;
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: Shoker, A ; Yactine, H ; Baquero, C ;
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
2013
TITLE: Audio Guides and Human Tour Guides: Measuring Children's Engagement & Learning at a Museum Setting
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
2014
TITLE: autoBagging: Learning to Rank Bagging Workflows with Metalearning
AUTHORS: Fábio Pinto; Vítor Cerqueira ; Carlos Soares ; João Mendes Moreira ;
PUBLISHED: 2017, SOURCE: AutoML@PKDD/ECML, VOLUME: 1998, PAGES: 21-27
AUTHORS: Fábio Pinto; Vítor Cerqueira ; Carlos Soares ; João Mendes Moreira ;
PUBLISHED: 2017, SOURCE: AutoML@PKDD/ECML, VOLUME: 1998, PAGES: 21-27
2015
TITLE: AUTOMATIC MUSICAL KEY ESTIMATION WITH ADAPTIVE MODE BIAS
AUTHORS: Bernardes, G ; Davies, MEP ; Guedes, C ;
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: Bernardes, G ; Davies, MEP ; Guedes, C ;
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
2016
TITLE: Autonomous Interactive Object Manipulation and Navigation Capabilities for an Intelligent Wheelchair
AUTHORS: Shafii, N; Farias, PCMA; Sousa, I; Sobreira, H ; Reis, LP ; Moreira, AP ;
PUBLISHED: 2017, SOURCE: 18th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2017), VOLUME: 10423, PAGES: 473-485
AUTHORS: Shafii, N; Farias, PCMA; Sousa, I; Sobreira, H ; Reis, LP ; Moreira, AP ;
PUBLISHED: 2017, SOURCE: 18th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2017), VOLUME: 10423, PAGES: 473-485
2017
TITLE: Borrowing an Identity for a Distributed Counter. Work in progress report
AUTHORS: Enes, V ; Baquero, C ; Almeida, PS ; Leitao, J;
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: Enes, V ; Baquero, C ; Almeida, PS ; Leitao, J;
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
2018
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
2019
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
2020
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
