Manuel Alcino Pereira da Cunha


AuthID: R-000-A05

Publicações Confirmadas: 92



41
TÍTULO: Bidirectional Transformations (BX 2015) Editorial  Full Text
AUTORES: Alcino Cunha ; Ekkart Kindler;
PUBLICAÇÃO: 2017, FONTE: J. Object Technol., VOLUME: 16, NÚMERO: 1
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
42
TÍTULO: COMPOSITION IN STATE-BASED REPLICATED DATA TYPES
AUTORES: Baquero, C ; Almeida, PS ; Cunha, A ; Ferreira, C ;
PUBLICAÇÃO: 2017, FONTE: BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE, VOLUME: 123, NÚMERO: 123
INDEXADO EM: WOS DBLP
NO MEU: ORCID | CIÊNCIAVITAE
43
TÍTULO: Exploiting Partial Knowledge for Efficient Model Analysis
AUTORES: Macedo, N ; Cunha, A ; Pessoa, E;
PUBLICAÇÃO: 2017, FONTE: AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS (ATVA 2017), VOLUME: 10482
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
44
TÍTULO: Mining the Usage Patterns of ROS Primitives
AUTORES: Santos, A ; Cunha, A ; Macedo, N ; Arrais, R ; dos Santos, FN ;
PUBLICAÇÃO: 2017, FONTE: IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) in 2017 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS), VOLUME: 2017-September
INDEXADO EM: Scopus WOS DBLP CrossRef: 20 Handle
NO MEU: ORCID | CIÊNCIAVITAE
45
TÍTULO: A Framework for Quality Assessment of ROS Repositories
AUTORES: Santos, A ; Cunha, A ; Macedo, N ; Lourenço, C ;
PUBLICAÇÃO: 2016, FONTE: IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) in 2016 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS 2016), VOLUME: 2016-November
INDEXADO EM: Scopus WOS DBLP CrossRef: 36
NO MEU: ORCID | CIÊNCIAVITAE
46
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
47
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
48
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
49
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. Algebraic Methods Program., VOLUME: 85, NÚMERO: 5
INDEXADO EM: DBLP CrossRef
NO MEU: ORCID | CIÊNCIAVITAE
50
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
Página 5 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