Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

182 Publications


2023 | Published | Conference Paper | IST-REx-ID: 14758 | OA
Majumdar, R., Mallik, K., Rychlicki, M., Schmuck, A.-K., & Soudjani, S. (2023). A flexible toolchain for symbolic rabin games under fair and stochastic uncertainties. In 35th International Conference on Computer Aided Verification (Vol. 13966, pp. 3–15). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-37709-9_1
[Published Version] View | Files available | DOI | WoS
 

2023 | Published | Conference Paper | IST-REx-ID: 14411 | OA
Beneš, N., Brim, L., Pastva, S., Šafránek, D., & Šmijáková, E. (2023). Phenotype control of partially specified boolean networks. In 21st International Conference on Computational Methods in Systems Biology (Vol. 14137, pp. 18–35). Luxembourg City, Luxembourg: Springer Nature. https://doi.org/10.1007/978-3-031-42697-1_2
[Submitted Version] View | Files available | DOI | WoS
 

2023 | Published | Conference Paper | IST-REx-ID: 14829 | OA
Cohen, S., Goren, G., Kokoris Kogias, E., Sonnino, A., & Spiegelman, A. (2023). Proof of availability and retrieval in a modular blockchain architecture. In 27th International Conference on Financial Cryptography and Data Security (Vol. 13951, pp. 36–53). Bol, Brac, Croatia: Springer Nature. https://doi.org/10.1007/978-3-031-47751-5_3
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2023 | Published | Conference Paper | IST-REx-ID: 19985
Schmid, S., Svoboda, J., & Yeo, M. X. (2023). Weighted acket selection for rechargeable links in cryptocurrency networks: Complexity and approximation. In 30th International Colloquium on Structural Information and Communication Complexity (Vol. 13892, pp. 576–594). Alcalá de Henares, Spain: Springer Nature. https://doi.org/10.1007/978-3-031-32733-9_26
View | Files available | DOI
 

2023 | Published | Conference Paper | IST-REx-ID: 14736 | OA
Bastankhah, M., Chatterjee, K., Maddah-Ali, M. A., Schmid, S., Svoboda, J., & Yeo, M. X. (2023). R2: Boosting liquidity in payment channel networks with online admission control. In 27th International Conference on Financial Cryptography and Data Security (Vol. 13950, pp. 309–325). Bol, Brac, Croatia: Springer Nature. https://doi.org/10.1007/978-3-031-47754-6_18
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS
 

2023 | Published | Conference Paper | IST-REx-ID: 13143 | OA
Hoffmann, C., Hubáček, P., Kamath, C., & Pietrzak, K. Z. (2023). Certifying giant nonprimes. In Public-Key Cryptography - PKC 2023 (Vol. 13940, pp. 530–553). Atlanta, GA, United States: Springer Nature. https://doi.org/10.1007/978-3-031-31368-4_19
[Submitted Version] View | Files available | DOI | Download Submitted Version (ext.) | WoS
 

2022 | Published | Book (Editor) | IST-REx-ID: 11429
Karimipour, F., & Storandt, S. (Eds.). (2022). Web and Wireless Geographical Information Systems (1st ed., Vol. 13238). Cham: Springer Nature. https://doi.org/10.1007/978-3-031-06245-2
View | DOI
 

2022 | Published | Conference Paper | IST-REx-ID: 12516 | OA
Bogdanov, A., Cueto Noval, M., Hoffmann, C., & Rosen, A. (2022). Public-Key Encryption from Homogeneous CLWE. In Theory of Cryptography (Vol. 13748, pp. 565–592). Chicago, IL, United States: Springer Nature. https://doi.org/10.1007/978-3-031-22365-5_20
[Preprint] View | DOI | Download Preprint (ext.) | WoS
 

2022 | Published | Conference Paper | IST-REx-ID: 18229 | OA
Amrani, E., Karlinsky, L., & Bronstein, A. M. (2022). Self-supervised classification network. In 17th European Conference on Computer Vision (Vol. 13691, pp. 116–132). Tel Aviv, Israel: Springer Nature. https://doi.org/10.1007/978-3-031-19821-2_7
View | Files available | DOI | Download None (ext.) | arXiv
 

2022 | Published | Conference Paper | IST-REx-ID: 12302 | OA
Doveri, K., Ganty, P., & Mazzocchi, N. A. (2022). FORQ-based language inclusion formal testing. In Computer Aided Verification (Vol. 13372, pp. 109–129). Haifa, Israel: Springer Nature. https://doi.org/10.1007/978-3-031-13188-2_6
[Published Version] View | Files available | DOI | WoS | arXiv
 

2022 | Published | Conference Paper | IST-REx-ID: 11707 | OA
Balliu, A., Hirvonen, J., Melnyk, D., Olivetti, D., Rybicki, J., & Suomela, J. (2022). Local mending. In M. Parter (Ed.), International Colloquium on Structural Information and Communication Complexity (Vol. 13298, pp. 1–20). Paderborn, Germany: Springer Nature. https://doi.org/10.1007/978-3-031-09993-9_1
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2022 | Published | Conference Paper | IST-REx-ID: 10891
Henzinger, T. A. (2022). Quantitative monitoring of software. In Software Verification (Vol. 13124, pp. 3–6). New Haven, CT, United States: Springer Nature. https://doi.org/10.1007/978-3-030-95561-8_1
View | DOI | WoS
 

2022 | Published | Conference Paper | IST-REx-ID: 11476 | OA
Alwen, J., Auerbach, B., Cueto Noval, M., Klein, K., Pascual Perez, G., Pietrzak, K. Z., & Walter, M. (2022). CoCoA: Concurrent continuous group key agreement. In Advances in Cryptology – EUROCRYPT 2022 (Vol. 13276, pp. 815–844). Cham: Springer Nature. https://doi.org/10.1007/978-3-031-07085-3_28
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS
 

2022 | Published | Conference Paper | IST-REx-ID: 12000 | OA
Chatterjee, K., Goharshady, A. K., Meggendorfer, T., & Zikelic, D. (2022). Sound and complete certificates for auantitative termination analysis of probabilistic programs. In Proceedings of the 34th International Conference on Computer Aided Verification (Vol. 13371, pp. 55–78). Haifa, Israel: Springer. https://doi.org/10.1007/978-3-031-13185-1_4
[Published Version] View | Files available | DOI | WoS
 

2022 | Published | Book Chapter | IST-REx-ID: 20062
Henzinger, M. (2022). Fine-Grained Complexity Lower Bounds for Problems in Computer Aided Verification. In J.-F. Raskin, K. Chatterjee, L. Doyen, & R. Majumdar (Eds.), Principles of Systems Design (Vol. 13660, pp. 292–305). Cham: Springer Nature Switzerland. https://doi.org/10.1007/978-3-031-22337-2_14
View | DOI
 

2022 | Published | Conference Paper | IST-REx-ID: 11355 | OA
Bartocci, E., Ferrere, T., Henzinger, T. A., Nickovic, D., & Da Costa, A. O. (2022). Information-flow interfaces. In Fundamental Approaches to Software Engineering (Vol. 13241, pp. 3–22). Munich, Germany: Springer Nature. https://doi.org/10.1007/978-3-030-99429-7_1
[Published Version] View | Files available | DOI | WoS
 

2022 | Published | Conference Paper | IST-REx-ID: 11185 | OA
Arroyo Guevara, A. M., & Felsner, S. (2022). Approximating the bundled crossing number. In WALCOM 2022: Algorithms and Computation (Vol. 13174, pp. 383–395). Jember, Indonesia: Springer Nature. https://doi.org/10.1007/978-3-030-96731-4_31
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2022 | Published | Conference Paper | IST-REx-ID: 12298 | OA
Gelashvili, R., Kokoris Kogias, E., Sonnino, A., Spiegelman, A., & Xiang, Z. (2022). Jolteon and ditto: Network-adaptive efficient consensus with asynchronous fallback. In Financial Cryptography and Data Security (Vol. 13411, pp. 296–315). Radisson Grenada Beach Resort, Grenada: Springer Nature. https://doi.org/10.1007/978-3-031-18283-9_14
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2022 | Published | Conference Paper | IST-REx-ID: 12171 | OA
Garcia Soto, M., Henzinger, T. A., & Schilling, C. (2022). Synthesis of parametric hybrid automata from time series. In 20th International Symposium on Automated Technology for Verification and Analysis (Vol. 13505, pp. 337–353). Virtual: Springer Nature. https://doi.org/10.1007/978-3-031-19992-9_22
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2022 | Published | Conference Paper | IST-REx-ID: 12168 | OA
Cohen, S., Gelashvili, R., Kokoris Kogias, E., Li, Z., Malkhi, D., Sonnino, A., & Spiegelman, A. (2022). Be aware of your leaders. In International Conference on Financial Cryptography and Data Security (Vol. 13411, pp. 279–295). Grenada: Springer Nature. https://doi.org/10.1007/978-3-031-18283-9_13
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

Filters and Search Terms

eissn=1611-3349

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed