On the public citation graph

Labelled Markov Processes

https://doi.org/10.1142/p595
0 signed · 209 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1006/inco.1996.0057openalex-snapshot
Bisimulation from Open Maps
inferredcites →https://doi.org/10.1006/inco.2001.2962openalex-snapshot
Bisimulation for Labelled Markov Processes
inferredcites →https://doi.org/10.1007/978-1-4612-9967-7openalex-snapshot
Graph Theory: An Introductory Course
inferredcites →https://doi.org/10.1007/bfb0017309openalex-snapshot
Concurrency and automata on infinite sequences
inferredcites →https://doi.org/10.1007/bfb0018361openalex-snapshot
A final coalgebra theorem
inferredcites →https://doi.org/10.1007/bfb0023750openalex-snapshot
On automatically explaining bisimulation inequivalence
inferredcites →https://doi.org/10.1007/bfb0092872openalex-snapshot
A categorical approach to probability theory
inferredcites →https://doi.org/10.1016/0022-0000(85)90012-1openalex-snapshot
A probabilistic PDL
inferredcites →https://doi.org/10.1016/0304-3975(94)90010-8openalex-snapshot
A theory of timed automata
inferredcites →https://doi.org/10.1017/cbo9780511569951openalex-snapshot
A Compositional Approach to Performance Modelling
inferredcites →https://doi.org/10.1017/s0960129599002819openalex-snapshot
Semi-pullbacks and bisimulation in categories of Markov processes
inferredcites →https://doi.org/10.1109/lics.1991.151651openalex-snapshot
Specification and refinement of probabilistic processes
inferredcites →https://doi.org/10.1109/lics.1995.523277openalex-snapshot
Compositional testing preorders for probabilistic processes
inferredcites →https://doi.org/10.1109/lics.1998.705681openalex-snapshot
A logical characterization of bisimulation for labeled Markov processes
inferredcites →https://doi.org/10.1109/real.1995.495196openalex-snapshot
HYTECH: the next generation
inferredcites →https://doi.org/10.1145/2455.2460openalex-snapshot
Algebraic laws for nondeterminism and concurrency
inferredcites →https://doi.org/10.1145/292540.292558openalex-snapshot
Stochastic processes as concurrent constraint programs

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1007/11817949_5openalex-snapshot
Probability and Nondeterminism in Operational Models of Concurrency
inferred← citeshttps://doi.org/10.1007/978-3-030-02149-8_18openalex-snapshot
Coalgebraic Tools for Randomness-Conserving Protocols
inferred← citeshttps://doi.org/10.1007/978-3-031-10736-8_9openalex-snapshot
Stick Breaking, in Coalgebra and Probability
inferred← citeshttps://doi.org/10.1007/978-3-031-24117-8_28openalex-snapshot
(Towards a) Statistical Probabilistic Lazy Lambda Calculus
inferred← citeshttps://doi.org/10.1007/978-3-031-24117-8_5openalex-snapshot
Stone Duality for Relations
inferred← citeshttps://doi.org/10.1007/978-3-031-39784-4_16openalex-snapshot
A Principled Approach to Expectation Maximisation and Latent Dirichlet Allocation Using Jeffrey’s Update Rule
inferred← citeshttps://doi.org/10.1007/978-3-319-03542-0_14openalex-snapshot
Generalized Quantitative Analysis of Metric Transition Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-06251-8_8openalex-snapshot
Preparing Relational Algebra for “Just Good Enough” Hardware
inferred← citeshttps://doi.org/10.1007/978-3-319-06880-0_10openalex-snapshot
The Complexity of Computing a Bisimilarity Pseudometric on Probabilistic Automata
inferred← citeshttps://doi.org/10.1007/978-3-319-06880-0_14openalex-snapshot
Free Energy of Petri Nets
inferred← citeshttps://doi.org/10.1007/978-3-319-06880-0_17openalex-snapshot
Bisimulation for Markov Decision Processes through Families of Functional Expressions
inferred← citeshttps://doi.org/10.1007/978-3-319-06880-0_18openalex-snapshot
Random Measurable Selections
inferred← citeshttps://doi.org/10.1007/978-3-319-06880-0_2openalex-snapshot
Probabilistic Model Checking of Labelled Markov Processes via Finite Approximate Bisimulations
inferred← citeshttps://doi.org/10.1007/978-3-319-11737-9_9openalex-snapshot
Modal Characterisations of Probabilistic and Fuzzy Bisimulations
inferred← citeshttps://doi.org/10.1007/978-3-319-22750-4_1openalex-snapshot
The Axiom of Choice and Some of Its Equivalents
inferred← citeshttps://doi.org/10.1007/978-3-319-22750-4_2openalex-snapshot
Categories
inferred← citeshttps://doi.org/10.1007/978-3-319-22750-4_3openalex-snapshot
Topological Spaces
inferred← citeshttps://doi.org/10.1007/978-3-319-22750-4_4openalex-snapshot
Measures for Probabilistic Systems
inferred← citeshttps://doi.org/10.1007/978-3-319-34096-8_5openalex-snapshot
Spatial Representations and Analysis Techniques
inferred← citeshttps://doi.org/10.1007/978-3-319-40370-0_5openalex-snapshot
Affine Monads and Side-Effect-Freeness
inferred← citeshttps://doi.org/10.1007/978-3-319-42900-7_1openalex-snapshot
Introduction
inferred← citeshttps://doi.org/10.1007/978-3-319-63121-9_6openalex-snapshot
Bicategories of Markov Processes
inferred← citeshttps://doi.org/10.1007/978-3-319-65765-3_10openalex-snapshot
Distribution-Based Bisimulation for Labelled Markov Processes
inferred← citeshttps://doi.org/10.1007/978-3-319-98938-9_17openalex-snapshot
Towards a Formal Notion of Impact Metric for Cyber-Physical Attacks
inferred← citeshttps://doi.org/10.1007/978-3-540-45187-7_32openalex-snapshot
Comparative Branching-Time Semantics for Markov Chains
inferred← citeshttps://doi.org/10.1007/978-3-540-85361-9_23openalex-snapshot
Least Upper Bounds for Probability Measures and Their Applications to Abstractions
inferred← citeshttps://doi.org/10.1007/978-3-642-04081-8_20openalex-snapshot
A Demonic Approach to Information in Probabilistic Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-15784-4_7openalex-snapshot
Continuous Time and/or Continuous Distributions
inferred← citeshttps://doi.org/10.1007/978-3-642-19718-5_5openalex-snapshot
Measure Transformer Semantics for Bayesian Machine Learning
inferred← citeshttps://doi.org/10.1007/978-3-642-22012-8_30openalex-snapshot
Modular Markovian Logic
inferred← citeshttps://doi.org/10.1007/978-3-642-23178-0_3openalex-snapshot
On Quantitative Security Policies
inferred← citeshttps://doi.org/10.1007/978-3-642-23217-6_8openalex-snapshot
Bisimulations Meet PCTL Equivalences for Probabilistic Automata
inferred← citeshttps://doi.org/10.1007/978-3-642-23217-6_9openalex-snapshot
A Spectrum of Behavioral Relations over LTSs on Probability Distributions
inferred← citeshttps://doi.org/10.1007/978-3-642-24310-3_7openalex-snapshot
Statistical Model Checking for Networks of Priced Timed Automata
inferred← citeshttps://doi.org/10.1007/978-3-642-27940-9_26openalex-snapshot
A General Framework for Probabilistic Characterizing Formulae
inferred← citeshttps://doi.org/10.1007/978-3-642-28729-9_29openalex-snapshot
On the Complexity of Computing Probabilistic Bisimilarity
inferred← citeshttps://doi.org/10.1007/978-3-642-29485-3_28openalex-snapshot
Dexter Kozen’s Influence on the Theory of Labelled Markov Processes
inferred← citeshttps://doi.org/10.1007/978-3-642-31585-5_23openalex-snapshot
Computing Game Metrics on Markov Decision Processes
inferred← citeshttps://doi.org/10.1007/978-3-642-32589-2_59openalex-snapshot
Taking It to the Limit: Approximate Reasoning for Markov Processes
inferred← citeshttps://doi.org/10.1007/978-3-642-32621-9_14openalex-snapshot
Minimization via Duality
inferred← citeshttps://doi.org/10.1007/978-3-642-32784-1_5openalex-snapshot
Structural Operational Semantics for Continuous State Probabilistic Processes
inferred← citeshttps://doi.org/10.1007/978-3-642-32940-1_29openalex-snapshot
Coalgebraic Trace Semantics for Probabilistic Transition Systems Based on Measure Theory
inferred← citeshttps://doi.org/10.1007/978-3-642-37075-5_11openalex-snapshot
A Proof System for Compositional Verification of Probabilistic Concurrent Processes
inferred← citeshttps://doi.org/10.1007/978-3-642-39718-9_1openalex-snapshot
Stochastic Pi-calculus Revisited
inferred← citeshttps://doi.org/10.1007/978-3-642-39721-9_2openalex-snapshot
Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems
inferred← citeshttps://doi.org/10.1007/978-3-642-40313-2_58openalex-snapshot
Strong Completeness for Markovian Logics
inferred← citeshttps://doi.org/10.1007/978-3-642-54830-7_22openalex-snapshot
Upper-Expectation Bisimilarity and Łukasiewicz μ-Calculus
inferred← citeshttps://doi.org/10.1007/978-3-662-44124-4_10openalex-snapshot
Lifting Adjunctions to Coalgebras to (Re)Discover Automata Constructions
inferred← citeshttps://doi.org/10.1007/978-3-662-45198-4openalex-snapshot
Semantics of Probabilistic Processes: An Operational Approach
inferred← citeshttps://doi.org/10.1007/978-3-662-45198-4_3openalex-snapshot
Probabilistic Bisimulation
inferred← citeshttps://doi.org/10.1007/978-3-662-45489-3_3openalex-snapshot
A Theory for the Semantics of Stochastic and Non-deterministic Continuous Systems
inferred← citeshttps://doi.org/10.1007/978-3-662-45489-3_5openalex-snapshot
Computing Behavioral Relations for Probabilistic Concurrent Systems
inferred← citeshttps://doi.org/10.1007/978-3-662-46669-8_1openalex-snapshot
Probabilistic Programs as Spreadsheet Queries
inferred← citeshttps://doi.org/10.1007/978-3-662-46678-0_15openalex-snapshot
Compositional Metric Reasoning with Probabilistic Process Calculi
inferred← citeshttps://doi.org/10.1007/978-3-662-49498-1_12openalex-snapshot
Probabilistic NetKAT
inferred← citeshttps://doi.org/10.1007/978-3-662-49498-1_20openalex-snapshot
Probabilistic Functions and Cryptographic Oracles in Higher Order Logic
inferred← citeshttps://doi.org/10.1007/978-3-662-49630-5_11openalex-snapshot
A Theory of Slicing for Probabilistic Control Flow Graphs
inferred← citeshttps://doi.org/10.1007/978-3-662-49674-9_9openalex-snapshot
Safety Verification of Continuous-Space Pure Jump Markov Processes
inferred← citeshttps://doi.org/10.1007/978-3-662-58387-6_17openalex-snapshot
A Fourier Analysis Based Attack Against Physically Unclonable Functions
inferred← citeshttps://doi.org/10.1007/978-981-19-3788-0_15openalex-snapshot
On the Laws of the Scatter Matrix Elements Probabilities Distribution
inferred← citeshttps://doi.org/10.1007/s00220-015-2495-5openalex-snapshot
Beyond Bell’s Theorem II: Scenarios with Arbitrary Causal Structure
inferred← citeshttps://doi.org/10.1007/s00220-021-04285-7openalex-snapshot
Continuous-Variable Nonlocality and Contextuality
inferred← citeshttps://doi.org/10.1007/s00500-021-06082-9openalex-snapshot
On MV-coalgebras over the category of BL-algebras
inferred← citeshttps://doi.org/10.1007/s10703-012-0147-3openalex-snapshot
Bisimulation and simulation algorithms on probabilistic transition systems by abstract interpretation
inferred← citeshttps://doi.org/10.1007/s10703-012-0167-zopenalex-snapshot
A compositional modelling and analysis framework for stochastic hybrid systems
inferred← citeshttps://doi.org/10.1007/s10703-013-0201-9openalex-snapshot
A modal characterization of alternating approximate bisimilarity
inferred← citeshttps://doi.org/10.1007/s11432-012-4750-0openalex-snapshot
The stochastic semantics and verification for periodic control systems
inferred← citeshttps://doi.org/10.1016/j.aim.2020.107239openalex-snapshot
A synthetic approach to Markov kernels, conditional independence and theorems on sufficient statistics
inferred← citeshttps://doi.org/10.1016/j.automatica.2022.110617openalex-snapshot
Automated verification and synthesis of stochastic hybrid systems: A survey
inferred← citeshttps://doi.org/10.1016/j.entcs.2004.09.018openalex-snapshot
Labelled Markov Processes: Stronger and Faster Approximations
inferred← citeshttps://doi.org/10.1016/j.entcs.2005.10.034openalex-snapshot
Partial Order Reduction for Probabilistic Branching Time
inferred← citeshttps://doi.org/10.1016/j.entcs.2005.12.078openalex-snapshot
Bisimulation and Simulation Relations for Markov Chains
inferred← citeshttps://doi.org/10.1016/j.entcs.2014.10.012openalex-snapshot
A Metrized Duality Theorem for Markov Processes
inferred← citeshttps://doi.org/10.1016/j.entcs.2015.12.014openalex-snapshot
Reversible Monadic Computing
inferred← citeshttps://doi.org/10.1016/j.entcs.2015.12.015openalex-snapshot
An Effect-Theoretic Account of Lebesgue Integration
inferred← citeshttps://doi.org/10.1016/j.entcs.2019.09.004openalex-snapshot
Bisimulation for Feller-Dynkin Processes
inferred← citeshttps://doi.org/10.1016/j.entcs.2020.09.004openalex-snapshot
Towards a Classification of Behavioural Equivalences in Continuous-time Markov Processes
inferred← citeshttps://doi.org/10.1016/j.entcs.2020.09.014openalex-snapshot
Hennessy-Milner Results for Probabilistic PDL
inferred← citeshttps://doi.org/10.1016/j.ic.2005.03.001openalex-snapshot
Comparative branching-time semantics for Markov chains
inferred← citeshttps://doi.org/10.1016/j.ic.2008.06.001openalex-snapshot
Characterize branching distance in terms of (η,α)-bisimilarity
inferred← citeshttps://doi.org/10.1016/j.ic.2010.11.024openalex-snapshot
Probabilistic Logical Characterization
inferred← citeshttps://doi.org/10.1016/j.ic.2010.12.005openalex-snapshot
A logical duality for underspecified probabilistic systems
inferred← citeshttps://doi.org/10.1016/j.ic.2013.12.003openalex-snapshot
Least upper bounds for probability measures and their applications to abstractions
inferred← citeshttps://doi.org/10.1016/j.ic.2016.02.009openalex-snapshot
The expectation monad in quantum foundations
inferred← citeshttps://doi.org/10.1016/j.ic.2019.04.002openalex-snapshot
Expressiveness of probabilistic modal logics: A gradual approach
inferred← citeshttps://doi.org/10.1016/j.ic.2020.104618openalex-snapshot
A probabilistic calculus of cyber-physical systems
inferred← citeshttps://doi.org/10.1016/j.ic.2020.104649openalex-snapshot
Bisimulation metrics and norms for real-weighted automata
inferred← citeshttps://doi.org/10.1016/j.jcss.2014.12.003openalex-snapshot
Structural operational semantics for continuous state stochastic transition systems
inferred← citeshttps://doi.org/10.1016/j.jcss.2017.05.014openalex-snapshot
Precisely deciding CSL formulas through approximate model checking for CTMCs
inferred← citeshttps://doi.org/10.1016/j.jcss.2017.09.011openalex-snapshot
SOS specifications for uniformly continuous operators
inferred← citeshttps://doi.org/10.1016/j.jlamp.2014.03.002openalex-snapshot
Algebraic properties of stochastic effectivity functions
inferred← citeshttps://doi.org/10.1016/j.jlamp.2015.09.002openalex-snapshot
Behavioural equivalences for coalgebras with unobservable moves
inferred← citeshttps://doi.org/10.1016/j.jlamp.2015.11.007openalex-snapshot
“Keep definition, change category” — A practical approach to state-based system calculi
inferred← citeshttps://doi.org/10.1016/j.jlamp.2016.11.006openalex-snapshot
From probability monads to commutative effectuses
inferred← citeshttps://doi.org/10.1016/j.jlamp.2017.02.001openalex-snapshot
A stochastic interpretation of game logic
inferred← citeshttps://doi.org/10.1016/j.jlamp.2018.03.004openalex-snapshot
When are stochastic transition systems tameable?
inferred← citeshttps://doi.org/10.1016/j.tcs.2003.09.013openalex-snapshot
Metrics for labelled Markov processes
inferred← citeshttps://doi.org/10.1016/j.tcs.2004.09.035openalex-snapshot
A behavioural pseudometric for probabilistic transition systems
inferred← citeshttps://doi.org/10.1016/j.tcs.2006.05.021openalex-snapshot
Approximating and computing behavioural distances in probabilistic transition systems
inferred← citeshttps://doi.org/10.1016/j.tcs.2011.05.008openalex-snapshot
Probabilistic systems coalgebraically: A survey
inferred← citeshttps://doi.org/10.1016/j.tcs.2011.12.055openalex-snapshot
Measurable stochastics for Brane Calculus
inferred← citeshttps://doi.org/10.1016/j.tcs.2015.03.047openalex-snapshot
Generic weakest precondition semantics from monads enriched with order
inferred← citeshttps://doi.org/10.1016/j.tcs.2019.09.019openalex-snapshot
The metric linear-time branching-time spectrum on nondeterministic probabilistic processes
inferred← citeshttps://doi.org/10.1016/j.tcs.2026.116069openalex-snapshot
Double glueing over free exponential: With measure theoretic applications
inferred← citeshttps://doi.org/10.1017/9781108770750.006openalex-snapshot
Probabilistic Couplings from Program Logics
inferred← citeshttps://doi.org/10.1017/9781316823187openalex-snapshot
Introduction to Coalgebra: Towards Mathematics of States and Observation
inferred← citeshttps://doi.org/10.1017/cbo9780511792588.008openalex-snapshot
Probabilistic bisimulation
inferred← citeshttps://doi.org/10.1017/s0960129518000269openalex-snapshot
Limits in categories of Vietoris coalgebras
inferred← citeshttps://doi.org/10.1017/s0960129518000464openalex-snapshot
Domains of commutative C*-subalgebras
inferred← citeshttps://doi.org/10.1017/s0960129518000488openalex-snapshot
Disintegration and Bayesian inversion via string diagrams
inferred← citeshttps://doi.org/10.1017/s0960129519000082openalex-snapshot
A channel-based perspective on conjugate priors
inferred← citeshttps://doi.org/10.1017/s0960129522000020openalex-snapshot
Bisimulation as a logical relation
inferred← citeshttps://doi.org/10.1017/s0960129523000099openalex-snapshot
Behavioural equivalences for continuous-time Markov processes
inferred← citeshttps://doi.org/10.1017/s0960129524000409openalex-snapshot
A classification of bisimilarities for general Markov decision processes
inferred← citeshttps://doi.org/10.1093/logcom/exaa066openalex-snapshot
Probability logic: A model-theoretic perspective
inferred← citeshttps://doi.org/10.1109/cdc.2012.6425860openalex-snapshot
Stochastic difference inclusions: Results on recurrence and asymptotic stability in probability
inferred← citeshttps://doi.org/10.1109/icece.2010.432openalex-snapshot
Research on Shooting Action of Soccer Robot Based on Genetic-Fuzzy Algorithm
inferred← citeshttps://doi.org/10.1109/lics.2000.855759openalex-snapshot
Approximating labeled Markov processes
inferred← citeshttps://doi.org/10.1109/lics.2003.1210074openalex-snapshot
Labeled Markov processes: stronger and faster approximations
inferred← citeshttps://doi.org/10.1109/lics.2013.13openalex-snapshot
Measurable Spaces and Their Effect Logic
inferred← citeshttps://doi.org/10.1109/lics.2013.38openalex-snapshot
Stone Duality for Markov Processes
inferred← citeshttps://doi.org/10.1109/lics.2015.49openalex-snapshot
Domains of Commutative C*-Subalgebras
inferred← citeshttps://doi.org/10.1109/lics.2017.8005091openalex-snapshot
Riesz Modal logic for Markov processes
inferred← citeshttps://doi.org/10.1109/lics.2017.8005152openalex-snapshot
Unrestricted stone duality for Markov processes
inferred← citeshttps://doi.org/10.1109/lics52264.2021.9470712openalex-snapshot
A Bunched Logic for Conditional Independence
inferred← citeshttps://doi.org/10.1109/qest.2005.4openalex-snapshot
An approximation algorithm for labelled Markov processes: towards realistic approximation
inferred← citeshttps://doi.org/10.1109/qest.2010.30openalex-snapshot
The Measurable Space of Stochastic Processes
inferred← citeshttps://doi.org/10.1109/qest.2012.30openalex-snapshot
On-the-Fly Algorithms for Bisimulation Metrics
inferred← citeshttps://doi.org/10.1109/tac.2014.2339991openalex-snapshot
A Recurrence Principle for Stochastic Difference Inclusions
inferred← citeshttps://doi.org/10.1109/tase.2014.35openalex-snapshot
Towards a Stochastic Occurrence-Based Modeling Approach for Stochastic CPSs
inferred← citeshttps://doi.org/10.1109/tase.2017.8285625openalex-snapshot
Bisimulations for probabilistic linear lambda calculi
inferred← citeshttps://doi.org/10.1109/tit.2025.3584695openalex-snapshot
Hidden Markov Models and the Bayes Filter in Categorical Probability
inferred← citeshttps://doi.org/10.1109/tse.2010.94openalex-snapshot
A Flowchart Language for Quantum Programming
inferred← citeshttps://doi.org/10.1137/10080484xopenalex-snapshot
Bisimulation Metrics for Continuous Markov Decision Processes
inferred← citeshttps://doi.org/10.1140/epjp/s13360-021-01427-7openalex-snapshot
Probabilistic morphisms and Bayesian nonparametrics
inferred← citeshttps://doi.org/10.1145/1838552.1838553openalex-snapshot
A counterexample-guided abstraction-refinement framework for markov decision processes
inferred← citeshttps://doi.org/10.1145/2535838.2535872openalex-snapshot
On coinductive equivalences for higher-order probabilistic functional programs
inferred← citeshttps://doi.org/10.1145/2537948openalex-snapshot
Approximating Markov Processes by Averaging
inferred← citeshttps://doi.org/10.1145/2641566openalex-snapshot
Logical Characterizations of Behavioral Relations on Transition Systems of Probability Distributions
inferred← citeshttps://doi.org/10.1145/2815493.2815501openalex-snapshot
Probabilistic bisimulation
inferred← citeshttps://doi.org/10.1145/2933575.2933610openalex-snapshot
Kolmogorov Extension, Martingale Convergence, and Compositionality of Processes
inferred← citeshttps://doi.org/10.1145/2933575.2934518openalex-snapshot
Quantitative Algebraic Reasoning
inferred← citeshttps://doi.org/10.1145/2933575.2934574openalex-snapshot
The Probabilistic Model Checking Landscape
inferred← citeshttps://doi.org/10.1145/2951913.2951942openalex-snapshot
A lambda-calculus foundation for universal probabilistic programming
inferred← citeshttps://doi.org/10.1145/3009837.3009843openalex-snapshot
Cantor meets Scott: semantic foundations for probabilistic networks
inferred← citeshttps://doi.org/10.1145/3022670.2951942openalex-snapshot
A lambda-calculus foundation for universal probabilistic programming
inferred← citeshttps://doi.org/10.1145/3178126.3178139openalex-snapshot
Bisimulations, logics, and trace distributions for stochastic systems with rewards
inferred← citeshttps://doi.org/10.1145/3209108.3209177openalex-snapshot
An Algebraic Theory of Markov Processes
inferred← citeshttps://doi.org/10.1145/3372895openalex-snapshot
A Theory of Slicing for Imperative Probabilistic Programs
inferred← citeshttps://doi.org/10.1145/3531130.3533355openalex-snapshot
Probability monads with submonads of deterministic states
inferred← citeshttps://doi.org/10.1145/3547651openalex-snapshot
On Feller continuity and full abstraction
inferred← citeshttps://doi.org/10.1145/3756907.3756927openalex-snapshot
An adequate while-language for stochastic hybrid computation
inferred← citeshttps://doi.org/10.1613/jair.1.11349openalex-snapshot
The Mathematics of Changing One’s Mind, via Jeffrey’s or via Pearl’s Update Rule
inferred← citeshttps://doi.org/10.2139/ssrn.5448115openalex-snapshot
From Darwin to Teleology: A Categorical Final--Cause Calculus for Evolution
inferred← citeshttps://doi.org/10.2139/ssrn.6875051openalex-snapshot
Stochastic Process Semantics for Probabilistic Programs: A Proper Extension of Kozen’s Denotational Framework
inferred← citeshttps://doi.org/10.2168/lmcs-8(2:17)2012openalex-snapshot
Efficient CSL Model Checking Using Stratification
inferred← citeshttps://doi.org/10.2168/lmcs-8(4:19)2012openalex-snapshot
Continuous Markovian Logics - Axiomatization and Quantified Metatheory
inferred← citeshttps://doi.org/10.2168/lmcs-9(2:7)2013openalex-snapshot
Bisimulations Meet PCTL Equivalences for Probabilistic Automata
inferred← citeshttps://doi.org/10.2168/lmcs-9(3:11)2013openalex-snapshot
Measure Transformer Semantics for Bayesian Machine Learning
inferred← citeshttps://doi.org/10.2168/lmcs-9(4:16)2013openalex-snapshot
Coalgebraic Trace Semantics for Continuous Probabilistic Transition Systems
inferred← citeshttps://doi.org/10.22028/d291-25945openalex-snapshot
Decision algorithms for probabilistic simulations
inferred← citeshttps://doi.org/10.23638/lmcs-16(1:6)2020openalex-snapshot
Probabilistic logics based on Riesz spaces
inferred← citeshttps://doi.org/10.3233/fi-2014-1019openalex-snapshot
The Measurable Space of Stochastic Processes
inferred← citeshttps://doi.org/10.3389/fcogn.2025.1623227openalex-snapshot
Commutativity of probabilistic belief revision
inferred← citeshttps://doi.org/10.4204/eptcs.100.6openalex-snapshot
Implementing the Stochastics Brane Calculus in a Generic Stochastic Abstract Machine
inferred← citeshttps://doi.org/10.4204/eptcs.103.4openalex-snapshot
Parameterized Metatheory for Continuous Markovian Logic
inferred← citeshttps://doi.org/10.4204/eptcs.194.5openalex-snapshot
A Definition Scheme for Quantitative Bisimulation
inferred← citeshttps://doi.org/10.4204/eptcs.318.12openalex-snapshot
Ontological models for quantum theory as functors
inferred← citeshttps://doi.org/10.4204/eptcs.397.11openalex-snapshot
Overdrawing Urns using Categories of Signed Probabilities
inferred← citeshttps://doi.org/10.4204/eptcs.40openalex-snapshot
Proceedings Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi 2010
inferred← citeshttps://doi.org/10.4204/eptcs.40.2openalex-snapshot
Measurable Stochastics for Brane Calculus
inferred← citeshttps://doi.org/10.4204/eptcs.95.12openalex-snapshot
The Expectation Monad in Quantum Foundations
inferred← citeshttps://doi.org/10.4230/lipics.concur.2015.427openalex-snapshot
On Coinduction and Quantum Lambda Calculi
inferred← citeshttps://doi.org/10.4230/lipics.concur.2020.27openalex-snapshot
Characteristic Logics for Behavioural Metrics via Fuzzy Lax Extensions
inferred← citeshttps://doi.org/10.4230/lipics.concur.2020.28openalex-snapshot
Monads and Quantitative Equational Theories for Nondeterminism and Probability
inferred← citeshttps://doi.org/10.4230/lipics.csl.2011.144openalex-snapshot
Continuous Markovian Logic - From Complete Axiomatization to the Metric Space of Formulas
inferred← citeshttps://doi.org/10.4230/lipics.fsttcs.2016.25openalex-snapshot
Probabilistic Mu-Calculus: Decidability and Complete Axiomatization
inferred← citeshttps://doi.org/10.4230/lipics.icalp.2017.105openalex-snapshot
Expressiveness of Probabilistic Modal Logics, Revisited
inferred← citeshttps://doi.org/10.46298/entics.12292openalex-snapshot
Propositional Logics for the Lawvere Quantale
inferred← citeshttps://doi.org/10.48550/arxiv.1310.4106openalex-snapshot
Weak bisimulations for labelled transition systems weighted over semirings
inferred← citeshttps://doi.org/10.48550/arxiv.1403.7745openalex-snapshot
Algebraic Properties of Stochastic Effectivity Functions
inferred← citeshttps://doi.org/10.48550/arxiv.1702.08017openalex-snapshot
Bisimulation Metrics for Weighted Automata
inferred← citeshttps://doi.org/10.48550/arxiv.1705.10165openalex-snapshot
(Metric) Bisimulation Games and Real-Valued Modal Logics for Coalgebras
inferred← citeshttps://doi.org/10.48550/arxiv.1711.02246openalex-snapshot
A Theory of Slicing for Probabilistic Control-Flow Graphs
inferred← citeshttps://doi.org/10.48550/arxiv.1806.10463openalex-snapshot
Towards a formal notion of impact metric for cyber-physical attacks (full version)
inferred← citeshttps://doi.org/10.48550/arxiv.1905.06406openalex-snapshot
A Development of Continuous-Time Transfer Entropy
inferred← citeshttps://doi.org/10.48550/arxiv.1910.04383openalex-snapshot
Causality and deceit: Do androids watch action movies?
inferred← citeshttps://doi.org/10.48550/arxiv.1910.12198openalex-snapshot
Effectuses in Categorical Quantum Foundations
inferred← citeshttps://doi.org/10.48550/arxiv.2008.13252openalex-snapshot
Differentiation of measures on complete Riemannian manifolds
inferred← citeshttps://doi.org/10.5287/ora-y0bamqrpdopenalex-snapshot
Automated quantitative software verification
inferred← citeshttps://doi.org/10.5555/3329995.3330026openalex-snapshot
Riesz modal logic for Markov processes
inferred← citeshttps://doi.org/10.5555/3329995.3330087openalex-snapshot
Unrestricted stone duality for Markov processes
Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.