Mr Ionut Tutu

  1. 2018
  2. 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

  3. 2017
  4. 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

  5. 2016
  6. 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

  7. 2015
  8. Published

    A Full Operational Semantics for Asynchronous Relational Networks

    Vissani, I., Lopez Pombo, C., Tutu, I. & Fiadeiro, J. L., 30 Dec 2015, Recent Advances in Algebraic Development Techniques. Springer, p. 131-150 20 p. (Lecture Notes in Computer Science; vol. 9463).

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

  9. Published

    Revisiting the Institutional Approach to Herbrand's Theorem

    Tutu, I. & Fiadeiro, J. L., 21 Oct 2015, Revisiting the Institutional Approach to Herbrand's Theorem. p. 304-319 16 p.

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

  10. Published

    Service-Oriented Logic Programming

    Tutu, I. & Fiadeiro, J. L., 18 Aug 2015, In : Logical Methods in Computer Science. 11, 3, p. 1-38 38 p.

    Research output: Contribution to journalArticle

  11. Unpublished

    Institution-Independent Logic Programming

    Tutu, I., 2015, (Unpublished) 144 p.

    Research output: ThesisDoctoral Thesis

  12. 2014
  13. Published

    Foundations for structuring behavioural specifications

    Diaconescu, R. & Tutu, I., 2014, In : Journal of Logic and Algebraic Programming. 83, p. 319-338 3-4.

    Research output: Contribution to journalArticle

  14. Published

    Parameterisation for abstract structured specifications

    Tutu, I., 2014, In : Theoretical Computer Science. 517, p. 102-142

    Research output: Contribution to journalArticle

  15. Published

    Solving Queries over Modular Logic Programs

    Tutu, I. & Fiadeiro, J. L., 2014.

    Research output: Contribution to conferenceAbstract

  16. 2013
  17. Published

    A Logic-Programming Semantics of Services

    Tutu, I. & Fiadeiro, J. L., 2013, p. 299-313.

    Research output: Contribution to conferencePaper

  18. Published

    Comorphisms of structured institutions

    Tutu, I., 2013, In : Information Processing Letters. 113, p. 894-900 22-24.

    Research output: Contribution to journalArticle

  19. Published

    Logical Foundations of Services

    Tutu, I., 2013, p. 111-118.

    Research output: Contribution to conferencePaper

  20. 2012
  21. Published

    On the Instantiation of Parameterised Specifications

    Tutu, I., 2012.

    Research output: Contribution to conferenceAbstract

  22. 2011
  23. Published

    On the algebra of structured specifications

    Diaconescu, R. & Tutu, I., 2011, In : Theoretical Computer Science. 412, p. 3145-3174 28.

    Research output: Contribution to journalArticle