Javier Esparza (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Javier Esparza" in English language version.

refsWebsite

Global rank English rank

7tum.de

7,448^th place

9,770^th place

4doi.org

2^nd place

2springer.com

274^th place

309^th place

2ae-info.org

low place

1scholar.google.com

1,697^th place

1,040^th place

1semanticscholar.org

11^th place

8^th place

1mcmil.net

low place

1uni-trier.de

7,690^th place

low place

1usherbrooke.ca

5,845^th place

low place

1uni-stuttgart.de

7,949^th place

7,411^th place

1europa.eu

68^th place

117^th place

1muni.cz

2,963^rd place

6,401^st place

1lacl.fr

low place

ae-info.org

"Javier Esparza". Academia Europaea. Retrieved 2021-04-26.
"Javier Esparza - Curriculum Vitae". Academia Europaea. Retrieved 2021-04-26.

doi.org

Esparza J., Silva M. (1991) On the analysis and synthesis of free choice systems. Lecture Notes in Computer Science, vol 483. Springer, Berlin, Heidelberg. 1991. pp. 243–286. doi:10.1007/3-540-53863-1_28. ISBN 9783540463696. Retrieved 2021-04-29.
Esparza, Javier (December 1994). "Model checking using net unfoldings". Science of Computer Programming. 23 (2): 151–195. doi:10.1016/0167-6423(94)00019-0. S2CID 29311587.
"jMoped". doi:10.1007/978-3-540-31980-1_35. {{cite journal}}: Cite journal requires |journal= (help)
Rabinizer. doi:10.1007/978-3-642-33386-6_7. ISBN 9783642333866. Retrieved 2021-04-30.

europa.eu

erc.europa.eu

"ERC funded projects". European Research Council. Retrieved 2021-04-26.

lacl.fr

qonfest2021.lacl.fr

"Concur Test of Time Awards". Qonfest conference website. Retrieved 2021-04-26.

mcmil.net

"Kenneth L. McMillan". Wordpress. Retrieved 2021-04-30.

muni.cz

"Javier Esparza–Honorary Doctorates conferred by MU". Masaryk University. Retrieved 2021-04-26.

scholar.google.com

"Citations in Google Scholar". Google Scholar. Retrieved 2021-04-29.

semanticscholar.org

api.semanticscholar.org

Esparza, Javier (December 1994). "Model checking using net unfoldings". Science of Computer Programming. 23 (2): 151–195. doi:10.1016/0167-6423(94)00019-0. S2CID 29311587.

springer.com

link.springer.com

Esparza J., Silva M. (1991) On the analysis and synthesis of free choice systems. Lecture Notes in Computer Science, vol 483. Springer, Berlin, Heidelberg. 1991. pp. 243–286. doi:10.1007/3-540-53863-1_28. ISBN 9783540463696. Retrieved 2021-04-29.
Rabinizer. doi:10.1007/978-3-642-33386-6_7. ISBN 9783642333866. Retrieved 2021-04-30.

tum.de

paves.model.in.tum.de

"Best paper award Petri Nets". PaVeS website. Retrieved 2021-04-26.
"Best paper award Petri Nets". PaVeS website. Retrieved 2023-05-20.
"Best paper award for Paves at SAND'22". PaVeS website. Retrieved 2023-05-20.

people.model.in.tum.de

"Curriculum vitae" (PDF). Technische Universität München. Retrieved 2021-04-29.

strix.model.in.tum.de

"Strix". Technische Universität München. Retrieved 2021-04-30.

peregrine.model.in.tum.de

"Peregrine". Technische Universität München. Retrieved 2021-04-30.

mpi.fs.tum.de

"TechInf Award (Informatik)". Fachschaft Mathematik, Physik, Informatik der TUM. Retrieved 2021-04-26.

uni-stuttgart.de

www2.informatik.uni-stuttgart.de

"Moped". Universität Stuttgart. Retrieved 2021-04-30.

uni-trier.de

dblp.uni-trier.de

"DBLP publication list for Javier Esparza". DBLP computer science bibliography. Retrieved 2021-04-26.

usherbrooke.ca

mblondin.espaceweb.usherbrooke.ca

Esparza, Javier; Blondin, Michael (October 17, 2023). Automata Theory: An Algorithmic Approach. The MIT Press. p. 560. ISBN 9780262048637.