| On the algebra of structured specifications R Diaconescu, I Ţuţu Theoretical Computer Science 412 (28), 3145-3174, 2011 | 33 | 2011 |
| From conventional to institution-independent logic programming I Ţuţu, JL Fiadeiro Journal of Logic and Computation 27 (6), 1679-1716, 2017 | 18 | 2017 |
| Service-oriented logic programming I Ţuţu, JL Fiadeiro Logical Methods in Computer Science 11 (3), 2015 | 14* | 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 | 12 | 2018 |
| A logic-programming semantics of services I Ţuţu, JL Fiadeiro International Conference on Algebra and Coalgebra in Computer Science, CALCO …, 2013 | 10 | 2013 |
| Parameterisation for abstract structured specifications I Ţuţu Theoretical Computer Science 517, 102-142, 2014 | 8 | 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 |
| Foundations for structuring behavioural specifications R Diaconescu, I Ţuţu Journal of Logical and Algebraic Methods in Programming 83 (3-4), 319-338, 2014 | 7 | 2014 |
| 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 |
| Dynamic reconfiguration via typed modalities I Ţuţu, CE Chiriţă, JL Fiadeiro Formal Methods: 24th International Symposium, FM 2021, Virtual Event …, 2021 | 5 | 2021 |
| Revisiting the institutional approach to Herbrand’s theorem I Ţuţu, JL Fiadeiro LIPIcs-Leibniz International Proceedings in Informatics 35, 2015 | 5* | 2015 |
| Comorphisms of structured institutions I Ţuţu Information Processing Letters 113 (22-24), 894-900, 2013 | 5 | 2013 |
| 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 | 4 | 2019 |
| 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 | 2* | 2017 |
| Bisimulations in an arbitrary stratified institution I Ţuţu Manuscript submitted for publication. URl: http://imar.ro/~itutu/papers/basi.pdf, 2023 | 1* | 2023 |
| Forcing, Transition Algebras, and Calculi H Go, D Găină, I Ţuţu arXiv preprint arXiv:2404.16111, 2024 | | 2024 |
| Forcing, Transition Algebras, and Calculi G Hashimoto, D Găină, I Ţuţu 51st International Colloquium on Automata, Languages, and Programming (ICALP …, 2024 | | 2024 |
| Transporting connectives along parchment addenda I Ţuţu Manuscript submitted for publication. URl: http://imar.ro/~itutu/papers/tcpa.pdf, 2023 | | 2023 |
| SpeX: A Rewriting-Based Formal Specification Environment I Ţuţu International Workshop on Algebraic Development Techniques, 163-178, 2022 | | 2022 |
José Luiz FiadeiroProfessor of Computer Science, University of DundeeVerified email at dundee.ac.uk
