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

AuthID: I-000-0K9


Publications Count: 4721

62 Team Members
Filters -> Year: 2026
1441
TÍTULO: Live software inspection and refactoring
AUTORES: Fernandes, S ; Aguiar, A ; André Restivo ;
PUBLICAÇÃO: 2020, FONTE: 8th SEDES Software Engineering Doctoral Symposium Workshop, SEDES 2020 in CEUR Workshop Proceedings, VOLUME: 2822, PÁGINAS: 1-10
1442
TÍTULO: Local Observability and Controllability Analysis and Enforcement in Distributed Testing With Time Constraints
AUTORES: Lima, B ; Faria, JP ; Hierons, R;
PUBLICAÇÃO: 2020, FONTE: IEEE ACCESS, VOLUME: 8, PÁGINAS: 167172-167191
1443
TÍTULO: Loggi: Treinamento Localizado em Automatização de Teste de Software em Ambiente Empresarial
AUTORES: Auri M R Vincenzi ; Ana P S Barbosa; Cássio Dos Santos Sousa; Cauê Polimanti; Felipe Oliveira; Gustavo De Paula; José C Maldonado;
PUBLICAÇÃO: 2020, FONTE: Anais Estendidos do XI Congresso Brasileiro de Software: Teoria e Prática (CBSoft 2020), PÁGINAS: 123-126
1444
TÍTULO: M2M using OPC UA
AUTORES: Rui Pinto ;
PUBLICAÇÃO: 2020
1445
TÍTULO: Management of Research Data in Image Format: An Exploratory Study on Current Practices
AUTORES: Miguel Fernandes; Joana Rodrigues ; Carla Teixeira Lopes ;
PUBLICAÇÃO: 2020, FONTE: TPDL, VOLUME: 12246 LNCS, PÁGINAS: 212-226
1446
TÍTULO: Measuring Icebergs: Using Different Methods to Estimate the Number of COVID-19 Cases in Portugal and Spain
AUTORES: Carlos Baquero ; Paolo Casari; Antonio Fernández Anta; Davide Frey; Augusto Garcia-Agundez; Chryssis Georgiou; Raquel Menezes; Nicolas Nicolaou; Oluwasegun Ojo; Paul Patras;
PUBLICAÇÃO: 2020
1447
TÍTULO: Merging Cloned Alloy Models with Colorful Refactorings
AUTORES: Liu, C; Macedo, N ; Cunha, A ;
PUBLICAÇÃO: 2020, FONTE: FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2020, VOLUME: 12475, PÁGINAS: 173-191
1448
TÍTULO: Message from TAIC PART Chairs
AUTORES: Abreu, R ; Amorim, M; Yang, G;
PUBLICAÇÃO: 2020, FONTE: 13th IEEE International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2020 in Proceedings - 2020 IEEE 13th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2020
1449
TÍTULO: Message from the General Chairs
AUTORES: Abreu, R ; Faria, JP;
PUBLICAÇÃO: 2020, FONTE: 13th IEEE International Conference on Software Testing, Verification and Validation, ICST 2020 in Proceedings - 2020 IEEE 13th International Conference on Software Testing, Verification and Validation, ICST 2020
1450
TÍTULO: Message from the General Chairs: SBAC-PAD 2020
AUTORES: Areias, M ; Barbosa, J ; Dutra, I ;
PUBLICAÇÃO: 2020, FONTE: 32nd IEEE International Symposium on Computer Architecture and High Performance Computing, SBAC-PAD 2020 in Proceedings - Symposium on Computer Architecture and High Performance Computing, VOLUME: 2020-September
1451
TÍTULO: Metamodel Quality Requirements and Evaluation (MQuaRE)
AUTORES: Taciana Novo Kudo; Renato de Freitas Bulcão Neto; Auri Marcelo Rizzo Vincenzi ;
PUBLICAÇÃO: 2020, FONTE: CoRR, VOLUME: abs/2008.09459
1452
TÍTULO: Mining Human Mobility Data to Discover Locations and Habits
AUTORES: Andrade, T ; Cancela, B ; Gama, J ;
PUBLICAÇÃO: 2020, FONTE: European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECML PKDD) in MACHINE LEARNING AND KNOWLEDGE DISCOVERY IN DATABASES, ECML PKDD 2019, PT II, VOLUME: 1168, PÁGINAS: 390-401
1453
TÍTULO: Modelling Smart Cities Through Socio-Technical Systems
AUTORES: Maria Eduarda Santos Cunha; Rosaldo J F Rossetti ; Pedro J R M Campos ;
PUBLICAÇÃO: 2020, FONTE: ISC2, PÁGINAS: 1-8
1454
TÍTULO: MULTI AGENT DEEP LEARNING WITH COOPERATIVE COMMUNICATION
AUTORES: Simoes, D; Lau, N ; Reis, LP ;
PUBLICAÇÃO: 2020, FONTE: JOURNAL OF ARTIFICIAL INTELLIGENCE AND SOFT COMPUTING RESEARCH, VOLUME: 10, NÚMERO: 3, PÁGINAS: 189-207
1455
TÍTULO: Multi-agent actor centralized-critic with communication
AUTORES: Simoes, D; Lau, N ; Reis, LP ;
PUBLICAÇÃO: 2020, FONTE: NEUROCOMPUTING, VOLUME: 390, PÁGINAS: 40-56
1456
TÍTULO: Multimodal Intelligent Wheelchair Interface
AUTORES: Coelho, F; Reis, LP ; Faria, BM ; Oliveira, A ; Carvalho, V;
PUBLICAÇÃO: 2020, FONTE: TRENDS AND INNOVATIONS IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 2, VOLUME: 1160, PÁGINAS: 679-689
1457
TÍTULO: Multiple fault localization of software programs: A systematic literature review
AUTORES: Zakari, A; Lee, SP; Abreu, R ; Ahmed, BH; Rasheed, RA;
PUBLICAÇÃO: 2020, FONTE: INFORMATION AND SOFTWARE TECHNOLOGY, VOLUME: 124, PÁGINAS: 106312
1458
TÍTULO: MVP and experimentation in software startups: a qualitative survey
AUTORES: Jorge Melegati ; Rafael Chanin; Afonso Sales; Rafael Prikladnicki; Xiaofeng Wang;
PUBLICAÇÃO: 2020, FONTE: SEAA, PÁGINAS: 322-325
1459
TÍTULO: Objective Evaluation of Tonal Fitness for Chord Progressions Using the Tonal Interval Space
AUTORES: María Navarro Cáceres; Marcelo F Caetano ; Gilberto Bernardes ;
PUBLICAÇÃO: 2020, FONTE: EvoMUSART, VOLUME: 12103 LNCS, PÁGINAS: 150-164
1460
TÍTULO: Off-the-shelf Components for Quantum Programming and Testing
AUTORES: Cláudio Gomes; Daniel Fortunato; João Paulo Fernandes ; Rui Abreu ;
PUBLICAÇÃO: 2020, FONTE: Q-SET@QCE, VOLUME: 2705, PÁGINAS: 14-19

Results per Page: 20.
Página 73 de 237. Total de resultados: 4721.