Toggle navigation
Publicações
Investigadores
Instituições
0
Entrar
Autenticação Federada
(Clique na imagem)
Autenticação local
Recuperar Palavra-passe
Registar
Entrar
Manuel Alcino Pereira da Cunha
AuthID:
R-000-A05
Publicações
Confirmadas
Para Validar
Document Source:
All
Document Type:
Todos os Tipos de Documentos
Proceedings Paper (60)
Article (18)
Unpublished (6)
Article in Press (2)
Proceedings (1)
Editorial Material (1)
Phd Thesis (1)
Year Start - End:
1997
1998
1999
2000
2001
2002
2003
2004
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
2025
-
2025
2024
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
2003
2002
2001
2000
1999
1998
1997
Order:
Ano Dsc
Ano Asc
Cit. WOS Dsc
IF WOS Dsc
Cit. Scopus Dsc
IF Scopus Dsc
Título Asc
Título Dsc
Results:
10
20
30
40
50
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
TÃTULO:
Proceedings of the 4th International Workshop on Bidirectional Transformations co-located with Software Technologies: Applications and Foundations, STAF 2015, L'Aquila, Italy, July 24, 2015
AUTORES:
Alcino Cunha
; Ekkart Kindler;
PUBLICAÇÃO:
2015
,
FONTE:
Bx@STAF,
VOLUME:
1396
INDEXADO EM:
DBLP
NO MEU:
ORCID
|
DBLP
|
CIÊNCIAVITAE
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
Adicionar à lista
Marked
Marcar Todas
Exportar
×
Publication Export Settings
BibTex
EndNote
APA
CSV
PDF
Export Preview
Print
×
Publication Print Settings
HTML
PDF
Print Preview
Página 5 de 9. Total de resultados: 89.
<<
<
1
2
3
4
5
6
7
8
9
>
>>
×
Selecione a Fonte
Esta publicação tem:
2 registos no
ISI
2 registos no
SCOPUS
2 registos no
DBLP
2 registos no
Unpaywall
2 registos no
Openlibrary
2 registos no
Handle
2 registos no
DataCite
Por favor selecione o registo que deve ser utilizado pelo Authenticus.
×
Comparar Publicações
© 2025 CRACS & Inesc TEC - All Rights Reserved
Política de Privacidade
|
Terms of Service