Departamento de Engenharia Informática (DEI)
Department of Informatics Engineering
AuthID: I-000-0K9 
Publications Count: 3975
49 Team MembersFilters -> Year: 2025
2421
TÃTULO: A Framework for Modular and Customizable Software Analysis
AUTORES: Martins, P ; Carvalho, N ; Fernandes, JP ; Almeida, JJ ; Saraiva, J ;
PUBLICAÇÃO: 2013, FONTE: 13th International Conference on Computational Science and Its Applications (ICCSA) in COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2013, PT II, VOLUME: 7972, NÚMERO: PART 2, PÁGINAS: 443-458
AUTORES: Martins, P ; Carvalho, N ; Fernandes, JP ; Almeida, JJ ; Saraiva, J ;
PUBLICAÇÃO: 2013, FONTE: 13th International Conference on Computational Science and Its Applications (ICCSA) in COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2013, PT II, VOLUME: 7972, NÚMERO: PART 2, PÁGINAS: 443-458
2422
TÃTULO: A Generic Scheme and Properties of Bidirectional Transformations
AUTORES: Hugo Pacheco ; Nuno Macedo ; Alcino Cunha ; Janis Voigtländer;
PUBLICAÇÃO: 2013, FONTE: CoRR, VOLUME: abs/1306.4473
AUTORES: Hugo Pacheco ; Nuno Macedo ; Alcino Cunha ; Janis Voigtländer;
PUBLICAÇÃO: 2013, FONTE: CoRR, VOLUME: abs/1306.4473
2423
TÃTULO: A HLA-based Multi-Resolution Approach to Simulating Electric Vehicles in Simulink and SUMO
AUTORES: Jose Macedo; Zafeiris Kokkinogenis ; Guilherme Soares; Deborah Perrotta; Rosaldo J F Rossetti ;
PUBLICAÇÃO: 2013, FONTE: 16th International IEEE Conference on Intelligent Transportation Systems (ITSC) in 2013 16TH INTERNATIONAL IEEE CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS - (ITSC), PÁGINAS: 2367-2372
AUTORES: Jose Macedo; Zafeiris Kokkinogenis ; Guilherme Soares; Deborah Perrotta; Rosaldo J F Rossetti ;
PUBLICAÇÃO: 2013, FONTE: 16th International IEEE Conference on Intelligent Transportation Systems (ITSC) in 2013 16TH INTERNATIONAL IEEE CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS - (ITSC), PÁGINAS: 2367-2372
2424
TÃTULO: A Hybrid Approach at Emotional State Detection: Merging Theoretical Models of Emotion with Data-Driven Statistical Classifiers
AUTORES: Pedro A Nogueira ; Rui Rodrigues ; Eugenio Oliveira ; Lennart E Nacke;
PUBLICAÇÃO: 2013, FONTE: 12th IEEE/WIC/ACM International Joint Conference on Intelligent Agent Technology (IAT) in 2013 IEEE/WIC/ACM INTERNATIONAL CONFERENCE ON INTELLIGENT AGENT TECHNOLOGY (IAT 2013), VOLUME: 2, PÁGINAS: 253-260
AUTORES: Pedro A Nogueira ; Rui Rodrigues ; Eugenio Oliveira ; Lennart E Nacke;
PUBLICAÇÃO: 2013, FONTE: 12th IEEE/WIC/ACM International Joint Conference on Intelligent Agent Technology (IAT) in 2013 IEEE/WIC/ACM INTERNATIONAL CONFERENCE ON INTELLIGENT AGENT TECHNOLOGY (IAT 2013), VOLUME: 2, PÁGINAS: 253-260
2425
TÃTULO: A kernel density estimate-based approach to component goodness modeling
AUTORES: Cardoso, N; Abreu, R ;
PUBLICAÇÃO: 2013, FONTE: 27th AAAI Conference on Artificial Intelligence, AAAI 2013 in Proceedings of the 27th AAAI Conference on Artificial Intelligence, AAAI 2013, PÁGINAS: 152-158
AUTORES: Cardoso, N; Abreu, R ;
PUBLICAÇÃO: 2013, FONTE: 27th AAAI Conference on Artificial Intelligence, AAAI 2013 in Proceedings of the 27th AAAI Conference on Artificial Intelligence, AAAI 2013, PÁGINAS: 152-158
2426
TÃTULO: A method for the development of Dublin core application profiles (me4dcap v0.2): Detailed description
AUTORES: Malta, MC ; Baptista, AA;
PUBLICAÇÃO: 2013, FONTE: 2013 International Conference on Dublin Core and Metadata Applications: Linking to the Future, DC 2013 in Proceedings of the International Conference on Dublin Core and Metadata Applications, PÁGINAS: 90-103
AUTORES: Malta, MC ; Baptista, AA;
PUBLICAÇÃO: 2013, FONTE: 2013 International Conference on Dublin Core and Metadata Applications: Linking to the Future, DC 2013 in Proceedings of the International Conference on Dublin Core and Metadata Applications, PÁGINAS: 90-103
2427
TÃTULO: A note from the program chairs
AUTORES: Morrow, K; Diniz, PC ;
PUBLICAÇÃO: 2013, FONTE: 2013 23rd International Conference on Field Programmable Logic and Applications, FPL 2013 in 2013 23rd International Conference on Field Programmable Logic and Applications, FPL 2013 - Proceedings
AUTORES: Morrow, K; Diniz, PC ;
PUBLICAÇÃO: 2013, FONTE: 2013 23rd International Conference on Field Programmable Logic and Applications, FPL 2013 in 2013 23rd International Conference on Field Programmable Logic and Applications, FPL 2013 - Proceedings
2428
TÃTULO: A Pattern-Based Approach for GUI Modeling and Testing
AUTORES: Rodrigo M L M Moreira; Ana C R Paiva ; Atif Memon;
PUBLICAÇÃO: 2013, FONTE: IEEE 24th International Symposium on Software Reliability Engineering Workshops (ISSREW) in 2013 IEEE 24TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE), PÁGINAS: 288-297
AUTORES: Rodrigo M L M Moreira; Ana C R Paiva ; Atif Memon;
PUBLICAÇÃO: 2013, FONTE: IEEE 24th International Symposium on Software Reliability Engineering Workshops (ISSREW) in 2013 IEEE 24TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE), PÁGINAS: 288-297
2429
TÃTULO: A Poker Game Description Language
AUTORES: Joao Castro Correia; Luis Filipe Teofilo ; Henrique Lopes Cardoso ; Luis Paulo Reis ;
PUBLICAÇÃO: 2013, FONTE: 12th IEEE/WIC/ACM International Joint Conference on Intelligent Agent Technology (IAT) in 2013 IEEE/WIC/ACM INTERNATIONAL CONFERENCE ON INTELLIGENT AGENT TECHNOLOGY (IAT 2013), VOLUME: 2, PÁGINAS: 353-360
AUTORES: Joao Castro Correia; Luis Filipe Teofilo ; Henrique Lopes Cardoso ; Luis Paulo Reis ;
PUBLICAÇÃO: 2013, FONTE: 12th IEEE/WIC/ACM International Joint Conference on Intelligent Agent Technology (IAT) in 2013 IEEE/WIC/ACM INTERNATIONAL CONFERENCE ON INTELLIGENT AGENT TECHNOLOGY (IAT 2013), VOLUME: 2, PÁGINAS: 353-360
2430
TÃTULO: A Serious Game for EVAcuation Training
AUTORES: Silva, JF; Almeida, JE; Rossetti, RJF ; Coelho, AL;
PUBLICAÇÃO: 2013, FONTE: IEEE 2nd International Conference on Serious Games and Applications for Health (SeGAH) in 2013 IEEE 2ND INTERNATIONAL CONFERENCE ON SERIOUS GAMES AND APPLICATIONS FOR HEALTH (SEGAH), PÁGINAS: 1-6
AUTORES: Silva, JF; Almeida, JE; Rossetti, RJF ; Coelho, AL;
PUBLICAÇÃO: 2013, FONTE: IEEE 2nd International Conference on Serious Games and Applications for Health (SeGAH) in 2013 IEEE 2ND INTERNATIONAL CONFERENCE ON SERIOUS GAMES AND APPLICATIONS FOR HEALTH (SEGAH), PÁGINAS: 1-6
2431
TÃTULO: A socio-cognitive perspective of trust
AUTORES: Urbano, J; Paula Rocha, A ; Oliveira, E ;
PUBLICAÇÃO: 2013, FONTE: Agreement Technologies, PÁGINAS: 419-429
AUTORES: Urbano, J; Paula Rocha, A ; Oliveira, E ;
PUBLICAÇÃO: 2013, FONTE: Agreement Technologies, PÁGINAS: 419-429
2432
TÃTULO: A testing and certification methodology for an Ambient-Assisted Living ecosystem
AUTORES: Faria, JP ; Lima, B ; Sousa, TB ; Martins, A ;
PUBLICAÇÃO: 2013, FONTE: 2013 IEEE 15th International Conference on e-Health Networking, Applications and Services, Healthcom 2013 in 2013 IEEE 15th International Conference on e-Health Networking, Applications and Services, Healthcom 2013, PÁGINAS: 585-589
AUTORES: Faria, JP ; Lima, B ; Sousa, TB ; Martins, A ;
PUBLICAÇÃO: 2013, FONTE: 2013 IEEE 15th International Conference on e-Health Networking, Applications and Services, Healthcom 2013 in 2013 IEEE 15th International Conference on e-Health Networking, Applications and Services, Healthcom 2013, PÁGINAS: 585-589
2433
TÃTULO: Active Selection of Training Instances for a Random forest Meta-Learner
AUTORES: Arthur F M Sousa; Ricardo B C Prudencio; Carlos Soares ; Teresa B Ludermir;
PUBLICAÇÃO: 2013, FONTE: International Joint Conference on Neural Networks (IJCNN) in 2013 INTERNATIONAL JOINT CONFERENCE ON NEURAL NETWORKS (IJCNN), PÁGINAS: 1-7
AUTORES: Arthur F M Sousa; Ricardo B C Prudencio; Carlos Soares ; Teresa B Ludermir;
PUBLICAÇÃO: 2013, FONTE: International Joint Conference on Neural Networks (IJCNN) in 2013 INTERNATIONAL JOINT CONFERENCE ON NEURAL NETWORKS (IJCNN), PÁGINAS: 1-7
2434
TÃTULO: Adaptive consoles for supervisory control of multiple unmanned aerial vehicles
AUTORES: Fuchs, C; Ferreira, S ; Sousa, J ; Gil Gonçalves ;
PUBLICAÇÃO: 2013, FONTE: 15th International Conference on Human-Computer Interaction, HCI International 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8007 LNCS, NÚMERO: PART 4, PÁGINAS: 678-687
AUTORES: Fuchs, C; Ferreira, S ; Sousa, J ; Gil Gonçalves ;
PUBLICAÇÃO: 2013, FONTE: 15th International Conference on Human-Computer Interaction, HCI International 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8007 LNCS, NÚMERO: PART 4, PÁGINAS: 678-687
2435
TÃTULO: An agent-based framework for intelligent optimization of interactive visualizations
AUTORES: Moreira, PM ; Reis, LP ; Augusto Sousa, A ;
PUBLICAÇÃO: 2013, FONTE: 5th International Conference on Agents and Artificial Intelligence, ICAART 2013 in ICAART 2013 - Proceedings of the 5th International Conference on Agents and Artificial Intelligence, VOLUME: 1, PÁGINAS: 154-159
AUTORES: Moreira, PM ; Reis, LP ; Augusto Sousa, A ;
PUBLICAÇÃO: 2013, FONTE: 5th International Conference on Agents and Artificial Intelligence, ICAART 2013 in ICAART 2013 - Proceedings of the 5th International Conference on Agents and Artificial Intelligence, VOLUME: 1, PÁGINAS: 154-159
2436
TÃTULO: An Aspect-Oriented Approach for Designing Safety-Critical Systems
AUTORES: Zlatko Petrov; Pavel G Zaykov; Joao M P Cardoso ; Jose G F Coutinho; Pedro C Diniz ; Wayne Luk;
PUBLICAÇÃO: 2013, FONTE: IEEE Aerospace Conference in 2013 IEEE AEROSPACE CONFERENCE
AUTORES: Zlatko Petrov; Pavel G Zaykov; Joao M P Cardoso ; Jose G F Coutinho; Pedro C Diniz ; Wayne Luk;
PUBLICAÇÃO: 2013, FONTE: IEEE Aerospace Conference in 2013 IEEE AEROSPACE CONFERENCE
2437
TÃTULO: An automatic approach to extract goal plans from soccer simulated matches
AUTORES: Fernando Almeida; Pedro Henriques Abreu ; Nuno Lau ; Luis Paulo Reis ;
PUBLICAÇÃO: 2013, FONTE: SOFT COMPUTING, VOLUME: 17, NÚMERO: 5, PÁGINAS: 835-848
AUTORES: Fernando Almeida; Pedro Henriques Abreu ; Nuno Lau ; Luis Paulo Reis ;
PUBLICAÇÃO: 2013, FONTE: SOFT COMPUTING, VOLUME: 17, NÚMERO: 5, PÁGINAS: 835-848
2438
TÃTULO: An automatic tool flow for the combined implementation of multi-mode circuits
AUTORES: Al Farisi, B; Bruneel, K; Cardoso, JMP ; Stroobandt, D;
PUBLICAÇÃO: 2013, FONTE: 16th Design, Automation and Test in Europe Conference and Exhibition, DATE 2013 in Proceedings -Design, Automation and Test in Europe, DATE, PÁGINAS: 821-826
AUTORES: Al Farisi, B; Bruneel, K; Cardoso, JMP ; Stroobandt, D;
PUBLICAÇÃO: 2013, FONTE: 16th Design, Automation and Test in Europe Conference and Exhibition, DATE 2013 in Proceedings -Design, Automation and Test in Europe, DATE, PÁGINAS: 821-826
2439
TÃTULO: An FPGA-based multi-core approach for pipelining computing stages
AUTORES: Azarian, A ; Cardoso, JMP ; Werner, S; Becker, J;
PUBLICAÇÃO: 2013, FONTE: 28th Annual ACM Symposium on Applied Computing, SAC 2013 in Proceedings of the ACM Symposium on Applied Computing, PÁGINAS: 1533-1540
AUTORES: Azarian, A ; Cardoso, JMP ; Werner, S; Becker, J;
PUBLICAÇÃO: 2013, FONTE: 28th Annual ACM Symposium on Applied Computing, SAC 2013 in Proceedings of the ACM Symposium on Applied Computing, PÁGINAS: 1533-1540
2440
TÃTULO: Analysis of object description methods in a video object tracking environment
AUTORES: Carvalho, P ; Oliveira, T; Ciobanu, L ; Gaspar, F; Luis F. Teixeira ; Bastos, R; Cardoso, JS ; Dias, MS ; Corte Real, L ;
PUBLICAÇÃO: 2013, FONTE: MACHINE VISION AND APPLICATIONS, VOLUME: 24, NÚMERO: 6, PÁGINAS: 1149-1165
AUTORES: Carvalho, P ; Oliveira, T; Ciobanu, L ; Gaspar, F; Luis F. Teixeira ; Bastos, R; Cardoso, JS ; Dias, MS ; Corte Real, L ;
PUBLICAÇÃO: 2013, FONTE: MACHINE VISION AND APPLICATIONS, VOLUME: 24, NÚMERO: 6, PÁGINAS: 1149-1165