Manuel Alcino Pereira da Cunha


AuthID: R-000-A05

Publicações Confirmadas: 92



51
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
52
53
TÍTULO: Translating between Alloy specifications and UML class diagrams annotated with OCL  Full Text
AUTORES: Cunha, A ; Garis, A; Riesco, D;
PUBLICAÇÃO: 2015, FONTE: SOFTWARE AND SYSTEMS MODELING, VOLUME: 14, NÚMERO: 1
INDEXADO EM: Scopus WOS DBLP CrossRef: 41
NO MEU: ORCID | CIÊNCIAVITAE
54
TÍTULO: BenchmarX
AUTORES: Anthony Anjorin; Alcino Cunha ; Holger Giese; Frank Hermann; Arend Rensink; Andy Schürr;
PUBLICAÇÃO: 2014, FONTE: EDBT/ICDT Workshops, VOLUME: 1133
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | CIÊNCIAVITAE
55
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
56
TÍTULO: Bounded Model Checking of Temporal Formulas with Alloy
AUTORES: Alcino Cunha ;
PUBLICAÇÃO: 2014, FONTE: 4th International Conference on Abstract State Machines, Alloy, B, TLA,VDM, and Z (ABZ) in ABSTRACT STATE MACHINES, ALLOY, B, TLA, VDM, AND Z, ABZ 2014, VOLUME: 8477
INDEXADO EM: Scopus WOS DBLP CrossRef: 13
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
57
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
58
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
59
TÍTULO: A Generic Scheme and Properties of Bidirectional Transformations
AUTORES: Hugo Pacheco ; Nuno Macedo ; Alcino Cunha ; Janis Voigtländer;
PUBLICAÇÃO: 2013, FONTE: CoRR, VOLUME: abs/1306.4473
INDEXADO EM: DBLP
NO MEU: ORCID | CIÊNCIAVITAE
60
TÍTULO: Composing Least-change Lenses
AUTORES: Nuno Macedo ; Hugo Pacheco ; Alcino Cunha ; José Nuno Oliveira ;
PUBLICAÇÃO: 2013, FONTE: Electron. Commun. Eur. Assoc. Softw. Sci. Technol., VOLUME: 57
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | CIÊNCIAVITAE
Página 6 de 10. Total de resultados: 92.

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