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

AuthID: I-000-0K9


Publications Count: 3920

48 Team Members
Filters -> Year: 2025
1421
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
1422
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
1423
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
1424
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
1425
TITLE: Welcome to Engineering: Gender Equality in Learning and Integration among First Year Students
AUTHORS: Manuel Torres ; Sara Ferreira; Sousa, A. ; Luciano Moreira ; Raquel Torres;
PUBLISHED: 2018, SOURCE: INTERNATIONAL JOURNAL OF ENGINEERING EDUCATION, VOLUME: 34, ISSUE: 1, PAGES: 45-55
1426
1427
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
1428
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
1429
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
1430
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
1431
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
1432
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
1433
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
1434
TITLE: A Generic Agent Architecture for Cooperative Multi-agent Games
AUTHORS: Joao Marinheiro; Henrique Lopes Cardoso ;
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
1435
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
1436
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
1437
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
1438
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
1439
TITLE: A nanocommunication system for endocrine diseases
AUTHORS: Diogo Caldeira Ferreira; Luis Paulo Reis ; Nuno Vasco Lopes;
PUBLISHED: 2017, SOURCE: CLUSTER COMPUTING-THE JOURNAL OF NETWORKS SOFTWARE TOOLS AND APPLICATIONS, VOLUME: 20, ISSUE: 1, PAGES: 689-706
1440
TITLE: A PLM Vision for Circular Economy
AUTHORS: de Oliveira, SF; Soares, AL ;
PUBLISHED: 2017, SOURCE: 18th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2017 in COLLABORATION IN A DATA-RICH WORLD, VOLUME: 506, PAGES: 591-602

Results per Page: 20.
Page 72 of 196. Total results: 3920.