Ioana Leustean

According to our database, Ioana Leustean authored at least 36 papers between 1998 and 2023.

Collaborative distances:

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

2023

OpenBSD Formal Driver Verification with SeL4.

Adriana Nicolae, Paul Irofti, Ioana Leustean

Proceedings of the Innovative Security Solutions for Information Technology and Communications, 2023

2021

Many-sorted hybrid modal languages.

Ioana Leustean, Natalia Moanga, Traian-Florin Serbanuta

J. Log. Algebraic Methods Program., 2021

DELP: Dynamic Epistemic Logic for Security Protocols.

Ioana Leustean, Bogdan Macovei

Proceedings of the 23rd International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2021

2020

A Many-sorted Polyadic Modal Logic.

Ioana Leustean, Natalia Moanga, Traian-Florin Serbanuta

Fundam. Informaticae, 2020

On the semisimple tensor product of MV-algebras.

Serafina Lapenta, Ioana Leustean

Fuzzy Sets Syst., 2020

2019

From Hybrid Modal Logic to Matching Logic and back.

Ioana Leustean, Natalia Moanga, Traian-Florin Serbanuta

Proceedings of the Proceedings Third Symposium on Working Formal Methods, 2019

Operational Semantics and Program Verification Using Many-Sorted Hybrid Modal Logic.

Ioana Leustean, Natalia Moanga, Traian-Florin Serbanuta

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2019

2018

Infinitary logic and basically disconnected compact Hausdorff spaces.

Antonio Di Nola, Serafina Lapenta, Ioana Leustean

J. Log. Comput., 2018

A many-sorted polyadic modal logic.

Ioana Leustean, Natalia Moanga

CoRR, 2018

An analysis of the logic of Riesz spaces with strong unit.

Antonio Di Nola, Serafina Lapenta, Ioana Leustean

Ann. Pure Appl. Log., 2018

2017

Notes on divisible MV-algebras.

Serafina Lapenta, Ioana Leustean

Soft Comput., 2017

Towards game semantics for nuanced logics.

Denisa Diaconescu, Ioana Leustean

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

2016

Stochastic independence for probability MV-algebras.

Serafina Lapenta, Ioana Leustean

Fuzzy Sets Syst., 2016

2015

Towards understanding the Pierce-Birkhoff conjecture via MV-algebras.

Serafina Lapenta, Ioana Leustean

Fuzzy Sets Syst., 2015

Mutually Exclusive Nuances of Truth in Moisil Logic.

Denisa Diaconescu, Ioana Leustean

Sci. Ann. Comput. Sci., 2015

2014

Łukasiewicz logic and Riesz spaces.

Antonio Di Nola, Ioana Leustean

Soft Comput., 2014

Lexicographic MV-algebras and lexicographic states.

Denisa Diaconescu, Tommaso Flaminio, Ioana Leustean

Fuzzy Sets Syst., 2014

2013

Adding Real Coefficients to Łukasiewicz Logic: An Application to Neural Networks.

Antonio Di Nola, Brunella Gerla, Ioana Leustean

Proceedings of the Fuzzy Logic and Applications - 10th International Workshop, 2013

2012

Hahn-Banach theorems for MV-algebras.

Ioana Leustean

Soft Comput., 2012

State-Complete Riesz MV-Algebras and L-Measure Spaces.

Ioana Leustean

Proceedings of the Advances on Computational Intelligence, 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

Metric Completions of MV-algebras with States: An Approach to Stochastic Independence.

Ioana Leustean

J. Log. Comput., 2011

The Tensor PMV-algebra of an MV-algebra.

Ioana Leustean

Proceedings of the 41st IEEE International Symposium on Multiple-Valued Logic, 2011

Riesz MV-algebras and their logic.

Antonio Di Nola, Ioana Leustean

Proceedings of the 7th conference of the European Society for Fuzzy Logic and Technology, 2011

2010

Algebra and Probability in Many-Valued Reasoning.

Ioana Leustean, Vincenzo Marra

Stud Logica, 2010

Tensor Products of Probability MV-algebras.

Ioana Leustean

J. Multiple Valued Log. Soft Comput., 2010

2006

a-Convergence and Complete Distributivity in MV-algebras.

Ioana Leustean

J. Multiple Valued Log. Soft Comput., 2006

Order Convergence and Distance on Lukasiewicz-Moisil Algebras.

George Geordesce, Ioana Leustean, Andrei Popescu

J. Multiple Valued Log. Soft Comput., 2006

Similarity MV-algebras.

Brunella Gerla, Ioana Leustean

Fundam. Informaticae, 2006

Non-commutative Lukasiewicz propositional logic.

Ioana Leustean

Arch. Math. Log., 2006

2004

MV-algebras with operators (the commutative and the non-commutative case).

Paul Flondor, Ioana Leustean

Discret. Math., 2004

2003

Tensor products of MV-algebras.

Paul Flondor, Ioana Leustean

Soft Comput., 2003

2001

Local pseudo MV-algebras.

Ioana Leustean

Soft Comput., 2001

2000

Towards a probability theory based on Moisil logic.

George Georgescu, Ioana Leustean

Soft Comput., 2000

A Representation Theorem for Monadic Pavelka Algebras.

George Georgescu, Ioana Leustean

J. Univers. Comput. Sci., 2000

1998

Probabilities on Lukasiewicz-Moisil algebras.

George Georgescu, Ioana Leustean

Int. J. Approx. Reason., 1998