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 - 20 results of 36 for search 'Esparza, Javier', query time: 0.08s Refine Results
In addition to media from the THWS, media from other Bavarian libraries are also displayed.
These are marked with the "Interlibrary loan" label and can be ordered by clicking on them.
  1. 1
    Dependable software systems engineering /

    Dependable software systems engineering /

    Published 2016
    Other Authors: “…Esparza, Javier…”
    Get full text
    Electronic Conference Proceeding eBook


    Saved in:
  2. 2
    Finite and algorithmic model theory /

    Finite and algorithmic model theory /

    Published 2011
    Other Authors: “…Esparza, Javier…”
    Get full text
    Electronic eBook


    Saved in:
  3. 3
    Logics and languages for reliability and security /

    Logics and languages for reliability and security /

    Published 2010
    Other Authors: “…Esparza, Javier…”

    Get full text Get full text
    Electronic Conference Proceeding eBook


    Saved in:
  4. 4
    Unfoldings A Partial-Order Approach to Model Checking

    Unfoldings A Partial-Order Approach to Model Checking by Esparza, Javier 1964-, Heljanko, Keijo

    Published 2008
    Book Interlibrary loan Place Request


    Saved in:
  5. 5
    Reachibility in live and safe free-choice Petri nets is NP-complete

    Reachibility in live and safe free-choice Petri nets is NP-complete by Esparza, Javier 1964-

    Published 1996
    Book Interlibrary loan Place Request


    Saved in:
  6. 6
    Checking system properties via integer programming

    Checking system properties via integer programming by Melzer, Stefan, Esparza, Javier 1964-

    Published 1995
    Book Interlibrary loan Place Request


    Saved in:
  7. 7
    On the decidability of model checking for several my-calculi and Petri nets

    On the decidability of model checking for several my-calculi and Petri nets by Esparza, Javier 1964-

    Published 1993
    Book Interlibrary loan Place Request


    Saved in:
  8. 8
    Handles in Petri nets

    Handles in Petri nets by Esparza, Javier 1964-, Silva, Manuel

    Published 1991
    Book Interlibrary loan Place Request


    Saved in:
  9. 9
    Reduction and synthesis of live and bounded free choice Petri nets

    Reduction and synthesis of live and bounded free choice Petri nets by Esparza, Javier 1964-

    Published 1991
    Book Interlibrary loan Place Request


    Saved in:
  10. 10
    Model checking of persistent Petri nets

    Model checking of persistent Petri nets by Best, Eike 1951-, Esparza, Javier 1964-

    Published 1991
    Book Interlibrary loan Place Request


    Saved in:
  11. 11
    Automata theory an algorithmic approach

    Automata theory an algorithmic approach by Esparza, Javier 1964-, Blondin, Michael 1968-

    Published 2023
    Get full text
    Electronic eBook Interlibrary loan Place Request


    Saved in:
  12. 12
    Free choice Petri nets

    Free choice Petri nets by Desel, Jörg 1959-, Esparza, Javier 1964-

    Published 2005
    Book Interlibrary loan Place Request


    Saved in:
  13. 13
    Model checking LTL using constraint programming

    Model checking LTL using constraint programming by Esparza, Javier 1964-, Melzer, Stephan

    Published 1997
    Book Interlibrary loan Place Request


    Saved in:
  14. 14
    Free choice Petri nets

    Free choice Petri nets by Desel, Jörg 1959-, Esparza, Javier 1964-

    Published 1995
    Book Interlibrary loan Place Request


    Saved in:
  15. 15
    An effective tableau system for the linear time mu calculus

    An effective tableau system for the linear time mu calculus by Bradfield, Julian 1964-, Esparza, Javier 1964-, Mader, Angelika

    Published 1995
    Book Interlibrary loan Place Request


    Saved in:
  16. 16
    Decidability of model checking for infinite state concurrent systems

    Decidability of model checking for infinite state concurrent systems by Esparza, Javier 1964-

    Published 1994
    Book Interlibrary loan Place Request


    Saved in:
  17. 17
    Operational semantics for the Petri Box Calculus

    Operational semantics for the Petri Box Calculus by Koutny, Maciej, Esparza, Javier 1964-, Best, Eike 1951-

    Published 1993
    Book Interlibrary loan Place Request


    Saved in:
  18. 18
    Model checking using net unfoldings

    Model checking using net unfoldings by Esparza, Javier 1964-

    Published 1992
    Book Interlibrary loan Place Request


    Saved in:
  19. 19
    Reachability in reversible free-choice systems

    Reachability in reversible free-choice systems by Desel, Jörg 1959-, Esparza, Javier 1964-

    Published 1990
    Book Interlibrary loan Place Request


    Saved in:
  20. 20
    Minimal deadlocks in free choice nets

    Minimal deadlocks in free choice nets by Esparza, Javier 1964-, Best, Eike 1951-, Silva, Manuel

    Published 1989
    Book Interlibrary loan Place Request


    Saved in:

Search Tools: