Radu Mardare - RankMe

89 papers A* 10A 1B 17C 5Misc 1Journal 34Unranked 18

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