Maria Antónia Bacelar da Costa Lopes


AuthID: R-000-AK2

Publicações Confirmadas: 83



41
TÍTULO: From Local Impact Functions to Global Adaptation of Service Compositions
AUTORES: Liliana Rosa; Luis Rodrigues ; Antonia Lopes ; Matti Hiltimen; Richard Schlichting;
PUBLICAÇÃO: 2009, FONTE: 11th International Symposium on Stabilization, Safety and Security of Distributed Systems in STABILIZATION, SAFETY, AND SECURITY OF DISTRIBUTED SYSTEMS, PROCEEDINGS, VOLUME: 5873
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID
42
TÍTULO: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
AUTORES: Lee, D; Lopes, A ; Poetzsch Heffter, A;
PUBLICAÇÃO: 2009, FONTE: 11th International Conference on Formal Methods for Open Object-Based Distributed Systems, FMOODS 2009 and 29th International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2009 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 5522 LNCS
INDEXADO EM: Scopus
NO MEU: ORCID
43
TÍTULO: A use-case driven approach to formal service-oriented modelling
AUTORES: Bocchi, L; Fiadeiro, JL; Lopes, A ;
PUBLICAÇÃO: 2008, FONTE: Communications in Computer and Information Science, VOLUME: 17 CCIS
INDEXADO EM: Scopus
44
TÍTULO: A Use-Case Driven Approach to Formal Service-Oriented Modelling
AUTORES: Laura Bocchi; Jose Luiz Fiadeiro; Antonia Lopes ;
PUBLICAÇÃO: 2008, FONTE: 3rd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION, PROCEEDINGS, VOLUME: 17
INDEXADO EM: Scopus WOS
45
TÍTULO: Automated Domain-Specific Modeling Languages for Generating Framework-Based Applications
AUTORES: Andre L Santos ; Kai Koskimies; Antonia Lopes ;
PUBLICAÇÃO: 2008, FONTE: 12th International Software Product Line Conference in SPLC 2008: 12TH INTERNATIONAL SOFTWARE PRODUCT LINE CONFERENCE, PROCEEDINGS
INDEXADO EM: Scopus WOS CrossRef: 5
NO MEU: ORCID
46
TÍTULO: From BPEL to SRML: A formal transformational approach
AUTORES: Bocchi, L; Hong, Y; Lopes, A ; Fiadeiro, JL;
PUBLICAÇÃO: 2008, FONTE: 4th International Workshop on Web Services and Formal Methods in WEB SERVICES AND FORMAL METHODS, PROCEEDINGS, VOLUME: 4937
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
47
TÍTULO: Modelling Adaptive Services for Distributed Systems
AUTORES: Liliana Rosa; Antonia Lopes ; Luis Rodrigues ;
PUBLICAÇÃO: 2008, FONTE: 23rd Annual ACM Symposium on Applied Computing in APPLIED COMPUTING 2008, VOLS 1-3
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID
48
TÍTULO: Service-oriented modelling of automotive systems  Full Text
AUTORES: Bocchi, L; Fiadeiro, JL; Lopes, A ;
PUBLICAÇÃO: 2008, FONTE: 32nd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2008 in Proceedings - International Computer Software and Applications Conference
INDEXADO EM: Scopus CrossRef
NO MEU: ORCID
49
TÍTULO: Algebraic semantics of service component modules
AUTORES: Fiadeiro, JL; Lopes, A ; Bocchi, L;
PUBLICAÇÃO: 2007, FONTE: 18th International Workshop on Algebraic Development Techniques in RECENT TRENDS IN ALGEBRAIC DEVELOPMENT TECHNIQUES, VOLUME: 4409
INDEXADO EM: Scopus WOS
NO MEU: ORCID
50
TÍTULO: An algebraic semantics of event-based architectures
AUTORES: Fladeiro, JL; Lopes, A ;
PUBLICAÇÃO: 2007, FONTE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 17, NÚMERO: 5
INDEXADO EM: Scopus WOS CrossRef
Página 5 de 9. Total de resultados: 83.

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

Links Úteis

Ajuda

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