Jose Luis Lopes Fiadeiro
AuthID: R-001-YY3
1
TITLE: Logics for Actor Networks: A two-stage constrained-hybridisation approach
AUTHORS: Jose Luiz Fiadeiro; Ionut Tutu; Antonia Lopes ; Dusko Pavlovic;
PUBLISHED: 2019, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 106
AUTHORS: Jose Luiz Fiadeiro; Ionut Tutu; Antonia Lopes ; Dusko Pavlovic;
PUBLISHED: 2019, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 106
INDEXED IN: 
WOS
WOS2
TITLE: Logical Support for Bike-Sharing System Design
AUTHORS: Ţuţu, I; Chiriţă, CE; Lopes, A; Fiadeiro, JL;
PUBLISHED: 2019, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 11865 LNCS
AUTHORS: Ţuţu, I; Chiriţă, CE; Lopes, A; Fiadeiro, JL;
PUBLISHED: 2019, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 11865 LNCS
INDEXED IN: 
Scopus
Scopus3
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
Scopus4
TITLE: Dynamic networks of heterogeneous timed machines
AUTHORS: Jose Fiadeiro; Antonia Lopes ; Benoit Delahaye; Axel Legay;
PUBLISHED: 2018, SOURCE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 28, ISSUE: 6
AUTHORS: Jose Fiadeiro; Antonia Lopes ; Benoit Delahaye; Axel Legay;
PUBLISHED: 2018, SOURCE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 28, ISSUE: 6
INDEXED IN: WOS
WOS5
TITLE: Heterogeneous and asynchronous networks of timed systems Full Text
AUTHORS: Jose L Fiadeiro; Antonia Lopes ;
PUBLISHED: 2017, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 663
AUTHORS: Jose L Fiadeiro; Antonia Lopes ;
PUBLISHED: 2017, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 663
INDEXED IN: WOS
WOS6
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 CrossRef7
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 WOS8
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
9
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
10
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 CrossRef