No photo of Ionut Tutu

Tutu, Ionut

Dr

  • 14 Citations
  • 2 h-Index
20132019

Research output per year

If you made any changes in Pure these will be visible here soon.

Fingerprint Dive into the research topics where Ionut Tutu is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

  • 1 Similar Profiles

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output

  • 14 Citations
  • 2 h-Index
  • 5 Conference contribution
  • 3 Article
  • 1 Chapter

Logical Support for Bike-Sharing System Design

Ţuţu, I., Chiriţă, C. E., Lopes, A. & Fiadeiro, J. L., 2019, From Software Engineering to Formal Methods and Tools, and Back: Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday. ter Beek, M. H., Fantechi, A. & Semini, L. (eds.). Switzerland: Springer Verlag, p. 152-171 20 p. (Lecture Notes in Computer Science; vol. 11865).

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
File
  • 1 Citation (Scopus)
    11 Downloads (Pure)

    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, p. 141-166 26 p.

    Research output: Contribution to journalArticle

  • 1 Citation (Scopus)

    Preface

    Fiadeiro, J. L. & Ţuţu, I., Apr 2019, Recent Trends in Algebraic Development Techniques: 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2–5, 2018, Revised Selected Papers. Fiadeiro, J. L. & Țuțu, I. (eds.). Springer , Vol. 11563 LNCS. p. v-vi 2 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

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

    Logics for actor networks: A case study in constrained hybridization

    Fiadeiro, J., Ţuţu, I., Lopes, A. & Pavlovic, D., 2018, Dynamic Logic. New Trends and Applications: First International Workshop, DALI 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings. Madeira, A., Madeira, A. & Benevides, M. (eds.). Switzerland: Springer Verlag, p. 98-114 17 p. (Lecture Notes in Computer Science; vol. 10669).

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

  • 2 Citations (Scopus)

    From conventional to institution-independent logic programming

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

    Research output: Contribution to journalArticle

  • 2 Citations (Scopus)