Radu Mardare

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 42

Top Topics

Complete Axiomatization

Markov Processes

Top Venues

Log. Methods Comput. Sci.

Publications

Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon D. Plotkin
Polynomial Lawvere Logic. CoRR (2024)
Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon D. Plotkin
Propositional Logics for the Lawvere Quantale. CoRR (2023)
Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon D. Plotkin
Sum and Tensor of Quantitative Effects. CoRR (2022)
Radu Mardare, Prakash Panangaden, Gordon D. Plotkin
Fixed-Points for Quantitative Equational Logics. LICS (2021)
Robert Furber, Radu Mardare, Prakash Panangaden, Dana S. Scott
Interpreting Lambda Calculus in Domain-Valued Random Variables. CoRR (2021)
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare, Qiyi Tang, Franck van Breugel
Computing Probabilistic Bisimilarity Distances for Probabilistic Automata. Log. Methods Comput. Sci. 17 (1) (2021)
Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon D. Plotkin
Tensor of Quantitative Equational Theories. CALCO (2021)
Pedro H. Azevedo de Amorim, Dexter Kozen, Radu Mardare, Prakash Panangaden, Michael Roberts
Universal Semantics for the Stochastic λ-Calculus. LICS (2021)
Radu Mardare, Prakash Panangaden, Gordon D. Plotkin
Fixed-Points for Quantitative Equational Logics. CoRR (2021)
Pedro H. Azevedo de Amorim, Dexter Kozen, Radu Mardare, Prakash Panangaden, Michael Roberts
Universal Semantics for the Stochastic Lambda-Calculus. CoRR (2020)
Robert Furber, Radu Mardare, Matteo Mio
Probabilistic logics based on Riesz spaces. Log. Methods Comput. Sci. 16 (1) (2020)
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare
Converging from branching to linear metrics on Markov chains. Math. Struct. Comput. Sci. 29 (1) (2019)
Robert Furber, Radu Mardare, Matteo Mio
Probabilistic logics based on Riesz spaces. CoRR (2019)
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare, Qiyi Tang, Franck van Breugel
Computing Probabilistic Bisimilarity Distances for Probabilistic Automata. CoRR (2019)
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare, Qiyi Tang, Franck van Breugel
Computing Probabilistic Bisimilarity Distances for Probabilistic Automata. CONCUR (2019)
Radu Mardare, Prakash Panangaden, Gordon D. Plotkin
Free complete Wasserstein algebras. Log. Methods Comput. Sci. 14 (3) (2018)
Mathias Claus Jensen, Kim Guldstrand Larsen, Radu Mardare
Weighted Branching Systems: Behavioural Equivalence, Behavioural Distance, and Their Logical Characterisations. FORMATS (2018)
Kim G. Larsen, Radu Mardare, Bingtian Xue
On decidability of recursive weighted logics. Soft Comput. 22 (4) (2018)
Giovanni Bacci, Giorgio Bacci, Kim G. Larsen, Radu Mardare
On the metric-based approximate minimization of Markov Chains. J. Log. Algebraic Methods Program. 100 (2018)
Giovanni Bacci, Giorgio Bacci, Kim G. Larsen, Radu Mardare
On the Metric-based Approximate Minimization of Markov Chains. CoRR (2018)
Radu Mardare, Prakash Panangaden, Gordon D. Plotkin
On the Axiomatizability of Quantitative Algebras. CoRR (2018)
Radu Mardare, Prakash Panangaden, Gordon D. Plotkin
Free complete Wasserstein algebras. CoRR (2018)
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare
A Complete Quantitative Deduction System for the Bisimilarity Distance on Markov Chains. Log. Methods Comput. Sci. 14 (4) (2018)
Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon D. Plotkin
An Algebraic Theory of Markov Processes. LICS (2018)
Mathias Ruggaard Pedersen, Giorgio Bacci, Kim Guldstrand Larsen, Radu Mardare
A Hemimetric Extension of Simulation for Semi-Markov Decision Processes. QEST (2018)
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare
Complete Axiomatization for the Total Variation Distance of Markov Chains. MFPS (2018)
Mikkel Hansen, Kim Guldstrand Larsen, Radu Mardare, Mathias Ruggaard Pedersen
Reasoning About Bounds in Weighted Transition Systems. Log. Methods Comput. Sci. 14 (4) (2018)
Mathias Ruggaard Pedersen, Nathanaël Fijalkow, Giorgio Bacci, Kim G. Larsen, Radu Mardare
Timed Comparisons of Semi-Markov Processes. LATA (2018)
Giorgio Bacci, Robert Furber, Dexter Kozen, Radu Mardare, Prakash Panangaden, Dana S. Scott
Boolean-Valued Semantics for the Stochastic λ-Calculus. LICS (2018)
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare
On-the-Fly Computation of Bisimilarity Distances. CoRR (2017)
Robert Furber, Dexter Kozen, Kim G. Larsen, Radu Mardare, Prakash Panangaden
Unrestricted stone duality for Markov processes. LICS (2017)
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare
A Complete Quantitative Deduction System for the Bisimilarity Distance on Markov Chains. CoRR (2017)
Mathias Ruggaard Pedersen, Nathanaël Fijalkow, Giorgio Bacci, Kim Guldstrand Larsen, Radu Mardare
Timed Comparisons of Semi-Markov Processes. CoRR (2017)
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare
On-the-Fly Computation of Bisimilarity Distances. Log. Methods Comput. Sci. 13 (2) (2017)
Radu Mardare, Prakash Panangaden, Gordon D. Plotkin
On the axiomatizability of quantitative algebras. LICS (2017)
Giovanni Bacci, Giorgio Bacci, Kim G. Larsen, Radu Mardare
On the Metric-Based Approximate Minimization of Markov Chains. ICALP (2017)
Mikkel Hansen, Kim Guldstrand Larsen, Radu Mardare, Mathias Ruggaard Pedersen, Bingtian Xue
Reasoning About Bounds in Weighted Transition Systems. CoRR (2017)
Matteo Mio, Robert Furber, Radu Mardare
Riesz Modal logic for Markov processes. LICS (2017)
Radu Mardare, Prakash Panangaden, Gordon D. Plotkin
Quantitative Algebraic Reasoning. LICS (2016)
Mikkel Hansen, Kim Guldstrand Larsen, Radu Mardare, Mathias Ruggaard Pedersen, Bingtian Xue
A Complete Approximation Theory for Weighted Transition Systems. SETTA (2016)
Kim G. Larsen, Radu Mardare, Bingtian Xue
Probabilistic Mu-Calculus: Decidability and Complete Axiomatization. FSTTCS (2016)
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare
Complete Axiomatization for the Bisimilarity Distance on Markov Chains. CONCUR (2016)
Kim G. Larsen, Radu Mardare, Bingtian Xue
Alternation-Free Weighted Mu-Calculus: Decidability and Completeness. MFPS (2015)
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare
Converging from Branching to Linear Metrics on Markov Chains. ICTAC (2015)
Peter Christoffersen, Mikkel Hansen, Anders Mariegaard, Julian Trier Ringsmose, Kim Guldstrand Larsen, Radu Mardare
Parametric Verification of Weighted Systems. SynCoP (2015)
Giorgio Bacci, Giovanni Bacci, Kim Guldstrand Larsen, Radu Mardare
On the Total Variation Distance of Semi-Markov Chains. FoSSaCS (2015)
Kim G. Larsen, Radu Mardare, Bingtian Xue
Concurrent weighted logic. J. Log. Algebraic Methods Program. 84 (6) (2015)
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare
Topologies of Stochastic Markov Models: Computational Aspects. CoRR (2014)
Dexter Kozen, Radu Mardare, Prakash Panangaden
A Metrized Duality Theorem for Markov Processes. MFPS (2014)
Samy Jaziri, Kim Guldstrand Larsen, Radu Mardare, Bingtian Xue
Adequacy and Complete Axiomatization for Timed Modal Logic. MFPS (2014)
Kim Guldstrand Larsen, Radu Mardare, Bingtian Xue
Decidability and Expressiveness of Recursive Weighted Logic. Ershov Memorial Conference (2014)
Giorgio Bacci, Giovanni Bacci, Kim Guldstrand Larsen, Radu Mardare
Bisimulation on Markov Processes over Arbitrary Measurable Spaces. Horizons of the Mind (2014)
Luca Cardelli, Radu Mardare
The Measurable Space of Stochastic Processes. Fundam. Informaticae 131 (3-4) (2014)
Manfred Jaeger, Hua Mao, Kim Guldstrand Larsen, Radu Mardare
Continuity Properties of Distances for Markov Processes. QEST (2014)
Kim Guldstrand Larsen, Radu Mardare, Bingtian Xue
A Decidable Recursive Logic for Weighted Transition Systems. ICTAC (2014)
Kim G. Larsen, Radu Mardare
Complete proof systems for weighted modal logic. Theor. Comput. Sci. 546 (2014)
Giorgio Bacci, Giovanni Bacci, Kim Guldstrand Larsen, Radu Mardare
The BisimDist Library: Efficient Computation of Bisimilarity Distances for Markovian Models. QEST (2013)
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare
On-the-Fly Exact Computation of Bisimilarity Distances. TACAS (2013)
Dexter Kozen, Kim G. Larsen, Radu Mardare, Prakash Panangaden
Stone Duality for Markov Processes. LICS (2013)
Dexter Kozen, Radu Mardare, Prakash Panangaden
Strong Completeness for Markovian Logics. MFCS (2013)
Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare
Computing Behavioral Distances, Compositionally. MFCS (2013)
Luca Cardelli, Radu Mardare
Stochastic Pi-calculus Revisited. ICTAC (2013)
Radu Mardare, Luca Cardelli, Kim G. Larsen
Continuous Markovian Logics - Axiomatization and Quantified Metatheory Log. Methods Comput. Sci. 8 (4) (2012)
Sophia Knight, Radu Mardare, Prakash Panangaden
Combining Epistemic Logic and Hennessy-Milner Logic. Logic and Program Semantics (2012)
Kim G. Larsen, Radu Mardare, Claus R. Thrane
Parameterized Metatheory for Continuous Markovian Logic QFM (2012)
Kim Guldstrand Larsen, Radu Mardare, Prakash Panangaden
Taking It to the Limit: Approximate Reasoning for Markov Processes. MFCS (2012)
Cristian S. Calude, Matteo Cavaliere, Radu Mardare
An Observer-Based de-Quantisation of Deutsch's Algorithm. Int. J. Found. Comput. Sci. 22 (1) (2011)
Luca Cardelli, Kim G. Larsen, Radu Mardare
Continuous Markovian Logic - From Complete Axiomatization to the Metric Space of Formulas. CSL (2011)
Luca Cardelli, Kim G. Larsen, Radu Mardare
Modular Markovian Logic. ICALP (2) (2011)
Radu Mardare
Decidability of Modular Logics for Concurrency. Ershov Memorial Conference (2011)
Luca Cardelli, Radu Mardare
The Measurable Space of Stochastic Processes. QEST (2010)
Paolo Ballarini, Radu Mardare, Ivan Mura
Analysing Biochemical Oscillation through Probabilistic Model Checking. Electron. Notes Theor. Comput. Sci. 229 (1) (2009)
Radu Mardare, Matteo Cavaliere, Sean Sedwards
A Logical Characterization of Robustness, Mutants and Species in Colonies of Agents. Int. J. Found. Comput. Sci. 19 (5) (2008)
Radu Mardare, Alberto Policriti
A Complete Axiomatic System for a Process-Based Spatial Logic. MFCS (2008)
Matteo Cavaliere, Radu Mardare, Sean Sedwards
A multiset-based model of synchronizing agents: Computability and robustness. Theor. Comput. Sci. 391 (3) (2008)
Radu Mardare
Observing Distributed Computation. A Dynamic-Epistemic Approach. CALCO (2007)
Radu Mardare, Corrado Priami
Decidable Extensions of Hennessy-Milner Logic. FORTE (2006)
Matteo Cavaliere, Radu Mardare
Partial Knowledge in Membrane Systems: A Logical Approach. Workshop on Membrane Computing (2006)
Radu Mardare, Corrado Priami
Logical Analysis of Biological Systems. Fundam. Informaticae 64 (1-4) (2005)
Radu Mardare, Corrado Priami
A Logical Approach to Security in the Context of Ambient Calculus. Electron. Notes Theor. Comput. Sci. 99 (2004)
Radu Mardare, Corrado Priami, Paola Quaglia, Oleksandr Vagin
Model Checking Biological Systems Described Using Ambient Calculus. CMSB (2004)