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

AuthID: I-000-0K9


Publications Count: 4655

62 Team Members
Filters -> Year: 2026
1381
TITLE: Local Observability and Controllability Analysis and Enforcement in Distributed Testing With Time Constraints
AUTHORS: Lima, B ; Faria, JP ; Hierons, R;
PUBLISHED: 2020, SOURCE: IEEE ACCESS, VOLUME: 8, PAGES: 167172-167191
1382
TITLE: Loggi: Treinamento Localizado em Automatização de Teste de Software em Ambiente Empresarial
AUTHORS: VINCENZI, AURI M. R. ; Ana P S Barbosa; Cássio Dos Santos Sousa; Cauê Polimanti; Felipe Oliveira; Gustavo De Paula; José C Maldonado;
PUBLISHED: 2020, SOURCE: Anais Estendidos do XI Congresso Brasileiro de Software: Teoria e Prática (CBSoft 2020), PAGES: 123-126
1383
TITLE: M2M using OPC UA
AUTHORS: Rui Pinto ;
PUBLISHED: 2020
1384
TITLE: Management of Research Data in Image Format: An Exploratory Study on Current Practices
AUTHORS: Miguel Fernandes; Joana Rodrigues ; Carla Teixeira Lopes ;
PUBLISHED: 2020, SOURCE: TPDL, VOLUME: 12246 LNCS, PAGES: 212-226
1385
TITLE: Measuring Icebergs: Using Different Methods to Estimate the Number of COVID-19 Cases in Portugal and Spain
AUTHORS: Carlos Baquero ; Paolo Casari; Antonio Fernández Anta; Davide Frey; Augusto Garcia-Agundez; Chryssis Georgiou; Raquel Menezes; Nicolas Nicolaou; Oluwasegun Ojo; Paul Patras;
PUBLISHED: 2020
1386
TITLE: Merging Cloned Alloy Models with Colorful Refactorings
AUTHORS: Chong Liu; Nuno Macedo ; Alcino Cunha ;
PUBLISHED: 2020, SOURCE: SBMF, PAGES: 173-191
1387
TITLE: Message from TAIC PART Chairs
AUTHORS: Abreu, R ; Amorim, M; Yang, G;
PUBLISHED: 2020, SOURCE: 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
1388
TITLE: Message from the General Chairs
AUTHORS: Abreu, R ; Faria, JP;
PUBLISHED: 2020, SOURCE: 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
1389
TITLE: Message from the General Chairs: SBAC-PAD 2020
AUTHORS: Miguel Areias ; Barbosa, J ; Dutra, I ;
PUBLISHED: 2020, SOURCE: 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
1390
TITLE: Metamodel Quality Requirements and Evaluation (MQuaRE)
AUTHORS: Taciana Novo Kudo; Renato de Freitas Bulcão Neto; VINCENZI, AURI M. R. ;
PUBLISHED: 2020, SOURCE: CoRR, VOLUME: abs/2008.09459
1391
TITLE: Mining Human Mobility Data to Discover Locations and Habits
AUTHORS: Andrade, T ; Cancela, B ; Gama, J ;
PUBLISHED: 2020, SOURCE: 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, PAGES: 390-401
1392
TITLE: Modelling Smart Cities Through Socio-Technical Systems
AUTHORS: Maria Eduarda Santos Cunha; Rosaldo J F Rossetti ; Pedro J R M Campos ;
PUBLISHED: 2020, SOURCE: ISC2, PAGES: 1-8
1393
TITLE: MULTI AGENT DEEP LEARNING WITH COOPERATIVE COMMUNICATION
AUTHORS: Simoes, D; Lau, N ; Reis, LP ;
PUBLISHED: 2020, SOURCE: JOURNAL OF ARTIFICIAL INTELLIGENCE AND SOFT COMPUTING RESEARCH, VOLUME: 10, ISSUE: 3, PAGES: 189-207
1394
TITLE: Multi-agent actor centralized-critic with communication
AUTHORS: Simoes, D; Lau, N ; Reis, LP ;
PUBLISHED: 2020, SOURCE: NEUROCOMPUTING, VOLUME: 390, PAGES: 40-56
1395
TITLE: Multimodal Intelligent Wheelchair Interface
AUTHORS: Filipe Coelho; Luís Paulo Reis ; Brígida Mónica Faria ; Alexandra Oliveira ; Victor Carvalho;
PUBLISHED: 2020, SOURCE: WorldCIST (2), VOLUME: 1160 AISC, PAGES: 679-689
1396
TITLE: Multiple fault localization of software programs: A systematic literature review
AUTHORS: Zakari, A; Lee, SP; Abreu, R ; Ahmed, BH; Rasheed, RA;
PUBLISHED: 2020, SOURCE: INFORMATION AND SOFTWARE TECHNOLOGY, VOLUME: 124, PAGES: 106312
1397
TITLE: MVP and experimentation in software startups: a qualitative survey
AUTHORS: Jorge Melegati ; Rafael Chanin; Afonso Sales; Rafael Prikladnicki; Xiaofeng Wang;
PUBLISHED: 2020, SOURCE: SEAA, PAGES: 322-325
1398
TITLE: Objective Evaluation of Tonal Fitness for Chord Progressions Using the Tonal Interval Space
AUTHORS: María Navarro Cáceres; Marcelo F Caetano ; Gilberto Bernardes ;
PUBLISHED: 2020, SOURCE: EvoMUSART, VOLUME: 12103 LNCS, PAGES: 150-164
1399
TITLE: Off-the-shelf Components for Quantum Programming and Testing
AUTHORS: Cláudio Gomes; Daniel Fortunato; João Paulo Fernandes ; Rui Abreu ;
PUBLISHED: 2020, SOURCE: Q-SET@QCE, VOLUME: 2705, PAGES: 14-19
1400
TITLE: On Document Representations for Detection of Biased News Articles
AUTHORS: Cruz, AF; Gil Rocha ; Cardoso, HL ;
PUBLISHED: 2020, SOURCE: 35th Annual ACM Symposium on Applied Computing (SAC) in PROCEEDINGS OF THE 35TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING (SAC'20), PAGES: 892-899

Results per Page: 20.
Page 70 of 233. Total results: 4655.