Manuel Alcino Pereira da Cunha


AuthID: R-000-A05

Publicações Confirmadas: 87



41
TÍTULO: Alloy meets TLA+: An exploratory study PDF
AUTORES: Nuno Macedo ; Alcino Cunha ;
PUBLICAÇÃO: 2016, FONTE: CoRR, VOLUME: abs/1603.03599
INDEXADO EM: DBLP arXiv
NO MEU: ORCID | DBLP
42
TÍTULO: Least-change bidirectional model transformation with QVT-R and ATL  Full Text
AUTORES: Nuno Macedo ; Alcino Cunha ;
PUBLICAÇÃO: 2016, FONTE: SOFTWARE AND SYSTEMS MODELING, VOLUME: 15, NÚMERO: 3
INDEXADO EM: Scopus WOS DBLP CrossRef: 19
NO MEU: ORCID | DBLP
43
TÍTULO: Lightweight Specification and Analysis of Dynamic Systems with Rich Configurations
AUTORES: Nuno Macedo ; Julien Brunel; David Chemouil; Alcino Cunha ; Denis Kuperberg;
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: 21
NO MEU: ORCID | DBLP
44
TÍTULO: Quien sabe por Algebra, sabe scientificamente: A tribute to José Nuno Oliveira
AUTORES: Luís Soares Barbosa ; Alcino Cunha ; Alexandra Silva ;
PUBLICAÇÃO: 2016, FONTE: J. Log. Algebr. Meth. Program., VOLUME: 85, NÚMERO: 5
INDEXADO EM: DBLP CrossRef
NO MEU: ORCID | DBLP
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
INDEXADO EM: Scopus DBLP CrossRef: 7 Handle
NO MEU: ORCID | DBLP
46
TÍTULO: Exploring Scenario Exploration
AUTORES: Nuno Macedo ; Alcino Cunha ; Tiago Guimaraes;
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: 10
NO MEU: ORCID | DBLP
47
48
TÍTULO: Translating between Alloy specifications and UML class diagrams annotated with OCL  Full Text
AUTORES: Alcino Cunha ; Ana Garis; Daniel Riesco;
PUBLICAÇÃO: 2015, FONTE: SOFTWARE AND SYSTEMS MODELING, VOLUME: 14, NÚMERO: 1
INDEXADO EM: Scopus WOS DBLP CrossRef: 23
NO MEU: ORCID | DBLP
49
TÍTULO: BenchmarX PDF
AUTORES: Anthony Anjorin; Alcino Cunha ; Holger Giese; Frank Hermann; Arend Rensink; Andy Schürr;
PUBLICAÇÃO: 2014, FONTE: 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
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP
50
TÍTULO: Bidirectional Spreadsheet Formulas
AUTORES: Nuno Macedo ; Hugo Pacheco ; Nuno Rocha Sousa; Alcino Cunha ;
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 | DBLP
Página 5 de 9. Total de resultados: 87.

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

Links Úteis

Ajuda

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