Author Search Results

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

1

Cover Image

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 Sof...

Published 2017

Other Authors: '; “...Esparza, Javier....”
Get full text

2

Cover Image

Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part II / edited by Javier Esparza, Pierre Fraign...

Published 2014

Other Authors: '; “...Esparza, Javier....”
Get full text

3

Cover Image

Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I / edited by Javier Esparza, Pierre Fraigni...

Published 2014

Other Authors: '; “...Esparza, Javier....”
Get full text

4

Cover Image

Automated Technology for Verification and Analysis 17th International Symposium, ATVA 2019, Taipei, Taiwan, October 28–31, 2019, Proceedings / edited by Yu-Fang Chen, Chih-Hong Che...

Published 2019

Other Authors: '; “...Esparza, Javier....”
Get full text