Radu Mardare
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
30
Venues
12
Active years
2006–2026
Best venue rank
A*
Where they publish
Papers
30 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CSL | Rational Lawvere Logic (Invited Paper). | Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon D. Plotkin |
| 2026 | CSL | Interpreting Lambda Calculus in Domain-Valued Random Variables. | Robert Furber, Radu Mardare, Prakash Panangaden, Dana S. Scott |
| 2021 | CALCO | Tensor of Quantitative Equational Theories. | Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon D. Plotkin |
| 2021 | LICS | Universal Semantics for the Stochastic λ-Calculus. | Pedro H. Azevedo de Amorim, Dexter Kozen, Radu Mardare, Prakash Panangaden, Michael Roberts |
| 2021 | LICS | Fixed-Points for Quantitative Equational Logics. | Radu Mardare, Prakash Panangaden, Gordon D. Plotkin |
| 2019 | CONCUR | Computing Probabilistic Bisimilarity Distances for Probabilistic Automata. | Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare, Qiyi Tang, Franck van Breugel |
| 2018 | LATA | Timed Comparisons of Semi-Markov Processes. | Mathias Ruggaard Pedersen, Nathanal Fijalkow, Giorgio Bacci, Kim G. Larsen, Radu Mardare |
| 2018 | LICS | Boolean-Valued Semantics for the Stochastic λ-Calculus. | Giorgio Bacci, Robert Furber, Dexter Kozen, Radu Mardare, Prakash Panangaden, Dana S. Scott |
| 2018 | LICS | An Algebraic Theory of Markov Processes. | Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon D. Plotkin |
| 2017 | ICALP | On the Metric-Based Approximate Minimization of Markov Chains. | Giovanni Bacci, Giorgio Bacci, Kim G. Larsen, Radu Mardare |
| 2017 | LICS | Unrestricted stone duality for Markov processes. | Robert Furber, Dexter Kozen, Kim G. Larsen, Radu Mardare, Prakash Panangaden |
| 2017 | LICS | On the axiomatizability of quantitative algebras. | Radu Mardare, Prakash Panangaden, Gordon D. Plotkin |
| 2017 | LICS | Riesz Modal logic for Markov processes. | Matteo Mio, Robert Furber, Radu Mardare |
| 2016 | CONCUR | Complete Axiomatization for the Bisimilarity Distance on Markov Chains. | Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare |
| 2016 | LICS | Quantitative Algebraic Reasoning. | Radu Mardare, Prakash Panangaden, Gordon D. Plotkin |
| 2016 | SETTA | A Complete Approximation Theory for Weighted Transition Systems. | Mikkel Hansen, Kim Guldstrand Larsen, Radu Mardare, Mathias Ruggaard Pedersen, Bingtian Xue |
| 2015 | FOSSACS | On the Total Variation Distance of Semi-Markov Chains. | Giorgio Bacci, Giovanni Bacci, Kim Guldstrand Larsen, Radu Mardare |
| 2015 | ICTAC | Converging from Branching to Linear Metrics on Markov Chains. | Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare |
| 2014 | ICTAC | A Decidable Recursive Logic for Weighted Transition Systems. | Kim Guldstrand Larsen, Radu Mardare, Bingtian Xue |
| 2013 | ICTAC | Stochastic Pi-calculus Revisited. | Luca Cardelli, Radu Mardare |
| 2013 | LICS | Stone Duality for Markov Processes. | Dexter Kozen, Kim G. Larsen, Radu Mardare, Prakash Panangaden |
| 2013 | MFCS | Computing Behavioral Distances, Compositionally. | Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare |
| 2013 | MFCS | Strong Completeness for Markovian Logics. | Dexter Kozen, Radu Mardare, Prakash Panangaden |
| 2013 | TACAS | On-the-Fly Exact Computation of Bisimilarity Distances. | Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare |
| 2012 | MFCS | Taking It to the Limit: Approximate Reasoning for Markov Processes. | Kim Guldstrand Larsen, Radu Mardare, Prakash Panangaden |
| 2011 | CSL | Continuous Markovian Logic - From Complete Axiomatization to the Metric Space of Formulas. | Luca Cardelli, Kim G. Larsen, Radu Mardare |
| 2011 | ICALP | Modular Markovian Logic. | Luca Cardelli, Kim G. Larsen, Radu Mardare |
| 2008 | MFCS | A Complete Axiomatic System for a Process-Based Spatial Logic. | Radu Mardare, Alberto Policriti |
| 2007 | CALCO | Observing Distributed Computation. A Dynamic-Epistemic Approach. | Radu Mardare |
| 2006 | FORTE | Decidable Extensions of Hennessy-Milner Logic. | Radu Mardare, Corrado Priami |