Departamento de Engenharia Informática (DEI)
Department of Informatics Engineering
AuthID: I-000-0K9 Publications Count: 4666
62 Team MembersFilters -> Year: 2026
2001
TÃTULO: Validating the Hybrid ERTMS/ETCS Level 3 Concept with Electrum
AUTORES: Cunha, A ; Macedo, N ;
PUBLICAÇÃO: 2018, FONTE: ABSTRACT STATE MACHINES, ALLOY, B, TLA, VDM, AND Z, ABZ 2018, VOLUME: 10817, PÁGINAS: 307-321
AUTORES: Cunha, A ; Macedo, N ;
PUBLICAÇÃO: 2018, FONTE: ABSTRACT STATE MACHINES, ALLOY, B, TLA, VDM, AND Z, ABZ 2018, VOLUME: 10817, PÁGINAS: 307-321
2002
TÃTULO: Validation of a knee angle measurement system based on imus
AUTORES: Nuno Ferrete Ribeiro; César Ferreira; Luis Paulo Reis ; Hélder Silva; Pedro Macedo; Luís Rocha; Cristina P Santos ;
PUBLICAÇÃO: 2018, FONTE: Human-Centric Robotics- Proceedings of the 20th International Conference on Climbing and Walking Robots and the Support Technologies for Mobile Machines, CLAWAR 2017, PÁGINAS: 645-652
AUTORES: Nuno Ferrete Ribeiro; César Ferreira; Luis Paulo Reis ; Hélder Silva; Pedro Macedo; Luís Rocha; Cristina P Santos ;
PUBLICAÇÃO: 2018, FONTE: Human-Centric Robotics- Proceedings of the 20th International Conference on Climbing and Walking Robots and the Support Technologies for Mobile Machines, CLAWAR 2017, PÁGINAS: 645-652
2003
TÃTULO: Validation of a metadata application profile domain model
AUTORES: Malta, MC ; Baptista, AA ; Bermúdez Sabel, H; González Blanco, E;
PUBLICAÇÃO: 2018, FONTE: 2018 International Conference on Dublin Core and Metadata Applications, DCMI 2018 in Proceedings of the International Conference on Dublin Core and Metadata Applications, VOLUME: 2018-September, PÁGINAS: 65-75
AUTORES: Malta, MC ; Baptista, AA ; Bermúdez Sabel, H; González Blanco, E;
PUBLICAÇÃO: 2018, FONTE: 2018 International Conference on Dublin Core and Metadata Applications, DCMI 2018 in Proceedings of the International Conference on Dublin Core and Metadata Applications, VOLUME: 2018-September, PÁGINAS: 65-75
2004
TÃTULO: Variações sobre espaço #6
AUTORES: Filipe Lopes; Gilberto Bernardes ; Clara Cardoso;
PUBLICAÇÃO: 2018, FONTE: 4th International Conference on Live Interfaces: Inspiration, Performance, Emancipation
AUTORES: Filipe Lopes; Gilberto Bernardes ; Clara Cardoso;
PUBLICAÇÃO: 2018, FONTE: 4th International Conference on Live Interfaces: Inspiration, Performance, Emancipation
2005
TÃTULO: VIRTUAL REALITY AND JOURNALISM A gateway to conceptualizing immersive journalism. A gateway to conceptualizing immersive journalism
AUTORES: Reis, AB; Coelho, AFVCC ;
PUBLICAÇÃO: 2018, FONTE: 6th Biennial Future of Journalism Conference in DIGITAL JOURNALISM, VOLUME: 6, NÚMERO: 8, PÁGINAS: 1090-1100
AUTORES: Reis, AB; Coelho, AFVCC ;
PUBLICAÇÃO: 2018, FONTE: 6th Biennial Future of Journalism Conference in DIGITAL JOURNALISM, VOLUME: 6, NÚMERO: 8, PÁGINAS: 1090-1100
2006
TÃTULO: Welcome to Engineering: Gender Equality in Learning and Integration among First Year Students
AUTORES: Manuel Torres ; Sara Ferreira ; Armando Sousa ; Luciano Moreira ; Raquel Torres;
PUBLICAÇÃO: 2018, FONTE: INTERNATIONAL JOURNAL OF ENGINEERING EDUCATION, VOLUME: 34, NÚMERO: 1, PÁGINAS: 45-55
AUTORES: Manuel Torres ; Sara Ferreira ; Armando Sousa ; Luciano Moreira ; Raquel Torres;
PUBLICAÇÃO: 2018, FONTE: INTERNATIONAL JOURNAL OF ENGINEERING EDUCATION, VOLUME: 34, NÚMERO: 1, PÁGINAS: 45-55
2007
TÃTULO: What influences software startups to use lean startup?
AUTORES: Jorge Melegati ;
PUBLICAÇÃO: 2018, FONTE: Proceedings of the 19th International Conference on Agile Software Development, XP 2019, Companion, Porto, Portugal, May 21-25, 2018, VOLUME: Part F147763, PÁGINAS: 46:1-46:3
AUTORES: Jorge Melegati ;
PUBLICAÇÃO: 2018, FONTE: Proceedings of the 19th International Conference on Agile Software Development, XP 2019, Companion, Porto, Portugal, May 21-25, 2018, VOLUME: Part F147763, PÁGINAS: 46:1-46:3
2008
TÃTULO: Why does the orientation change mess up my Android application? From GUI failures to code faults
AUTORES: Amalfitano, D; Riccio, V; Paiva, ACR ; Fasolino, AR;
PUBLICAÇÃO: 2018, FONTE: SOFTWARE TESTING VERIFICATION & RELIABILITY, VOLUME: 28, NÚMERO: 1
AUTORES: Amalfitano, D; Riccio, V; Paiva, ACR ; Fasolino, AR;
PUBLICAÇÃO: 2018, FONTE: SOFTWARE TESTING VERIFICATION & RELIABILITY, VOLUME: 28, NÚMERO: 1
2009
TÃTULO: Worst-case Stall Analysis for Multicore Architectures with Two Memory Controllers
AUTORES: Muhammad Ali Awan; Pedro F Souto ; Konstantinos Bletsas; Benny Akesson; Eduardo Tovar ;
PUBLICAÇÃO: 2018, FONTE: ECRTS, VOLUME: 106, PÁGINAS: 2:1-2:22
AUTORES: Muhammad Ali Awan; Pedro F Souto ; Konstantinos Bletsas; Benny Akesson; Eduardo Tovar ;
PUBLICAÇÃO: 2018, FONTE: ECRTS, VOLUME: 106, PÁGINAS: 2:1-2:22
2010
TÃTULO: Worst-case Stall Analysis for Multicore Architectures with Two Memory Controllers (Artifact)
AUTORES: Muhammad Ali Awan; Pedro F Souto ; Konstantinos Bletsas; Benny Akesson; Eduardo Tovar ;
PUBLICAÇÃO: 2018, FONTE: Dagstuhl Artifacts Ser., VOLUME: 4, NÚMERO: 2, PÁGINAS: 05:1-05:3
AUTORES: Muhammad Ali Awan; Pedro F Souto ; Konstantinos Bletsas; Benny Akesson; Eduardo Tovar ;
PUBLICAÇÃO: 2018, FONTE: Dagstuhl Artifacts Ser., VOLUME: 4, NÚMERO: 2, PÁGINAS: 05:1-05:3
2011
TÃTULO: A Comparative Cost Study of Fault-Tolerant Techniques for Availability on the Cloud
AUTORES: Sampaio, AM ; Barbosa, JG ;
PUBLICAÇÃO: 2017, FONTE: 8th International Symposium on Ambient Intelligence (ISAmI) in AMBIENT INTELLIGENCE- SOFTWARE AND APPLICATIONS- 8TH INTERNATIONAL SYMPOSIUM ON AMBIENT INTELLIGENCE (ISAMI 2017), VOLUME: 615, PÁGINAS: 263-268
AUTORES: Sampaio, AM ; Barbosa, JG ;
PUBLICAÇÃO: 2017, FONTE: 8th International Symposium on Ambient Intelligence (ISAmI) in AMBIENT INTELLIGENCE- SOFTWARE AND APPLICATIONS- 8TH INTERNATIONAL SYMPOSIUM ON AMBIENT INTELLIGENCE (ISAMI 2017), VOLUME: 615, PÁGINAS: 263-268
2012
TÃTULO: A comparison of research data management platforms: architecture, flexible metadata and interoperability
AUTORES: Amorim, RC ; Castro, JA ; da Silva, JR ; Ribeiro, C ;
PUBLICAÇÃO: 2017, FONTE: UNIVERSAL ACCESS IN THE INFORMATION SOCIETY, VOLUME: 16, NÚMERO: 4, PÁGINAS: 851-862
AUTORES: Amorim, RC ; Castro, JA ; da Silva, JR ; Ribeiro, C ;
PUBLICAÇÃO: 2017, FONTE: UNIVERSAL ACCESS IN THE INFORMATION SOCIETY, VOLUME: 16, NÚMERO: 4, PÁGINAS: 851-862
2013
TÃTULO: A Database of Existing Vulnerabilities to Enable Controlled Testing Studies
AUTORES: Sofia Reis; Rui Abreu ;
PUBLICAÇÃO: 2017, FONTE: IJSSE, VOLUME: 8, NÚMERO: 3, PÁGINAS: 1-23
AUTORES: Sofia Reis; Rui Abreu ;
PUBLICAÇÃO: 2017, FONTE: IJSSE, VOLUME: 8, NÚMERO: 3, PÁGINAS: 1-23
2014
TÃTULO: A Database of Existing Vulnerabilities to Enable Controlled Testing Studies
AUTORES: Sofia Rei; Rui Abreu ;
PUBLICAÇÃO: 2017, FONTE: International Journal of Secure Software Engineering, VOLUME: 8, NÚMERO: 3, PÁGINAS: 1-23
AUTORES: Sofia Rei; Rui Abreu ;
PUBLICAÇÃO: 2017, FONTE: International Journal of Secure Software Engineering, VOLUME: 8, NÚMERO: 3, PÁGINAS: 1-23
2015
TÃTULO: A Feature-Based Classification of Model Repair Approaches
AUTORES: Macedo, N ; Jorge, T; Cunha, A ;
PUBLICAÇÃO: 2017, FONTE: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOLUME: 43, NÚMERO: 7, PÁGINAS: 615-640
AUTORES: Macedo, N ; Jorge, T; Cunha, A ;
PUBLICAÇÃO: 2017, FONTE: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOLUME: 43, NÚMERO: 7, PÁGINAS: 615-640
2016
TÃTULO: A Generic Agent Architecture for Cooperative Multi-agent Games
AUTORES: Marinheiro, J; Cardoso, HL ;
PUBLICAÇÃO: 2017, FONTE: 9th International Conference on Agents and Artificial Intelligence (ICAART) in ICAART: PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE, VOL 1, VOLUME: 1, PÁGINAS: 107-118
AUTORES: Marinheiro, J; Cardoso, HL ;
PUBLICAÇÃO: 2017, FONTE: 9th International Conference on Agents and Artificial Intelligence (ICAART) in ICAART: PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE, VOL 1, VOLUME: 1, PÁGINAS: 107-118
2017
TÃTULO: A guidance of data stream characterization for meta-learning
AUTORES: Rossi, ALD; de Souza, BF; Soares, C ; de Carvalho, ACPDF;
PUBLICAÇÃO: 2017, FONTE: INTELLIGENT DATA ANALYSIS, VOLUME: 21, NÚMERO: 4, PÁGINAS: 1015-1035
AUTORES: Rossi, ALD; de Souza, BF; Soares, C ; de Carvalho, ACPDF;
PUBLICAÇÃO: 2017, FONTE: INTELLIGENT DATA ANALYSIS, VOLUME: 21, NÚMERO: 4, PÁGINAS: 1015-1035
2018
TÃTULO: A Hands-on Approach on Botnets for Behavior Exploration
AUTORES: João Pedro Dias ; José Pedro Pinto; José Magalhães Cruz ;
PUBLICAÇÃO: 2017, FONTE: IoTBDS, PÁGINAS: 463-469
AUTORES: João Pedro Dias ; José Pedro Pinto; José Magalhães Cruz ;
PUBLICAÇÃO: 2017, FONTE: IoTBDS, PÁGINAS: 463-469
2019
TÃTULO: A Hierarchical Harmonic Mixing Method
AUTORES: Gilberto Bernardes ; Matthew E P Davies ; Carlos Guedes ;
PUBLICAÇÃO: 2017, FONTE: CMMR, VOLUME: 11265 LNCS, PÁGINAS: 151-170
AUTORES: Gilberto Bernardes ; Matthew E P Davies ; Carlos Guedes ;
PUBLICAÇÃO: 2017, FONTE: CMMR, VOLUME: 11265 LNCS, PÁGINAS: 151-170
2020
TÃTULO: A MATLAB subset to C compiler targeting embedded systems. A MATLAB Subset to C Compiler Targeting Embedded Systems
AUTORES: Bispo, J ; Cardoso, JMP ;
PUBLICAÇÃO: 2017, FONTE: SOFTWARE-PRACTICE & EXPERIENCE, VOLUME: 47, NÚMERO: 2, PÁGINAS: 249-272
AUTORES: Bispo, J ; Cardoso, JMP ;
PUBLICAÇÃO: 2017, FONTE: SOFTWARE-PRACTICE & EXPERIENCE, VOLUME: 47, NÚMERO: 2, PÁGINAS: 249-272
