Toggle navigation
Publicações
Investigadores
Instituições
0
Entrar
Autenticação Federada
(Clique na imagem)
Autenticação local
Recuperar Palavra-passe
Registar
Entrar
Maria Antónia Bacelar da Costa Lopes
AuthID:
R-000-AK2
Publicações
Confirmadas
Para Validar
Document Source:
All
Document Type:
Todos os Tipos de Documentos
Proceedings Paper (48)
Article (30)
Editorial Material (4)
Book (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
-
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: 83
31
TÃTULO:
Formal Modelling of Service-Oriented Systems
AUTORES:
Antonia Lopes
;
PUBLICAÇÃO:
2011
,
FONTE:
1st International Conference on Model and Data Engineering (MEDI 2011)
in
MODEL AND DATA ENGINEERING,
VOLUME:
6918
INDEXADO EM:
WOS
32
TÃTULO:
Goal-oriented self-management of in-memory distributed data grid platforms
AUTORES:
Rosa, L
;
Rodrigues, L
;
Lopes, A
;
PUBLICAÇÃO:
2011
,
FONTE:
2011 3rd IEEE International Conference on Cloud Computing Technology and Science, CloudCom 2011
in
Proceedings - 2011 3rd IEEE International Conference on Cloud Computing Technology and Science, CloudCom 2011
INDEXADO EM:
Scopus
DBLP
CrossRef
NO MEU:
ORCID
33
TÃTULO:
Runtime Verification for Generic Classes with CONGU2
Full Text
AUTORES:
Crispim, P;
Lopes, A
;
Vasconcelos, VT
;
PUBLICAÇÃO:
2011
,
FONTE:
13th Brazilian Symposium on Formal Methods (SBMF)
in
FORMAL METHODS: FOUNDATIONS AND APPLICATIONS,
VOLUME:
6527
INDEXADO EM:
Scopus
WOS
CrossRef
NO MEU:
ORCID
34
TÃTULO:
Support for User Involvement in Data Cleaning
AUTORES:
Helena Galhardas
;
Antónia Lopes
;
Emanuel Santos
;
PUBLICAÇÃO:
2011
,
FONTE:
13th International Conference on Data Warehousing and Knowledge Discovery, DaWaK 2011
in
Data Warehousing and Knowledge Discovery - 13th International Conference, DaWaK 2011, Toulouse, France, August 29-September 2,2011. Proceedings,
VOLUME:
6862
INDEXADO EM:
Scopus
DBLP
CrossRef
NO MEU:
ORCID
35
TÃTULO:
The sensoria reference modelling language
AUTORES:
Fiadeiro, J
;
Lopes, A
;
Bocchi, L
; Abreu, J;
PUBLICAÇÃO:
2011
,
FONTE:
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),
VOLUME:
6582
INDEXADO EM:
Scopus
CrossRef
NO MEU:
ORCID
36
TÃTULO:
User involvement in cleaning applications data
AUTORES:
Helena Galhardas
;
Antonia Lopes
; Emanuel Santos;
PUBLICAÇÃO:
2011
,
FONTE:
6th Iberian Information Systems and Technologies Conference
in
SISTEMAS E TECNOLOGIAS DE INFORMACAO, VOL I
INDEXADO EM:
WOS
37
TÃTULO:
Workshop on assurances for self-adaptive systems (ASAS 2011)
AUTORES:
Camara, J; De Lemos, R; Ghezzi, C;
Lopes, A
;
PUBLICAÇÃO:
2011
,
FONTE:
19th ACM SIGSOFT Symposium on Foundations of Software Engineering, SIGSOFT/FSE'11
in
SIGSOFT/FSE 2011 - Proceedings of the 19th ACM SIGSOFT Symposium on Foundations of Software Engineering
INDEXADO EM:
Scopus
CrossRef
NO MEU:
ORCID
38
TÃTULO:
A Model for Dynamic Reconfiguration in Service-Oriented Architectures
Full Text
AUTORES:
Fiadeiro, JL
;
Lopes, A
;
PUBLICAÇÃO:
2010
,
FONTE:
4th European Conference on Software Architecture
in
SOFTWARE ARCHITECTURE,
VOLUME:
6285
INDEXADO EM:
Scopus
WOS
CrossRef
NO MEU:
ORCID
39
TÃTULO:
Automating the construction of domain-specific modeling languages for object-oriented frameworks
Full Text
AUTORES:
Andre L Santos
;
Kai Koskimies
;
Antonia Lopes
;
PUBLICAÇÃO:
2010
,
FONTE:
JOURNAL OF SYSTEMS AND SOFTWARE,
VOLUME:
83,
NÚMERO:
7
INDEXADO EM:
Scopus
WOS
CrossRef
:
4
NO MEU:
ORCID
40
TÃTULO:
Bridging the Gap between Algebraic Specification and Object-Oriented Generic Programming
Full Text
AUTORES:
Isabel Nunes
;
Antonia Lopes
;
Vasco T Vasconcelos
;
PUBLICAÇÃO:
2009
,
FONTE:
9th International Workshop on Runtime Verification
in
RUNTIME VERIFICATION,
VOLUME:
5779
INDEXADO EM:
Scopus
WOS
DBLP
CrossRef
NO MEU:
ORCID
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 4 de 9. Total de resultados: 83.
<<
<
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
Por favor selecione o registo que deve ser utilizado pelo Authenticus.
×
Comparar Publicações
© 2024 CRACS & Inesc TEC - All Rights Reserved
Política de Privacidade
|
Terms of Service