Computer Science – Numerical Analysis
Scientist
Computer Science
Numerical Analysis
Scientist
Computing Least Fixed Points of Probabilistic Systems of Polynomials
Computing the Least Fixed Point of Positive Polynomial Systems
Convergence Thresholds of Newton's Method for Monotone Polynomial Equations
Efficient Analysis of Probabilistic Programs with an Unbounded Counter
Interprocedural Dataflow Analysis over Weight Domains with Infinite Descending Chains
No associations
LandOfFree
Stefan Kiefer does not yet have a rating. At this time, there are no reviews or comments for this scientist.
If you have personal experience with Stefan Kiefer, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Stefan Kiefer will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-P-17340