Ionut Tutu

25 papers A* 1B 4C 1Journal 10Unranked 5
YearRankTypeTitle / Venue / Authors
2025 — ed.
Recent Trends in Algebraic Development Techniques - 27th IFIP WG 1.3 International Workshop, WADT 2024, Enschede, The Netherlands, July 8, 2024, Revised Selected Papers
WADT
Ionut Tutu
2024 A* conf
Forcing, Transition Algebras, and Calculi.
ICALP
Hashimoto Go, Daniel Gaina, Ionut Tutu
2024 J jnl
Forcing, Transition Algebras, and Calculi.
CoRR
Hashimoto Go, Daniel Gaina, Ionut Tutu
2022 — conf
SpeX: A Rewriting-Based Formal Specification Environment.
WADT
Ionut Tutu
2021 B conf
Dynamic Reconfiguration via Typed Modalities.
FM
Ionut Tutu, Claudia Elena Chirita, José Luiz Fiadeiro
2019 B conf
Birkhoff Completeness for Hybrid-Dynamic First-Order Logic.
TABLEAUX
Daniel Gâinâ, Ionut Tutu
2019 J jnl
Horn Clauses in Hybrid-Dynamic First-Order Logic.
CoRR
Daniel Gâinâ, Ionut Tutu
2019 — conf
Logical Support for Bike-Sharing System Design.
From Software Engineering to Formal Methods and Tools, and Back
Ionut Tutu, Claudia Elena Chirita, Antónia Lopes, José Luiz Fiadeiro
2019 J jnl
Logics for Actor Networks: A two-stage constrained-hybridisation approach.
J. Log. Algebraic Methods Program.
José Luiz Fiadeiro, Ionut Tutu, Antónia Lopes, Dusko Pavlovic
2019 — ed.
Recent Trends in Algebraic Development Techniques - 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2-5, 2018, Revised Selected Papers
WADT
José Luiz Fiadeiro, Ionut Tutu
2018 C conf
Specification and Verification of Invariant Properties of Transition Systems.
APSEC
Daniel Gâinâ, Ionut Tutu, Adrián Riesco
2017 J jnl
From conventional to institution-independent logic programming.
J. Log. Comput.
Ionut Tutu, José Luiz Fiadeiro
2017 — conf
Logics for Actor Networks: A Case Study in Constrained Hybridization - A Case Study in Constrained Hybridization.
DALI@TABLEAUX
José Luiz Fiadeiro, Ionut Tutu, Antónia Lopes, Dusko Pavlovic
2015 — —
Institution-independent logic programming.
Ionut Tutu
2015 — ed.
Recent Trends in Algebraic Development Techniques - 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers
WADT
Mihai Codescu, Razvan Diaconescu, Ionut Tutu
2015 B conf
Revisiting the Institutional Approach to Herbrand's Theorem.
CALCO
Ionut Tutu, José Luiz Fiadeiro
2015 J jnl
Service-Oriented Logic Programming.
Log. Methods Comput. Sci.
Ionut Tutu, José Luiz Fiadeiro
2014 — conf
A Full Operational Semantics for Asynchronous Relational Networks.
WADT
Ignacio Vissani, Carlos Gustavo López Pombo, Ionut Tutu, José Luiz Fiadeiro
2014 J jnl
Foundations for structuring behavioural specifications.
J. Log. Algebraic Methods Program.
Razvan Diaconescu, Ionut Tutu
2014 J jnl
Parameterisation for abstract structured specifications.
Theor. Comput. Sci.
Ionut Tutu
2013 B conf
A Logic-Programming Semantics of Services.
CALCO
Ionut Tutu, José Luiz Fiadeiro
2013 J jnl
Comorphisms of structured institutions.
Inf. Process. Lett.
Ionut Tutu
2013 — conf
Logical Foundations of Services.
ICCSW
Ionut Tutu
2011 J jnl
On the algebra of structured specifications.
Theor. Comput. Sci.
Razvan Diaconescu, Ionut Tutu
2010 J jnl
A methodological approach on the architectural development of integrated e-learning systems
CoRR
Radu Gramatovici, Ionut Tutu