The following pages link to Radu Mardare (Q283760):
Displayed 50 items.
- Adequacy and complete axiomatization for timed modal logic (Q283762) (← links)
- A metrized duality theorem for Markov processes (Q283765) (← links)
- Concurrent weighted logic (Q890620) (← links)
- Weighted branching systems: behavioural equivalence, behavioural distance, and their logical characterisations (Q1631225) (← links)
- Timed comparisons of semi-Markov processes (Q1647713) (← links)
- A complete approximation theory for weighted transition systems (Q1660779) (← links)
- On the metric-based approximate minimization of Markov chains (Q1785848) (← links)
- On decidability of recursive weighted logics (Q1797779) (← links)
- Complete axiomatization for the total variation distance of Markov chains (Q2130580) (← links)
- Complete proof systems for weighted modal logic (Q2253184) (← links)
- A multiset-based model of synchronizing agents: Computability and robustness (Q2474434) (← links)
- Converging from Branching to Linear Metrics on Markov Chains (Q2787435) (← links)
- Computing Behavioral Distances, Compositionally (Q2849899) (← links)
- Strong Completeness for Markovian Logics (Q2849951) (← links)
- Stochastic Pi-calculus Revisited (Q2851897) (← links)
- Combining Epistemic Logic and Hennessy-Milner Logic (Q2897954) (← links)
- Taking It to the Limit: Approximate Reasoning for Markov Processes (Q2912766) (← links)
- (Q2915679) (← links)
- A Decidable Recursive Logic for Weighted Transition Systems (Q2938181) (← links)
- On the Total Variation Distance of Semi-Markov Chains (Q2949439) (← links)
- Modular Markovian Logic (Q3012934) (← links)
- AN OBSERVER-BASED DE-QUANTISATION OF DEUTSCH'S ALGORITHM (Q3076612) (← links)
- Decidability and Expressiveness of Recursive Weighted Logic (Q3455072) (← links)
- Decidability of Modular Logics for Concurrency (Q3457984) (← links)
- A LOGICAL CHARACTERIZATION OF ROBUSTNESS, MUTANTS AND SPECIES IN COLONIES OF AGENTS (Q3542879) (← links)
- Partial Knowledge in Membrane Systems: A Logical Approach (Q3591028) (← links)
- A Complete Axiomatic System for a Process-Based Spatial Logic (Q3599152) (← links)
- Observing Distributed Computation. A Dynamic-Epistemic Approach (Q3612502) (← links)
- Decidable Extensions of Hennessy-Milner Logic (Q3613068) (← links)
- (Q4558787) (← links)
- (Q4558788) (← links)
- Converging from branching to linear metrics on Markov chains (Q4559599) (← links)
- (Q4608673) (← links)
- Quantitative Algebraic Reasoning (Q4635933) (← links)
- (Q4636572) (← links)
- (Q4681304) (← links)
- (Q4683857) (← links)
- Continuous Markovian Logics - Axiomatization and Quantified Metatheory (Q4899119) (← links)
- (Q5111436) (← links)
- (Q5144649) (← links)
- An Algebraic Theory of Markov Processes (Q5145344) (← links)
- Quantitative Equational Reasoning (Q5150954) (← links)
- Parametric Verification of Weighted Systems (Q5240155) (← links)
- Stone Duality for Markov Processes (Q5271069) (← links)
- (Q5278079) (← links)
- On-the-Fly Exact Computation of Bisimilarity Distances (Q5326310) (← links)
- Analysing Biochemical Oscillation through Probabilistic Model Checking (Q5404071) (← links)
- The Measurable Space of Stochastic Processes (Q5415286) (← links)
- Bisimulation on Markov Processes over Arbitrary Measurable Spaces (Q5418956) (← links)
- Computational Methods in Systems Biology (Q5712418) (← links)