Denisa Diaconescu

Publication Activity (10 Years)

Years Active: 2007-2023
Publications (10 Years): 12

Top Topics

Inference Rules

State Transition

Top Venues

Fundam. Informaticae

Publications

Dafina Trufas, Ioan Teodorescu, Denisa Diaconescu, Traian Serbanuta, Vlad Zamfir
Asynchronous Muddy Children Puzzle (work in progress). FROM (2023)
Vlad Zamfir, Mihai Calancea, Denisa Diaconescu, Brandon M. Moore, Karl Palmskog, Traian-Florin Serbanuta, Michael Stay
VLSM: Validating Labelled State Transition and Message Production Systems. CoRR (2022)
Denisa Diaconescu
Modal Equivalence and Bisimilarity in Many-valued Modal Logics with Many-valued Accessibility Relations. Fundam. Informaticae 173 (2-3) (2020)
Elaine Li, Traian Serbanuta, Denisa Diaconescu, Vlad Zamfir, Grigore Rosu
Formalizing Correct-by-Construction Casper in Coq. IEEE ICBC (2020)
Petr Cintula, Denisa Diaconescu, George Metcalfe
Skolemization and Herbrand theorems for lattice-valued logics. Theor. Comput. Sci. 768 (2019)
Petr Cintula, Denisa Diaconescu
Omitting Types Theorem for Fuzzy Logics. IEEE Trans. Fuzzy Syst. 27 (2) (2019)
Denisa Diaconescu, George Metcalfe, Laura Schnüriger
A Real-Valued Modal Logic. Log. Methods Comput. Sci. 14 (1) (2018)
Denisa Diaconescu, Ioana Leustean
Towards game semantics for nuanced logics. FUZZ-IEEE (2017)
Denisa Diaconescu, George Metcalfe, Laura Schnüriger
A Real-Valued Modal Logic. CoRR (2017)
Denisa Diaconescu, George Metcalfe, Laura Schnüriger
Axiomatizing a Real-Valued Modal Logic. Advances in Modal Logic (2016)
Petr Cintula, Denisa Diaconescu, George Metcalfe
Skolemization for Substructural Logics. LPAR (2015)
Denisa Diaconescu, Ioana Leustean
Mutually Exclusive Nuances of Truth in Moisil Logic. Sci. Ann. Comput. Sci. 25 (1) (2015)
Denisa Diaconescu, Tommaso Flaminio, Ioana Leustean
Lexicographic MV-algebras and lexicographic states. Fuzzy Sets Syst. 244 (2014)
Denisa Diaconescu, Anna Rita Ferraioli, Tommaso Flaminio, Brunella Gerla
Exploring Infinitesimal Events through MV-algebras and non-Archimedean States. IPMU (2) (2014)
Denisa Diaconescu, Luigia Petre, Kaisa Sere, Gheorghe Stefanescu
Refinement of Structured Interactive Systems. ICTAC (2014)
Stefano Aguzzoli, Denisa Diaconescu, Tommaso Flaminio
A Logical Descriptor for Regular Languages via Stone Duality. ICTAC (2014)
Denisa Diaconescu
Non-commutative Fuzzy Logic psMTL - An Alternative Proof for the Standard Completeness Theorem. IJCCI (2012)
Denisa Diaconescu, Ioana Leustean, Luigia Petre, Kaisa Sere, Gheorghe Stefanescu
Refinement-Preserving Translation from Event-B to Register-Voice Interactive Systems. IFM (2012)
Denisa Diaconescu
Non-commutative Product Logic and Probability of Fuzzy Events. IPMU (2) (2012)
Denisa Diaconescu
On Standard Completeness for Non-commutative Many-Valued Logics. IJCCI (Selected Papers) (2012)
Denisa Diaconescu, George Georgescu
Forcing operators on MTL-algebras. Math. Log. Q. 57 (1) (2011)
Denisa Diaconescu
Kripke-Style Semantics for Non-Commutative Monoidal t-Norm Logic. J. Multiple Valued Log. Soft Comput. 16 (3-5) (2010)
Denisa Diaconescu, George Georgescu
On the Forcing Semantics for Monoidal t-norm Based Logic. J. Univers. Comput. Sci. 13 (11) (2007)
Denisa Diaconescu, George Georgescu
Tense Operators on MV-Algebras and Lukasiewicz-Moisil Algebras. Fundam. Informaticae 81 (4) (2007)