G. Delzanno, J. Esparza, and A. Podelski. Constraint-based analysis of broadcast protocols. In Proceedings of CSL '99, number 1683 in Lecture Notes in Computer Science, pages 50–66, 1999.	GZipped PostScript (98 kB) PDF (271 kB) Info
J. Esparza, A. Finkel, and R. Mayr. On the verification of broadcast protocols. In Proceedings of LICS '99, pages 352–359. IEEE Computer Society, 1999.	GZipped PostScript (90 kB) PDF (201 kB) Info
J. Esparza and J. Knoop. An automata-theoretic approach to interprocedural dataflow analysis. In W. Thomas, editor, Proceedings von FOSSACS'99, number 1578 in Lecture Notes in Computer Science, pages 14–30, 1999.	GZipped PostScript (103 kB) PDF (278 kB) Info
J. Esparza, J.L. Lopez, and J. Sesma. Zeros of the Whittaker function associated to Coulomb waves. IMA Journal of Applied Mathematics, 63(1):71–88, 1999.	Info
J. Esparza and S. Römer. An unfolding algorithm for synchronous products of transition systems. In Proc. of CONCUR'99, number 1664 in Lecture Notes in Computer Science, pages 2–20. Springer-Verlag, 1999.	GZipped PostScript (194 kB) PDF (179 kB) Info
P. Jančar, J. Esparza, and F. Moller. Petri nets and regular behaviours. Journal of Computer and System Sciences, 59(3):476–503, 1999.	GZipped PostScript (82 kB) PDF (285 kB) Info
A. Kučera and J. Esparza. A logical viewpoint on process-algebraic quotients. In Proc. of CSL'99, number 1683 in Lecture Notes in Computer Science, pages 499–514. Springer-Verlag, 1999.	GZipped PostScript (63 kB) PDF (155 kB) Info Journal version
C. Röckl and J. Esparza. Proof-checking protocols using bisimulations. In J. C. M. Baeten and S. Mauw, editors, Proc. of CONCUR'99, number 1664 in Lecture Notes in Computer Science, pages 525–540. Springer-Verlag, 1999.	GZipped PostScript (194 kB) PDF (179 kB) Info
Bodin E.V., Kozura V.E., and Shilov N.V. Experiments with model checking for mu-calculus in specification and verification project real. In Proc. of Fifth New Zealand Formal Program Development Colloquium, 22 January 1999, pages 1–18, 1999.	Info