Computer Science – Numerical Analysis
Scientist
Computer Science
Numerical Analysis
Scientist
A Perfect Model for Bounded Verification
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
Deterministic Automata for the (F,G)-fragment of LTL
No associations
LandOfFree
Javier Esparza does not yet have a rating. At this time, there are no reviews or comments for this scientist.
If you have personal experience with Javier Esparza, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Javier Esparza will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-P-17336