1. Esparza, J., Kiefer, S., Luttenberger, M.: An extension of Newton’s method to ω-continuous semirings. Technical report, Universität Stuttgart (2007)
2. Lecture Notes in Computer Science;J. Esparza,2007
3. Esparza, J., Kučera, A., Mayr, R.: Quantitative analysis of probabilistic pushdown automata: Expectations and variances. In: Proceedings of LICS 2005, pp. 117–126. IEEE Computer Society Press, Los Alamitos (2005)
4. Esparza, J., Kučera, A., Mayr, R.: Model checking probabilistic pushdown automata. In: LICS 2004, IEEE Computer Society Press, Los Alamitos (2004)
5. Etessami, K., Yannakakis, M.: Recursive Markov chains, stochastic grammars, and monotone systems of nonlinear equations. In: STACS, pp. 340–352 (2005)