Mr Ionut Tutu

  1. 2018
  2. Published

    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. Springer, p. 98-114 (Lecture Notes in Computer Science)

    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 37 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

    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, Vol. 9463, 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 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