Follow
Ionuț Țuțu
Title
Cited by
Cited by
Year
On the algebra of structured specifications
R Diaconescu, I Ţuţu
Theoretical Computer Science 412 (28), 3145-3174, 2011
332011
From conventional to institution-independent logic programming
I Ţuţu, JL Fiadeiro
Journal of Logic and Computation 27 (6), 1679-1716, 2017
182017
Service-oriented logic programming
I Ţuţu, JL Fiadeiro
Logical Methods in Computer Science 11 (3), 2015
15*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
102018
A logic-programming semantics of services
I Ţuţu, JL Fiadeiro
International Conference on Algebra and Coalgebra in Computer Science, CALCO …, 2013
102013
Parameterisation for abstract structured specifications
I Ţuţu
Theoretical Computer Science 517, 102-142, 2014
82014
Foundations for structuring behavioural specifications
R Diaconescu, I Ţuţu
Journal of Logical and Algebraic Methods in Programming 83 (3-4), 319-338, 2014
72014
Dynamic reconfiguration via typed modalities
I Ţuţu, CE Chiriţă, JL Fiadeiro
Formal Methods: 24th International Symposium, FM 2021, Virtual Event …, 2021
52021
Birkhoff completeness for hybrid-dynamic first-order logic
D Găină, I Ţuţu
International Conference on Automated Reasoning with Analytic Tableaux and …, 2019
52019
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
52019
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
52013
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
42019
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
Bisimulations in an arbitrary stratified institution
I Ţuţu
Manuscript submitted for publication. URl: http://imar.ro/~itutu/papers/basi.pdf, 2023
1*2023
Transporting connectives along parchment addenda
I Ţuţu
Manuscript submitted for publication. URl: http://imar.ro/~itutu/papers/tcpa.pdf, 2023
2023
SpeX: A Rewriting-Based Formal Specification Environment
I Ţuţu
International Workshop on Algebraic Development Techniques, 163-178, 2022
2022
COMP Language Definition: Syntax, Semantics, and Methodologies
R Diaconescu, I Țuțu
2022
Horn clauses in hybrid-dynamic first-order logic
D Găină, I Ţuţu
arXiv preprint arXiv:1905.04146, 2019
2019
Recent Trends in Algebraic Development Techniques: 24th IFIP WG 1.3 International Workshop, WADT 2018, Egham, UK, July 2–5, 2018, Revised Selected Papers
JL Fiadeiro, I Ţuţu
Springer, 2019
2019
The system can't perform the operation now. Try again later.
Articles 1–20