Ionuţ Ţuţu

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
SpeX: a rewriting-based formal specification environment	2024-06-26	Paper
Dynamic Reconfiguration via Typed Modalities	2023-04-21	Paper
scientific article; zbMATH DE number 7503147 (Why is no real title available?)	2022-04-04	Paper
Birkhoff completeness for hybrid-dynamic first-order logic	2020-05-14	Paper
Logics for actor networks: a two-stage constrained-hybridisation approach Journal of Logical and Algebraic Methods in Programming	2019-06-20	Paper
Logics for actor networks: a case study in constrained hybridization	2018-04-12	Paper
From conventional to institution-independent logic programming	2018-02-13	Paper
Revisiting the Institutional Approach to Herbrand’s Theorem	2017-07-11	Paper
A full operational semantics for asynchronous relational networks Recent Trends in Algebraic Development Techniques	2016-02-25	Paper
Service-oriented logic programming Logical Methods in Computer Science	2015-08-25	Paper
Foundations for structuring behavioural specifications Journal of Logical and Algebraic Methods in Programming	2014-09-08	Paper
Comorphisms of structured institutions Information Processing Letters	2014-04-14	Paper
Logical foundations of services	2014-02-26	Paper
Parameterisation for abstract structured specifications Theoretical Computer Science	2013-12-18	Paper
A Logic-Programming Semantics of Services Algebra and Coalgebra in Computer Science	2013-09-13	Paper
On the algebra of structured specifications Theoretical Computer Science	2011-07-07	Paper

Research outcomes over time

This page was built for person: Ionuţ Ţuţu