Radu Mardare

Pedro H. Azevedo de Amorim

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

Universal Semantics for the Stochastic λ-Calculus.

[BibT_eX]

[DOI]

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

Tensor of Quantitative Equational Theories.

[BibT_eX]

[DOI]

Proceedings of the 9th Conference on Algebra and Coalgebra in Computer Science, 2021

2020

Probabilistic logics based on Riesz spaces.

[BibT_eX]

[DOI]

Robert Furber

Pedro H. Azevedo de Amorim

Matteo Mio

Log. Methods Comput. Sci., 2020

Universal Semantics for the Stochastic Lambda-Calculus.

[BibT_eX]

[DOI]

CoRR, 2020

2019

Converging from branching to linear metrics on Markov chains.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2019

2018

On decidability of recursive weighted logics.

[BibT_eX]

[DOI]

Soft Comput., 2018

Free complete Wasserstein algebras.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2018

Reasoning About Bounds in Weighted Transition Systems.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2018

A Complete Quantitative Deduction System for the Bisimilarity Distance on Markov Chains.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2018

On the metric-based approximate minimization of Markov Chains.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2018

Complete Axiomatization for the Total Variation Distance of Markov Chains.

[BibT_eX]

[DOI]

Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics, 2018

A Hemimetric Extension of Simulation for Semi-Markov Decision Processes.

[BibT_eX]

[DOI]

Proceedings of the Quantitative Evaluation of Systems - 15th International Conference, 2018

An Algebraic Theory of Markov Processes.

[BibT_eX]

[DOI]

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018

Boolean-Valued Semantics for the Stochastic λ-Calculus.

[BibT_eX]

[DOI]

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018

Timed Comparisons of Semi-Markov Processes.

[BibT_eX]

[DOI]

Proceedings of the Language and Automata Theory and Applications, 2018

Weighted Branching Systems: Behavioural Equivalence, Behavioural Distance, and Their Logical Characterisations.

[BibT_eX]

[DOI]

Mathias Claus Jensen

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2018

2017

On-the-Fly Computation of Bisimilarity Distances.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2017

Reasoning About Bounds in Weighted Transition Systems.

[BibT_eX]

[DOI]

CoRR, 2017

Riesz Modal logic for Markov processes.

[BibT_eX]

[DOI]

Matteo Mio

Robert Furber

Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017

On the axiomatizability of quantitative algebras.

[BibT_eX]

[DOI]

Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017

Unrestricted stone duality for Markov processes.

[BibT_eX]

[DOI]

Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017

2016

A Complete Approximation Theory for Weighted Transition Systems.

[BibT_eX]

[DOI]

Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2016

Quantitative Algebraic Reasoning.

[BibT_eX]

[DOI]

Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016

Probabilistic Mu-Calculus: Decidability and Complete Axiomatization.

[BibT_eX]

[DOI]

Proceedings of the 36th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2016

Complete Axiomatization for the Bisimilarity Distance on Markov Chains.

[BibT_eX]

[DOI]

Proceedings of the 27th International Conference on Concurrency Theory, 2016

2015

Concurrent weighted logic.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2015

Alternation-Free Weighted Mu-Calculus: Decidability and Completeness.

[BibT_eX]

[DOI]

Proceedings of the 31st Conference on the Mathematical Foundations of Programming Semantics, 2015

Parametric Verification of Weighted Systems.

[BibT_eX]

[DOI]

Peter Christoffersen

Anders Mariegaard

Julian Trier Ringsmose

Proceedings of the 2nd International Workshop on Synthesis of Complex Parameters, 2015

On the Total Variation Distance of Semi-Markov Chains.

[BibT_eX]

[DOI]

Giovanni Bacci

Proceedings of the Foundations of Software Science and Computation Structures, 2015

2014

Complete proof systems for weighted modal logic.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2014

The Measurable Space of Stochastic Processes.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2014

A Metrized Duality Theorem for Markov Processes.

[BibT_eX]

[DOI]

Dexter Kozen

Proceedings of the 30th Conference on the Mathematical Foundations of Programming Semantics, 2014

Adequacy and Complete Axiomatization for Timed Modal Logic.

[BibT_eX]

[DOI]

Samy Jaziri

Proceedings of the 30th Conference on the Mathematical Foundations of Programming Semantics, 2014

Topologies of Stochastic Markov Models: Computational Aspects.

[BibT_eX]

[DOI]

CoRR, 2014

Continuity Properties of Distances for Markov Processes.

[BibT_eX]

[DOI]

Manfred Jaeger

Hua Mao

Proceedings of the Quantitative Evaluation of Systems - 11th International Conference, 2014

A Decidable Recursive Logic for Weighted Transition Systems.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing - ICTAC 2014, 2014

Decidability and Expressiveness of Recursive Weighted Logic.

[BibT_eX]

[DOI]

Proceedings of the Perspectives of System Informatics, 2014

Bisimulation on Markov Processes over Arbitrary Measurable Spaces.

[BibT_eX]

[DOI]

Giovanni Bacci

Proceedings of the Horizons of the Mind. A Tribute to Prakash Panangaden, 2014

2013

On-the-Fly Exact Computation of Bisimilarity Distances.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

The BisimDist Library: Efficient Computation of Bisimilarity Distances for Markovian Models.

[BibT_eX]

[DOI]

Giovanni Bacci

Proceedings of the Quantitative Evaluation of Systems - 10th International Conference, 2013

Strong Completeness for Markovian Logics.

[BibT_eX]

[DOI]

Dexter Kozen

Proceedings of the Mathematical Foundations of Computer Science 2013, 2013

Computing Behavioral Distances, Compositionally.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 2013, 2013

Stone Duality for Markov Processes.

[BibT_eX]

[DOI]

Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013

Stochastic Pi-calculus Revisited.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing - ICTAC 2013, 2013

2012

Parameterized Metatheory for Continuous Markovian Logic

[BibT_eX]

[DOI]

Claus R. Thrane

Proceedings of the Proceedings Quantities in Formal Methods, 2012

Continuous Markovian Logics - Axiomatization and Quantified Metatheory

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2012

Taking It to the Limit: Approximate Reasoning for Markov Processes.

[BibT_eX]

[DOI]

Proceedings of the Mathematical Foundations of Computer Science 2012, 2012

Combining Epistemic Logic and Hennessy-Milner Logic.

[BibT_eX]

[DOI]

Sophia Knight

Proceedings of the Logic and Program Semantics, 2012

2011

An Observer-Based de-Quantisation of Deutsch's Algorithm.

[BibT_eX]

[DOI]

Cristian S. Calude

Int. J. Found. Comput. Sci., 2011

Modular Markovian Logic.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages and Programming - 38th International Colloquium, 2011

Decidability of Modular Logics for Concurrency.

[BibT_eX]

[DOI]

Proceedings of the Perspectives of Systems Informatics, 2011

Continuous Markovian Logic - From Complete Axiomatization to the Metric Space of Formulas.

[BibT_eX]

[DOI]

Proceedings of the Computer Science Logic, 2011

2008

A multiset-based model of synchronizing agents: Computability and robustness.

[BibT_eX]

[DOI]

Sean Sedwards

Theor. Comput. Sci., 2008

A Logical Characterization of Robustness, Mutants and Species in Colonies of Agents.

[BibT_eX]

[DOI]

Sean Sedwards

Int. J. Found. Comput. Sci., 2008

Analysing Biochemical Oscillation through Probabilistic Model Checking.

[BibT_eX]

[DOI]

Paolo Ballarini

Ivan Mura

Proceedings of the Second Workshop From Biology to Concurrency and Back, 2008

A Complete Axiomatic System for a Process-Based Spatial Logic.

[BibT_eX]

[DOI]

Alberto Policriti

Proceedings of the Mathematical Foundations of Computer Science 2008, 2008

2007

Observing Distributed Computation. A Dynamic-Epistemic Approach.

[BibT_eX]

[DOI]

Proceedings of the Algebra and Coalgebra in Computer Science, 2007

2006

Logical analysis of complex systems.

[BibT_eX]

[DOI]

PhD thesis, 2006

Partial Knowledge in Membrane Systems: A Logical Approach.

[BibT_eX]

[DOI]

Proceedings of the Membrane Computing, 7th International Workshop, 2006

Decidable Extensions of Hennessy-Milner Logic.

[BibT_eX]

[DOI]

Corrado Priami

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2006

2005

Logical Analysis of Biological Systems.

[BibT_eX]

[DOI]

Corrado Priami

Fundam. Informaticae, 2005

2004

Model Checking Biological Systems Described Using Ambient Calculus.

[BibT_eX]

[DOI]

Proceedings of the Computational Methods in Systems Biology, International Conference, 2004

2003

A Logical Approach to Security in the Context of Ambient Calculus.

[BibT_eX]

[DOI]