Tense Operators on MV-Algebras and Lukasiewicz-Moisil Algebras. - Denisa Diaconescu; George Georgescu (Fundam. Informaticae, 2007)

On the Forcing Semantics for Monoidal t-norm Based Logic. - Denisa Diaconescu; George Georgescu (J. Univers. Comput. Sci., 2007)

Kripke-Style Semantics for Non-Commutative Monoidal t-Norm Logic. - Denisa Diaconescu (J. Multiple Valued Log. Soft Comput., 2010)

Forcing operators on MTL-algebras. - Denisa Diaconescu; George Georgescu (Math. Log. Q., 2011)

Refinement-Preserving Translation from Event-B to Register-Voice Interactive Systems. - Denisa Diaconescu; Ioana Leustean; Luigia Petre; Kaisa Sere; Gheorghe Stefanescu (IFM, 2012)

Non-commutative Fuzzy Logic psMTL - An Alternative Proof for the Standard Completeness Theorem. - Denisa Diaconescu (IJCCI, 2012)

On Standard Completeness for Non-commutative Many-Valued Logics. - Denisa Diaconescu (IJCCI (Selected Papers), 2012)

Non-commutative Product Logic and Probability of Fuzzy Events. - Denisa Diaconescu (IPMU (2), 2012)

A Logical Descriptor for Regular Languages via Stone Duality. - Stefano Aguzzoli; Denisa Diaconescu; Tommaso Flaminio (ICTAC, 2014)

Refinement of Structured Interactive Systems. - Denisa Diaconescu; Luigia Petre; Kaisa Sere; Gheorghe Stefanescu (ICTAC, 2014)

Exploring Infinitesimal Events through MV-algebras and non-Archimedean States. - Denisa Diaconescu; Anna Rita Ferraioli; Tommaso Flaminio; Brunella Gerla (IPMU (2), 2014)

Lexicographic MV-algebras and lexicographic states. - Denisa Diaconescu; Tommaso Flaminio; Ioana Leustean (Fuzzy Sets Syst., 2014)

Skolemization for Substructural Logics. - Petr Cintula; Denisa Diaconescu; George Metcalfe (LPAR, 2015)

Mutually Exclusive Nuances of Truth in Moisil Logic. - Denisa Diaconescu; Ioana Leustean (Sci. Ann. Comput. Sci., 2015)

Axiomatizing a Real-Valued Modal Logic. - Denisa Diaconescu; George Metcalfe; Laura Schnüriger (Advances in Modal Logic, 2016)

Towards game semantics for nuanced logics. - Denisa Diaconescu; Ioana Leustean (FUZZ-IEEE, 2017)

A Real-Valued Modal Logic. - Denisa Diaconescu; George Metcalfe; Laura Schnüriger (Log. Methods Comput. Sci., 2018)

Skolemization and Herbrand theorems for lattice-valued logics. - Petr Cintula; Denisa Diaconescu; George Metcalfe (Theor. Comput. Sci., 2019)

Omitting Types Theorem for Fuzzy Logics. - Petr Cintula; Denisa Diaconescu (IEEE Trans. Fuzzy Syst., 2019)

Formalizing Correct-by-Construction Casper in Coq. - Elaine Li; Traian Serbanuta; Denisa Diaconescu; Vlad Zamfir; Grigore Rosu (IEEE ICBC, 2020)

Modal Equivalence and Bisimilarity in Many-valued Modal Logics with Many-valued Accessibility Relations. - Denisa Diaconescu (Fundam. Informaticae, 2020)

VLSM: Validating Labelled State Transition and Message Production Systems. - Vlad Zamfir; Mihai Calancea; Denisa Diaconescu; Brandon M. Moore; Karl Palmskog; Traian-Florin Serbanuta; Michael Stay (CoRR, 2022)

Asynchronous Muddy Children Puzzle (work in progress). - Dafina Trufas; Ioan Teodorescu; Denisa Diaconescu; Traian Serbanuta; Vlad Zamfir (FROM, 2023)