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.
6934 Publications
2024 | Journal Article | IST-REx-ID: 15339 | 
González, Miguel, and Tamás Hausel. “Hitchin Map on Even Very Stable Upward Flows.” International Journal of Mathematics, 2441009, World Scientific Publishing, 2024, doi:10.1142/S0129167X2441009X.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2024 | Journal Article | IST-REx-ID: 15337 |
Bonolis, Dante, et al. “Density of Rational Points on Some Quadric Bundle Threefolds.” Mathematische Annalen, Springer Nature, 2024, doi:10.1007/s00208-024-02854-4.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2024 | Journal Article | IST-REx-ID: 15338 |
Browning, Timothy D., et al. “Generalised Quadratic Forms over Totally Real Number Fields.” Journal of the Institute of Mathematics of Jussieu, Cambridge University Press, 2024, doi:10.1017/S1474748024000161.
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Journal Article | IST-REx-ID: 10045 |
Dvorak, Martin, and Vladimir Kolmogorov. “Generalized Minimum 0-Extension Problem and Discrete Convexity.” Mathematical Programming, Springer Nature, 2024, doi:10.1007/s10107-024-02064-5.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
2024 | Thesis | IST-REx-ID: 15101 |
Chen, JingJing. Developmental Transformation of Nanodomain Coupling between Ca2+ Channels and Release Sensors at a Central GABAergic Synapse. Institute of Science and Technology Austria, 2024, doi:10.15479/at:ista:15101.
[Published Version]
View
| Files available
| DOI
2024 | Journal Article | IST-REx-ID: 14843
Chen, JingJing, et al. “Developmental Transformation of Ca2+ Channel-Vesicle Nanotopography at a Central GABAergic Synapse.” Neuron, Elsevier, doi:10.1016/j.neuron.2023.12.002.
View
| Files available
| DOI
| PubMed | Europe PMC
2024 | Journal Article | IST-REx-ID: 15312 |
Browning, Timothy D., and Igor E. Shparlinski. “Square-Free Values of Random Polynomials.” Journal of Number Theory, vol. 261, Elsevier, 2024, pp. 220–40, doi:10.1016/j.jnt.2024.02.013.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2024 | Journal Article | IST-REx-ID: 15330 |
Gnyliukh, Nataliia, et al. “Role of Dynamin-Related Proteins 2 and SH3P2 in Clathrin-Mediated Endocytosis in Arabidopsis Thaliana.” Journal of Cell Science, jcs. 261720, The Company of Biologists, 2024, doi:10.1242/jcs.261720.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2023 | Book Chapter | IST-REx-ID: 12428 |
Hannezo, Edouard B., and Colinda L. G. J. Scheele. “A Guide Toward Multi-Scale and Quantitative Branching Analysis in the Mammary Gland.” Cell Migration in Three Dimensions, edited by Coert Margadant, vol. 2608, Springer Nature, 2023, pp. 183–205, doi:10.1007/978-1-0716-2887-4_12.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 12534 |
Ghazaryan, Areg, et al. “Dissipative Dynamics of an Impurity with Spin-Orbit Coupling.” Physical Review Research, vol. 5, no. 1, 013029, American Physical Society, 2023, doi:10.1103/physrevresearch.5.013029.
[Published Version]
View
| Files available
| DOI
2023 | Conference Paper | IST-REx-ID: 12676 |
Chatterjee, Krishnendu, et al. “Faster Algorithm for Turn-Based Stochastic Games with Bounded Treewidth.” Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2023, pp. 4590–605, doi:10.1137/1.9781611977554.ch173.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 | Conference Paper | IST-REx-ID: 12735 |
Koval, Nikita, et al. “Fast and Scalable Channels in Kotlin Coroutines.” Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Association for Computing Machinery, 2023, pp. 107–18, doi:10.1145/3572848.3577481.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Conference Poster | IST-REx-ID: 12736 |
Aksenov, Vitaly, et al. “Unexpected Scaling in Path Copying Trees.” Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, Association for Computing Machinery, 2023, pp. 438–40, doi:10.1145/3572848.3577512.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 | Thesis | IST-REx-ID: 12716 |
Burnett, Laura. To Flee, or Not to Flee? Using Innate Defensive Behaviours to Investigate Rapid Perceptual Decision-Making through Subcortical Circuits in Mouse Models of Autism. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:12716.
[Published Version]
View
| Files available
| DOI
2023 | Conference Paper | IST-REx-ID: 12854 |
Chalupa, Marek, and Thomas A. Henzinger. “Bubaak: Runtime Monitoring of Program Verifiers.” Tools and Algorithms for the Construction and Analysis of Systems, vol. 13994, Springer Nature, 2023, pp. 535–40, doi:10.1007/978-3-031-30820-8_32.
[Published Version]
View
| Files available
| DOI
2023 | Conference Paper | IST-REx-ID: 12856 |
Chalupa, Marek, et al. “Vamos: Middleware for Best-Effort Third-Party Monitoring.” Fundamental Approaches to Software Engineering, vol. 13991, Springer Nature, 2023, pp. 260–81, doi:10.1007/978-3-031-30826-0_15.
[Published Version]
View
| Files available
| DOI
2023 | Technical Report | IST-REx-ID: 12407 |
Chalupa, Marek, et al. VAMOS: Middleware for Best-Effort Third-Party Monitoring. Institute of Science and Technology Austria, 2023, doi:10.15479/AT:ISTA:12407.
[Published Version]
View
| Files available
| DOI
2023 | Conference Paper | IST-REx-ID: 13048 |
Lieutier, André, and Mathijs Wintraecken. “Hausdorff and Gromov-Hausdorff Stable Subsets of the Medial Axis.” Proceedings of the 55th Annual ACM Symposium on Theory of Computing, Association for Computing Machinery, 2023, pp. 1768–76, doi:10.1145/3564246.3585113.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Conference Paper | IST-REx-ID: 13053 |
Peste, Elena-Alexandra, et al. “CrAM: A Compression-Aware Minimizer.” 11th International Conference on Learning Representations .
[Preprint]
View
| Files available
| Download Preprint (ext.)
| arXiv
2023 | Conference Paper | IST-REx-ID: 13143 |
Hoffmann, Charlotte, et al. “Certifying Giant Nonprimes.” Public-Key Cryptography - PKC 2023, vol. 13940, Springer Nature, 2023, pp. 530–53, doi:10.1007/978-3-031-31368-4_19.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)