No photo of Ionut Tutu

Tutu, Ionut

Dr

  • 9 Citations
  • 2 h-Index
20132019
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.

  • 2 Similar Profiles
Logic programming Engineering & Materials Science
Logic Programming Mathematics
Semantics Engineering & Materials Science
Circuit theory Engineering & Materials Science
Operational Semantics Mathematics
Service-oriented Mathematics
Logic Mathematics
Acoustic waves Engineering & Materials Science

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

Research Output 2013 2019

  • 9 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

Bicycles
System Design
Sharing
Systems analysis
Circuit theory

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

Network protocols
Network components
Formal methods
Circuit theory
Computer simulation

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

1 Citation (Scopus)

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

Circuit theory
Acoustic waves
Logic
Proof System
Modeling
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

Logic programming
Logic Programming
Logic Programs
Query
Logic