Javier Esparza

Francisco Javier Esparza Estaun (born 27 April 1964 in Pamplona, Spain) is a Spanish computer scientist. He is a professor at the Technical University of Munich. Provided by Wikipedia
Showing 1 - 9 results of 9 for search 'Esparza, Javier', query time: 0.03s Refine Results
  1. 1
    Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings
    by Esparza, Javier
    Published 2010
    Get full text
    Electronic Kit Book
  2. 2
    Unfoldings A Partial-Order Approach to Model Checking /
    by Esparza, Javier, Heljanko, Keijo
    Published 2008
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Free choice Petri Nets
    by Desel, Jorg, Esparza, Javier
    Published 1995
    Book
  4. 4
    Application and Theory of Petri Nets 2002 23rd International Conference, ICATPN 2002, Adelaide, Australia, June 24-30, 2002. Proceedings /
    Published 2002
    Other Authors: “…Esparza, Javier…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    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, Proceedings /
    Published 2017
    Other Authors: “…Esparza, Javier…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 6
    Tools and Algorithms for the Construction and Analysis of Systems 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings /
    Published 2010
    Other Authors: “…Esparza, Javier…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 7
    Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28-31, 2019, Proceedings /
    Published 2019
    Other Authors: “…Esparza, Javier…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 8
    Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I /
    Published 2014
    Other Authors: “…Esparza, Javier…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 9
    Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II /
    Published 2014
    Other Authors: “…Esparza, Javier…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search