Ioana Leustean
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2011–2021
Best venue rank
National
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | SYNASC | DELP: Dynamic Epistemic Logic for Security Protocols. | Ioana Leustean, Bogdan Macovei |
| 2019 | TABLEAUX | Operational Semantics and Program Verification Using Many-Sorted Hybrid Modal Logic. | Ioana Leustean, Natalia Moanga, Traian-Florin Serbanuta |
| 2012 | IPMU | State-Complete Riesz MV-Algebras and L-Measure Spaces. | Ioana Leustean |
| 2012 | IFM | Refinement-Preserving Translation from Event-B to Register-Voice Interactive Systems. | Denisa Diaconescu, Ioana Leustean, Luigia Petre, Kaisa Sere, Gheorghe Stefanescu |
| 2011 | EUSFLAT | Riesz MV-algebras and their logic. | Antonio Di Nola, Ioana Leustean |