Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Christel Baier

Ensuring the Reliability of Your Model Checker: Interval Iteration for Markov Decision Processes

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2017English

Partial and Conditional Expectations in Markov Decision Processes With Integer Weights

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Probabilistic Model Checking and Non-Standard Multi-Objective Reasoning

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Comparative Branching-Time Semantics for Markov Chains

Information and Computation
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
2005English

On the Logical Characterisation of Performability Properties

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2000English

Norm Functions for Probabilistic Bisimulations With Delays

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2000English

Model Checking Meets Performance Evaluation

Performance Evaluation Review
HardwareComputer NetworksSoftwareArchitectureCommunications
2005English

How to Interpret and Establish Consistency Results for Semantics of Concurrent Programming Languages

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
1997English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy