Jose Luis Lopes Fiadeiro
AuthID: R-001-YY3
1
TÃTULO: Logics for actor networks: A case study in constrained hybridization: A case study in constrained hybridization
AUTORES: Fiadeiro, J; Ţuţu, I; Lopes, A ; Pavlovic, D;
PUBLICAÇÃO: 2018, FONTE: 1st International Workshop on Dynamic Logic, DALI 2017 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 10669 LNCS
AUTORES: Fiadeiro, J; Ţuţu, I; Lopes, A ; Pavlovic, D;
PUBLICAÇÃO: 2018, FONTE: 1st International Workshop on Dynamic Logic, DALI 2017 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 10669 LNCS
INDEXADO EM: 
Scopus
Scopus2
TÃTULO: Heterogeneous and asynchronous networks of timed systems
AUTORES: Fiadeiro, JL; Lopes, A ;
PUBLICAÇÃO: 2014, FONTE: 17th International Conference on Fundamental Approaches to Software Engineering, FASE 2014 - Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8411 LNCS
AUTORES: Fiadeiro, JL; Lopes, A ;
PUBLICAÇÃO: 2014, FONTE: 17th International Conference on Fundamental Approaches to Software Engineering, FASE 2014 - Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8411 LNCS
INDEXADO EM: Scopus 
CrossRef
Scopus CrossRef3
TÃTULO: Heterogeneous Timed Machines
AUTORES: Delahaye, B; Fiadeiro, JL; Legay, A; Lopes, A ;
PUBLICAÇÃO: 2014, FONTE: 11th International Colloquium om Theoretical Aspects of Computing (ICTAC) in THEORETICAL ASPECTS OF COMPUTING - ICTAC 2014, VOLUME: 8687
AUTORES: Delahaye, B; Fiadeiro, JL; Legay, A; Lopes, A ;
PUBLICAÇÃO: 2014, FONTE: 11th International Colloquium om Theoretical Aspects of Computing (ICTAC) in THEORETICAL ASPECTS OF COMPUTING - ICTAC 2014, VOLUME: 8687
INDEXADO EM: Scopus 
WOS
Scopus WOS4
TÃTULO: An interface theory for service-oriented design Full Text
AUTORES: Fiadeiro, JL; Lopes, A ;
PUBLICAÇÃO: 2013, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 503
AUTORES: Fiadeiro, JL; Lopes, A ;
PUBLICAÇÃO: 2013, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 503
5
TÃTULO: A model for dynamic reconfiguration in service-oriented architectures Full Text
AUTORES: Fiadeiro, JL; Lopes, A ;
PUBLICAÇÃO: 2013, FONTE: SOFTWARE AND SYSTEMS MODELING, VOLUME: 12, NÚMERO: 2
AUTORES: Fiadeiro, JL; Lopes, A ;
PUBLICAÇÃO: 2013, FONTE: SOFTWARE AND SYSTEMS MODELING, VOLUME: 12, NÚMERO: 2
6
TÃTULO: A timed component algebra for services
AUTORES: Delahaye, B; Fiadeiro, JL; Legay, A; Lopes, A ;
PUBLICAÇÃO: 2013, FONTE: Joint IFIP WG 6.1 International Conference on Formal Techniques for Distributed Systems, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7892 LNCS
AUTORES: Delahaye, B; Fiadeiro, JL; Legay, A; Lopes, A ;
PUBLICAÇÃO: 2013, FONTE: Joint IFIP WG 6.1 International Conference on Formal Techniques for Distributed Systems, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7892 LNCS
INDEXADO EM: Scopus CrossRef
Scopus CrossRef7
TÃTULO: A formal model for service-oriented interactions Full Text
AUTORES: Jose Fiadeiro; Antonia Lopes ; Joao Abreu;
PUBLICAÇÃO: 2012, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 77, NÚMERO: 5
AUTORES: Jose Fiadeiro; Antonia Lopes ; Joao Abreu;
PUBLICAÇÃO: 2012, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 77, NÚMERO: 5
8
TÃTULO: Consistency of Service Composition
AUTORES: Fiadeiro, JL; Lopes, A ;
PUBLICAÇÃO: 2012, FONTE: 15th International Conference on Fundamental Approaches to Software Engineering (FASE) in FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, FASE 2012, VOLUME: 7212
AUTORES: Fiadeiro, JL; Lopes, A ;
PUBLICAÇÃO: 2012, FONTE: 15th International Conference on Fundamental Approaches to Software Engineering (FASE) in FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, FASE 2012, VOLUME: 7212
9
TÃTULO: A graph-based design framework for services
AUTORES: Lopes, A ; Fiadeiro, JL;
PUBLICAÇÃO: 2012, FONTE: 6th International Conference on Graph Transformations, ICGT 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7562 LNCS
AUTORES: Lopes, A ; Fiadeiro, JL;
PUBLICAÇÃO: 2012, FONTE: 6th International Conference on Graph Transformations, ICGT 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7562 LNCS
INDEXADO EM: Scopus CrossRef
Scopus CrossRef10
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
