Ionut Tutu
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
2013–2024
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | ICALP | Forcing, Transition Algebras, and Calculi. | Hashimoto Go, Daniel Gaina, Ionut Tutu |
| 2021 | FM | Dynamic Reconfiguration via Typed Modalities. | Ionut Tutu, Claudia Elena Chirita, Jos Luiz Fiadeiro |
| 2019 | TABLEAUX | Birkhoff Completeness for Hybrid-Dynamic First-Order Logic. | Daniel Gin, Ionut Tutu |
| 2018 | APSEC | Specification and Verification of Invariant Properties of Transition Systems. | Daniel Gin, Ionut Tutu, Adrin Riesco |
| 2017 | TABLEAUX | Logics for Actor Networks: A Case Study in Constrained Hybridization - A Case Study in Constrained Hybridization. | Jos Luiz Fiadeiro, Ionut Tutu, Antnia Lopes, Dusko Pavlovic |
| 2015 | CALCO | Revisiting the Institutional Approach to Herbrand's Theorem. | Ionut Tutu, Jos Luiz Fiadeiro |
| 2013 | CALCO | A Logic-Programming Semantics of Services. | Ionut Tutu, Jos Luiz Fiadeiro |