Departamento de Engenharia Informática (DEI)
Department of Informatics Engineering
AuthID: I-000-0K9 
Publications Count: 3922
48 Team MembersFilters -> Year: 2025
2141
TÃTULO: Using constraints to diagnose faulty spreadsheets
AUTORES: Rui Abreu ; Birgit Hofer; Alexandre Perez ; Franz Wotawa;
PUBLICAÇÃO: 2015, FONTE: SOFTWARE QUALITY JOURNAL, VOLUME: 23, NÚMERO: 2, PÁGINAS: 297-322
AUTORES: Rui Abreu ; Birgit Hofer; Alexandre Perez ; Franz Wotawa;
PUBLICAÇÃO: 2015, FONTE: SOFTWARE QUALITY JOURNAL, VOLUME: 23, NÚMERO: 2, PÁGINAS: 297-322
2142
TÃTULO: Using Metalearning for Prediction of Taxi Trip Duration Using Different Granularity Levels
AUTORES: Mohammad Nozari Zarmehri ; Carlos Soares ;
PUBLICAÇÃO: 2015, FONTE: 14th International Symposium on Intelligent Data Analysis (IDA) in Advances in Intelligent Data Analysis XIV, VOLUME: 9385, PÁGINAS: 205-216
AUTORES: Mohammad Nozari Zarmehri ; Carlos Soares ;
PUBLICAÇÃO: 2015, FONTE: 14th International Symposium on Intelligent Data Analysis (IDA) in Advances in Intelligent Data Analysis XIV, VOLUME: 9385, PÁGINAS: 205-216
2143
TÃTULO: Using Serious Games to Train Children and Elicit Fire Safety Behaviour
AUTORES: Almeida, JE; Rossetti, RJF ; Faria, BM ; Coelho, AL;
PUBLICAÇÃO: 2015, FONTE: World Conference on Information Systems and Technologies (WorldCIST) in NEW CONTRIBUTIONS IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 1, PT 1, VOLUME: 353, PÁGINAS: 1153-1162
AUTORES: Almeida, JE; Rossetti, RJF ; Faria, BM ; Coelho, AL;
PUBLICAÇÃO: 2015, FONTE: World Conference on Information Systems and Technologies (WorldCIST) in NEW CONTRIBUTIONS IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 1, PT 1, VOLUME: 353, PÁGINAS: 1153-1162
2144
TÃTULO: Validating the coverage of bus schedules: A Machine Learning approach
AUTORES: Joao Mendes Moreira ; Luis Moreira Matias ; Joao Gama ; Jorge Freire de Sousa ;
PUBLICAÇÃO: 2015, FONTE: INFORMATION SCIENCES, VOLUME: 293, PÁGINAS: 299-313
AUTORES: Joao Mendes Moreira ; Luis Moreira Matias ; Joao Gama ; Jorge Freire de Sousa ;
PUBLICAÇÃO: 2015, FONTE: INFORMATION SCIENCES, VOLUME: 293, PÁGINAS: 299-313
2145
TÃTULO: Watch Out for that Tree! A Tutorial on Shortcut Deforestation
AUTORES: João Paulo Fernandes ; Jácome Cunha ; João Saraiva ; Alberto Pardo;
PUBLICAÇÃO: 2015, FONTE: 6th Central European Functional Programming School, CEFP 2015 in Central European Functional Programming School - 6th Summer School, CEFP 2015, Budapest, Hungary, July 6-10, 2015, Revised Selected Papers, VOLUME: 10094, PÁGINAS: 1-41
AUTORES: João Paulo Fernandes ; Jácome Cunha ; João Saraiva ; Alberto Pardo;
PUBLICAÇÃO: 2015, FONTE: 6th Central European Functional Programming School, CEFP 2015 in Central European Functional Programming School - 6th Summer School, CEFP 2015, Budapest, Hungary, July 6-10, 2015, Revised Selected Papers, VOLUME: 10094, PÁGINAS: 1-41
2146
TÃTULO: "Generic Shooter 3000": a realistic first person shooter powered by biofeedback
AUTORES: Gonçalo Amaral da Silva; Pedro Alves Nogueira; Rui Rodrigues ;
PUBLICAÇÃO: 2014, FONTE: 1st ACM SIGCHI Annual Symposium on Computer-Human Interaction in Play, CHI PLAY 2014 in Proceedings of the first ACM SIGCHI annual symposium on Computer-human interaction in play, Toronto, ON, Canada, October 19 - 22, 2014, PÁGINAS: 371-374
AUTORES: Gonçalo Amaral da Silva; Pedro Alves Nogueira; Rui Rodrigues ;
PUBLICAÇÃO: 2014, FONTE: 1st ACM SIGCHI Annual Symposium on Computer-Human Interaction in Play, CHI PLAY 2014 in Proceedings of the first ACM SIGCHI annual symposium on Computer-human interaction in play, Toronto, ON, Canada, October 19 - 22, 2014, PÁGINAS: 371-374
2147
TÃTULO: 1st international workshop on intelligent agents and technologies for socially interconnected systems
AUTORES: Rocha, AP ; Aldewereld, H; Dignum, V; Oliveira, E ; Vercouter, L;
PUBLICAÇÃO: 2014, FONTE: 1st International Workshop on Intelligent Agents and Technologies for Socially Interconnected Systems, IAT4SIS 2014 in ACM International Conference Proceeding Series, VOLUME: 18-August-2014
AUTORES: Rocha, AP ; Aldewereld, H; Dignum, V; Oliveira, E ; Vercouter, L;
PUBLICAÇÃO: 2014, FONTE: 1st International Workshop on Intelligent Agents and Technologies for Socially Interconnected Systems, IAT4SIS 2014 in ACM International Conference Proceeding Series, VOLUME: 18-August-2014
2148
TÃTULO: A Benchmark-Based Approach for Ranking Root Causes of Performance Problems in Software Development
AUTORES: Mushtaq Raza ; Joao Pascoal Faria ;
PUBLICAÇÃO: 2014, FONTE: 15th International Conference on Product-Focused Software Process Improvement (PROFES) in PRODUCT-FOCUSED SOFTWARE PROCESS IMPROVEMENT, PROFES 2014, VOLUME: 8892, PÁGINAS: 314-317
AUTORES: Mushtaq Raza ; Joao Pascoal Faria ;
PUBLICAÇÃO: 2014, FONTE: 15th International Conference on Product-Focused Software Process Improvement (PROFES) in PRODUCT-FOCUSED SOFTWARE PROCESS IMPROVEMENT, PROFES 2014, VOLUME: 8892, PÁGINAS: 314-317
2149
TÃTULO: A Budget Constrained Scheduling Algorithm for Workflow Applications
AUTORES: Arabnejad, H; Barbosa, JG ;
PUBLICAÇÃO: 2014, FONTE: JOURNAL OF GRID COMPUTING, VOLUME: 12, NÚMERO: 4, PÁGINAS: 665-679
AUTORES: Arabnejad, H; Barbosa, JG ;
PUBLICAÇÃO: 2014, FONTE: JOURNAL OF GRID COMPUTING, VOLUME: 12, NÚMERO: 4, PÁGINAS: 665-679
2150
TÃTULO: A case for adaptive redundancy for HPC resilience
AUTORES: Hukerikar, S; Diniz, PC ; Lucas, RF;
PUBLICAÇÃO: 2014, FONTE: 19th International Conference on Parallel Processing Workshops, Euro-Par 2013 - BigDataCloud, DIHC, FedICI, HeteroPar, HiBB, LSDVE, MHPC, OMHI, PADABS, PROPER, Resilience, ROME, and UCHPC 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8374 LNCS, PÁGINAS: 690-697
AUTORES: Hukerikar, S; Diniz, PC ; Lucas, RF;
PUBLICAÇÃO: 2014, FONTE: 19th International Conference on Parallel Processing Workshops, Euro-Par 2013 - BigDataCloud, DIHC, FedICI, HeteroPar, HiBB, LSDVE, MHPC, OMHI, PADABS, PROPER, Resilience, ROME, and UCHPC 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8374 LNCS, PÁGINAS: 690-697
2151
TÃTULO: A Clustering-Based Approach for Exploring Sequences of Compiler Optimizations
AUTORES: Luiz G A Martins; Ricardo Nobre ; Alexandra C B Delbem; Eduardo Marques; Joao M P Cardoso ;
PUBLICAÇÃO: 2014, FONTE: IEEE Congress on Evolutionary Computation (CEC) in 2014 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION (CEC), PÁGINAS: 2436-2443
AUTORES: Luiz G A Martins; Ricardo Nobre ; Alexandra C B Delbem; Eduardo Marques; Joao M P Cardoso ;
PUBLICAÇÃO: 2014, FONTE: IEEE Congress on Evolutionary Computation (CEC) in 2014 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION (CEC), PÁGINAS: 2436-2443
2152
TÃTULO: A data aggregation system for music events
AUTORES: Simoes, D; Abreu, PH; Silva, DC ;
PUBLICAÇÃO: 2014, FONTE: 2014 World Conference on Information Systems and Technologies, WorldCIST 2014 in Advances in Intelligent Systems and Computing, VOLUME: 276 VOLUME 2, PÁGINAS: 187-198
AUTORES: Simoes, D; Abreu, PH; Silva, DC ;
PUBLICAÇÃO: 2014, FONTE: 2014 World Conference on Information Systems and Technologies, WorldCIST 2014 in Advances in Intelligent Systems and Computing, VOLUME: 276 VOLUME 2, PÁGINAS: 187-198
2153
TÃTULO: A data warehouse to support web site automation
AUTORES: Domingues, MA; Soares, C ; Jorge, AM ; Rezende, SO;
PUBLICAÇÃO: 2014, FONTE: Journal of the Brazilian Computer Society, VOLUME: 20, NÚMERO: 1, PÁGINAS: 1-16
AUTORES: Domingues, MA; Soares, C ; Jorge, AM ; Rezende, SO;
PUBLICAÇÃO: 2014, FONTE: Journal of the Brazilian Computer Society, VOLUME: 20, NÚMERO: 1, PÁGINAS: 1-16
2154
TÃTULO: A diagnosis-based approach to software comprehension
AUTORES: Alexandre Perez ; Rui Abreu ;
PUBLICAÇÃO: 2014, FONTE: 22nd International Conference on Program Comprehension, ICPC 2014, Hyderabad, India, June 2-3, 2014, PÁGINAS: 37-47
AUTORES: Alexandre Perez ; Rui Abreu ;
PUBLICAÇÃO: 2014, FONTE: 22nd International Conference on Program Comprehension, ICPC 2014, Hyderabad, India, June 2-3, 2014, PÁGINAS: 37-47
2155
TÃTULO: A DSL for specifying run-time adaptations for embedded systems: an application to vehicle stereo navigation
AUTORES: Andre C Santos; Joao M P Cardoso ; Pedro C Diniz ; Diogo R Ferreira; Zlatko Petrov;
PUBLICAÇÃO: 2014, FONTE: JOURNAL OF SUPERCOMPUTING, VOLUME: 70, NÚMERO: 3, PÁGINAS: 1218-1248
AUTORES: Andre C Santos; Joao M P Cardoso ; Pedro C Diniz ; Diogo R Ferreira; Zlatko Petrov;
PUBLICAÇÃO: 2014, FONTE: JOURNAL OF SUPERCOMPUTING, VOLUME: 70, NÚMERO: 3, PÁGINAS: 1218-1248
2156
TÃTULO: A dynamic code coverage approach to maximize fault localization efficiency
AUTORES: Alexandre Perez ; Rui Abreu ; Andre Riboira;
PUBLICAÇÃO: 2014, FONTE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 90, NÚMERO: 1, PÁGINAS: 18-28
AUTORES: Alexandre Perez ; Rui Abreu ; Andre Riboira;
PUBLICAÇÃO: 2014, FONTE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 90, NÚMERO: 1, PÁGINAS: 18-28
2157
TÃTULO: A Framework for a Multimodal Transportation Network: an Agent-Based Model Approach
AUTORES: Nuno Monteiro; Rosaldo Rossetti ; Pedro Campos ; Zafeiris Kokkinogenis ;
PUBLICAÇÃO: 2014, FONTE: International Scientific Conference on Mobility and Transport in SUSTAINABLE MOBILITY IN METROPOLITAN REGIONS, MOBIL.TUM 2014, VOLUME: 4, PÁGINAS: 213-227
AUTORES: Nuno Monteiro; Rosaldo Rossetti ; Pedro Campos ; Zafeiris Kokkinogenis ;
PUBLICAÇÃO: 2014, FONTE: International Scientific Conference on Mobility and Transport in SUSTAINABLE MOBILITY IN METROPOLITAN REGIONS, MOBIL.TUM 2014, VOLUME: 4, PÁGINAS: 213-227
2158
TÃTULO: A framework to decompose and develop metafeatures
AUTORES: Pinto, F; Soares, C ; Mendes Moreira, J ;
PUBLICAÇÃO: 2014, FONTE: International Workshop on Meta-Learning and Algorithm Selection, MetaSel 2014 - Co-located with 21st European Conference on Artificial Intelligence, ECAI 2014 in CEUR Workshop Proceedings, VOLUME: 1201, PÁGINAS: 32-36
AUTORES: Pinto, F; Soares, C ; Mendes Moreira, J ;
PUBLICAÇÃO: 2014, FONTE: International Workshop on Meta-Learning and Algorithm Selection, MetaSel 2014 - Co-located with 21st European Conference on Artificial Intelligence, ECAI 2014 in CEUR Workshop Proceedings, VOLUME: 1201, PÁGINAS: 32-36
2159
TÃTULO: A game for robot operation training in Search and Rescue missions
AUTORES: Goncalves, R; Baptista, R ; Coelho, A ; Matos, A ; de Carvalho, CV; Bedkowski, J; Musialik, P; Ostrowski, I; Majek, K;
PUBLICAÇÃO: 2014, FONTE: 11th International Conference on Remote Engineering and Virtual Instrumentation (REV) in 2014 11TH INTERNATIONAL CONFERENCE ON REMOTE ENGINEERING AND VIRTUAL INSTRUMENTATION (REV), PÁGINAS: 262-267
AUTORES: Goncalves, R; Baptista, R ; Coelho, A ; Matos, A ; de Carvalho, CV; Bedkowski, J; Musialik, P; Ostrowski, I; Majek, K;
PUBLICAÇÃO: 2014, FONTE: 11th International Conference on Remote Engineering and Virtual Instrumentation (REV) in 2014 11TH INTERNATIONAL CONFERENCE ON REMOTE ENGINEERING AND VIRTUAL INSTRUMENTATION (REV), PÁGINAS: 262-267
2160
TÃTULO: A GUI Modeling DSL for Pattern-Based GUI Testing PARADIGM
AUTORES: Rodrigo M L M Moreira; Ana C R Paiva ;
PUBLICAÇÃO: 2014, FONTE: 9th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE) in PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING (ENASE 2014), PÁGINAS: 126-135
AUTORES: Rodrigo M L M Moreira; Ana C R Paiva ;
PUBLICAÇÃO: 2014, FONTE: 9th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE) in PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING (ENASE 2014), PÁGINAS: 126-135