Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

Javier Esparza | lit.salon

Author

Javier Esparza

11 works

1993–2023 across 11 dated works

No biography is available yet.

Start with

On the decidability of model checking for several (mu)-calculi and Petri nets1993
Application and Theory of Petri Nets 2002 23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002. Proceedings2003
With Charles Lakos
Free Choice Petri Nets (Cambridge Tracts in Theoretical Computer Science)2005
With Jorg Desel
Unfoldings: a partial-order approach to model checking2008

Books

11 works

Featured (11)Featured (11)All (11)All (11)

Search booksSort books

Finite and algorithmic model theory2011
6 editions
shelves
0
reviews
0
lists
0
quotes
0
Unfoldings: a partial-order approach to model checking2008
4 editions
shelves
0
reviews
0
lists
0
quotes
0
Free Choice Petri Nets (Cambridge Tracts in Theoretical Computer Science)2005
With Jorg Desel
3 editions
shelves
0
reviews
0
lists
0
quotes
0
Finite and algorithmic model theory2011
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Foundations of Software Science and Computation Structures 20th International Conference, FOSSACS 2017, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings2017
With Andrzej S. Murawski
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held As Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-29, 2010, Proceedings2010
With Rupak Majumdar
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Application and Theory of Petri Nets 2002 23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002. Proceedings2003
With Charles Lakos
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Automata Theory An Algorithmic Approach2023
With Michael Blondin
1 edition
shelves
0
reviews
0
lists
0
quotes
0
Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I2014
With Pierre Fraigniaud, Thore Husfeldt, Elias Koutsoupias
4 editions
shelves
0
reviews
0
lists
0
quotes
0
Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings2019
With Yu-Fang Chen, Chih-Hong Cheng
1 edition
shelves
0
reviews
0
lists
0
quotes
0
On the decidability of model checking for several (mu)-calculi and Petri nets1993
1 edition
shelves
0
reviews
0
lists
0
quotes
0

End of results

Readers in conversation

Around the salon

Public notes, reviews, lists, and conversations around Javier Esparza.

The conversation is still open.

There is no public salon activity to show for Javier Esparza yet.