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

AuthID: I-000-0K9


Publications Count: 4625

61 Team Members
Filters -> Year: 2026
1461
TÍTULO: Validating the Hybrid ERTMS/ETCS Level 3 concept with Electrum
AUTORES: Alcino Cunha ; Nuno Macedo ;
PUBLICAÇÃO: 2020, FONTE: Int. J. Softw. Tools Technol. Transf., VOLUME: 22, NÚMERO: 3, PÁGINAS: 281-296
1462
TÍTULO: Verification of system-wide safety properties of ROS applications
AUTORES: Carvalho, R; Cunha, A ; Macedo, N ; Santos, A ;
PUBLICAÇÃO: 2020, FONTE: IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) in 2020 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS), PÁGINAS: 7249-7254
1463
TÍTULO: Visual Self-healing Modelling for Reliable Internet-of-Things Systems
AUTORES: João Pedro Dias ; Bruno Lima ; João Pascoal Faria ; André Restivo ; Hugo Sereno Ferreira ;
PUBLICAÇÃO: 2020, FONTE: ICCS (5), VOLUME: 12141 LNCS, PÁGINAS: 357-370
1464
TÍTULO: Visual sketching. from image sketches to code
AUTORES: Marcelo d'Amorim; Rui Abreu ; Carlos Mello;
PUBLICAÇÃO: 2020, FONTE: Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering: New Ideas and Emerging Results
1465
TÍTULO: Visual Sketching: From Image Sketches to Code
AUTORES: d'Amorim, M; Abreu, R ; Mello, C;
PUBLICAÇÃO: 2020, FONTE: 42nd IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER) in 2020 IEEE/ACM 42ND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: NEW IDEAS AND EMERGING RESULTS (ICSE-NIER 2020), PÁGINAS: 101-104
1466
TÍTULO: Visual sketching: From image sketches to code
AUTORES: D'Amorim, M; Abreu, R ; Mello, C;
PUBLICAÇÃO: 2020, FONTE: 42nd ACM/IEEE International Conference on Software Engineering: New Ideas and Emerging Results, ICSE-NIER 2020 in Proceedings - International Conference on Software Engineering, PÁGINAS: 101-104
1467
TÍTULO: WarningsFIX: a Recommendation System for Prioritizing Warnings Generated by Automated Static Analyzers
AUTORES: Luiz Cavamura Júnior; Anderson Belgamo; Vinícius Rafael Lobo de Mendonça; VINCENZI, AURI M. R. ;
PUBLICAÇÃO: 2020, FONTE: 19th Brazilian Symposium on Software Quality, SBQS 2020, São Luís, Brazil, December, 2020, PÁGINAS: 26
1468
TÍTULO: Welcome Message
AUTORES: Nuno Lau; Manuel F Silva ; Luís Paulo Reis ; José Cascalho ;
PUBLICAÇÃO: 2020, FONTE: 2020 IEEE International Conference on Autonomous Robot Systems and Competitions, ICARSC 2020
1469
TÍTULO: Workflow scheduling with Amazon EC2 spot instances: Building reliable compute environments
AUTORES: Sampaio, AM ; Barbosa, JG ;
PUBLICAÇÃO: 2020, FONTE: International Journal of Machine Learning and Computing, VOLUME: 10, NÚMERO: 1, PÁGINAS: 140-147
1470
TÍTULO: Workshop on Machine Learning in Smart Mobility
AUTORES: Sara Ferreira ; Henrique Lopes Cardoso ; Rosaldo J F Rossetti ;
PUBLICAÇÃO: 2020, FONTE: IDEAL (2), VOLUME: 12490 LNCS, PÁGINAS: 573-574
1471
TÍTULO: "This Is Nice but That Is Childish": Teenagers Evaluate Museum-Based Digital Experiences Developed by Cultural Heritage Professionals. Teenagers Evaluate Museum-Based Digital Experiences Developed by Cultural Heritage Professionals
AUTORES: Cesario, V; Coelho, A ; Nisi, V;
PUBLICAÇÃO: 2019, FONTE: 6th ACM SIGCHI Annual Symposium on Computer-Human Interaction in Play (CHI PLAY) in CHI PLAY'19: EXTENDED ABSTRACTS OF THE ANNUAL SYMPOSIUM ON COMPUTER-HUMAN INTERACTION IN PLAY, PÁGINAS: 159-169
1472
1473
TÍTULO: A Board Game to Teach Team Composition in Software Startups
AUTORES: Jorge Melegati ; Eduardo Guerra; Igor Knop; Xiaofeng Wang;
PUBLICAÇÃO: 2019, FONTE: ICSOB, PÁGINAS: 321-335
1474
TÍTULO: A classification scheme for analyses of messages exchanged in online health forums
AUTORES: Lopes, CT ; Da Silva, BG;
PUBLICAÇÃO: 2019, FONTE: ISIC Information Behaviour Conference in INFORMATION RESEARCH-AN INTERNATIONAL ELECTRONIC JOURNAL, VOLUME: 24, NÚMERO: 1
1475
TÍTULO: A Comparative Analysis of Unsupervised Language Adaptation Methods
AUTORES: Gil Rocha ; Henrique Lopes Cardoso ;
PUBLICAÇÃO: 2019, FONTE: DeepLo@EMNLP-IJCNLP, PÁGINAS: 11-21
1476
TÍTULO: A Conceptual Metamodel to Bridging Requirement Patterns to Test Patterns
AUTORES: Taciana Novo Kudo; Renato de Freitas Bulcão Neto; VINCENZI, AURI M. R. ;
PUBLICAÇÃO: 2019, FONTE: Proceedings of the XXXIII Brazilian Symposium on Software Engineering, SBES 2019, Salvador, Brazil, September 23-27, 2019., PÁGINAS: 155-160
1477
TÍTULO: A Digital Platform Architecture to Support Multi-dimensional Surplus Capacity Sharing
AUTORES: Henrique Diogo Silva ; Antonio Lucas Soares ; Andrea Bettoni; Andrea Barni Francesco; Serena Albertario;
PUBLICAÇÃO: 2019, FONTE: 20th IFIP WG 5.5 Working Conference on Virtual Enterprises (PRO-VE) in COLLABORATIVE NETWORKS AND DIGITAL TRANSFORMATION, VOLUME: 568, PÁGINAS: 323-334
1478
TÍTULO: A Domain Model for Transparency in Portuguese Cooperatives. The Governance Structure and Accountability Dimensions
AUTORES: Mariana Curado Malta ; Deolinda Aparício Meira; Ana Maria Bandeira; Melanie Santos;
PUBLICAÇÃO: 2019, FONTE: Modernization and Accountability in the Social Economy Sector - Advances in Finance, Accounting, and Economics, PÁGINAS: 43-56
1479
TÍTULO: A framework for automatic and parameterizable memoization
AUTORES: Besnard, L; Pinto, P; Lasri, I; Bispo, J ; Rohou, E; Cardoso, JMP ;
PUBLICAÇÃO: 2019, FONTE: SOFTWAREX, VOLUME: 10, PÁGINAS: 100322
1480
TÍTULO: A Hierarchically-Labeled Portuguese Hate Speech Dataset
AUTORES: Paula Fortuna; Joao R Rocha da Silva ; Juan Soler Company; Leo Wanner; Sergio Nunes ;
PUBLICAÇÃO: 2019, FONTE: 3rd Workshop on Abusive Language Online in THIRD WORKSHOP ON ABUSIVE LANGUAGE ONLINE, PÁGINAS: 94-104

Results per Page: 20.
Página 74 de 232. Total de resultados: 4625.