| 2025 | FC | Intmax2: A ZK-Rollup with Minimal Onchain Data and Computation Costs Featuring Decentralized Aggregators. | Erik Rybakken, Leona Hioki, Mario Yaksetig, Denisa Diaconescu, Frantisek Silvsi, Julian Sutherland |
| 2016 | AiML | Axiomatizing a Real-Valued Modal Logic. | Denisa Diaconescu, George Metcalfe, Laura Schnriger |
| 2015 | LPAR | Skolemization for Substructural Logics. | Petr Cintula, Denisa Diaconescu, George Metcalfe |
| 2014 | IPMU | Exploring Infinitesimal Events through MV-algebras and non-Archimedean States. | Denisa Diaconescu, Anna Rita Ferraioli, Tommaso Flaminio, Brunella Gerla |
| 2014 | ICTAC | A Logical Descriptor for Regular Languages via Stone Duality. | Stefano Aguzzoli, Denisa Diaconescu, Tommaso Flaminio |
| 2014 | ICTAC | Refinement of Structured Interactive Systems. | Denisa Diaconescu, Luigia Petre, Kaisa Sere, Gheorghe Stefanescu |
| 2012 | IJCCI | Non-commutative Fuzzy Logic psMTL - An Alternative Proof for the Standard Completeness Theorem. | Denisa Diaconescu |
| 2012 | IJCCI | On Standard Completeness for Non-commutative Many-Valued Logics. | Denisa Diaconescu |
| 2012 | IPMU | Non-commutative Product Logic and Probability of Fuzzy Events. | Denisa Diaconescu |
| 2012 | IFM | Refinement-Preserving Translation from Event-B to Register-Voice Interactive Systems. | Denisa Diaconescu, Ioana Leustean, Luigia Petre, Kaisa Sere, Gheorghe Stefanescu |