Ionuț Țuțu
TitleCited byYear
On the algebra of structured specifications
R Diaconescu, I Ţuţu
Theoretical Computer Science 412 (28), 3145-3174, 2011
222011
Service-oriented logic programming
I Ţuţu, JL Fiadeiro
Logical Methods in Computer Science 11 (3), 2015
13*2015
From conventional to institution-independent logic programming
I Ţuţu, JL Fiadeiro
Journal of Logic and Computation 27 (6), 1679-1716, 2015
112015
A logic-programming semantics of services
I Ţuţu, JL Fiadeiro
International Conference on Algebra and Coalgebra in Computer Science, CALCO …, 2013
92013
Parameterisation for abstract structured specifications
I Ţuţu
Theoretical Computer Science 517, 102-142, 2014
72014
Foundations for structuring behavioural specifications
R Diaconescu, I Ţuţu
Journal of Logical and Algebraic Methods in Programming 83 (3-4), 319-338, 2014
62014
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
42013
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
32017
Birkhoff completeness for hybrid-dynamic first-order logic
D Găină, I Ţuţu
International Conference on Automated Reasoning with Analytic Tableaux and …, 2019
12019
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
12019
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
12019
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
12018
Horn clauses in hybrid-dynamic first-order logic
D Găină, I Ţuţu
arXiv preprint arXiv:1905.04146, 2019
2019
Foundations of graph transformation as a logic-programming language
I Ţuţu, JL Fiadeiro
WADT 2016 Preliminary Proceedings, 2016
2016
Recent Trends in Algebraic Development Techniques: 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers
M Codescu, R Diaconescu, I Ţuţu
Springer, 2015
2015
A full operational semantics for asynchronous relational networks
I Vissani, CGL Pombo, I Ţuţu, JL Fiadeiro
International Workshop on Algebraic Development Techniques, WADT 2015, 131-150, 2015
2015
Institution-Independent Logic Programming
I Ţuţu
Royal Holloway University of London, 2015
2015
Solving queries over modular logic programs
I Ţuţu, JL Fiadeiro
WADT 2015 Preliminary Proceedings, 63, 2014
2014
Logical foundations of services
I Ţuţu
OASIcs-OpenAccess Series in Informatics 35, 2013
2013
The system can't perform the operation now. Try again later.
Articles 1–20