Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Joost-Pieter Katoen

Deciding Probabilistic Simulation Between Probabilistic Pushdown Automata and Finite-State Systems

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

Rule-Based Conditioning of Probabilistic Data

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Shepherding Hordes of Markov Chains

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

Quantitative Timed Analysis of Interactive Markov Chains

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Libalf: The Automata Learning Framework

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

One Net Fits All

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Process Algebra for Performance Evaluation

Theoretical Computer Science
Computer ScienceTheoretical Computer Science
2002English

Comparative Branching-Time Semantics for Markov Chains

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

Compositional Modeling and Minimization of Time-Inhomogeneous Markov Chains

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
English

On the Logical Characterisation of Performability Properties

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2000English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy