Denisa Diaconescu

According to our database, Denisa Diaconescu authored at least 23 papers between 2007 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Asynchronous Muddy Children Puzzle (work in progress).

Dafina Trufas, Ioan Teodorescu, Denisa Diaconescu, Traian Serbanuta, Vlad Zamfir

Proceedings of the Proceedings 7th Symposium on Working Formal Methods, 2023

2022

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

2020

Modal Equivalence and Bisimilarity in Many-valued Modal Logics with Many-valued Accessibility Relations.

Denisa Diaconescu

Fundam. Informaticae, 2020

Formalizing Correct-by-Construction Casper in Coq.

Elaine Li, Traian Serbanuta, Denisa Diaconescu, Vlad Zamfir, Grigore Rosu

Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2020

2019

Omitting Types Theorem for Fuzzy Logics.

Petr Cintula, Denisa Diaconescu

IEEE Trans. Fuzzy Syst., 2019

Skolemization and Herbrand theorems for lattice-valued logics.

Petr Cintula, Denisa Diaconescu, George Metcalfe

Theor. Comput. Sci., 2019

2018

A Real-Valued Modal Logic.

Denisa Diaconescu, George Metcalfe, Laura Schnüriger

Log. Methods Comput. Sci., 2018

2017

Towards game semantics for nuanced logics.

Denisa Diaconescu, Ioana Leustean

Proceedings of the 2017 IEEE International Conference on Fuzzy Systems, 2017

2016

Axiomatizing a Real-Valued Modal Logic.

Denisa Diaconescu, George Metcalfe, Laura Schnüriger

Proceedings of the Advances in Modal Logic 11, 2016

2015

Mutually Exclusive Nuances of Truth in Moisil Logic.

Denisa Diaconescu, Ioana Leustean

Sci. Ann. Comput. Sci., 2015

Skolemization for Substructural Logics.

Petr Cintula, Denisa Diaconescu, George Metcalfe

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2015

2014

Lexicographic MV-algebras and lexicographic states.

Denisa Diaconescu, Tommaso Flaminio, Ioana Leustean

Fuzzy Sets Syst., 2014

Exploring Infinitesimal Events through MV-algebras and non-Archimedean States.

Denisa Diaconescu, Anna Rita Ferraioli, Tommaso Flaminio, Brunella Gerla

Proceedings of the Information Processing and Management of Uncertainty in Knowledge-Based Systems, 2014

Refinement of Structured Interactive Systems.

Denisa Diaconescu, Luigia Petre, Kaisa Sere, Gheorghe Stefanescu

Proceedings of the Theoretical Aspects of Computing - ICTAC 2014, 2014

A Logical Descriptor for Regular Languages via Stone Duality.

Stefano Aguzzoli, Denisa Diaconescu, Tommaso Flaminio

Proceedings of the Theoretical Aspects of Computing - ICTAC 2014, 2014

2012

Non-commutative Product Logic and Probability of Fuzzy Events.

Denisa Diaconescu

Proceedings of the Advances on Computational Intelligence, 2012

On Standard Completeness for Non-commutative Many-Valued Logics.

Denisa Diaconescu

Proceedings of the Computational Intelligence - International Joint Conference, 2012

Non-commutative Fuzzy Logic psMTL - An Alternative Proof for the Standard Completeness Theorem.

Denisa Diaconescu

Proceedings of the IJCCI 2012 - Proceedings of the 4th International Joint Conference on Computational Intelligence, Barcelona, Spain, 5, 2012

Refinement-Preserving Translation from Event-B to Register-Voice Interactive Systems.

Denisa Diaconescu, Ioana Leustean, Luigia Petre, Kaisa Sere, Gheorghe Stefanescu

Proceedings of the Integrated Formal Methods - 9th International Conference, 2012

2011

Forcing operators on MTL-algebras.

Denisa Diaconescu, George Georgescu

Math. Log. Q., 2011

2010

Kripke-Style Semantics for Non-Commutative Monoidal t-Norm Logic.

Denisa Diaconescu

J. Multiple Valued Log. Soft Comput., 2010

2007

On the Forcing Semantics for Monoidal t-norm Based Logic.

Denisa Diaconescu, George Georgescu

J. Univers. Comput. Sci., 2007

Tense Operators on MV-Algebras and Lukasiewicz-Moisil Algebras.

Denisa Diaconescu, George Georgescu

Fundam. Informaticae, 2007