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.

2037 Publications


2023 | Published | Conference Paper | IST-REx-ID: 14260 | OA
Koval, Nikita, Alexander Fedorov, Maria Sokolova, Dmitry Tsitelov, and Dan-Adrian Alistarh. “Lincheck: A Practical Framework for Testing Concurrent Data Structures on JVM.” In 35th International Conference on Computer Aided Verification , 13964:156–69. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-37706-8_8.
[Published Version] View | Files available | DOI | WoS
 

2023 | Published | Conference Paper | IST-REx-ID: 14317 | OA
Akshay, S., Krishnendu Chatterjee, Tobias Meggendorfer, and Dorde Zikelic. “MDPs as Distribution Transformers: Affine Invariant Synthesis for Safety Objectives.” In International Conference on Computer Aided Verification, 13966:86–112. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-37709-9_5.
[Published Version] View | Files available | DOI | WoS
 

2023 | Published | Conference Paper | IST-REx-ID: 14318 | OA
Sun, Yican, Hongfei Fu, Krishnendu Chatterjee, and Amir Kafshdar Goharshady. “Automated Tail Bound Analysis for Probabilistic Recurrence Relations.” In Computer Aided Verification, 13966:16–39. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-37709-9_2.
[Published Version] View | Files available | DOI | WoS
 

2023 | Published | Journal Article | IST-REx-ID: 14379
Mahato, Neelima, Saurabh Singh, Mohammad Faisal, T. V.M. Sreekanth, Sutripto Majumder, Kisoo Yoo, and Jonghoon Kim. “Polycrystalline Phases Grown In-Situ Engendering Unique Mechanism of Charge Storage in Polyaniline-Graphite Composite.” Synthetic Metals. Elsevier, 2023. https://doi.org/10.1016/j.synthmet.2023.117463.
View | DOI | WoS
 

2023 | Published | Conference Paper | IST-REx-ID: 14410
Tomaszewska, Paulina, and Christoph Lampert. “On the Implementation of Baselines and Lightweight Conditional Model Extrapolation (LIMES) under Class-Prior Shift.” In International Workshop on Reproducible Research in Pattern Recognition, 14068:67–73. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-40773-4_6.
View | DOI
 

2023 | Published | Conference Paper | IST-REx-ID: 14411 | OA
Beneš, Nikola, Luboš Brim, Samuel Pastva, David Šafránek, and Eva Šmijáková. “Phenotype Control of Partially Specified Boolean Networks.” In 21st International Conference on Computational Methods in Systems Biology, 14137:18–35. Springer Nature, 2023. 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: 14428 | OA
Dodis, Yevgeniy, Niels Ferguson, Eli Goldin, Peter Hall, and Krzysztof Z Pietrzak. “Random Oracle Combiners: Breaking the Concatenation Barrier for Collision-Resistance.” In 43rd Annual International Cryptology Conference, 14082:514–46. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-38545-2_17.
[Preprint] View | DOI | Download Preprint (ext.) | WoS
 

2023 | Published | Journal Article | IST-REx-ID: 14441 | OA
Brooks, Morris, and Robert Seiringer. “The Fröhlich Polaron at Strong Coupling: Part I - The Quantum Correction to the Classical Energy.” Communications in Mathematical Physics. Springer Nature, 2023. https://doi.org/10.1007/s00220-023-04841-3.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2023 | Published | Conference Paper | IST-REx-ID: 14454 | OA
Henzinger, Thomas A, Konstantin Kueffner, and Kaushik Mallik. “Monitoring Algorithmic Fairness under Partial Observations.” In 23rd International Conference on Runtime Verification, 14245:291–311. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-44267-4_15.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2023 | Published | Conference Paper | IST-REx-ID: 14456 | OA
Křišťan, Jan Matyáš, and Jakub Svoboda. “Shortest Dominating Set Reconfiguration under Token Sliding.” In 24th International Symposium on Fundamentals of Computation Theory, 14292:333–47. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-43587-4_24.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2023 | Published | Conference Paper | IST-REx-ID: 14457 | OA
Hoffmann, Charlotte, and Mark Simkin. “Stronger Lower Bounds for Leakage-Resilient Secret Sharing.” In 8th International Conference on Cryptology and Information Security in Latin America, 14168:215–28. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-44469-2_11.
[Preprint] View | DOI | Download Preprint (ext.) | WoS
 

2023 | Published | Conference Paper | IST-REx-ID: 14516 | OA
Beaver, Donald, Mahimna Kelkar, Kevin Lewi, Valeria Nikolaenko, Alberto Sonnino, Konstantinos Chalkias, Eleftherios Kokoris Kogias, Ladi De Naurois, and Arnab Roy. “STROBE: Streaming Threshold Random Beacons.” In 5th Conference on Advances in Financial Technologies, Vol. 282. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. https://doi.org/10.4230/LIPIcs.AFT.2023.7.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2023 | Published | Journal Article | IST-REx-ID: 14558
Bhattacharya, Sayan, Monika Henzinger, Danupon Nanongkai, and Xiaowei Wu. “Deterministic Near-Optimal Approximation Algorithms for Dynamic Set Cover.” SIAM Journal on Computing. Society for Industrial and Applied Mathematics, 2023. https://doi.org/10.1137/21M1428649.
View | DOI | WoS
 

2023 | Published | Conference Paper | IST-REx-ID: 14559 | OA
Ansaripour, Matin, Krishnendu Chatterjee, Thomas A Henzinger, Mathias Lechner, and Dorde Zikelic. “Learning Provably Stabilizing Neural Controllers for Discrete-Time Stochastic Systems.” In 21st International Symposium on Automated Technology for Verification and Analysis, 14215:357–79. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-45329-8_17.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2023 | Research Data | IST-REx-ID: 14562 | OA
Schur, Florian KM. “Research Data of the Publication ‘ArpC5 Isoforms Regulate Arp2/3 Complex-Dependent Protrusion through Differential Ena/VASP Positioning.’” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/AT:ISTA:14562.
[Published Version] View | Files available | DOI
 

2023 | Published | Journal Article | IST-REx-ID: 14610 | OA
Bussi, Claudio, Agustín Mangiarotti, Christian Eduardo Vanhille-Campos, Beren Aylan, Enrica Pellegrino, Natalia Athanasiadi, Antony Fearns, et al. “Stress Granules Plug and Stabilize Damaged Endolysosomal Membranes.” Nature. Springer Nature, 2023. https://doi.org/10.1038/s41586-023-06726-w.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2023 | Published | Conference Paper | IST-REx-ID: 14691 | OA
Auerbach, Benedikt, Miguel Cueto Noval, Guillermo Pascual Perez, and Krzysztof Z Pietrzak. “On the Cost of Post-Compromise Security in Concurrent Continuous Group-Key Agreement.” In 21st International Conference on Theory of Cryptography, 14371:271–300. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-48621-0_10.
[Preprint] View | DOI | Download Preprint (ext.) | WoS
 

2023 | Published | Conference Paper | IST-REx-ID: 14692 | OA
Auerbach, Benedikt, Charlotte Hoffmann, and Guillermo Pascual Perez. “Generic-Group Lower Bounds via Reductions between Geometric-Search Problems: With and without Preprocessing.” In 21st International Conference on Theory of Cryptography, 14371:301–30. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-48621-0_11.
[Preprint] View | DOI | Download Preprint (ext.) | WoS
 

2023 | Conference Paper | IST-REx-ID: 14693 | OA
Hoffmann, Charlotte, Pavel Hubáček, Chethan Kamath, and Tomáš Krňák. “(Verifiable) Delay Functions from Lucas Sequences.” In 21st International Conference on Theory of Cryptography, 14372:336–62. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-48624-1_13.
[Preprint] View | DOI | Download Preprint (ext.) | WoS
 

2023 | Published | Conference Paper | IST-REx-ID: 14718 | OA
Pastva, Samuel, and Thomas A Henzinger. “Binary Decision Diagrams on Modern Hardware.” In Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design, 122–31. TU Vienna Academic Press, 2023. https://doi.org/10.34727/2023/isbn.978-3-85448-060-0_20.
[Published Version] View | Files available | DOI | WoS
 

Filters and Search Terms

isbn%3D978-364254630-3

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed