Manuel Alcino Pereira da Cunha


AuthID: R-000-A05

Publicações Confirmadas: 92



61
TÍTULO: Implementing QVT-R Bidirectional Model Transformations Using Alloy
AUTORES: Macedo, N ; Cunha, A ;
PUBLICAÇÃO: 2013, FONTE: 16th International Conference on Fundamental Approaches to Software Engineering (FASE) in FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, FASE 2013, VOLUME: 7793
INDEXADO EM: Scopus WOS DBLP CrossRef: 32
NO MEU: ORCID | CIÊNCIAVITAE
62
TÍTULO: Model Repair and Transformation with Echo
AUTORES: Macedo, N ; Guimaraes, T; Cunha, A ;
PUBLICAÇÃO: 2013, FONTE: 28th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2013 28TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE)
INDEXADO EM: Scopus WOS DBLP CrossRef: 24
NO MEU: ORCID | CIÊNCIAVITAE
63
TÍTULO: Automatic Unbounded Verification of Alloy Specifications with Prover9
AUTORES: Nuno Macedo ; Alcino Cunha ;
PUBLICAÇÃO: 2012, FONTE: CoRR, VOLUME: abs/1209.5773
INDEXADO EM: DBLP
NO MEU: ORCID | CIÊNCIAVITAE
64
TÍTULO: Bounded Model Checking of Temporal Formulas with Alloy PDF
AUTORES: Alcino Cunha ;
PUBLICAÇÃO: 2012, FONTE: CoRR, VOLUME: abs/1207.2746
INDEXADO EM: DBLP arXiv
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
65
TÍTULO: Delta Lenses over Inductive Types
AUTORES: Hugo Pacheco ; Alcino Cunha ; Zhenjiang Hu;
PUBLICAÇÃO: 2012, FONTE: Electron. Commun. Eur. Assoc. Softw. Sci. Technol., VOLUME: 49
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | CIÊNCIAVITAE
66
TÍTULO: Fast Distributed Computation of Distances in Networks
AUTORES: Almeida, PS ; Baquero, C ; Cunha, A ;
PUBLICAÇÃO: 2012, FONTE: 51st IEEE Annual Conference on Decision and Control (CDC) in 2012 IEEE 51ST ANNUAL CONFERENCE ON DECISION AND CONTROL (CDC)
INDEXADO EM: Scopus WOS DBLP CrossRef: 14
NO MEU: ORCID | CIÊNCIAVITAE
67
TÍTULO: Multifocal: A Strategic Bidirectional Transformation Language for XML Schemas
AUTORES: Hugo Pacheco ; Alcino Cunha ;
PUBLICAÇÃO: 2012, FONTE: ICMT@TOOLS, VOLUME: 7307 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 4
NO MEU: ORCID | CIÊNCIAVITAE
68
TÍTULO: Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants
AUTORES: Nuno Macedo ; Hugo Pacheco ; Alcino Cunha ;
PUBLICAÇÃO: 2012, FONTE: RAMiCS, VOLUME: 7560 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 2
NO MEU: ORCID | CIÊNCIAVITAE
69
TÍTULO: Specifying UML Protocol State Machines in Alloy
AUTORES: Ana Gabriela Garis; Ana C R Paiva ; Alcino Cunha ; Daniel Riesco;
PUBLICAÇÃO: 2012, FONTE: IFM, VOLUME: 7321 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 7
NO MEU: ORCID | CIÊNCIAVITAE
70
TÍTULO: Using Term Rewriting to Solve Bit-Vector Arithmetic Problems - (Poster Presentation)
AUTORES: Iago Abal; Alcino Cunha ; Joe Hurd; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2012, FONTE: SAT, VOLUME: 7317 LNCS
INDEXADO EM: Scopus DBLP CrossRef: 2
NO MEU: ORCID | CIÊNCIAVITAE
Página 7 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