| On the algebra of structured specifications R Diaconescu, I Ţuţu Theoretical Computer Science 412 (28), 3145-3174, 2011 | 31 | 2011 |
| From conventional to institution-independent logic programming I Ţuţu, JL Fiadeiro Journal of Logic and Computation 27 (6), 1679-1716, 2017 | 17 | 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 |
| 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 |
| Parameterisation for abstract structured specifications I Ţuţu Theoretical Computer Science 517, 102-142, 2014 | 7 | 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 | 5 | 2019 |
| 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 | 5 | 2019 |
| 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 |
| Dynamic reconfiguration via typed modalities I Ţuţu, CE Chiriţă, JL Fiadeiro Formal Methods: 24th International Symposium, FM 2021, Virtual Event …, 2021 | 3 | 2021 |
| 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 | 3 | 2019 |
| 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 |
| SpeX: A Rewriting-Based Formal Specification Environment I Ţuţu International Workshop on Algebraic Development Techniques, 163-178, 2022 | | 2022 |
| Horn clauses in hybrid-dynamic first-order logic D Găină, I Ţuţu arXiv preprint arXiv:1905.04146, 2019 | | 2019 |
| A hybrid-logic approach to dynamic networks of interactions I Tutu, JL Fiadeiro Working Formal Methods Symposium 1st International Workshop FROM 2017 …, 2017 | | 2017 |
| Foundations of graph transformation as a logic-programming language I Ţuţu, JL Fiadeiro WADT 2016 Preliminary Proceedings, 2016 | | 2016 |
| Recent Trends in Algebraic Development Techniques: 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers M Codescu, R Diaconescu, I Ţuţu Springer, 2015 | | 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 | | 2015 |
José Luiz FiadeiroProfessor of Computer Science, University of DundeeVerified email at dundee.ac.uk
