Probabilities on Lukasiewicz-Moisil algebras. - George Georgescu; Ioana Leustean (Int. J. Approx. Reason., 1998)

A Representation Theorem for Monadic Pavelka Algebras. - George Georgescu; Ioana Leustean (J. Univers. Comput. Sci., 2000)

Towards a probability theory based on Moisil logic. - George Georgescu; Ioana Leustean (Soft Comput., 2000)

Local pseudo MV-algebras. - Ioana Leustean (Soft Comput., 2001)

Tensor products of MV-algebras. - Paul Flondor; Ioana Leustean (Soft Comput., 2003)

MV-algebras with operators (the commutative and the non-commutative case). - Paul Flondor; Ioana Leustean (Discret. Math., 2004)

Non-commutative Lukasiewicz propositional logic. - Ioana Leustean (Arch. Math. Log., 2006)

Similarity MV-algebras. - Brunella Gerla; Ioana Leustean (Fundam. Informaticae, 2006)

Order Convergence and Distance on Lukasiewicz-Moisil Algebras. - George Geordesce; Ioana Leustean; Andrei Popescu 001 (J. Multiple Valued Log. Soft Comput., 2006)

a-Convergence and Complete Distributivity in MV-algebras. - Ioana Leustean (J. Multiple Valued Log. Soft Comput., 2006)

Tensor Products of Probability MV-algebras. - Ioana Leustean (J. Multiple Valued Log. Soft Comput., 2010)

Algebra and Probability in Many-Valued Reasoning. - Ioana Leustean; Vincenzo Marra (Stud Logica, 2010)

Riesz MV-algebras and their logic. - Antonio Di Nola; Ioana Leustean (EUSFLAT Conf., 2011)

The Tensor PMV-algebra of an MV-algebra. - Ioana Leustean (ISMVL, 2011)

Metric Completions of MV-algebras with States: An Approach to Stochastic Independence. - Ioana Leustean (J. Log. Comput., 2011)

Refinement-Preserving Translation from Event-B to Register-Voice Interactive Systems. - Denisa Diaconescu; Ioana Leustean; Luigia Petre; Kaisa Sere; Gheorghe Stefanescu (IFM, 2012)

State-Complete Riesz MV-Algebras and L-Measure Spaces. - Ioana Leustean (IPMU (2), 2012)

Hahn-Banach theorems for MV-algebras. - Ioana Leustean (Soft Comput., 2012)

Adding Real Coefficients to Łukasiewicz Logic: An Application to Neural Networks. - Antonio Di Nola; Brunella Gerla; Ioana Leustean (WILF, 2013)

Lexicographic MV-algebras and lexicographic states. - Denisa Diaconescu; Tommaso Flaminio; Ioana Leustean (Fuzzy Sets Syst., 2014)

Łukasiewicz logic and Riesz spaces. - Antonio Di Nola; Ioana Leustean (Soft Comput., 2014)

Mutually Exclusive Nuances of Truth in Moisil Logic. - Denisa Diaconescu; Ioana Leustean (Sci. Ann. Comput. Sci., 2015)

Towards understanding the Pierce-Birkhoff conjecture via MV-algebras. - Serafina Lapenta; Ioana Leustean (Fuzzy Sets Syst., 2015)

Stochastic independence for probability MV-algebras. - Serafina Lapenta; Ioana Leustean (Fuzzy Sets Syst., 2016)

Towards game semantics for nuanced logics. - Denisa Diaconescu; Ioana Leustean (FUZZ-IEEE, 2017)

Notes on divisible MV-algebras. - Serafina Lapenta; Ioana Leustean (Soft Comput., 2017)

An analysis of the logic of Riesz spaces with strong unit. - Antonio Di Nola; Serafina Lapenta; Ioana Leustean (Ann. Pure Appl. Log., 2018)

A many-sorted polyadic modal logic. - Ioana Leustean; Natalia Moanga (CoRR, 2018)

Infinitary logic and basically disconnected compact Hausdorff spaces. - Antonio Di Nola; Serafina Lapenta; Ioana Leustean (J. Log. Comput., 2018)

Operational Semantics and Program Verification Using Many-Sorted Hybrid Modal Logic. - Ioana Leustean; Natalia Moanga; Traian-Florin Serbanuta (TABLEAUX, 2019)

From Hybrid Modal Logic to Matching Logic and back. - Ioana Leustean; Natalia Moanga; Traian-Florin Serbanuta (FROM, 2019)

On the semisimple tensor product of MV-algebras. - Serafina Lapenta; Ioana Leustean (Fuzzy Sets Syst., 2020)

A Many-sorted Polyadic Modal Logic. - Ioana Leustean; Natalia Moanga; Traian-Florin Serbanuta (Fundam. Informaticae, 2020)

DELP: Dynamic Epistemic Logic for Security Protocols. - Ioana Leustean; Bogdan Macovei (SYNASC, 2021)

Many-sorted hybrid modal languages. - Ioana Leustean; Natalia Moanga; Traian-Florin Serbanuta (J. Log. Algebraic Methods Program., 2021)

OpenBSD Formal Driver Verification with SeL4. - Adriana Nicolae; Paul Irofti; Ioana Leustean (SecITC, 2023)