Manuel Alcino Pereira da Cunha


AuthID: R-000-A05

Publicações Confirmadas: 89



41
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 | DBLP | CIÊNCIAVITAE
42
TÍTULO: A Framework for Quality Assessment of ROS Repositories
AUTORES: Andre Santos ; Alcino Cunha ; Nuno Macedo ; Claudio Lourenco ;
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 | DBLP | CIÊNCIAVITAE
43
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 | CIÊNCIAVITAE
44
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: 27
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
45
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: 41
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
46
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 | CIÊNCIAVITAE
47
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 | DBLP | CIÊNCIAVITAE
48
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: 14
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
49
50
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: 35
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
Página 5 de 9. Total de resultados: 89.

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

Links Úteis

Ajuda

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