Denisa Diaconescu

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