PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Esparza, Javier"

Author of the publication

copydeleteadd this publication to your clipboard
Constraint-Based Analysis of Broadcast Protocols.

, , and . CSL, volume 1683 of Lecture Notes in Computer Science, page 50-66. Springer, (1999)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Javier Aguilar Romero University of Stuttgart

Andres Javier Zeller University of Stuttgart

Javier Andres Carrillo Delcorto University of Stuttgart

 

Other publications of authors with the same name

Traps Characterize Home States in Free Choice Systems., , and . Theor. Comput. Sci., 101 (2): 161-176 (1992)Petri Nets, Commutative Context-Free Grammars, and Basic Parallel Processes.. Fundam. Inform., 31 (1): 13-25 (1997)Shortest Paths in Reachability Graphs., and . J. Comput. Syst. Sci., 51 (2): 314-323 (1995)A negative result on depth-first net unfoldings., , and . STTT, 10 (2): 161-166 (2008)A Polynomial-Time Algorithm for Checking Consistency of Free-Choice Signal Transition Graphs.. ACSD, page 61-70. IEEE Computer Society, (2003)On the analysis and synthesis of free choice systems., and . Applications and Theory of Petri Nets, volume 483 of Lecture Notes in Computer Science, page 243-286. Springer, (1989)Reduction Rules for Colored Workflow Nets., and . FASE, volume 9633 of Lecture Notes in Computer Science, page 342-358. Springer, (2016)Convergence Thresholds of Newton's Method for Monotone Polynomial Equations., , and . STACS, volume 1 of LIPIcs, page 289-300. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, (2008)On the convergence of Newton's method for monotone systems of polynomial equations., , and . STOC, page 217-226. ACM, (2007)Model Checking Probabilistic Pushdown Automata., , and . LICS, page 12-21. IEEE Computer Society, (2004)