Ionut Tutu

According to our database1, Ionut Tutu authored at least 21 papers between 2010 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Forcing, Transition Algebras, and Calculi.
Proceedings of the 51st International Colloquium on Automata, Languages, and Programming, 2024

2022
SpeX: A Rewriting-Based Formal Specification Environment.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2022

2021
Dynamic Reconfiguration via Typed Modalities.
Proceedings of the Formal Methods - 24th International Symposium, 2021

2019
Logics for Actor Networks: A two-stage constrained-hybridisation approach.
J. Log. Algebraic Methods Program., 2019

Horn Clauses in Hybrid-Dynamic First-Order Logic.
CoRR, 2019

Birkhoff Completeness for Hybrid-Dynamic First-Order Logic.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2019

Logical Support for Bike-Sharing System Design.
Proceedings of the From Software Engineering to Formal Methods and Tools, and Back, 2019

2018
Specification and Verification of Invariant Properties of Transition Systems.
Proceedings of the 25th Asia-Pacific Software Engineering Conference, 2018

2017
From conventional to institution-independent logic programming.
J. Log. Comput., 2017

Logics for Actor Networks: A Case Study in Constrained Hybridization - A Case Study in Constrained Hybridization.
Proceedings of the Dynamic Logic. New Trends and Applications, 2017

2015
Institution-independent logic programming.
PhD thesis, 2015

Service-Oriented Logic Programming.
Log. Methods Comput. Sci., 2015

Revisiting the Institutional Approach to Herbrand's Theorem.
Proceedings of the 6th Conference on Algebra and Coalgebra in Computer Science, 2015

2014
Parameterisation for abstract structured specifications.
Theor. Comput. Sci., 2014

Foundations for structuring behavioural specifications.
J. Log. Algebraic Methods Program., 2014

A Full Operational Semantics for Asynchronous Relational Networks.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2014

2013
Comorphisms of structured institutions.
Inf. Process. Lett., 2013

Logical Foundations of Services.
Proceedings of the 2013 Imperial College Computing Student Workshop, 2013

A Logic-Programming Semantics of Services.
Proceedings of the Algebra and Coalgebra in Computer Science, 2013

2011
On the algebra of structured specifications.
Theor. Comput. Sci., 2011

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


  Loading...