Department of Informatics Engineering (DEI)
Departamento de Engenharia Informática

AuthID: I-000-0K9


Publications Count: 4510

56 Team Members
Filters -> Year: 2026
1881
TITLE: Validating the Hybrid ERTMS/ETCS Level 3 Concept with Electrum
AUTHORS: Alcino Cunha ; Nuno Macedo ;
PUBLISHED: 2018, SOURCE: 6th International Conference on ABZ Conference on ASM, Alloy, B, TLA, VDM, and Z, ABZ 2018 in Abstract State Machines, Alloy, B, TLA, VDM, and Z - 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings, VOLUME: 10817, PAGES: 307-321
1882
TITLE: Validation of a knee angle measurement system based on imus
AUTHORS: Nuno Ferrete Ribeiro; César Ferreira; Luis Paulo Reis ; Hélder Silva; Pedro Macedo; Luís Rocha; Cristina P Santos ;
PUBLISHED: 2018, SOURCE: Human-Centric Robotics- Proceedings of the 20th International Conference on Climbing and Walking Robots and the Support Technologies for Mobile Machines, CLAWAR 2017, PAGES: 645-652
1883
TITLE: Validation of a metadata application profile domain model
AUTHORS: Malta, MC ; Baptista, AA ; Bermúdez Sabel, H; González Blanco, E;
PUBLISHED: 2018, SOURCE: 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, PAGES: 65-75
1884
TITLE: Variações sobre espaço #6
AUTHORS: Filipe Lopes; Gilberto Bernardes ; Clara Cardoso;
PUBLISHED: 2018, SOURCE: 4th International Conference on Live Interfaces: Inspiration, Performance, Emancipation
1885
TITLE: VIRTUAL REALITY AND JOURNALISM A gateway to conceptualizing immersive journalism. A gateway to conceptualizing immersive journalism
AUTHORS: Reis, AB; Coelho, AFVCC ;
PUBLISHED: 2018, SOURCE: 6th Biennial Future of Journalism Conference in DIGITAL JOURNALISM, VOLUME: 6, ISSUE: 8, PAGES: 1090-1100
1886
TITLE: Welcome to Engineering: Gender Equality in Learning and Integration among First Year Students
AUTHORS: Manuel Torres ; Sara Ferreira ; Armando Sousa ; Luciano Moreira ; Raquel Torres;
PUBLISHED: 2018, SOURCE: INTERNATIONAL JOURNAL OF ENGINEERING EDUCATION, VOLUME: 34, ISSUE: 1, PAGES: 45-55
1887
TITLE: What influences software startups to use lean startup?
AUTHORS: Jorge Melegati ;
PUBLISHED: 2018, SOURCE: Proceedings of the 19th International Conference on Agile Software Development, XP 2019, Companion, Porto, Portugal, May 21-25, 2018, VOLUME: Part F147763, PAGES: 46:1-46:3
1888
1889
TITLE: Worst-case Stall Analysis for Multicore Architectures with Two Memory Controllers
AUTHORS: Muhammad Ali Awan; Pedro F Souto ; Konstantinos Bletsas; Benny Akesson; Eduardo Tovar ;
PUBLISHED: 2018, SOURCE: 30th Euromicro Conference on Real-Time Systems, ECRTS 2018 in 30th Euromicro Conference on Real-Time Systems, ECRTS 2018, July 3-6, 2018, Barcelona, Spain, VOLUME: 106, PAGES: 2:1-2:22
1890
TITLE: Worst-case Stall Analysis for Multicore Architectures with Two Memory Controllers (Artifact)
AUTHORS: Muhammad Ali Awan; Pedro F Souto ; Konstantinos Bletsas; Benny Akesson; Eduardo Tovar ;
PUBLISHED: 2018, SOURCE: DARTS, VOLUME: 4, ISSUE: 2, PAGES: 05:1-05:3
1891
TITLE: A Comparative Cost Study of Fault-Tolerant Techniques for Availability on the Cloud
AUTHORS: Altino M Sampaio ; Jorge G Barbosa ;
PUBLISHED: 2017, SOURCE: 8th International Symposium on Ambient Intelligence (ISAmI) in AMBIENT INTELLIGENCE- SOFTWARE AND APPLICATIONS- 8TH INTERNATIONAL SYMPOSIUM ON AMBIENT INTELLIGENCE (ISAMI 2017), VOLUME: 615, PAGES: 263-268
1892
TITLE: A comparison of research data management platforms: architecture, flexible metadata and interoperability
AUTHORS: Ricardo Carvalho Amorim ; Joao Aguiar Castro ; Joao Rocha da Silva ; Cristina Ribeiro ;
PUBLISHED: 2017, SOURCE: UNIVERSAL ACCESS IN THE INFORMATION SOCIETY, VOLUME: 16, ISSUE: 4, PAGES: 851-862
1893
TITLE: A Database of Existing Vulnerabilities to Enable Controlled Testing Studies
AUTHORS: Sofia Reis; Rui Abreu ;
PUBLISHED: 2017, SOURCE: IJSSE, VOLUME: 8, ISSUE: 3, PAGES: 1-23
1894
TITLE: A Database of Existing Vulnerabilities to Enable Controlled Testing Studies
AUTHORS: Sofia Rei; Rui Abreu ;
PUBLISHED: 2017, SOURCE: International Journal of Secure Software Engineering, VOLUME: 8, ISSUE: 3, PAGES: 1-23
1895
TITLE: A Feature-Based Classification of Model Repair Approaches
AUTHORS: Nuno Macedo ; Jorge Tiago; Alcino Cunha ;
PUBLISHED: 2017, SOURCE: IEEE Trans. Software Eng., VOLUME: 43, ISSUE: 7, PAGES: 615-640
1896
TITLE: A Generic Agent Architecture for Cooperative Multi-agent Games
AUTHORS: Marinheiro, J; Cardoso, HL ;
PUBLISHED: 2017, SOURCE: 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, PAGES: 107-118
1897
TITLE: A guidance of data stream characterization for meta-learning
AUTHORS: Andre Luis D Debiaso Rossi; Bruno Feres de Souza; Carlos Soares ; Andre Carlos Ponce D F de Leon Ferreira de Carvalho;
PUBLISHED: 2017, SOURCE: INTELLIGENT DATA ANALYSIS, VOLUME: 21, ISSUE: 4, PAGES: 1015-1035
1898
TITLE: A Hands-on Approach on Botnets for Behavior Exploration
AUTHORS: João Pedro Dias ; José Pedro Pinto; José Magalhães Cruz ;
PUBLISHED: 2017, SOURCE: 2nd International Conference on Internet of Things, Big Data and Security, IoTBDS 2017 in Proceedings of the 2nd International Conference on Internet of Things, Big Data and Security, IoTBDS 2017, Porto, Portugal, April 24-26, 2017, PAGES: 463-469
1899
TITLE: A Hierarchical Harmonic Mixing Method
AUTHORS: Gilberto Bernardes ; Matthew E P Davies ; Carlos Guedes ;
PUBLISHED: 2017, SOURCE: 13th international Symposium on Computer Music Multidisciplinary Research, CMMR 2017 in Music Technology with Swing - 13th International Symposium, CMMR 2017, Matosinhos, Portugal, September 25-28, 2017, Revised Selected Papers, VOLUME: 11265, PAGES: 151-170
1900
TITLE: A MATLAB subset to C compiler targeting embedded systems. A MATLAB Subset to C Compiler Targeting Embedded Systems
AUTHORS: Joao Bispo ; Joao M P Cardoso ;
PUBLISHED: 2017, SOURCE: SOFTWARE-PRACTICE & EXPERIENCE, VOLUME: 47, ISSUE: 2, PAGES: 249-272

Results per Page: 20.
Page 95 of 226. Total results: 4510.