Ioana Leustean

42 papers B 3C 1Misc 1Journal 30Unranked 7
YearRankTypeTitle / Venue / Authors
2026 C conf
Hybrid Many-Sorted Modal Logic with Nominal Terms.
RAMICS
Ioana Leustean, Bogdan Macovei
2025 — conf
Łukasiewicz Logic with Actions for Neural Networks training.
FROM
Ioana Leustean, Bogdan Macovei
2023 — conf
OpenBSD Formal Driver Verification with SeL4.
SecITC
Adriana Nicolae, Paul Irofti, Ioana Leustean
2023 J jnl
OpenBSD formal driver verification with SeL4.
CoRR
Adriana Nicolae, Paul Irofti, Ioana Leustean
2021 Misc conf
DELP: Dynamic Epistemic Logic for Security Protocols.
SYNASC
Ioana Leustean, Bogdan Macovei
2021 J jnl
DELP: Dynamic Epistemic Logic for Security Protocols.
CoRR
Ioana Leustean, Bogdan Macovei
2021 J jnl
Many-sorted hybrid modal languages.
J. Log. Algebraic Methods Program.
Ioana Leustean, Natalia Moanga, Traian-Florin Serbanuta
2020 J jnl
A Many-sorted Polyadic Modal Logic.
Fundam. Informaticae
Ioana Leustean, Natalia Moanga, Traian-Florin Serbanuta
2020 J jnl
Many-Sorted Hybrid Modal Languages.
CoRR
Ioana Leustean, Natalia Moanga, Traian-Florin Serbanuta
2020 J jnl
On the semisimple tensor product of MV-algebras.
Fuzzy Sets Syst.
Serafina Lapenta, Ioana Leustean
2019 — conf
From Hybrid Modal Logic to Matching Logic and back.
FROM
Ioana Leustean, Natalia Moanga, Traian-Florin Serbanuta
2019 B conf
Operational Semantics and Program Verification Using Many-Sorted Hybrid Modal Logic.
TABLEAUX
Ioana Leustean, Natalia Moanga, Traian-Florin Serbanuta
2019 J jnl
Operational semantics and program verification using many-sorted hybrid modal logic.
CoRR
Ioana Leustean, Natalia Moanga, Traian-Florin Serbanuta
2018 J jnl
A many-sorted polyadic modal logic.
CoRR
Ioana Leustean, Natalia Moanga
2018 J jnl
An analysis of the logic of Riesz spaces with strong unit.
Ann. Pure Appl. Log.
Antonio Di Nola, Serafina Lapenta, Ioana Leustean
2018 J jnl
Infinitary logic and basically disconnected compact Hausdorff spaces.
J. Log. Comput.
Antonio Di Nola, Serafina Lapenta, Ioana Leustean
2017 J jnl
Notes on divisible MV-algebras.
Soft Comput.
Serafina Lapenta, Ioana Leustean
2017 B conf
Towards game semantics for nuanced logics.
FUZZ-IEEE
Denisa Diaconescu, Ioana Leustean
2016 J jnl
Stochastic independence for probability MV-algebras.
Fuzzy Sets Syst.
Serafina Lapenta, Ioana Leustean
2015 J jnl
Mutually Exclusive Nuances of Truth in Moisil Logic.
Sci. Ann. Comput. Sci.
Denisa Diaconescu, Ioana Leustean
2015 J jnl
Towards understanding the Pierce-Birkhoff conjecture via MV-algebras.
Fuzzy Sets Syst.
Serafina Lapenta, Ioana Leustean
2014 J jnl
Lexicographic MV-algebras and lexicographic states.
Fuzzy Sets Syst.
Denisa Diaconescu, Tommaso Flaminio, Ioana Leustean
2014 J jnl
Łukasiewicz logic and Riesz spaces.
Soft Comput.
Antonio Di Nola, Ioana Leustean
2013 — conf
Adding Real Coefficients to Łukasiewicz Logic: An Application to Neural Networks.
WILF
Antonio Di Nola, Brunella Gerla, Ioana Leustean
2012 J jnl
Hahn-Banach theorems for MV-algebras.
Soft Comput.
Ioana Leustean
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
2012 — conf
State-Complete Riesz MV-Algebras and L-Measure Spaces.
IPMU (2)
Ioana Leustean
2011 J jnl
Metric Completions of MV-algebras with States: An Approach to Stochastic Independence.
J. Log. Comput.
Ioana Leustean
2011 — conf
Riesz MV-algebras and their logic.
EUSFLAT Conf.
Antonio Di Nola, Ioana Leustean
2011 — conf
The Tensor PMV-algebra of an MV-algebra.
ISMVL
Ioana Leustean
2010 J jnl
Algebra and Probability in Many-Valued Reasoning.
Stud Logica
Ioana Leustean, Vincenzo Marra
2010 J jnl
Tensor Products of Probability MV-algebras.
J. Multiple Valued Log. Soft Comput.
Ioana Leustean
2006 J jnl
Non-commutative Lukasiewicz propositional logic.
Arch. Math. Log.
Ioana Leustean
2006 J jnl
Order Convergence and Distance on Lukasiewicz-Moisil Algebras.
J. Multiple Valued Log. Soft Comput.
George Geordesce, Ioana Leustean, Andrei Popescu
2006 J jnl
Similarity MV-algebras.
Fundam. Informaticae
Brunella Gerla, Ioana Leustean
2006 J jnl
a-Convergence and Complete Distributivity in MV-algebras.
J. Multiple Valued Log. Soft Comput.
Ioana Leustean
2004 J jnl
MV-algebras with operators (the commutative and the non-commutative case).
Discret. Math.
Paul Flondor, Ioana Leustean
2003 J jnl
Tensor products of MV-algebras.
Soft Comput.
Paul Flondor, Ioana Leustean
2001 J jnl
Local pseudo MV-algebras.
Soft Comput.
Ioana Leustean
2000 J jnl
A Representation Theorem for Monadic Pavelka Algebras.
J. Univers. Comput. Sci.
George Georgescu, Ioana Leustean
2000 J jnl
Towards a probability theory based on Moisil logic.
Soft Comput.
George Georgescu, Ioana Leustean
1998 J jnl
Probabilities on Lukasiewicz-Moisil algebras.
Int. J. Approx. Reason.
George Georgescu, Ioana Leustean