Jose Luis Lopes Fiadeiro
AuthID: R-001-YY3
1
TITLE: Logics for actor networks: A case study in constrained hybridization: A case study in constrained hybridization
AUTHORS: Fiadeiro, J; Ţuţu, I; Lopes, A ; Pavlovic, D;
PUBLISHED: 2018, SOURCE: 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
AUTHORS: Fiadeiro, J; Ţuţu, I; Lopes, A ; Pavlovic, D;
PUBLISHED: 2018, SOURCE: 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
INDEXED IN: 
Scopus
Scopus2
TITLE: Heterogeneous and asynchronous networks of timed systems
AUTHORS: Fiadeiro, JL; Lopes, A ;
PUBLISHED: 2014, SOURCE: 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
AUTHORS: Fiadeiro, JL; Lopes, A ;
PUBLISHED: 2014, SOURCE: 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
INDEXED IN: Scopus 
CrossRef
Scopus CrossRef3
TITLE: Heterogeneous Timed Machines
AUTHORS: Delahaye, B; Fiadeiro, JL; Legay, A; Lopes, A ;
PUBLISHED: 2014, SOURCE: 11th International Colloquium om Theoretical Aspects of Computing (ICTAC) in THEORETICAL ASPECTS OF COMPUTING - ICTAC 2014, VOLUME: 8687
AUTHORS: Delahaye, B; Fiadeiro, JL; Legay, A; Lopes, A ;
PUBLISHED: 2014, SOURCE: 11th International Colloquium om Theoretical Aspects of Computing (ICTAC) in THEORETICAL ASPECTS OF COMPUTING - ICTAC 2014, VOLUME: 8687
INDEXED IN: Scopus 
WOS
Scopus WOS4
TITLE: An interface theory for service-oriented design Full Text
AUTHORS: Fiadeiro, JL; Lopes, A ;
PUBLISHED: 2013, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 503
AUTHORS: Fiadeiro, JL; Lopes, A ;
PUBLISHED: 2013, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 503
5
TITLE: A model for dynamic reconfiguration in service-oriented architectures Full Text
AUTHORS: Fiadeiro, JL; Lopes, A ;
PUBLISHED: 2013, SOURCE: SOFTWARE AND SYSTEMS MODELING, VOLUME: 12, ISSUE: 2
AUTHORS: Fiadeiro, JL; Lopes, A ;
PUBLISHED: 2013, SOURCE: SOFTWARE AND SYSTEMS MODELING, VOLUME: 12, ISSUE: 2
6
TITLE: A timed component algebra for services
AUTHORS: Delahaye, B; Fiadeiro, JL; Legay, A; Lopes, A ;
PUBLISHED: 2013, SOURCE: 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
AUTHORS: Delahaye, B; Fiadeiro, JL; Legay, A; Lopes, A ;
PUBLISHED: 2013, SOURCE: 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
INDEXED IN: Scopus CrossRef
Scopus CrossRef7
TITLE: A formal model for service-oriented interactions Full Text
AUTHORS: Jose Fiadeiro; Antonia Lopes ; Joao Abreu;
PUBLISHED: 2012, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 77, ISSUE: 5
AUTHORS: Jose Fiadeiro; Antonia Lopes ; Joao Abreu;
PUBLISHED: 2012, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 77, ISSUE: 5
8
TITLE: Consistency of Service Composition
AUTHORS: Fiadeiro, JL; Lopes, A ;
PUBLISHED: 2012, SOURCE: 15th International Conference on Fundamental Approaches to Software Engineering (FASE) in FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, FASE 2012, VOLUME: 7212
AUTHORS: Fiadeiro, JL; Lopes, A ;
PUBLISHED: 2012, SOURCE: 15th International Conference on Fundamental Approaches to Software Engineering (FASE) in FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, FASE 2012, VOLUME: 7212
9
TITLE: A graph-based design framework for services
AUTHORS: Lopes, A ; Fiadeiro, JL;
PUBLISHED: 2012, SOURCE: 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
AUTHORS: Lopes, A ; Fiadeiro, JL;
PUBLISHED: 2012, SOURCE: 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
INDEXED IN: Scopus CrossRef
Scopus CrossRef10
TITLE: An abstract model of service discovery and binding Full Text
AUTHORS: Jose Luiz Fiadeiro; Antonia Lopes ; Laura Bocchi;
PUBLISHED: 2011, SOURCE: FORMAL ASPECTS OF COMPUTING, VOLUME: 23, ISSUE: 4
AUTHORS: Jose Luiz Fiadeiro; Antonia Lopes ; Laura Bocchi;
PUBLISHED: 2011, SOURCE: FORMAL ASPECTS OF COMPUTING, VOLUME: 23, ISSUE: 4
