Professor José Luiz Fiadeiro

  1. 2019
  2. E-pub ahead of print

    Logical Support for Bike-Sharing System Design

    Tutu, I., Chirita, C-E., Lopes, A. & Fiadeiro, J. L., 9 Oct 2019, From Software Engineering to Formal Methods and Tools, and Back. ter Beek, M. H., Fantechi, A. & Semini, L. (eds.). Springer, p. 152-171 20 p. (Lecture Notes In Computer Science; vol. 11865).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  3. Published

    Logics for Actor Networks: A two-stage constrained-hybridisation approach

    Lopes Fiadeiro, J., Tutu, I., Lopes, A. & Pavlovic, D., Aug 2019, In : Journal of Logical and Algebraic Methods in Programming. 106

    Research output: Contribution to journalArticle

  4. 2018
  5. Published

    Dynamic networks of heterogeneous timed machines

    Fiadeiro, J. L., Lopes, A., Delahaye, B. & Legay, A., Jun 2018, In : Mathematical Structures in Computer Science. 28, 6, p. 800-855 56 p.

    Research output: Contribution to journalArticle

  6. E-pub ahead of print

    Logics for Actor Networks: A Case Study in Constrained Hybridization

    Lopes Fiadeiro, J., Tutu, I., Lopes, A. & Pavlovic, D., 3 Jan 2018, Dynamic Logic. New Trends and Applications: First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings. Springer, p. 98-114 17 p. (Lecture Notes in Computer Science; vol. 10669).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  7. 2017
  8. Published

    From conventional to institution-independent logic programming

    Tutu, I. & Fiadeiro, J. L., 1 Sep 2017, In : Journal of Logic and Computation. 27, 6, p. 1679-1716 38 p.

    Research output: Contribution to journalArticle

  9. Published

    Heterogeneous and asynchronous networks of timed systems

    Fiadeiro, J. L. & Lopes, A., 8 Feb 2017, In : Theoretical Computer Science. 663, p. 1–33 33 p.

    Research output: Contribution to journalArticle

  10. 2016
  11. Forthcoming

    Foundations of Graph Transformation as a Logic-Programming Language

    Tutu, I. & Fiadeiro, J. L., 4 Jul 2016, (Accepted/In press).

    Research output: Contribution to conferencePaper

  12. Forthcoming

    Creative Processes in Service-Oriented Computing

    Chirita, C-E. & Luiz Fiadeiro, J., Jul 2016, (Accepted/In press).

    Research output: Contribution to conferenceAbstract

  13. Forthcoming

    Free Jazz in the Land of Algebraic Improvisation

    Chirita, C-E. & Luiz Fiadeiro, J., May 2016, (Accepted/In press). 8 p.

    Research output: Contribution to conferencePaper

  14. Published

    Many-Valued Institutions for Constraint Specification

    Chirita, C-E., Luiz Fiadeiro, J. & Orejas, F., 2016, Fundamental Approaches to Software Engineering. Stevens, P. & Wasowski, A. (eds.). Berlin: Springer, Vol. 9633. p. 359-376 18 p. (Lecture Notes in Computer Science; vol. 9633).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

Previous 1 2 3 4 5 6 7 8 ...17 Next