Personal profile
Expertise related to UN Sustainable Development Goals
In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):
-
SDG 7 Affordable and Clean Energy
Fingerprint
Dive into the research topics where Francisco Javier Esparza Estaun is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Runtime Verification for LTL in Stochastic Systems
Esparza, J. & Fischer, V., 2026, Runtime Verification - 25th International Conference, RV 2025, Proceedings. Könighofer, B. & Torfah, H. (eds.). Springer Science and Business Media Deutschland GmbH, p. 357-376 20 p. (Lecture Notes in Computer Science; vol. 16087 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Undecidability of the emptiness problem for weak models of distributed computing
Principato, F. T., Esparza, J. & Czerner, P., 2 Apr 2026, In: Theoretical Computer Science. 1067, 115757.Research output: Contribution to journal › Article › peer-review
Open Access -
Regular Model Checking for Systems with Effectively Regular Reachability Relation
Esparza, J. & Krasotin, V., 20 Aug 2025, 50th International Symposium on Mathematical Foundations of Computer Science, MFCS 2025. Gawrychowski, P., Mazowiecki, F. & Skrzypczak, M. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 45. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 345).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
REGULAR MODEL CHECKING UPSIDE-DOWN: AN INVARIANT-BASED APPROACH
Esparza, J., Raskin, M. & Welzel-Mohr, C., 2025, In: Logical Methods in Computer Science. 21, 1, p. 4:1-4:34Research output: Contribution to journal › Article › peer-review
Open Access -
The Black Ninjas and the Sniper: On Robust Population Protocols
Lossin, B., Czerner, P., Esparza, J., Guttenberg, R. & Prehn, T., 2025, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Springer Science and Business Media Deutschland GmbH, p. 206-233 28 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 15262 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review