A Logical Approach to Security in the Context of Ambient Calculus. - Radu Mardare; Corrado Priami (MEFISTO, 2003)

Model Checking Biological Systems Described Using Ambient Calculus. - Radu Mardare; Corrado Priami; Paola Quaglia; Oleksandr Vagin (CMSB, 2004)

Logical Analysis of Biological Systems. - Radu Mardare; Corrado Priami (Fundam. Informaticae, 2005)

Decidable Extensions of Hennessy-Milner Logic. - Radu Mardare; Corrado Priami (FORTE, 2006)

Partial Knowledge in Membrane Systems: A Logical Approach. - Matteo Cavaliere; Radu Mardare (Workshop on Membrane Computing, 2006)

Logical analysis of complex systems. - Radu Mardare (2006)

Observing Distributed Computation. A Dynamic-Epistemic Approach. - Radu Mardare (CALCO, 2007)

A Complete Axiomatic System for a Process-Based Spatial Logic. - Radu Mardare; Alberto Policriti (MFCS, 2008)

Analysing Biochemical Oscillation through Probabilistic Model Checking. - Paolo Ballarini; Radu Mardare; Ivan Mura (FBTC@ICALP, 2008)

A Logical Characterization of Robustness, Mutants and Species in Colonies of Agents. - Radu Mardare; Matteo Cavaliere; Sean Sedwards (Int. J. Found. Comput. Sci., 2008)

A multiset-based model of synchronizing agents: Computability and robustness. - Matteo Cavaliere; Radu Mardare; Sean Sedwards (Theor. Comput. Sci., 2008)

Continuous Markovian Logic - From Complete Axiomatization to the Metric Space of Formulas. - Luca Cardelli; Kim G. Larsen; Radu Mardare (CSL, 2011)

Decidability of Modular Logics for Concurrency. - Radu Mardare (Ershov Memorial Conference, 2011)

Modular Markovian Logic. - Luca Cardelli; Kim G. Larsen; Radu Mardare (ICALP (2), 2011)

An Observer-Based de-Quantisation of Deutsch's Algorithm. - Cristian S. Calude; Matteo Cavaliere; Radu Mardare (Int. J. Found. Comput. Sci., 2011)

Combining Epistemic Logic and Hennessy-Milner Logic. - Sophia Knight; Radu Mardare; Prakash Panangaden (Logic and Program Semantics, 2012)

Taking It to the Limit: Approximate Reasoning for Markov Processes. - Kim Guldstrand Larsen; Radu Mardare; Prakash Panangaden (MFCS, 2012)

Continuous Markovian Logics - Axiomatization and Quantified Metatheory - Radu Mardare; Luca Cardelli; Kim G. Larsen (Log. Methods Comput. Sci., 2012)

Parameterized Metatheory for Continuous Markovian Logic - Kim G. Larsen; Radu Mardare; Claus R. Thrane (QFM, 2012)

Stochastic Pi-calculus Revisited. - Luca Cardelli; Radu Mardare (ICTAC, 2013)

Stone Duality for Markov Processes. - Dexter Kozen; Kim G. Larsen; Radu Mardare; Prakash Panangaden (LICS, 2013)

Computing Behavioral Distances, Compositionally. - Giorgio Bacci; Giovanni Bacci 001; Kim G. Larsen; Radu Mardare (MFCS, 2013)

Strong Completeness for Markovian Logics. - Dexter Kozen; Radu Mardare; Prakash Panangaden (MFCS, 2013)

The BisimDist Library: Efficient Computation of Bisimilarity Distances for Markovian Models. - Giorgio Bacci; Giovanni Bacci 001; Kim Guldstrand Larsen; Radu Mardare (QEST, 2013)

On-the-Fly Exact Computation of Bisimilarity Distances. - Giorgio Bacci; Giovanni Bacci 001; Kim G. Larsen; Radu Mardare (TACAS, 2013)

Bisimulation on Markov Processes over Arbitrary Measurable Spaces. - Giorgio Bacci; Giovanni Bacci 001; Kim Guldstrand Larsen; Radu Mardare (Horizons of the Mind, 2014)

Decidability and Expressiveness of Recursive Weighted Logic. - Kim Guldstrand Larsen; Radu Mardare; Bingtian Xue (Ershov Memorial Conference, 2014)

A Decidable Recursive Logic for Weighted Transition Systems. - Kim Guldstrand Larsen; Radu Mardare; Bingtian Xue (ICTAC, 2014)

Continuity Properties of Distances for Markov Processes. - Manfred Jaeger; Hua Mao; Kim Guldstrand Larsen; Radu Mardare (QEST, 2014)

Topologies of Stochastic Markov Models: Computational Aspects. - Giorgio Bacci; Giovanni Bacci 001; Kim G. Larsen; Radu Mardare (CoRR, 2014)

Adequacy and Complete Axiomatization for Timed Modal Logic. - Samy Jaziri; Kim Guldstrand Larsen; Radu Mardare; Bingtian Xue (MFPS, 2014)

A Metrized Duality Theorem for Markov Processes. - Dexter Kozen; Radu Mardare; Prakash Panangaden (MFPS, 2014)

The Measurable Space of Stochastic Processes. - Luca Cardelli; Radu Mardare (Fundam. Informaticae, 2014)

Complete proof systems for weighted modal logic. - Kim G. Larsen; Radu Mardare (Theor. Comput. Sci., 2014)

On the Total Variation Distance of Semi-Markov Chains. - Giorgio Bacci; Giovanni Bacci 001; Kim Guldstrand Larsen; Radu Mardare (FoSSaCS, 2015)

Parametric Verification of Weighted Systems. - Peter Christoffersen; Mikkel Hansen; Anders Mariegaard; Julian Trier Ringsmose; Kim Guldstrand Larsen; Radu Mardare (SynCoP, 2015)

Alternation-Free Weighted Mu-Calculus: Decidability and Completeness. - Kim G. Larsen; Radu Mardare; Bingtian Xue (MFPS, 2015)

Concurrent weighted logic. - Kim G. Larsen; Radu Mardare; Bingtian Xue (J. Log. Algebraic Methods Program., 2015)

Complete Axiomatization for the Bisimilarity Distance on Markov Chains. - Giorgio Bacci; Giovanni Bacci 001; Kim G. Larsen; Radu Mardare (CONCUR, 2016)

Probabilistic Mu-Calculus: Decidability and Complete Axiomatization. - Kim G. Larsen; Radu Mardare; Bingtian Xue (FSTTCS, 2016)

Quantitative Algebraic Reasoning. - Radu Mardare; Prakash Panangaden; Gordon D. Plotkin (LICS, 2016)

A Complete Approximation Theory for Weighted Transition Systems. - Mikkel Hansen; Kim Guldstrand Larsen; Radu Mardare; Mathias Ruggaard Pedersen; Bingtian Xue (SETTA, 2016)

Unrestricted stone duality for Markov processes. - Robert Furber; Dexter Kozen; Kim G. Larsen; Radu Mardare; Prakash Panangaden (LICS, 2017)

On the axiomatizability of quantitative algebras. - Radu Mardare; Prakash Panangaden; Gordon D. Plotkin (LICS, 2017)

Riesz Modal logic for Markov processes. - Matteo Mio; Robert Furber; Radu Mardare (LICS, 2017)

Reasoning About Bounds in Weighted Transition Systems. - Mikkel Hansen; Kim Guldstrand Larsen; Radu Mardare; Mathias Ruggaard Pedersen; Bingtian Xue (CoRR, 2017)

On-the-Fly Computation of Bisimilarity Distances. - Giorgio Bacci; Giovanni Bacci 001; Kim G. Larsen; Radu Mardare (Log. Methods Comput. Sci., 2017)

Weighted Branching Systems: Behavioural Equivalence, Behavioural Distance, and Their Logical Characterisations. - Mathias Claus Jensen; Kim Guldstrand Larsen; Radu Mardare (FORMATS, 2018)

Timed Comparisons of Semi-Markov Processes. - Mathias Ruggaard Pedersen; Nathanaël Fijalkow; Giorgio Bacci; Kim G. Larsen; Radu Mardare (LATA, 2018)

Boolean-Valued Semantics for the Stochastic λ-Calculus. - Giorgio Bacci; Robert Furber; Dexter Kozen; Radu Mardare; Prakash Panangaden; Dana S. Scott (LICS, 2018)

An Algebraic Theory of Markov Processes. - Giorgio Bacci; Radu Mardare; Prakash Panangaden; Gordon D. Plotkin (LICS, 2018)

A Hemimetric Extension of Simulation for Semi-Markov Decision Processes. - Mathias Ruggaard Pedersen; Giorgio Bacci; Kim Guldstrand Larsen; Radu Mardare (QEST, 2018)

Complete Axiomatization for the Total Variation Distance of Markov Chains. - Giorgio Bacci; Giovanni Bacci 001; Kim G. Larsen; Radu Mardare (MFPS, 2018)

On the metric-based approximate minimization of Markov Chains. - Giovanni Bacci 001; Giorgio Bacci; Kim G. Larsen; Radu Mardare (J. Log. Algebraic Methods Program., 2018)

A Complete Quantitative Deduction System for the Bisimilarity Distance on Markov Chains. - Giorgio Bacci; Giovanni Bacci 001; Kim G. Larsen; Radu Mardare (Log. Methods Comput. Sci., 2018)

Reasoning About Bounds in Weighted Transition Systems. - Mikkel Hansen; Kim Guldstrand Larsen; Radu Mardare; Mathias Ruggaard Pedersen (Log. Methods Comput. Sci., 2018)

Free complete Wasserstein algebras. - Radu Mardare; Prakash Panangaden; Gordon D. Plotkin (Log. Methods Comput. Sci., 2018)

On decidability of recursive weighted logics. - Kim G. Larsen; Radu Mardare; Bingtian Xue (Soft Comput., 2018)

Converging from branching to linear metrics on Markov chains. - Giorgio Bacci; Giovanni Bacci 001; Kim G. Larsen; Radu Mardare (Math. Struct. Comput. Sci., 2019)

Quantitative Equational Reasoning. - Giorgio Bacci; Radu Mardare; Prakash Panangaden; Gordon D. Plotkin (Foundations of Probabilistic Programming, 2020)

Universal Semantics for the Stochastic Lambda-Calculus. - Pedro H. Azevedo de Amorim; Dexter Kozen; Radu Mardare; Prakash Panangaden; Michael Roberts (CoRR, 2020)

Probabilistic logics based on Riesz spaces. - Robert Furber; Radu Mardare; Matteo Mio (Log. Methods Comput. Sci., 2020)

Tensor of Quantitative Equational Theories. - Giorgio Bacci; Radu Mardare; Prakash Panangaden; Gordon D. Plotkin (CALCO, 2021)

Universal Semantics for the Stochastic λ-Calculus. - Pedro H. Azevedo de Amorim; Dexter Kozen; Radu Mardare; Prakash Panangaden; Michael Roberts (LICS, 2021)

Fixed-Points for Quantitative Equational Logics. - Radu Mardare; Prakash Panangaden; Gordon D. Plotkin (LICS, 2021)

Interpreting Lambda Calculus in Domain-Valued Random Variables. - Robert Furber; Radu Mardare; Prakash Panangaden; Dana S. Scott (CoRR, 2021)

Computing Probabilistic Bisimilarity Distances for Probabilistic Automata. - Giorgio Bacci; Giovanni Bacci 001; Kim G. Larsen; Radu Mardare; Qiyi Tang 001; Franck van Breugel (Log. Methods Comput. Sci., 2021)

Propositional Logics for the Lawvere Quantale. - Giorgio Bacci; Radu Mardare; Prakash Panangaden; Gordon D. Plotkin (MFPS, 2023)

Polynomial Lawvere Logic. - Giorgio Bacci; Radu Mardare; Prakash Panangaden; Gordon D. Plotkin (CoRR, 2024)

Behavioural Metrics and Quantitative Logics (Dagstuhl Seminar 24432). - Barbara König 001; Radu Mardare; Prakash Panangaden; Jurriaan Rot; Florence Clerc (Dagstuhl Reports, 2024)

Sum and Tensor of Quantitative Effects. - Giorgio Bacci; Radu Mardare; Prakash Panangaden; Gordon D. Plotkin (Log. Methods Comput. Sci., 2024)