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.
5802 Publications
2021 | Published | Conference Paper | IST-REx-ID: 10670 | 
Vorbach, Charles J, Ramin Hasani, Alexander Amini, Mathias Lechner, and Daniela Rus. “Causal Navigation by Continuous-Time Neural Networks.” In 35th Conference on Neural Information Processing Systems, 2021.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
2021 | Published | Conference Paper | IST-REx-ID: 10688 |
Kragl, Bernhard, and Shaz Qadeer. “The Civl Verifier.” In Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design, edited by Piskac Ruzica and Michael W. Whalen, 2:143–152. TU Wien Academic Press, 2021. https://doi.org/10.34727/2021/isbn.978-3-85448-046-4_23.
[Published Version]
View
| Files available
| DOI
2021 | Published | Journal Article | IST-REx-ID: 8912 |
Sarac, Naci E, Ömer Faruk Altun, Kamil Tolga Atam, Sertac Karahoda, Kamer Kaya, and Hüsnü Yenigün. “Boosting Expensive Synchronizing Heuristics.” Expert Systems with Applications. Elsevier, 2021. https://doi.org/10.1016/j.eswa.2020.114203.
[Submitted Version]
View
| Files available
| DOI
| WoS
2021 | Published | Conference Paper | IST-REx-ID: 10108 |
Mühlböck, Fabian, and Thomas A Henzinger. “Differential Monitoring.” In International Conference on Runtime Verification, 12974:231–43. Cham: Springer Nature, 2021. https://doi.org/10.1007/978-3-030-88494-9_12.
[Preprint]
View
| Files available
| DOI
| WoS
2021 | Published | Journal Article | IST-REx-ID: 9036 |
Virosztek, Daniel. “The Metric Property of the Quantum Jensen-Shannon Divergence.” Advances in Mathematics. Elsevier, 2021. https://doi.org/10.1016/j.aim.2021.107595.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 9212 |
Cavallari, Nicola, Christina Artner, and Eva Benková. “Auxin-Regulated Lateral Root Organogenesis.” Cold Spring Harbor Perspectives in Biology. Cold Spring Harbor Laboratory Press, 2021. https://doi.org/10.1101/cshperspect.a039941.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2021 | Submitted | Preprint | IST-REx-ID: 10080 |
Nardin, Michele, Karola Käfer, and Jozsef L Csicsvari. “The Generalized Spatial Representation in the Prefrontal Cortex Is Inherited from the Hippocampus.” BioRxiv. Cold Spring Harbor Laboratory, n.d. https://doi.org/10.1101/2021.09.30.462269.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2021 | Draft | Preprint | IST-REx-ID: 10013 |
Hensel, Sebastian, and Tim Laux. “Weak-Strong Uniqueness for the Mean Curvature Flow of Double Bubbles.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2108.01733.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 9999 |
Pulgar, Eduardo, Cornelia Schwayer, Néstor Guerrero, Loreto López, Susana Márquez, Steffen Härtel, Rodrigo Soto, Carl Philipp Heisenberg, and Miguel L. Concha. “Apical Contacts Stemming from Incomplete Delamination Guide Progenitor Cell Allocation through a Dragging Mechanism.” ELife. eLife Sciences Publications, 2021. https://doi.org/10.7554/eLife.66483.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 | Published | Book Chapter | IST-REx-ID: 9245
Xia, Peng, and Carl-Philipp J Heisenberg. “Quantifying Tissue Tension in the Granulosa Layer after Laser Surgery.” In Germline Development in the Zebrafish, edited by Roland Dosch, 2218:117–28. Humana, 2021. https://doi.org/10.1007/978-1-0716-0970-5_10.
View
| DOI
| PubMed | Europe PMC
2021 | Published | Journal Article | IST-REx-ID: 9350 |
Arslan, Feyza N, Julia Eckert, Thomas Schmidt, and Carl-Philipp J Heisenberg. “Holding It Together: When Cadherin Meets Cadherin.” Biophysical Journal. Biophysical Society, 2021. https://doi.org/10.1016/j.bpj.2021.03.025.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2021 | Published | Journal Article | IST-REx-ID: 9205 |
Kampjut, Domen, Julia Steiner, and Leonid A Sazanov. “Cryo-EM Grid Optimization for Membrane Proteins.” IScience. Elsevier, 2021. https://doi.org/10.1016/j.isci.2021.102139.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2021 | Published | Journal Article | IST-REx-ID: 9412 |
Cipolloni, Giorgio, László Erdös, and Dominik J Schröder. “Fluctuation around the Circular Law for Random Matrices with Real Entries.” Electronic Journal of Probability. Institute of Mathematical Statistics, 2021. https://doi.org/10.1214/21-EJP591.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2021 | Published | Journal Article | IST-REx-ID: 9307 |
Hensel, Sebastian. “Finite Time Extinction for the 1D Stochastic Porous Medium Equation with Transport Noise.” Stochastics and Partial Differential Equations: Analysis and Computations. Springer Nature, 2021. https://doi.org/10.1007/s40072-021-00188-9.
[Published Version]
View
| Files available
| DOI
| WoS
2021 | Draft | Preprint | IST-REx-ID: 12076 |
Shute, Alec L. “Sums of Four Squareful Numbers.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2104.06966.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Draft | Preprint | IST-REx-ID: 10762 |
Rzadkowski, Wojciech, Mikhail Lemeshko, and Johan H. Mentink. “Artificial Neural Network States for Non-Additive Systems.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2105.15193.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Draft | Preprint | IST-REx-ID: 10803 |
Konstantinov, Nikola H, and Christoph Lampert. “Fairness through Regularization for Learning to Rank.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2102.05996.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Published | Conference Paper | IST-REx-ID: 10665 |
Henzinger, Thomas A, Mathias Lechner, and Dorde Zikelic. “Scalable Verification of Quantized Neural Networks.” In Proceedings of the AAAI Conference on Artificial Intelligence, 35:3787–95. AAAI Press, 2021.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
2021 | Published | Conference Paper | IST-REx-ID: 10694 |
Avni, Guy, Ismael R Jecker, and Dorde Zikelic. “Infinite-Duration All-Pay Bidding Games.” In Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms, edited by Dániel Marx, 617–36. Society for Industrial and Applied Mathematics, 2021. https://doi.org/10.1137/1.9781611976465.38.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2021 | Published | Conference Paper | IST-REx-ID: 10667 |
Lechner, Mathias, Ðorđe Žikelić, Krishnendu Chatterjee, and Thomas A Henzinger. “Infinite Time Horizon Safety of Bayesian Neural Networks.” In 35th Conference on Neural Information Processing Systems, 2021. https://doi.org/10.48550/arXiv.2111.03165.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv