Ionut Tutu

According to our database, Ionut Tutu authored at least 20 papers between 2010 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

SpeX: A Rewriting-Based Formal Specification Environment.

Ionut Tutu

Proceedings of the Recent Trends in Algebraic Development Techniques, 2022

2021

Dynamic Reconfiguration via Typed Modalities.

Ionut Tutu, Claudia Elena Chirita, José Luiz Fiadeiro

Proceedings of the Formal Methods - 24th International Symposium, 2021

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

Horn Clauses in Hybrid-Dynamic First-Order Logic.

Daniel Gâinâ, Ionut Tutu

CoRR, 2019

Birkhoff Completeness for Hybrid-Dynamic First-Order Logic.

Daniel Gâinâ, Ionut Tutu

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2019

Logical Support for Bike-Sharing System Design.

Ionut Tutu, Claudia Elena Chirita, Antónia Lopes, José Luiz Fiadeiro

Proceedings of the From Software Engineering to Formal Methods and Tools, and Back, 2019

2018

Specification and Verification of Invariant Properties of Transition Systems.

Daniel Gâinâ, Ionut Tutu, Adrián Riesco

Proceedings of the 25th Asia-Pacific Software Engineering Conference, 2018

2017

From conventional to institution-independent logic programming.

Ionut Tutu, José Luiz Fiadeiro

J. Log. Comput., 2017

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

Proceedings of the Dynamic Logic. New Trends and Applications, 2017

2015

Institution-independent logic programming.

Ionut Tutu

PhD thesis, 2015

Service-Oriented Logic Programming.

Ionut Tutu, José Luiz Fiadeiro

Log. Methods Comput. Sci., 2015

Revisiting the Institutional Approach to Herbrand's Theorem.

Ionut Tutu, José Luiz Fiadeiro

Proceedings of the 6th Conference on Algebra and Coalgebra in Computer Science, 2015

2014

Parameterisation for abstract structured specifications.

Ionut Tutu

Theor. Comput. Sci., 2014

Foundations for structuring behavioural specifications.

Razvan Diaconescu, Ionut Tutu

J. Log. Algebraic Methods Program., 2014

A Full Operational Semantics for Asynchronous Relational Networks.

Ignacio Vissani, Carlos Gustavo López Pombo, Ionut Tutu, José Luiz Fiadeiro

Proceedings of the Recent Trends in Algebraic Development Techniques, 2014

2013

Comorphisms of structured institutions.

Ionut Tutu

Inf. Process. Lett., 2013

Logical Foundations of Services.

Ionut Tutu

Proceedings of the 2013 Imperial College Computing Student Workshop, 2013

A Logic-Programming Semantics of Services.

Ionut Tutu, José Luiz Fiadeiro

Proceedings of the Algebra and Coalgebra in Computer Science, 2013

2011

On the algebra of structured specifications.

Razvan Diaconescu, Ionut Tutu

Theor. Comput. Sci., 2011

2010

A methodological approach on the architectural development of integrated e-learning systems

Radu Gramatovici, Ionut Tutu

CoRR, 2010