| On the algebra of structured specifications R Diaconescu, I Ţuţu Theoretical Computer Science 412 (28), 3145-3174, 2011 | 35 | 2011 |
| From conventional to institution-independent logic programming I Ţuţu, JL Fiadeiro Journal of Logic and Computation 27 (6), 1679-1716, 2017 | 19 | 2017 |
| Service-oriented logic programming I Ţuţu, JL Fiadeiro Logical Methods in Computer Science 11 (3), 2015 | 15* | 2015 |
| Specification and verification of invariant properties of transition systems D Găină, I Ţuţu, A Riesco 25th Asia-Pacific Software Engineering Conference, APSEC 2018, 2018 | 13 | 2018 |
| A logic-programming semantics of services I Ţuţu, JL Fiadeiro International Conference on Algebra and Coalgebra in Computer Science, CALCO …, 2013 | 11 | 2013 |
| Parameterisation for abstract structured specifications I Ţuţu Theoretical Computer Science 517, 102-142, 2014 | 10 | 2014 |
| Foundations for structuring behavioural specifications R Diaconescu, I Ţuţu Journal of Logical and Algebraic Methods in Programming 83 (3-4), 319-338, 2014 | 9 | 2014 |
| Birkhoff completeness for hybrid-dynamic first-order logic D Găină, I Ţuţu International Conference on Automated Reasoning with Analytic Tableaux and …, 2019 | 7 | 2019 |
| Logics for actor networks: A two-stage constrained-hybridisation approach JL Fiadeiro, I Ţuţu, A Lopes, D Pavlovic Journal of Logical and Algebraic Methods in Programming, 2019 | 7 | 2019 |
| Dynamic reconfiguration via typed modalities I Ţuţu, CE Chiriţă, JL Fiadeiro International Symposium on Formal Methods, 599-615, 2021 | 6 | 2021 |
| Logical support for bike-sharing system design I Ţuţu, CE Chiriţă, A Lopes, JL Fiadeiro From Software Engineering to Formal Methods and Tools, and Back 11865, 152-171, 2019 | 6 | 2019 |
| Comorphisms of structured institutions I Ţuţu Information Processing Letters 113 (22-24), 894-900, 2013 | 6 | 2013 |
| Revisiting the institutional approach to Herbrand’s theorem I Ţuţu, JL Fiadeiro LIPIcs-Leibniz International Proceedings in Informatics 35, 2015 | 5* | 2015 |
| A full operational semantics for asynchronous relational networks I Vissani, CGL Pombo, I Ţuţu, JL Fiadeiro International Workshop on Algebraic Development Techniques, WADT 2015, 131-150, 2015 | 4 | 2015 |
| Logics for actor networks: A case study in constrained hybridization J Fiadeiro, I Ţuţu, A Lopes, D Pavlovic International Workshop on Dynamic Logic, 98-114, 2017 | 3 | 2017 |
| SpeX: A Rewriting-Based Formal Specification Environment I Ţuţu International Workshop on Algebraic Development Techniques, 163-178, 2022 | 2 | 2022 |
| Forcing, Transition Algebras, and Calculi G Hashimoto, D Găină, I Ţuţu 51st International Colloquium on Automata, Languages, and Programming (ICALP …, 2024 | 1 | 2024 |
| Bisimulations in an arbitrary stratified institution I Ţuţu Manuscript submitted for publication. URl: http://imar.ro/~itutu/papers/basi.pdf, 2023 | 1* | 2023 |
| Institution-Independent Logic Programming I Ţuţu Royal Holloway University of London, 2015 | 1 | 2015 |
| Recent Trends in Algebraic Development Techniques: 27th IFIP WG 1.3 International Workshop, WADT 2024, Enschede, The Netherlands, July 8, 2024, Revised Selected Papers I Țuțu Springer Nature, 2025 | | 2025 |
José Luiz FiadeiroDurham Johnston Comprehensive SchoolVerified email at durhamjohnston.org.uk
