Joachim Klein - Citegraph

Author Info

Name	Affiliation	Papers
JOACHIM KLEIN	Institute of Theoretical Computer Science, Dresden University of Technology, 01062 Dresden Germany	20
Collaborators	Citations	PageRank
29	118	9.33
Referers	Referees	References
169	501	401

Search Limit

100501

Publications (20 rows)

Collaborators (29 rows)

Referers (100 rows)

Referees (100 rows)

Title	Citations	PageRank	Year
Parametric Markov chains: PCTL complexity and fraction-free Gaussian elimination	3	0.37	2020
From LTL to Unambiguous Büchi Automata via Disambiguation of Alternating Automata.	0	0.34	2019
Advances in probabilistic model checking with PRISM: variable reordering, quantiles and weak deterministic Büchi automata.	5	0.38	2018
Ensuring The Reliability Of Your Model Checker: Interval Iteration For Markov Decision Processes	8	0.43	2017
Computing Conditional Probabilities: Implementation and Evaluation.	0	0.34	2017
Maximizing the Conditional Expected Reward for Reaching the Goal.	5	0.38	2017
Markov Chains And Unambiguous Buchi Automata	0	0.34	2016
Modeling Role-Based Systems with Exogenous Coordination.	0	0.34	2016
Advances in Symbolic Probabilistic Model Checking with PRISM.	7	0.41	2016
The Hanoi Omega-Automata Format	13	0.55	2015
Locks: Picking key methods for a scalable quantitative analysis.	4	0.39	2015
Synthesis of Reo Connectors for Strategies and Controllers	7	0.47	2014
Weight monitoring with linear temporal logic: complexity and decidability	19	0.76	2014
Probabilistic Model Checking for Energy-Utility Analysis.	8	0.47	2014
Waiting for Locks: How Long Does It Usually Take?	8	0.53	2012
Hierarchical modeling and formal verification: an industrial case study using Reo and Vereofy	3	0.38	2011
Modeling and Verification of Components and Connectors.	7	0.47	2011
A compositional framework for controller synthesis	8	0.51	2011
On-the-Fly Stuttering in the Construction of Deterministic omega -Automata	0	0.34	2007
Experiments with Deterministic omega-Automata for Formulas of Linear Temporal Logic.	13	1.14	2006