Ioana Leustean

Publication Activity (10 Years)

Years Active: 1998-2023
Publications (10 Years): 19

Top Topics

Highest Probability

Operational Semantics

Prime Implicates

Top Venues

Fuzzy Sets Syst.

J. Log. Algebraic Methods Program.

Publications

Adriana Nicolae, Paul Irofti, Ioana Leustean
OpenBSD formal driver verification with SeL4. CoRR (2023)
Adriana Nicolae, Paul Irofti, Ioana Leustean
OpenBSD Formal Driver Verification with SeL4. SecITC (2023)
Ioana Leustean, Bogdan Macovei
DELP: Dynamic Epistemic Logic for Security Protocols. SYNASC (2021)
Ioana Leustean, Natalia Moanga, Traian-Florin Serbanuta
Many-sorted hybrid modal languages. J. Log. Algebraic Methods Program. 120 (2021)
Ioana Leustean, Bogdan Macovei
DELP: Dynamic Epistemic Logic for Security Protocols. CoRR (2021)
Ioana Leustean, Natalia Moanga, Traian-Florin Serbanuta
Many-Sorted Hybrid Modal Languages. CoRR (2020)
Ioana Leustean, Natalia Moanga, Traian-Florin Serbanuta
A Many-sorted Polyadic Modal Logic. Fundam. Informaticae 173 (2-3) (2020)
Serafina Lapenta, Ioana Leustean
On the semisimple tensor product of MV-algebras. Fuzzy Sets Syst. 397 (2020)
Ioana Leustean, Natalia Moanga, Traian-Florin Serbanuta
Operational semantics and program verification using many-sorted hybrid modal logic. CoRR (2019)
Ioana Leustean, Natalia Moanga, Traian-Florin Serbanuta
From Hybrid Modal Logic to Matching Logic and back. FROM (2019)
Ioana Leustean, Natalia Moanga, Traian-Florin Serbanuta
Operational Semantics and Program Verification Using Many-Sorted Hybrid Modal Logic. TABLEAUX (2019)
Antonio Di Nola, Serafina Lapenta, Ioana Leustean
Infinitary logic and basically disconnected compact Hausdorff spaces. J. Log. Comput. 28 (6) (2018)
Antonio Di Nola, Serafina Lapenta, Ioana Leustean
An analysis of the logic of Riesz spaces with strong unit. Ann. Pure Appl. Log. 169 (3) (2018)
Ioana Leustean, Natalia Moanga
A many-sorted polyadic modal logic. CoRR (2018)
Denisa Diaconescu, Ioana Leustean
Towards game semantics for nuanced logics. FUZZ-IEEE (2017)
Serafina Lapenta, Ioana Leustean
Notes on divisible MV-algebras. Soft Comput. 21 (21) (2017)
Serafina Lapenta, Ioana Leustean
Stochastic independence for probability MV-algebras. Fuzzy Sets Syst. 298 (2016)
Denisa Diaconescu, Ioana Leustean
Mutually Exclusive Nuances of Truth in Moisil Logic. Sci. Ann. Comput. Sci. 25 (1) (2015)
Serafina Lapenta, Ioana Leustean
Towards understanding the Pierce-Birkhoff conjecture via MV-algebras. Fuzzy Sets Syst. 276 (2015)
Denisa Diaconescu, Tommaso Flaminio, Ioana Leustean
Lexicographic MV-algebras and lexicographic states. Fuzzy Sets Syst. 244 (2014)
Antonio Di Nola, Ioana Leustean
Łukasiewicz logic and Riesz spaces. Soft Comput. 18 (12) (2014)
Antonio Di Nola, Brunella Gerla, Ioana Leustean
Adding Real Coefficients to Łukasiewicz Logic: An Application to Neural Networks. WILF (2013)
Denisa Diaconescu, Ioana Leustean, Luigia Petre, Kaisa Sere, Gheorghe Stefanescu
Refinement-Preserving Translation from Event-B to Register-Voice Interactive Systems. IFM (2012)
Ioana Leustean
Hahn-Banach theorems for MV-algebras. Soft Comput. 16 (11) (2012)
Ioana Leustean
State-Complete Riesz MV-Algebras and L-Measure Spaces. IPMU (2) (2012)
Ioana Leustean
Metric Completions of MV-algebras with States: An Approach to Stochastic Independence. J. Log. Comput. 21 (3) (2011)
Antonio Di Nola, Ioana Leustean
Riesz MV-algebras and their logic. EUSFLAT Conf. (2011)
Ioana Leustean
The Tensor PMV-algebra of an MV-algebra. ISMVL (2011)
Ioana Leustean
Tensor Products of Probability MV-algebras. J. Multiple Valued Log. Soft Comput. 16 (3-5) (2010)
Ioana Leustean, Vincenzo Marra
Algebra and Probability in Many-Valued Reasoning. Stud Logica 94 (2) (2010)
George Geordesce, Ioana Leustean, Andrei Popescu
Order Convergence and Distance on Lukasiewicz-Moisil Algebras. J. Multiple Valued Log. Soft Comput. 12 (1-2) (2006)
Brunella Gerla, Ioana Leustean
Similarity MV-algebras. Fundam. Informaticae 69 (3) (2006)
Ioana Leustean
a-Convergence and Complete Distributivity in MV-algebras. J. Multiple Valued Log. Soft Comput. 12 (3-4) (2006)
Ioana Leustean
Non-commutative Lukasiewicz propositional logic. Arch. Math. Log. 45 (2) (2006)
Paul Flondor, Ioana Leustean
MV-algebras with operators (the commutative and the non-commutative case). Discret. Math. 274 (1-3) (2004)
Paul Flondor, Ioana Leustean
Tensor products of MV-algebras. Soft Comput. 7 (7) (2003)
Ioana Leustean
Local pseudo MV-algebras. Soft Comput. 5 (5) (2001)
George Georgescu, Ioana Leustean
Towards a probability theory based on Moisil logic. Soft Comput. 4 (1) (2000)
George Georgescu, Ioana Leustean
A Representation Theorem for Monadic Pavelka Algebras. J. Univers. Comput. Sci. 6 (1) (2000)
George Georgescu, Ioana Leustean
Probabilities on Lukasiewicz-Moisil algebras. Int. J. Approx. Reason. 18 (3-4) (1998)