| Tense operators on MV-algebras and Łukasiewicz-Moisil algebras D Diaconescu, G Georgescu Fundamenta Informaticae 81 (4), 379-408, 2007 | 96 | 2007 |
| A real-valued modal logic D Diaconescu, G Metcalfe, L Schnüriger Logical Methods in Computer Science 14, 2018 | 25 | 2018 |
| On the Forcing Semantics for Monoidal t-norm Based Logic D Diaconescu, G Georgescu Journal of Universal Computer Science 13 (11), 1550-1572, 2007 | 20 | 2007 |
| Modal equivalence and bisimilarity in many-valued modal logics with many-valued accessibility relations D Diaconescu Fundamenta Informaticae 173 (2-3), 177-189, 2020 | 15 | 2020 |
| Lexicographic MV-algebras and lexicographic states D Diaconescu, T Flaminio, I Leuştean Fuzzy Sets and Systems 244, 63-85, 2014 | 14 | 2014 |
| Formalizing correct-by-construction casper in coq E Li, T Serbănută, D Diaconescu, V Zamfir, G Rosu 2020 IEEE International Conference on Blockchain and Cryptocurrency (ICBC), 1-3, 2020 | 13 | 2020 |
| Kripke-style semantics for non-commutative monoidal t-norm logic D Diaconescu Journal of Multiple-Valued Logic and Soft Computing 16 (3-5), 247-263, 2010 | 12 | 2010 |
| Omitting types theorem for fuzzy logics P Cintula, D Diaconescu IEEE Transactions on Fuzzy Systems 27 (2), 273-277, 2018 | 10 | 2018 |
| The Riesz hull of a semisimple MV-algebra D Diaconescu, I Leustean arXiv preprint arXiv:1410.8438, 2014 | 8 | 2014 |
| Skolemization for substructural logics P Cintula, D Diaconescu, G Metcalfe Logic for Programming, Artificial Intelligence, and Reasoning, 1-15, 2015 | 7 | 2015 |
| Refinement of structured interactive systems D Diaconescu, L Petre, K Sere, G Stefanescu International Colloquium on Theoretical Aspects of Computing, 133-150, 2014 | 7 | 2014 |
| Skolemization and Herbrand theorems for lattice-valued logics P Cintula, D Diaconescu, G Metcalfe Theoretical Computer Science 768, 54-75, 2019 | 6 | 2019 |
| Refinement-Preserving Translation from Event-B to Register-Voice Interactive Systems D Diaconescu, I Leustean, L Petre, K Sere, G Stefanescu Integrated Formal Methods, 221-236, 2012 | 6 | 2012 |
| Intmax2: A ZK-rollup with Minimal Onchain Data and Computation Costs Featuring Decentralized Aggregators E Rybakken, L Hioki, M Yaksetig, D Diaconescu, F Silváši, J Sutherland International Conference on Financial Cryptography and Data Security, 162-195, 2025 | 5 | 2025 |
| Mutually exclusive nuances of truth in Moisil logic D Diaconescu, I Leustean arXiv preprint arXiv:1412.3008, 2014 | 4 | 2014 |
| Forcing operators on MTL‐algebras D Diaconescu, G Georgescu Mathematical Logic Quarterly 57 (1), 47-64, 2011 | 4 | 2011 |
| A Logical Descriptor for Regular Languages via Stone Duality S Aguzzoli, D Diaconescu, T Flaminio International Colloquium on Theoretical Aspects of Computing, 25-42, 2014 | 2 | 2014 |
| Exploring infinitesimal events through MV-algebras and non-Archimedean states D Diaconescu, AR Ferraioli, T Flaminio, B Gerla International Conference on Information Processing and Management of …, 2014 | 2 | 2014 |
| Completeness of Paramodulation without lifting lemma VE Cazanescu, D Diaconescu SCIENCE AND TECHNOLOGY 12 (1), 25-34, 2009 | 2 | 2009 |
| VLSM: Validating Labelled State Transition and Message Production Systems. V Zamfir, M Calancea, D Diaconescu, BM Moore, K Palmskog, ... CoRR, abs/2202.12662, 2022 | 1 | 2022 |
George MetcalfeProfessor of Mathematics, University of BernVerified email at unibe.ch
