Stefan Kiefer

From MaRDI portal
Person:396601

Available identifiers

zbMath Open kiefer.stefanMaRDI QIDQ396601

List of research outcomes

PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q61870682024-02-05Paper
https://portal.mardi4nfdi.de/entity/Q61342552023-08-21Paper
https://portal.mardi4nfdi.de/entity/Q61760972023-08-21Paper
Linear-Time Model Checking Branching Processes2023-08-21Paper
Markov chains and unambiguous automata2023-06-12Paper
Image-binary automata2022-11-09Paper
https://portal.mardi4nfdi.de/entity/Q50941252022-08-02Paper
On the Sequential Probability Ratio Test in Hidden Markov Models2022-07-28Paper
On the Complexity of Value Iteration2022-07-21Paper
https://portal.mardi4nfdi.de/entity/Q50923202022-07-21Paper
https://portal.mardi4nfdi.de/entity/Q50924462022-07-21Paper
On Affine Reachability Problems2022-07-18Paper
https://portal.mardi4nfdi.de/entity/Q50893062022-07-18Paper
https://portal.mardi4nfdi.de/entity/Q50893082022-07-18Paper
On finite monoids over nonnegative integer matrices and short killing words2022-07-18Paper
On complementing unambiguous automata and graphs with many cliques and cocliques2022-06-03Paper
Strategy Complexity of Reachability in Countable Stochastic 2-Player Games2022-03-22Paper
https://portal.mardi4nfdi.de/entity/Q50094342021-08-04Paper
On Computing the Total Variation Distance of Hidden Markov Models.2021-07-28Paper
On Nonnegative Integer Matrices and Short Killing Words2021-06-10Paper
Selective monitoring2021-02-02Paper
https://portal.mardi4nfdi.de/entity/Q51446362021-01-19Paper
https://portal.mardi4nfdi.de/entity/Q51446462021-01-19Paper
https://portal.mardi4nfdi.de/entity/Q51446812021-01-19Paper
Trace Refinement in Labelled Markov Decision Processes2020-06-26Paper
Counting problems for parikh images2020-05-26Paper
On the Size of Finite Rational Matrix Semigroups2019-09-09Paper
Markov Chains and Unambiguous Büchi Automata2019-05-03Paper
B\"uchi Objectives in Countable MDPs2019-04-25Paper
https://portal.mardi4nfdi.de/entity/Q45587842018-11-30Paper
On Rationality of Nonnegative Matrix Factorization2018-07-16Paper
Zero-reachability in probabilistic multi-counter automata2018-04-23Paper
On the total variation distance of labelled Markov chains2018-04-23Paper
Long-Run Average Behaviour of Probabilistic Vector Addition Systems2018-04-23Paper
On Restricted Nonnegative Matrix Factorization2017-12-19Paper
https://portal.mardi4nfdi.de/entity/Q45982452017-12-19Paper
Nonnegative Matrix Factorization Requires Irrationality2017-07-21Paper
Bisimilarity of Pushdown Automata is Nonelementary2017-07-03Paper
Minimisation of Multiplicity Tree Automata2017-05-08Paper
Bisimilarity of Probabilistic Pushdown Automata2017-01-26Paper
Trace Refinement in Labelled Markov Decision Processes2016-06-10Paper
The complexity of the \(K\)th largest subset problem and related problems2015-12-01Paper
The Odds of Staying on Budget2015-11-04Paper
Minimisation of Multiplicity Tree Automata2015-10-01Paper
Efficient Analysis of Probabilistic Programs with an Unbounded Counter2015-08-14Paper
Runtime analysis of probabilistic programs with unbounded recursion2014-09-22Paper
A strongly polynomial algorithm for criticality of branching processes and consistency of stochastic context-free grammars2014-08-13Paper
Language equivalence of probabilistic pushdown automata2014-07-18Paper
Stability and Complexity of Minimising Probabilistic Automata2014-07-01Paper
Analyzing probabilistic pushdown automata2014-06-30Paper
Algorithmic probabilistic game semantics. Playing games with automata2014-06-30Paper
Analysis of Probabilistic Basic Parallel Processes2014-04-16Paper
On the Complexity of Equivalence and Minimisation for Q-weighted Automata2013-04-09Paper
Parikh's theorem: a simple and direct automaton construction2013-03-28Paper
Three tokens in Herman's algorithm2013-03-22Paper
BPA bisimilarity is EXPTIME-hard2013-03-20Paper
Convergence Thresholds of Newton's Method for Monotone Polynomial Equations2013-03-19Paper
On the memory consumption of probabilistic pushdown automata2012-10-24Paper
Model Checking Stochastic Branching Processes2012-09-25Paper
https://portal.mardi4nfdi.de/entity/Q29047892012-08-23Paper
On the Complexity of the Equivalence Problem for Probabilistic Automata2012-06-22Paper
Space-efficient scheduling of stochastically generated tasks2012-05-24Paper
COMPUTING LEAST FIXED POINTS OF PROBABILISTIC SYSTEMS OF POLYNOMIALS2012-01-23Paper
Derivation tree analysis for accelerated fixed-point computation2011-07-07Paper
Runtime Analysis of Probabilistic Programs with Unbounded Recursion2011-07-07Paper
On Stabilization in Herman’s Algorithm2011-07-07Paper
On Probabilistic Parallel Programs with Process Creation and Synchronisation2011-05-19Paper
Newtonian program analysis2011-05-16Paper
Computing the Least Fixed Point of Positive Polynomial Systems2011-01-17Paper
Space-Efficient Scheduling of Stochastically Generated Tasks2010-09-07Paper
https://portal.mardi4nfdi.de/entity/Q51907742009-07-27Paper
https://portal.mardi4nfdi.de/entity/Q36204282009-04-14Paper
Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains2009-03-31Paper
https://portal.mardi4nfdi.de/entity/Q35496162009-01-05Paper
Derivation Tree Analysis for Accelerated Fixed-Point Computation2008-10-30Paper
Approximative Methods for Monotone Systems of Min-Max-Polynomial Equations2008-08-28Paper
Newton’s Method for ω-Continuous Semirings2008-08-19Paper
An Extension of Newton’s Method to ω-Continuous Semirings2007-11-28Paper
On Fixed Point Equations over Commutative Semirings2007-09-03Paper
Tools and Algorithms for the Construction and Analysis of Systems2007-05-02Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Stefan Kiefer