Manuel Alcino Pereira da Cunha


AuthID: R-000-A05

Confirmed Publications: 89



51
TITLE: BenchmarX PDF
AUTHORS: Anthony Anjorin; Alcino Cunha ; Holger Giese; Frank Hermann; Arend Rensink; Andy Schürr;
PUBLISHED: 2014, SOURCE: 2014 Joint Workshops on International Conference on Extending Database Technology, EDBT 2014 and International Conference on Database Theory, ICDT 2014 in Proceedings of the Workshops of the EDBT/ICDT 2014 Joint Conference (EDBT/ICDT 2014), Athens, Greece, March 28, 2014., VOLUME: 1133
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP | CIÊNCIAVITAE
52
TITLE: Bidirectional Spreadsheet Formulas
AUTHORS: Nuno Macedo ; Hugo Pacheco ; Nuno Rocha Sousa; Alcino Cunha ;
PUBLISHED: 2014, SOURCE: 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)
INDEXED IN: Scopus WOS DBLP CrossRef: 4
IN MY: ORCID | DBLP | CIÊNCIAVITAE
53
TITLE: Bounded Model Checking of Temporal Formulas with Alloy
AUTHORS: Alcino Cunha ;
PUBLISHED: 2014, SOURCE: 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
INDEXED IN: Scopus WOS DBLP CrossRef: 13
IN MY: ORCID | DBLP | CIÊNCIAVITAE
54
TITLE: Target Oriented Relational Model Finding
AUTHORS: Alcino Cunha ; Nuno Macedo ; Tiago Guimarães;
PUBLISHED: 2014, SOURCE: 17th International Conference on Fundamental Approaches to Software Engineering, FASE 2014 - Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014 in Fundamental Approaches to Software Engineering - 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings, VOLUME: 8411
INDEXED IN: Scopus DBLP CrossRef: 20
IN MY: ORCID | DBLP | CIÊNCIAVITAE
55
TITLE: Towards a framework for multidirectional model transformations PDF
AUTHORS: Macedo, N ; Cunha, A ; Pacheco, H ;
PUBLISHED: 2014, SOURCE: 2014 Joint Workshops on International Conference on Extending Database Technology, EDBT 2014 and International Conference on Database Theory, ICDT 2014 in CEUR Workshop Proceedings, VOLUME: 1133
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP | CIÊNCIAVITAE
56
TITLE: A Generic Scheme and Properties of Bidirectional Transformations PDF
AUTHORS: Hugo Pacheco ; Nuno Macedo ; Alcino Cunha ; Janis Voigtländer;
PUBLISHED: 2013, SOURCE: CoRR, VOLUME: abs/1306.4473
INDEXED IN: DBLP arXiv
IN MY: ORCID | DBLP | CIÊNCIAVITAE
57
TITLE: Composing Least-change Lenses
AUTHORS: Nuno Macedo ; Hugo Pacheco ; Alcino Cunha ; José Nuno Oliveira ;
PUBLISHED: 2013, SOURCE: ECEASST, VOLUME: 57
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP | CIÊNCIAVITAE
58
TITLE: Implementing QVT-R Bidirectional Model Transformations Using Alloy
AUTHORS: Nuno Macedo ; Alcino Cunha ;
PUBLISHED: 2013, SOURCE: 16th International Conference on Fundamental Approaches to Software Engineering (FASE) in FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, FASE 2013, VOLUME: 7793
INDEXED IN: Scopus WOS DBLP CrossRef: 30
IN MY: ORCID | DBLP | CIÊNCIAVITAE
59
TITLE: Model Repair and Transformation with Echo
AUTHORS: Nuno Macedo ; Tiago Guimaraes; Alcino Cunha ;
PUBLISHED: 2013, SOURCE: 28th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2013 28TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE)
INDEXED IN: Scopus WOS DBLP CrossRef: 22
IN MY: ORCID | DBLP | CIÊNCIAVITAE
60
TITLE: Automatic Unbounded Verification of Alloy Specifications with Prover9 PDF
AUTHORS: Nuno Macedo ; Alcino Cunha ;
PUBLISHED: 2012, SOURCE: CoRR, VOLUME: abs/1209.5773
INDEXED IN: DBLP arXiv
IN MY: ORCID | DBLP | CIÊNCIAVITAE
Page 6 of 9. Total results: 89.

footer slogan

Useful Links

Get Help

© 2025 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service