L. Bocchi
AuthID: R-006-H6X
1
TÃTULO: An abstract model of service discovery and binding Full Text
AUTORES: Jose Luiz Fiadeiro; Antonia Lopes ; Laura Bocchi;
PUBLICAÇÃO: 2011, FONTE: FORMAL ASPECTS OF COMPUTING, VOLUME: 23, NÚMERO: 4
AUTORES: Jose Luiz Fiadeiro; Antonia Lopes ; Laura Bocchi;
PUBLICAÇÃO: 2011, FONTE: FORMAL ASPECTS OF COMPUTING, VOLUME: 23, NÚMERO: 4
2
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
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
3
TÃTULO: Analysing time-related properties of service-oriented systems
AUTORES: Bocchi, L; Fiadeiro, J; Solanki, M; Gilmore, S; Abreu, J; Vankayala, V;
PUBLICAÇÃO: 2011, FONTE: Handbook of Research on Service-Oriented Systems and Non-Functional Properties: Future Directions
AUTORES: Bocchi, L; Fiadeiro, J; Solanki, M; Gilmore, S; Abreu, J; Vankayala, V;
PUBLICAÇÃO: 2011, FONTE: Handbook of Research on Service-Oriented Systems and Non-Functional Properties: Future Directions
INDEXADO EM: 
Scopus 
CrossRef
Scopus CrossRef4
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
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
5
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
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
6
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
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
Scopus WOS7
TÃTULO: Specifying and composing interaction protocols for service-oriented system modelling
AUTORES: Abreu, J; Bocchi, L; Fiadeiro, JL; Lopes, A ;
PUBLICAÇÃO: 2007, FONTE: 27th International Conference on Formal Techniques for Networked and Distributed Systems in FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS - FORTE 2007, VOLUME: 4574
AUTORES: Abreu, J; Bocchi, L; Fiadeiro, JL; Lopes, A ;
PUBLICAÇÃO: 2007, FONTE: 27th International Conference on Formal Techniques for Networked and Distributed Systems in FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS - FORTE 2007, VOLUME: 4574
INDEXADO EM: Scopus WOS
Scopus WOS8
TÃTULO: A formal approach to service component architecture
AUTORES: Jose Luiz Fiadeiro; Antonia Lopes ; Laura Bocchi;
PUBLICAÇÃO: 2006, FONTE: 3rd International Workshop on Web Services and Formal Methods in WEB SERVICES AND FORMAL METHODS, PROCEEDINGS, VOLUME: 4184
AUTORES: Jose Luiz Fiadeiro; Antonia Lopes ; Laura Bocchi;
PUBLICAÇÃO: 2006, FONTE: 3rd International Workshop on Web Services and Formal Methods in WEB SERVICES AND FORMAL METHODS, PROCEEDINGS, VOLUME: 4184
INDEXADO EM: Scopus WOS
Scopus WOS