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.

6936 Publications


2024 | Journal Article | IST-REx-ID: 15339 | OA
González, M., & Hausel, T. (2024). Hitchin map on even very stable upward flows. International Journal of Mathematics. World Scientific Publishing. https://doi.org/10.1142/S0129167X2441009X
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2024 | Journal Article | IST-REx-ID: 15337 | OA
Bonolis, D., Browning, T. D., & Huang, Z. (2024). Density of rational points on some quadric bundle threefolds. Mathematische Annalen. Springer Nature. https://doi.org/10.1007/s00208-024-02854-4
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2024 | Journal Article | IST-REx-ID: 15338 | OA
Browning, T. D., Pierce, L. B., & Schindler, D. (2024). Generalised quadratic forms over totally real number fields. Journal of the Institute of Mathematics of Jussieu. Cambridge University Press. https://doi.org/10.1017/S1474748024000161
[Published Version] View | Files available | DOI | arXiv
 

2024 | Journal Article | IST-REx-ID: 10045 | OA
Dvorak, M., & Kolmogorov, V. (2024). Generalized minimum 0-extension problem and discrete convexity. Mathematical Programming. Springer Nature. https://doi.org/10.1007/s10107-024-02064-5
[Published Version] View | Files available | DOI | Download Published Version (ext.) | arXiv
 

2024 | Journal Article | IST-REx-ID: 15312 | OA
Browning, T. D., & Shparlinski, I. E. (2024). Square-free values of random polynomials. Journal of Number Theory. Elsevier. https://doi.org/10.1016/j.jnt.2024.02.013
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 

2024 | Journal Article | IST-REx-ID: 15330 | OA
Gnyliukh, N., Johnson, A. J., Nagel, M., Monzer, A., Babic, D., Hlavata, A., … Friml, J. (2024). Role of dynamin-related proteins 2 and SH3P2 in clathrin-mediated endocytosis in Arabidopsis thaliana. Journal of Cell Science. The Company of Biologists. https://doi.org/10.1242/jcs.261720
[Published Version] View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2024 | Journal Article | IST-REx-ID: 15362 | OA
Andrianova, M. A., Seplyarskiy, V. B., Terradas, M., Sánchez-Heras, A. B., Mur, P., Soto, J. L., … Valle, L. (2024). Discovery of recessive effect of human polymerase δ proofreading deficiency through mutational analysis of POLD1-mutated normal and cancer cells. European Journal of Human Genetics. Springer Nature. https://doi.org/10.1038/s41431-024-01598-8
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 

2024 | Journal Article | IST-REx-ID: 15367 | OA
Babkin, S., Higginbotham, A. P., & Serbyn, M. (2024). Proximity-induced gapless superconductivity in two-dimensional Rashba semiconductor in magnetic field. SciPost Physics. SciPost Foundation. https://doi.org/10.21468/scipostphys.16.5.115
[Published Version] View | Files available | DOI | arXiv
 

2024 | Thesis | IST-REx-ID: 15101 | OA
Chen, J. (2024). Developmental transformation of nanodomain coupling between Ca2+ channels and release sensors at a central GABAergic synapse. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:15101
[Published Version] View | Files available | DOI
 

2024 | Journal Article | IST-REx-ID: 14843
Chen, J., Kaufmann, W., Chen, C., Arai, itaru, Kim, O., Shigemoto, R., & Jonas, P. M. (n.d.). Developmental transformation of Ca2+ channel-vesicle nanotopography at a central GABAergic synapse. Neuron. Elsevier. https://doi.org/10.1016/j.neuron.2023.12.002
View | Files available | DOI | PubMed | Europe PMC
 

2023 | Book Chapter | IST-REx-ID: 12428 | OA
Hannezo, E. B., & Scheele, C. L. G. J. (2023). A Guide Toward Multi-scale and Quantitative Branching Analysis in the Mammary Gland. In C. Margadant (Ed.), Cell Migration in Three Dimensions (Vol. 2608, pp. 183–205). Springer Nature. https://doi.org/10.1007/978-1-0716-2887-4_12
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2023 | Journal Article | IST-REx-ID: 12534 | OA
Ghazaryan, A., Cappellaro, A., Lemeshko, M., & Volosniev, A. (2023). Dissipative dynamics of an impurity with spin-orbit coupling. Physical Review Research. American Physical Society. https://doi.org/10.1103/physrevresearch.5.013029
[Published Version] View | Files available | DOI
 

2023 | Conference Paper | IST-REx-ID: 12676 | OA
Chatterjee, K., Meggendorfer, T., Saona Urmeneta, R. J., & Svoboda, J. (2023). Faster algorithm for turn-based stochastic games with bounded treewidth. In Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms (pp. 4590–4605). Florence, Italy: Society for Industrial and Applied Mathematics. https://doi.org/10.1137/1.9781611977554.ch173
[Published Version] View | DOI | Download Published Version (ext.)
 

2023 | Conference Paper | IST-REx-ID: 12735 | OA
Koval, N., Alistarh, D.-A., & Elizarov, R. (2023). Fast and scalable channels in Kotlin Coroutines. In Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (pp. 107–118). Montreal, QC, Canada: Association for Computing Machinery. https://doi.org/10.1145/3572848.3577481
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2023 | Conference Poster | IST-REx-ID: 12736 | OA
Aksenov, V., Brown, T. A., Fedorov, A., & Kokorin, I. (2023). Unexpected scaling in path copying trees. Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (pp. 438–440). Montreal, QB, Canada: Association for Computing Machinery. https://doi.org/10.1145/3572848.3577512
[Published Version] View | DOI | Download Published Version (ext.)
 

2023 | Thesis | IST-REx-ID: 12716 | OA
Burnett, L. (2023). 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. https://doi.org/10.15479/at:ista:12716
[Published Version] View | Files available | DOI
 

2023 | Conference Paper | IST-REx-ID: 12854 | OA
Chalupa, M., & Henzinger, T. A. (2023). Bubaak: Runtime monitoring of program verifiers. In Tools and Algorithms for the Construction and Analysis of Systems (Vol. 13994, pp. 535–540). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-30820-8_32
[Published Version] View | Files available | DOI
 

2023 | Conference Paper | IST-REx-ID: 12856 | OA
Chalupa, M., Mühlböck, F., Muroya Lei, S., & Henzinger, T. A. (2023). Vamos: Middleware for best-effort third-party monitoring. In Fundamental Approaches to Software Engineering (Vol. 13991, pp. 260–281). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-30826-0_15
[Published Version] View | Files available | DOI
 

2023 | Technical Report | IST-REx-ID: 12407 | OA
Chalupa, M., Mühlböck, F., Muroya Lei, S., & Henzinger, T. A. (2023). VAMOS: Middleware for Best-Effort Third-Party Monitoring. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:12407
[Published Version] View | Files available | DOI
 

2023 | Conference Paper | IST-REx-ID: 13048 | OA
Lieutier, A., & Wintraecken, M. (2023). Hausdorff and Gromov-Hausdorff stable subsets of the medial axis. In Proceedings of the 55th Annual ACM Symposium on Theory of Computing (pp. 1768–1776). Orlando, FL, United States: Association for Computing Machinery. https://doi.org/10.1145/3564246.3585113
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2023 | Conference Paper | IST-REx-ID: 13053 | OA
Peste, E.-A., Vladu, A., Kurtic, E., Lampert, C., & Alistarh, D.-A. (n.d.). CrAM: A Compression-Aware Minimizer. In 11th International Conference on Learning Representations . Kigali, Rwanda .
[Preprint] View | Files available | Download Preprint (ext.) | arXiv
 

2023 | 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 | DOI | Download Submitted Version (ext.)
 

2023 | Conference Paper | IST-REx-ID: 13142 | OA
Chatterjee, K., Henzinger, T. A., Lechner, M., & Zikelic, D. (2023). A learner-verifier framework for neural network controllers and certificates of stochastic systems. In Tools and Algorithms for the Construction and Analysis of Systems (Vol. 13993, pp. 3–25). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-30823-9_1
[Published Version] View | Files available | DOI
 

2023 | Thesis | IST-REx-ID: 12826 | OA
Pokusaeva, V. (2023). Neural control of optic flow-based navigation in Drosophila melanogaster. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:12826
[Published Version] View | Files available | DOI
 

2023 | Journal Article | IST-REx-ID: 12086 | OA
Edelsbrunner, H., & Osang, G. F. (2023). A simple algorithm for higher-order Delaunay mosaics and alpha shapes. Algorithmica. Springer Nature. https://doi.org/10.1007/s00453-022-01027-6
[Published Version] View | Files available | DOI | WoS
 

2023 | Conference Paper | IST-REx-ID: 12467 | OA
Henzinger, T. A., Mazzocchi, N. A., & Sarac, N. E. (2023). Quantitative safety and liveness. In 26th International Conference Foundations of Software Science and Computation Structures (Vol. 13992, pp. 349–370). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-30829-1_17
[Published Version] View | Files available | DOI | arXiv
 

2023 | Journal Article | IST-REx-ID: 13179 | OA
Koval, N., Khalanskiy, D., & Alistarh, D.-A. (2023). CQS: A formally-verified framework for fair and abortable synchronization. Proceedings of the ACM on Programming Languages. Association for Computing Machinery . https://doi.org/10.1145/3591230
[Published Version] View | Files available | DOI
 

2023 | Journal Article | IST-REx-ID: 13180 | OA
Browning, T. D., Lyczak, J., & Sarapin, R. (2023). Local solubility for a family of quadrics over a split quadric surface. Involve. Mathematical Sciences Publishers. https://doi.org/10.2140/involve.2023.16.331
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2023 | Conference Abstract | IST-REx-ID: 13162 | OA
Elefante, S., Stadlbauer, S., Alexander, M. F., & Schlögl, A. (n.d.). Cryo-EM software packages: A sys-admins point of view. In ASHPC23 - Austrian-Slovenian HPC Meeting 2023 (pp. 42–42). Maribor, Slovenia: EuroCC.
[Submitted Version] View | Files available
 

2023 | Conference Abstract | IST-REx-ID: 13161 | OA
Schlögl, A., Elefante, S., & Hodirnau, V.-V. (n.d.). Running Windows-applications on a Linux HPC cluster using WINE. In ASHPC23 - Austrian-Slovenian HPC Meeting 2023 (pp. 59–59). Maribor, Slovenia: EuroCC.
[Submitted Version] View | Files available
 

2023 | Journal Article | IST-REx-ID: 13251 | OA
Wei, Y., Volosniev, A., Lorenc, D., Zhumekenov, A. A., Bakr, O. M., Lemeshko, M., & Alpichshev, Z. (2023). Bond polarizability as a probe of local crystal fields in hybrid lead-halide perovskites. The Journal of Physical Chemistry Letters. American Chemical Society. https://doi.org/10.1021/acs.jpclett.3c01158
[Published Version] View | Files available | DOI | WoS | arXiv
 

2023 | Conference Paper | IST-REx-ID: 13292 | OA
Henzinger, T. A., Kebis, P., Mazzocchi, N. A., & Sarac, N. E. (2023). Regular methods for operator precedence languages. In 50th International Colloquium on Automata, Languages, and Programming (Vol. 261, p. 129:1--129:20). Paderborn, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.ICALP.2023.129
[Published Version] View | Files available | DOI | arXiv
 

2023 | Journal Article | IST-REx-ID: 13277 | OA
Tucci, G., De Nicola, S., Wald, S., & Gambassi, A. (2023). Stochastic representation of the quantum quartic oscillator. SciPost Physics Core. SciPost Foundation. https://doi.org/10.21468/scipostphyscore.6.2.029
[Published Version] View | Files available | DOI | arXiv
 

2023 | Journal Article | IST-REx-ID: 13276 | OA
Rammelmüller, L., Huber, D., & Volosniev, A. (2023). A modular implementation of an effective interaction approach for harmonically trapped fermions in 1D. SciPost Physics Codebases. SciPost Foundation. https://doi.org/10.21468/scipostphyscodeb.12
[Published Version] View | Files available | DOI | arXiv
 

2023 | Research Data Reference | IST-REx-ID: 13275 | OA
Rammelmüller, L., Huber, D., & Volosniev, A. (2023). Codebase release 1.0 for FermiFCI. SciPost Foundation. https://doi.org/10.21468/scipostphyscodeb.12-r1.0
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2023 | Journal Article | IST-REx-ID: 11479 | OA
De Jode, A., Le Moan, A., Johannesson, K., Faria, R., Stankowski, S., Westram, A. M., … Fraisse, C. (2023). Ten years of demographic modelling of divergence and speciation in the sea. Evolutionary Applications. Wiley. https://doi.org/10.1111/eva.13428
[Published Version] View | Files available | DOI | WoS
 

2023 | Journal Article | IST-REx-ID: 12469 | OA
Viljakainen, L., Fürst, M., Grasse, A. V., Jurvansuu, J., Oh, J., Tolonen, L., … Cremer, S. (2023). Antiviral immune response reveals host-specific virus infections in natural ant populations. Frontiers in Microbiology. Frontiers. https://doi.org/10.3389/fmicb.2023.1119002
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2023 | Journal Article | IST-REx-ID: 12287 | OA
Boissonnat, J.-D., Dyer, R., Ghosh, A., & Wintraecken, M. (2023). Local criteria for triangulating general manifolds. Discrete & Computational Geometry. Springer Nature. https://doi.org/10.1007/s00454-022-00431-7
[Published Version] View | Files available | DOI | WoS
 

2023 | Journal Article | IST-REx-ID: 12165
Hof, B. (2023). Directed percolation and the transition to turbulence. Nature Reviews Physics. Springer Nature. https://doi.org/10.1038/s42254-022-00539-y
View | DOI | WoS
 

2023 | Journal Article | IST-REx-ID: 12421 | OA
Fäßler, F., Javoor, M., & Schur, F. K. (2023). Deciphering the molecular mechanisms of actin cytoskeleton regulation in cell migration using cryo-EM. Biochemical Society Transactions. Portland Press. https://doi.org/10.1042/bst20220221
[Published Version] View | Files available | DOI | WoS
 

2023 | Journal Article | IST-REx-ID: 12105 | OA
Marensi, E., Yalniz, G., Hof, B., & Budanur, N. B. (2023). Symmetry-reduced dynamic mode decomposition of near-wall turbulence. Journal of Fluid Mechanics. Cambridge University Press. https://doi.org/10.1017/jfm.2022.1001
[Published Version] View | Files available | DOI | WoS | arXiv
 

2023 | Journal Article | IST-REx-ID: 12427 | OA
Balestrieri, F. (2023). Some remarks on strong approximation and applications to homogeneous spaces of linear algebraic groups. Proceedings of the American Mathematical Society. American Mathematical Society. https://doi.org/10.1090/proc/15239
[Preprint] View | DOI | Download Preprint (ext.) | WoS
 

2023 | Journal Article | IST-REx-ID: 12542
Villalba Requena, A., & Hippenmeyer, S. (2023). Going back in time with TEMPO. Neuron. Elsevier. https://doi.org/10.1016/j.neuron.2023.01.006
View | DOI | WoS
 

2023 | Journal Article | IST-REx-ID: 12566 | OA
Alistarh, D.-A., Ellen, F., & Rybicki, J. (2023). Wait-free approximate agreement on graphs. Theoretical Computer Science. Elsevier. https://doi.org/10.1016/j.tcs.2023.113733
[Published Version] View | Files available | DOI | WoS
 

2023 | Journal Article | IST-REx-ID: 12681 | OA
Dubief, Y., Terrapon, V. E., & Hof, B. (2023). Elasto-inertial turbulence. Annual Review of Fluid Mechanics. Annual Reviews. https://doi.org/10.1146/annurev-fluid-032822-025933
[Published Version] View | Files available | DOI | WoS
 

2023 | Journal Article | IST-REx-ID: 12682 | OA
Avila, M., Barkley, D., & Hof, B. (2023). Transition to turbulence in pipe flow. Annual Review of Fluid Mechanics. Annual Reviews. https://doi.org/10.1146/annurev-fluid-120720-025957
[Published Version] View | Files available | DOI | WoS
 

2023 | Journal Article | IST-REx-ID: 12704 | OA
Lechner, M., Amini, A., Rus, D., & Henzinger, T. A. (2023). Revisiting the adversarial robustness-accuracy tradeoff in robot learning. IEEE Robotics and Automation Letters. Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/LRA.2023.3240930
[Published Version] View | Files available | DOI | WoS | arXiv
 

2023 | Journal Article | IST-REx-ID: 12723 | OA
Volosniev, A., Shiva Kumar, A., Lorenc, D., Ashourishokri, Y., Zhumekenov, A. A., Bakr, O. M., … Alpichshev, Z. (2023). Spin-electric coupling in lead halide perovskites. Physical Review Letters. American Physical Society. https://doi.org/10.1103/physrevlett.130.106901
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2023 | Journal Article | IST-REx-ID: 12724 | OA
Volosniev, A., Shiva Kumar, A., Lorenc, D., Ashourishokri, Y., Zhumekenov, A., Bakr, O. M., … Alpichshev, Z. (2023). Effective model for studying optical properties of lead halide perovskites. Physical Review B. American Physical Society. https://doi.org/10.1103/physrevb.107.125201
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2023 | Journal Article | IST-REx-ID: 12759 | OA
Rothman, J. S., Borges Merjane, C., Holderith, N., Jonas, P. M., & Angus Silver, R. (2023). Validation of a stereological method for estimating particle size and density from 2D projections with high accuracy. PLoS ONE. Public Library of Science. https://doi.org/10.1371/journal.pone.0277148
[Published Version] View | Files available | DOI | WoS
 

Filters and Search Terms

supervisor%3D3E57A680-F248-11E8-B48F-1D18A9856A87

Search

Filter Publications