Ionuţ Ţuţu

Available identifiers

zbMath Open tutu.ionutMaRDI QIDQ387995

List of research outcomes

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
https://portal.mardi4nfdi.de/entity/Q5067958	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	2019-06-20	Paper
Logics for actor networks: a case study in constrained hybridization	2018-04-12	Paper
https://portal.mardi4nfdi.de/entity/Q3133180	2018-02-13	Paper
Revisiting the Institutional Approach to Herbrand’s Theorem	2017-07-11	Paper
A Full Operational Semantics for Asynchronous Relational Networks	2016-02-25	Paper
Service-Oriented Logic Programming	2015-08-25	Paper
Foundations for structuring behavioural specifications	2014-09-08	Paper
Comorphisms of structured institutions	2014-04-14	Paper
Logical Foundations of Services.	2014-02-26	Paper
Parameterisation for abstract structured specifications	2013-12-18	Paper
A Logic-Programming Semantics of Services	2013-09-13	Paper
On the algebra of structured specifications	2011-07-07	Paper

Research outcomes over time

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