Department of Informatics Engineering (DEI)
Departamento de Engenharia Informática
AuthID: I-000-0K9 Publications Count: 4625
61 Team MembersFilters -> Year: 2026
3141
TITLE: MHS2 : A Map-Reduce Heuristic-Driven Minimal Hitting Set Search Algorithm
AUTHORS: Nuno Cardoso ; Rui Abreu ;
PUBLISHED: 2013, SOURCE: International Conference on Multicore Software Engineering, Performance, and Tools (MUSEPAT) in MULTICORE SOFTWARE ENGINEERING, PERFORMANCE, AND TOOLS, VOLUME: 8063, PAGES: 25-36
AUTHORS: Nuno Cardoso ; Rui Abreu ;
PUBLISHED: 2013, SOURCE: International Conference on Multicore Software Engineering, Performance, and Tools (MUSEPAT) in MULTICORE SOFTWARE ENGINEERING, PERFORMANCE, AND TOOLS, VOLUME: 8063, PAGES: 25-36
3142
TITLE: Mobile Advertising for the Catering Industry
AUTHORS: Leonel Dias ; Antonio Coelho ;
PUBLISHED: 2013, SOURCE: 8th Iberian Conference on Information Systems and Technologies (CISTI) in PROCEEDINGS OF THE 2013 8TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI 2013)
AUTHORS: Leonel Dias ; Antonio Coelho ;
PUBLISHED: 2013, SOURCE: 8th Iberian Conference on Information Systems and Technologies (CISTI) in PROCEEDINGS OF THE 2013 8TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI 2013)
3143
TITLE: Model Repair and Transformation with Echo
AUTHORS: Macedo, N ; Guimaraes, T; Cunha, A ;
PUBLISHED: 2013, SOURCE: 28th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2013 28TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE), PAGES: 694-697
AUTHORS: Macedo, N ; Guimaraes, T; Cunha, A ;
PUBLISHED: 2013, SOURCE: 28th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2013 28TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE), PAGES: 694-697
3144
TITLE: Multi-Agent System for Teaching Service Distribution with Coalition Formation
AUTHORS: Moreira, JJ ; Reis, LP ;
PUBLISHED: 2013, SOURCE: World Conference on Information Systems and Technologies (WorldCIST) in ADVANCES IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOLUME: 206, PAGES: 599-609
AUTHORS: Moreira, JJ ; Reis, LP ;
PUBLISHED: 2013, SOURCE: World Conference on Information Systems and Technologies (WorldCIST) in ADVANCES IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOLUME: 206, PAGES: 599-609
3145
TITLE: Multi-interval Discretization of Continuous Attributes for Label Ranking
AUTHORS: de Sá, CR ; Soares, C ; Knobbe, A; Azevedo, P ; Jorge, AM ;
PUBLISHED: 2013, SOURCE: 16th International Conference on Discovery Science (DS) in DISCOVERY SCIENCE, VOLUME: 8140, PAGES: 155-169
AUTHORS: de Sá, CR ; Soares, C ; Knobbe, A; Azevedo, P ; Jorge, AM ;
PUBLISHED: 2013, SOURCE: 16th International Conference on Discovery Science (DS) in DISCOVERY SCIENCE, VOLUME: 8140, PAGES: 155-169
3146
TITLE: Multi-Resolution Simulation of Taxi Services on Airport Terminal's Curbside
AUTHORS: Passos, LS; Kokkinogenis, Z ; Rossetti, RJF ; Joaquim Mendes ;
PUBLISHED: 2013, SOURCE: 16th International IEEE Conference on Intelligent Transportation Systems (ITSC) in 2013 16TH INTERNATIONAL IEEE CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS - (ITSC), PAGES: 2361-2366
AUTHORS: Passos, LS; Kokkinogenis, Z ; Rossetti, RJF ; Joaquim Mendes ;
PUBLISHED: 2013, SOURCE: 16th International IEEE Conference on Intelligent Transportation Systems (ITSC) in 2013 16TH INTERNATIONAL IEEE CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS - (ITSC), PAGES: 2361-2366
3147
TITLE: MZoltar: Automatic debugging of android applications
AUTHORS: Machado, P; Campos, J ; Abreu, R ;
PUBLISHED: 2013, SOURCE: 2013 1st International Workshop on Software Development Lifecycle for Mobile, DeMobile 2013 in 2013 1st International Workshop on Software Development Lifecycle for Mobile, DeMobile 2013 - Proceedings, PAGES: 9-16
AUTHORS: Machado, P; Campos, J ; Abreu, R ;
PUBLISHED: 2013, SOURCE: 2013 1st International Workshop on Software Development Lifecycle for Mobile, DeMobile 2013 in 2013 1st International Workshop on Software Development Lifecycle for Mobile, DeMobile 2013 - Proceedings, PAGES: 9-16
3148
TITLE: New optical probe approach using mixing effect in planar photodiode for biomedical applications
AUTHORS: Tania Pereira ; Pedro Vaz; Tatiana Oliveira; Ines Santos; Adriana Leal; Vania Almeida ; Helena Pereira; Carlos Correia ; Joao Cardoso ;
PUBLISHED: 2013, SOURCE: Conference on Optical Sensors in OPTICAL SENSORS 2013, VOLUME: 8774
AUTHORS: Tania Pereira ; Pedro Vaz; Tatiana Oliveira; Ines Santos; Adriana Leal; Vania Almeida ; Helena Pereira; Carlos Correia ; Joao Cardoso ;
PUBLISHED: 2013, SOURCE: Conference on Optical Sensors in OPTICAL SENSORS 2013, VOLUME: 8774
3149
TITLE: Norms and Trust
AUTHORS: Falcone, R; Castelfranchi, C; Cardoso, HL ; Jones, A; Oliveira, E;
PUBLISHED: 2013, SOURCE: Law, Governance and Technology Series, VOLUME: 8, PAGES: 221-231
AUTHORS: Falcone, R; Castelfranchi, C; Cardoso, HL ; Jones, A; Oliveira, E;
PUBLISHED: 2013, SOURCE: Law, Governance and Technology Series, VOLUME: 8, PAGES: 221-231
3150
TITLE: Omnidirectional Walking and Active Balance for Soccer Humanoid Robot
AUTHORS: Shafii, N; Abdolmaleki, A; Ferreira, R; Lau, N ; Reis, LP ;
PUBLISHED: 2013, SOURCE: 16th Portuguese Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2013, VOLUME: 8154, PAGES: 283-294
AUTHORS: Shafii, N; Abdolmaleki, A; Ferreira, R; Lau, N ; Reis, LP ;
PUBLISHED: 2013, SOURCE: 16th Portuguese Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2013, VOLUME: 8154, PAGES: 283-294
3151
TITLE: On Predicting the Taxi-Passenger Demand: A Real-Time Approach
AUTHORS: Moreira Matias, L ; Gama, J ; Ferreira, M ; Mendes Moreira, J ; Damas, L ;
PUBLISHED: 2013, SOURCE: 16th Portuguese Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2013, VOLUME: 8154, PAGES: 54-65
AUTHORS: Moreira Matias, L ; Gama, J ; Ferreira, M ; Mendes Moreira, J ; Damas, L ;
PUBLISHED: 2013, SOURCE: 16th Portuguese Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2013, VOLUME: 8154, PAGES: 54-65
3152
TITLE: On Recommending Urban Hotspots to Find Our Next Passenger
AUTHORS: Luís Moreira Matias ; Ricardo Fernandes; João Gama ; Michel Ferreira ; João Mendes Moreira ; Luís Damas ;
PUBLISHED: 2013, SOURCE: UDM@IJCAI, VOLUME: 1088, PAGES: 17
AUTHORS: Luís Moreira Matias ; Ricardo Fernandes; João Gama ; Michel Ferreira ; João Mendes Moreira ; Luís Damas ;
PUBLISHED: 2013, SOURCE: UDM@IJCAI, VOLUME: 1088, PAGES: 17
3153
TITLE: On the Empirical Evaluation of Fault Localization Techniques for Spreadsheets
AUTHORS: Birgit Hofer; Andre Riboira; Franz Wotawa; Rui Abreu ; Elisabeth Getzner;
PUBLISHED: 2013, SOURCE: 16th International Conference on Fundamental Approaches to Software Engineering (FASE) in FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, FASE 2013, VOLUME: 7793, PAGES: 68-82
AUTHORS: Birgit Hofer; Andre Riboira; Franz Wotawa; Rui Abreu ; Elisabeth Getzner;
PUBLISHED: 2013, SOURCE: 16th International Conference on Fundamental Approaches to Software Engineering (FASE) in FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, FASE 2013, VOLUME: 7793, PAGES: 68-82
3154
TITLE: Optimizing Energy-Efficiency in High-Available Scientific Cloud Environments
AUTHORS: Sampaio, AM ; Barbosa, JG ;
PUBLISHED: 2013, SOURCE: 3rd IEEE International Conference on Cloud and Green Computing (CGC) in 2013 IEEE THIRD INTERNATIONAL CONFERENCE ON CLOUD AND GREEN COMPUTING (CGC 2013), PAGES: 76-83
AUTHORS: Sampaio, AM ; Barbosa, JG ;
PUBLISHED: 2013, SOURCE: 3rd IEEE International Conference on Cloud and Green Computing (CGC) in 2013 IEEE THIRD INTERNATIONAL CONFERENCE ON CLOUD AND GREEN COMPUTING (CGC 2013), PAGES: 76-83
3155
TITLE: Pattern Based GUI Testing Modeling Environment
AUTHORS: Monteiro, T; Paiva, ACR ;
PUBLISHED: 2013, SOURCE: 6th IEEE International Conference on Software Testing, Verification and Validation (ICST) in IEEE SIXTH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW 2013), PAGES: 140-143
AUTHORS: Monteiro, T; Paiva, ACR ;
PUBLISHED: 2013, SOURCE: 6th IEEE International Conference on Software Testing, Verification and Validation (ICST) in IEEE SIXTH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW 2013), PAGES: 140-143
3156
TITLE: Playing Transportation Seriously: Applications of Serious Games to Artificial Transportation Systems
AUTHORS: Rossetti, RJF ; Almeida, JE; Kokkinogenis, Z ; Gonalves, J;
PUBLISHED: 2013, SOURCE: IEEE INTELLIGENT SYSTEMS, VOLUME: 28, ISSUE: 4, PAGES: 107-113
AUTHORS: Rossetti, RJF ; Almeida, JE; Kokkinogenis, Z ; Gonalves, J;
PUBLISHED: 2013, SOURCE: IEEE INTELLIGENT SYSTEMS, VOLUME: 28, ISSUE: 4, PAGES: 107-113
3157
TITLE: Policies for Role Maintenance through Incentives: How to Keep Agents on Track
AUTHORS: Henrique Lopes Cardoso ; Ramón Hermoso; Maria Fasli;
PUBLISHED: 2013, SOURCE: 2nd International Conference on Agreement Technologies, AT 2013 in Agreement Technologies - Second International Conference, AT 2013, Beijing, China, August 1-2, 2013. Proceedings, VOLUME: 8068, PAGES: 150-164
AUTHORS: Henrique Lopes Cardoso ; Ramón Hermoso; Maria Fasli;
PUBLISHED: 2013, SOURCE: 2nd International Conference on Agreement Technologies, AT 2013 in Agreement Technologies - Second International Conference, AT 2013, Beijing, China, August 1-2, 2013. Proceedings, VOLUME: 8068, PAGES: 150-164
3158
TITLE: POPSTAR at RepLab 2013: Name Ambiguity Resolution on Twitter
AUTHORS: Saleiro, Pedro ; Luis Rei; Arian Pasquali; Carlos Soares ; Teixeira, Jorge ; Fábio Pinto; Mohammad Nozari Zarmehri ; Catarina Félix ; Pedro Strecht;
PUBLISHED: 2013, SOURCE: CLEF (Working Notes), VOLUME: 1179
AUTHORS: Saleiro, Pedro ; Luis Rei; Arian Pasquali; Carlos Soares ; Teixeira, Jorge ; Fábio Pinto; Mohammad Nozari Zarmehri ; Catarina Félix ; Pedro Strecht;
PUBLISHED: 2013, SOURCE: CLEF (Working Notes), VOLUME: 1179
3159
TITLE: Predicting Taxi-Passenger Demand Using Streaming Data
AUTHORS: Moreira Matias, L ; Gama, J ; Ferreira, M ; Mendes Moreira, J ; Damas, L ;
PUBLISHED: 2013, SOURCE: IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS, VOLUME: 14, ISSUE: 3, PAGES: 1393-1402
AUTHORS: Moreira Matias, L ; Gama, J ; Ferreira, M ; Mendes Moreira, J ; Damas, L ;
PUBLISHED: 2013, SOURCE: IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS, VOLUME: 14, ISSUE: 3, PAGES: 1393-1402
3160
TITLE: PRELIMINARY EXPERIMENTS WITH EVA - SERIOUS GAMES VIRTUAL FIRE DRILL SIMULATOR
AUTHORS: Silva, JFM; Almeida, JE; Pereira, A; Rossetti, RJF ; Coelho, AL;
PUBLISHED: 2013, SOURCE: 27th European Conference on Modelling and Simulation, ECMS 2013 in PROCEEDINGS 27TH EUROPEAN CONFERENCE ON MODELLING AND SIMULATION ECMS 2013, PAGES: 221-227
AUTHORS: Silva, JFM; Almeida, JE; Pereira, A; Rossetti, RJF ; Coelho, AL;
PUBLISHED: 2013, SOURCE: 27th European Conference on Modelling and Simulation, ECMS 2013 in PROCEEDINGS 27TH EUROPEAN CONFERENCE ON MODELLING AND SIMULATION ECMS 2013, PAGES: 221-227
