A methodological approach on the architectural development of integrated e-learning systems - Radu Gramatovici; Ionut Tutu (CoRR, 2010)

On the algebra of structured specifications. - Razvan Diaconescu; Ionut Tutu (Theor. Comput. Sci., 2011)

A Logic-Programming Semantics of Services. - Ionut Tutu; José Luiz Fiadeiro (CALCO, 2013)

Logical Foundations of Services. - Ionut Tutu (ICCSW, 2013)

Comorphisms of structured institutions. - Ionut Tutu (Inf. Process. Lett., 2013)

A Full Operational Semantics for Asynchronous Relational Networks. - Ignacio Vissani; Carlos Gustavo López Pombo; Ionut Tutu; José Luiz Fiadeiro (WADT, 2014)

Foundations for structuring behavioural specifications. - Razvan Diaconescu; Ionut Tutu (J. Log. Algebraic Methods Program., 2014)

Parameterisation for abstract structured specifications. - Ionut Tutu (Theor. Comput. Sci., 2014)

Revisiting the Institutional Approach to Herbrand's Theorem. - Ionut Tutu; José Luiz Fiadeiro (CALCO, 2015)

Service-Oriented Logic Programming. - Ionut Tutu; José Luiz Fiadeiro (Log. Methods Comput. Sci., 2015)

Institution-independent logic programming. - Ionut Tutu (2015)

Logics for Actor Networks: A Case Study in Constrained Hybridization - A Case Study in Constrained Hybridization. - José Luiz Fiadeiro; Ionut Tutu; Antónia Lopes; Dusko Pavlovic (DALI@TABLEAUX, 2017)

From conventional to institution-independent logic programming. - Ionut Tutu; José Luiz Fiadeiro (J. Log. Comput., 2017)

Specification and Verification of Invariant Properties of Transition Systems. - Daniel Gâinâ; Ionut Tutu; Adrián Riesco 001 (APSEC, 2018)

Logical Support for Bike-Sharing System Design. - Ionut Tutu; Claudia Elena Chirita; Antónia Lopes; José Luiz Fiadeiro (From Software Engineering to Formal Methods and Tools, and Back, 2019)

Birkhoff Completeness for Hybrid-Dynamic First-Order Logic. - Daniel Gâinâ; Ionut Tutu (TABLEAUX, 2019)

Horn Clauses in Hybrid-Dynamic First-Order Logic. - Daniel Gâinâ; Ionut Tutu (CoRR, 2019)

Logics for Actor Networks: A two-stage constrained-hybridisation approach. - José Luiz Fiadeiro; Ionut Tutu; Antónia Lopes; Dusko Pavlovic (J. Log. Algebraic Methods Program., 2019)

Dynamic Reconfiguration via Typed Modalities. - Ionut Tutu; Claudia Elena Chirita; José Luiz Fiadeiro (FM, 2021)

SpeX: A Rewriting-Based Formal Specification Environment. - Ionut Tutu (WADT, 2022)

Forcing, Transition Algebras, and Calculi. - Hashimoto Go; Daniel Gaina; Ionut Tutu (ICALP, 2024)