Manuel Alcino Pereira da Cunha


AuthID: R-000-A05

Confirmed Publications: 89



41
TITLE: Mining the Usage Patterns of ROS Primitives
AUTHORS: Santos, A ; Cunha, A ; Macedo, N ; Arrais, R ; dos Santos, FN ;
PUBLISHED: 2017, SOURCE: 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
INDEXED IN: Scopus WOS DBLP CrossRef: 20 Handle
IN MY: ORCID | DBLP | CIÊNCIAVITAE
42
TITLE: A Framework for Quality Assessment of ROS Repositories
AUTHORS: Andre Santos ; Alcino Cunha ; Nuno Macedo ; Claudio Lourenco ;
PUBLISHED: 2016, SOURCE: 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
INDEXED IN: Scopus WOS DBLP CrossRef: 36
IN MY: ORCID | DBLP | CIÊNCIAVITAE
43
TITLE: Alloy meets TLA+: An exploratory study PDF
AUTHORS: Nuno Macedo ; Alcino Cunha ;
PUBLISHED: 2016, SOURCE: CoRR, VOLUME: abs/1603.03599
INDEXED IN: DBLP arXiv
IN MY: ORCID | DBLP | CIÊNCIAVITAE
44
TITLE: Least-change bidirectional model transformation with QVT-R and ATL  Full Text
AUTHORS: Nuno Macedo ; Alcino Cunha ;
PUBLISHED: 2016, SOURCE: SOFTWARE AND SYSTEMS MODELING, VOLUME: 15, ISSUE: 3
INDEXED IN: Scopus WOS DBLP CrossRef: 27
IN MY: ORCID | DBLP | CIÊNCIAVITAE
45
TITLE: Lightweight Specification and Analysis of Dynamic Systems with Rich Configurations
AUTHORS: Nuno Macedo ; Julien Brunel; David Chemouil; Alcino Cunha ; Denis Kuperberg;
PUBLISHED: 2016, SOURCE: 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
INDEXED IN: Scopus WOS DBLP CrossRef: 41
IN MY: ORCID | DBLP | CIÊNCIAVITAE
46
TITLE: Quien sabe por Algebra, sabe scientificamente: A tribute to José Nuno Oliveira
AUTHORS: Luís Soares Barbosa ; Alcino Cunha ; Alexandra Silva ;
PUBLISHED: 2016, SOURCE: J. Log. Algebr. Meth. Program., VOLUME: 85, ISSUE: 5
INDEXED IN: DBLP CrossRef
IN MY: ORCID | DBLP | CIÊNCIAVITAE
47
TITLE: An ORCID based synchronization framework for a national CRIS ecosystem
AUTHORS: João Mendes Moreira ; Alcino Cunha ; Nuno Macedo ;
PUBLISHED: 2015, SOURCE: F1000Research, VOLUME: 4, ISSUE: 4
INDEXED IN: Scopus DBLP CrossRef: 9 Handle
IN MY: ORCID | DBLP | CIÊNCIAVITAE
48
TITLE: Exploring Scenario Exploration
AUTHORS: Nuno Macedo ; Alcino Cunha ; Tiago Guimaraes;
PUBLISHED: 2015, SOURCE: 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
INDEXED IN: Scopus WOS DBLP CrossRef: 14
IN MY: ORCID | DBLP | CIÊNCIAVITAE
49
50
TITLE: Translating between Alloy specifications and UML class diagrams annotated with OCL  Full Text
AUTHORS: Alcino Cunha ; Ana Garis; Daniel Riesco;
PUBLISHED: 2015, SOURCE: SOFTWARE AND SYSTEMS MODELING, VOLUME: 14, ISSUE: 1
INDEXED IN: Scopus WOS DBLP CrossRef: 35
IN MY: ORCID | DBLP | CIÊNCIAVITAE
Page 5 of 9. Total results: 89.

footer slogan

Useful Links

Get Help

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