Department of Informatics Engineering (DEI)
Departamento de Engenharia Informática
AuthID: I-000-0K9
Publications Actions
Publications at Authenticus Institutional Profile
An Authenticus institution (group) is an organization which consists of a set of researchers (institutional/group team). The set of researchers depends on the organizational structure of the institution per year and can be set at the institution profile, under ‘Researchers’ interface. Based on the institutional team we produce listings of publications, statistics and institutional reports.
Publications displayed at an Authenticus institutional profile depend on two parameters:
- Researchers team associated with the institution per year.
- Publications source type.
We define 3 types of publication sources:
- Validated by team members - includes all publications validated by team members. Requires the definition of the institutional team.
- All published by team members - includes all publications validated by the institution team members plus all not-validated (only identified) publications. Requires the definition of the institutional team.
- Affiliation Based - includes publications that have the institution/group in the publication affiliation. Does not require institutional team, but at the same time does not guarantee that all publications will be listed.
External
Internal
No data about last update.
Rules:
This actions updates publications citations of every team member.
Only validated by team members publications are included.
Only the current year team is included in this action.>
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a month!
Only validated by team members publications are included.
Only the current year team is included in this action.>
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a month!
No data about last update.
Rules:
This actions updates all pre print publications of the group/institution.
Only validated by current year team members publications are included.
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a day!
Only validated by current year team members publications are included.
The action is executed in the background, thus the results are NOT immediate.
This actions can be executed only once a day!
Publications Count: 3975
49 Team MembersFilters -> Year: 2025
2421
TITLE: A Framework for Modular and Customizable Software Analysis
AUTHORS: Martins, P ; Carvalho, N ; Fernandes, JP ; Almeida, JJ ; Saraiva, J ;
PUBLISHED: 2013, SOURCE: 13th International Conference on Computational Science and Its Applications (ICCSA) in COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2013, PT II, VOLUME: 7972, ISSUE: PART 2, PAGES: 443-458
AUTHORS: Martins, P ; Carvalho, N ; Fernandes, JP ; Almeida, JJ ; Saraiva, J ;
PUBLISHED: 2013, SOURCE: 13th International Conference on Computational Science and Its Applications (ICCSA) in COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2013, PT II, VOLUME: 7972, ISSUE: PART 2, PAGES: 443-458
2422
TITLE: A Generic Scheme and Properties of Bidirectional Transformations PDF
AUTHORS: Hugo Pacheco ; Nuno Macedo ; Alcino Cunha ; Janis Voigtländer;
PUBLISHED: 2013, SOURCE: CoRR, VOLUME: abs/1306.4473
AUTHORS: Hugo Pacheco ; Nuno Macedo ; Alcino Cunha ; Janis Voigtländer;
PUBLISHED: 2013, SOURCE: CoRR, VOLUME: abs/1306.4473
INDEXED IN: 
DBLP 
arXiv
DBLP arXiv2423
TITLE: A HLA-based Multi-Resolution Approach to Simulating Electric Vehicles in Simulink and SUMO
AUTHORS: Jose Macedo; Zafeiris Kokkinogenis ; Guilherme Soares; Deborah Perrotta; Rosaldo J F Rossetti ;
PUBLISHED: 2013, SOURCE: 16th International IEEE Conference on Intelligent Transportation Systems (ITSC) in 2013 16TH INTERNATIONAL IEEE CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS - (ITSC), PAGES: 2367-2372
AUTHORS: Jose Macedo; Zafeiris Kokkinogenis ; Guilherme Soares; Deborah Perrotta; Rosaldo J F Rossetti ;
PUBLISHED: 2013, SOURCE: 16th International IEEE Conference on Intelligent Transportation Systems (ITSC) in 2013 16TH INTERNATIONAL IEEE CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS - (ITSC), PAGES: 2367-2372
2424
TITLE: A Hybrid Approach at Emotional State Detection: Merging Theoretical Models of Emotion with Data-Driven Statistical Classifiers
AUTHORS: Pedro A Nogueira ; Rui Rodrigues ; Eugenio Oliveira ; Lennart E Nacke;
PUBLISHED: 2013, SOURCE: 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, PAGES: 253-260
AUTHORS: Pedro A Nogueira ; Rui Rodrigues ; Eugenio Oliveira ; Lennart E Nacke;
PUBLISHED: 2013, SOURCE: 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, PAGES: 253-260
2425
TITLE: A kernel density estimate-based approach to component goodness modeling
AUTHORS: Cardoso, N; Abreu, R ;
PUBLISHED: 2013, SOURCE: 27th AAAI Conference on Artificial Intelligence, AAAI 2013 in Proceedings of the 27th AAAI Conference on Artificial Intelligence, AAAI 2013, PAGES: 152-158
AUTHORS: Cardoso, N; Abreu, R ;
PUBLISHED: 2013, SOURCE: 27th AAAI Conference on Artificial Intelligence, AAAI 2013 in Proceedings of the 27th AAAI Conference on Artificial Intelligence, AAAI 2013, PAGES: 152-158
INDEXED IN: 
Scopus DBLP
Scopus DBLP2426
TITLE: A method for the development of Dublin core application profiles (me4dcap v0.2): Detailed description
AUTHORS: Malta, MC ; Baptista, AA;
PUBLISHED: 2013, SOURCE: 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, PAGES: 90-103
AUTHORS: Malta, MC ; Baptista, AA;
PUBLISHED: 2013, SOURCE: 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, PAGES: 90-103
INDEXED IN: Scopus 
Handle
Scopus Handle2427
TITLE: A note from the program chairs
AUTHORS: Morrow, K; Diniz, PC ;
PUBLISHED: 2013, SOURCE: 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
AUTHORS: Morrow, K; Diniz, PC ;
PUBLISHED: 2013, SOURCE: 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
INDEXED IN: Scopus
Scopus2428
TITLE: A Pattern-Based Approach for GUI Modeling and Testing
AUTHORS: Rodrigo M L M Moreira; Ana C R Paiva ; Atif Memon;
PUBLISHED: 2013, SOURCE: IEEE 24th International Symposium on Software Reliability Engineering Workshops (ISSREW) in 2013 IEEE 24TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE), PAGES: 288-297
AUTHORS: Rodrigo M L M Moreira; Ana C R Paiva ; Atif Memon;
PUBLISHED: 2013, SOURCE: IEEE 24th International Symposium on Software Reliability Engineering Workshops (ISSREW) in 2013 IEEE 24TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE), PAGES: 288-297
2429
TITLE: A Poker Game Description Language
AUTHORS: Joao Castro Correia; Luis Filipe Teofilo ; Henrique Lopes Cardoso ; Luis Paulo Reis ;
PUBLISHED: 2013, SOURCE: 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, PAGES: 353-360
AUTHORS: Joao Castro Correia; Luis Filipe Teofilo ; Henrique Lopes Cardoso ; Luis Paulo Reis ;
PUBLISHED: 2013, SOURCE: 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, PAGES: 353-360
2430
TITLE: A Serious Game for EVAcuation Training
AUTHORS: Silva, JF; Almeida, JE; Rossetti, RJF ; Coelho, AL;
PUBLISHED: 2013, SOURCE: 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), PAGES: 1-6
AUTHORS: Silva, JF; Almeida, JE; Rossetti, RJF ; Coelho, AL;
PUBLISHED: 2013, SOURCE: 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), PAGES: 1-6
2431
TITLE: A socio-cognitive perspective of trust
AUTHORS: Urbano, J; Paula Rocha, A ; Oliveira, E ;
PUBLISHED: 2013, SOURCE: Agreement Technologies, PAGES: 419-429
AUTHORS: Urbano, J; Paula Rocha, A ; Oliveira, E ;
PUBLISHED: 2013, SOURCE: Agreement Technologies, PAGES: 419-429
2432
TITLE: A testing and certification methodology for an Ambient-Assisted Living ecosystem
AUTHORS: Faria, JP ; Lima, B ; Sousa, TB ; Martins, A ;
PUBLISHED: 2013, SOURCE: 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, PAGES: 585-589
AUTHORS: Faria, JP ; Lima, B ; Sousa, TB ; Martins, A ;
PUBLISHED: 2013, SOURCE: 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, PAGES: 585-589
2433
TITLE: Active Selection of Training Instances for a Random forest Meta-Learner
AUTHORS: Arthur F M Sousa; Ricardo B C Prudencio; Carlos Soares ; Teresa B Ludermir;
PUBLISHED: 2013, SOURCE: International Joint Conference on Neural Networks (IJCNN) in 2013 INTERNATIONAL JOINT CONFERENCE ON NEURAL NETWORKS (IJCNN), PAGES: 1-7
AUTHORS: Arthur F M Sousa; Ricardo B C Prudencio; Carlos Soares ; Teresa B Ludermir;
PUBLISHED: 2013, SOURCE: International Joint Conference on Neural Networks (IJCNN) in 2013 INTERNATIONAL JOINT CONFERENCE ON NEURAL NETWORKS (IJCNN), PAGES: 1-7
2434
TITLE: Adaptive consoles for supervisory control of multiple unmanned aerial vehicles
AUTHORS: Fuchs, C; Ferreira, S ; Sousa, J ; Gil Gonçalves ;
PUBLISHED: 2013, SOURCE: 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, ISSUE: PART 4, PAGES: 678-687
AUTHORS: Fuchs, C; Ferreira, S ; Sousa, J ; Gil Gonçalves ;
PUBLISHED: 2013, SOURCE: 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, ISSUE: PART 4, PAGES: 678-687
INDEXED IN: Scopus 
CrossRef
Scopus CrossRef2435
TITLE: An agent-based framework for intelligent optimization of interactive visualizations
AUTHORS: Moreira, PM ; Reis, LP ; Augusto Sousa, A ;
PUBLISHED: 2013, SOURCE: 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, PAGES: 154-159
AUTHORS: Moreira, PM ; Reis, LP ; Augusto Sousa, A ;
PUBLISHED: 2013, SOURCE: 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, PAGES: 154-159
INDEXED IN: Scopus DBLP
Scopus DBLP2436
TITLE: An Aspect-Oriented Approach for Designing Safety-Critical Systems
AUTHORS: Zlatko Petrov; Pavel G Zaykov; Joao M P Cardoso ; Jose G F Coutinho; Pedro C Diniz ; Wayne Luk;
PUBLISHED: 2013, SOURCE: IEEE Aerospace Conference in 2013 IEEE AEROSPACE CONFERENCE
AUTHORS: Zlatko Petrov; Pavel G Zaykov; Joao M P Cardoso ; Jose G F Coutinho; Pedro C Diniz ; Wayne Luk;
PUBLISHED: 2013, SOURCE: IEEE Aerospace Conference in 2013 IEEE AEROSPACE CONFERENCE
2437
TITLE: An automatic approach to extract goal plans from soccer simulated matches Full Text
AUTHORS: Fernando Almeida; Pedro Henriques Abreu ; Nuno Lau ; Luis Paulo Reis ;
PUBLISHED: 2013, SOURCE: SOFT COMPUTING, VOLUME: 17, ISSUE: 5, PAGES: 835-848
AUTHORS: Fernando Almeida; Pedro Henriques Abreu ; Nuno Lau ; Luis Paulo Reis ;
PUBLISHED: 2013, SOURCE: SOFT COMPUTING, VOLUME: 17, ISSUE: 5, PAGES: 835-848
2438
TITLE: An automatic tool flow for the combined implementation of multi-mode circuits Full Text
AUTHORS: Al Farisi, B; Bruneel, K; Cardoso, JMP ; Stroobandt, D;
PUBLISHED: 2013, SOURCE: 16th Design, Automation and Test in Europe Conference and Exhibition, DATE 2013 in Proceedings -Design, Automation and Test in Europe, DATE, PAGES: 821-826
AUTHORS: Al Farisi, B; Bruneel, K; Cardoso, JMP ; Stroobandt, D;
PUBLISHED: 2013, SOURCE: 16th Design, Automation and Test in Europe Conference and Exhibition, DATE 2013 in Proceedings -Design, Automation and Test in Europe, DATE, PAGES: 821-826
2439
TITLE: An FPGA-based multi-core approach for pipelining computing stages Full Text
AUTHORS: Azarian, A ; Cardoso, JMP ; Werner, S; Becker, J;
PUBLISHED: 2013, SOURCE: 28th Annual ACM Symposium on Applied Computing, SAC 2013 in Proceedings of the ACM Symposium on Applied Computing, PAGES: 1533-1540
AUTHORS: Azarian, A ; Cardoso, JMP ; Werner, S; Becker, J;
PUBLISHED: 2013, SOURCE: 28th Annual ACM Symposium on Applied Computing, SAC 2013 in Proceedings of the ACM Symposium on Applied Computing, PAGES: 1533-1540
2440
TITLE: Analysis of object description methods in a video object tracking environment Full Text
AUTHORS: Carvalho, P ; Oliveira, T; Ciobanu, L ; Gaspar, F; Luis F. Teixeira ; Bastos, R; Cardoso, JS ; Dias, MS ; Corte Real, L ;
PUBLISHED: 2013, SOURCE: MACHINE VISION AND APPLICATIONS, VOLUME: 24, ISSUE: 6, PAGES: 1149-1165
AUTHORS: Carvalho, P ; Oliveira, T; Ciobanu, L ; Gaspar, F; Luis F. Teixeira ; Bastos, R; Cardoso, JS ; Dias, MS ; Corte Real, L ;
PUBLISHED: 2013, SOURCE: MACHINE VISION AND APPLICATIONS, VOLUME: 24, ISSUE: 6, PAGES: 1149-1165
