Nuno Filipe Moreira Macedo


AuthID: R-001-TJD

Publicações Confirmadas: 56



41
TÍTULO: Alloy meets TLA+: An exploratory study
AUTORES: Nuno Macedo ; Alcino Cunha ;
PUBLICAÇÃO: 2016, FONTE: CoRR, VOLUME: abs/1603.03599
INDEXADO EM: DBLP
NO MEU: ORCID | CIÊNCIAVITAE
42
TÍTULO: Least-change bidirectional model transformation with QVT-R and ATL  Full Text
AUTORES: Macedo, N ; Cunha, A ;
PUBLICAÇÃO: 2016, FONTE: SOFTWARE AND SYSTEMS MODELING, VOLUME: 15, NÚMERO: 3
INDEXADO EM: Scopus WOS DBLP CrossRef: 29
NO MEU: ORCID | CIÊNCIAVITAE
43
TÍTULO: Lightweight Specification and Analysis of Dynamic Systems with Rich Configurations
AUTORES: Macedo, N ; Brunel, J; Chemouil, D; Cunha, A ; Kuperberg, D;
PUBLICAÇÃO: 2016, FONTE: 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE) in FSE'16: PROCEEDINGS OF THE 2016 24TH ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON FOUNDATIONS OF SOFTWARE ENGINEERING, VOLUME: 13-18-November-2016
INDEXADO EM: Scopus WOS DBLP CrossRef: 44
NO MEU: ORCID | CIÊNCIAVITAE
44
TÍTULO: Towards a Formal Validation of ETL Patterns Behaviour
AUTORES: Oliveira, B ; Belo, O ; Macedo, N ;
PUBLICAÇÃO: 2016, FONTE: 6th International Conference on Model and Data Engineering (MEDI) in MODEL AND DATA ENGINEERING, VOLUME: 9893
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
45
TÍTULO: An ORCID based synchronization framework for a national CRIS ecosystem
AUTORES: João Mendes Moreira ; Alcino Cunha ; Nuno Macedo ;
PUBLICAÇÃO: 2015, FONTE: F1000Research, VOLUME: 4, NÚMERO: 4
INDEXADO EM: Scopus DBLP CrossRef: 9 Handle
NO MEU: ORCID | CIÊNCIAVITAE
46
TÍTULO: Exploring Scenario Exploration
AUTORES: Macedo, N ; Cunha, A ; Guimaraes, T;
PUBLICAÇÃO: 2015, FONTE: 18th International Conference on Fundamental Approaches to Software Engineering (FASE) Held as Part of the Annual European Joint Conferences on Theory and Practice of Software (ETAPS) in FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, FASE 2015, VOLUME: 9033
INDEXADO EM: Scopus WOS DBLP CrossRef: 16
NO MEU: ORCID | CIÊNCIAVITAE
47
48
TÍTULO: Bidirectional Spreadsheet Formulas
AUTORES: Macedo, N ; Pacheco, H ; Sousa, NR; Cunha, A ;
PUBLICAÇÃO: 2014, FONTE: IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) in 2014 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING (VL/HCC 2014)
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
NO MEU: ORCID | CIÊNCIAVITAE
49
TÍTULO: Target Oriented Relational Model Finding
AUTORES: Alcino Cunha ; Nuno Macedo ; Tiago Guimarães;
PUBLICAÇÃO: 2014, FONTE: FASE, VOLUME: 8411 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 20
NO MEU: ORCID | CIÊNCIAVITAE
50
TÍTULO: Towards a Framework for Multidirectional Model Transformations
AUTORES: Nuno Macedo ; Alcino Cunha ; Hugo Pacheco ;
PUBLICAÇÃO: 2014, FONTE: EDBT/ICDT Workshops, VOLUME: 1133
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | CIÊNCIAVITAE
Página 5 de 6. Total de resultados: 56.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service