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

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




238 Publications

2023 | Thesis | IST-REx-ID: 14280
Radler, P. (2023). Spatiotemporal signaling during assembly of the bacterial divisome. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:14280
[Published Version] View | Files available | DOI
 
2023 | Thesis | IST-REx-ID: 13286 | OA
Valentini, M. (2023). Mesoscopic phenomena in hybrid semiconductor-superconductor nanodevices : From full-shell nanowires to two-dimensional hole gas in germanium. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:13286
[Published Version] View | Files available | DOI
 
2023 | Conference Paper | IST-REx-ID: 14260 | OA
Koval, N., Fedorov, A., Sokolova, M., Tsitelov, D., & Alistarh, D.-A. (2023). Lincheck: A practical framework for testing concurrent data structures on JVM. In 35th International Conference on Computer Aided Verification (Vol. 13964, pp. 156–169). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-37706-8_8
[Published Version] View | Files available | DOI
 
2023 | Thesis | IST-REx-ID: 13984
Franschitz, A. (2023). Individual and social immunity against viral infections in ants. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:13984
[Published Version] View | Files available | DOI
 
2023 | Preprint | IST-REx-ID: 15039 | OA
Prach, B., & Lampert, C. (n.d.). 1-Lipschitz neural networks are more expressive with N-activations. arXiv. https://doi.org/10.48550/ARXIV.2311.06103
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2023 | Thesis | IST-REx-ID: 14323
Kuzmicz-Kowalska, K. (2023). Regulation of neural progenitor survival by Shh and BMP in the developing spinal cord. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:14323
[Published Version] View | Files available | DOI
 
2023 | Thesis | IST-REx-ID: 14587 | OA
Marveggio, A. (2023). Weak-strong stability and phase-field approximation of interface evolution problems in fluid mechanics and in material sciences. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:14587
[Published Version] View | Files available | DOI
 
2023 | Preprint | IST-REx-ID: 15128 | OA
Riabov, V. (n.d.). Mesoscopic eigenvalue statistics for Wigner-type matrices. arXiv. https://doi.org/10.48550/arXiv.2301.01712
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2023 | Conference Paper | IST-REx-ID: 13262 | OA
Fedorov, A., Hashemi, D., Nadiradze, G., & Alistarh, D.-A. (2023). Provably-efficient and internally-deterministic parallel Union-Find. In Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures (pp. 261–271). Orlando, FL, United States: Association for Computing Machinery. https://doi.org/10.1145/3558481.3591082
[Published Version] View | Files available | DOI | arXiv
 
2023 | Thesis | IST-REx-ID: 14641
Hennessey-Wesen, M. (2023). Adaptive mutation in E. coli modulated by luxS. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:14641
[Published Version] View | Files available | DOI
 
2023 | Thesis | IST-REx-ID: 12885 | OA
Calcabrini, M. (2023). Nanoparticle-based semiconductor solids: From synthesis to consolidation. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:12885
[Published Version] View | Files available | DOI
 
2023 | Thesis | IST-REx-ID: 12964 | OA
Boocock, D. R. (2023). Mechanochemical pattern formation across biological scales. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:12964
[Published Version] View | Files available | DOI
 
2023 | Thesis | IST-REx-ID: 12491 | OA
Zens, B. (2023). Ultrastructural characterization of natively preserved extracellular matrix by cryo-electron tomography. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:12491
[Published Version] View | Files available | DOI
 
2023 | Thesis | IST-REx-ID: 12891 | OA
Schauer, A. (2023). Mesendoderm formation in zebrafish gastrulation: The role of extraembryonic tissues. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:12891
[Published Version] View | Files available | DOI
 
2023 | Thesis | IST-REx-ID: 12809 | OA
Alcarva, C. (2023). Plasticity in the cerebellum: What molecular mechanisms are behind physiological learning. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:12809
[Published Version] View | Files available | DOI
 
2023 | Thesis | IST-REx-ID: 12781 | OA
Kravchuk, V. (2023). Structural and mechanistic study of bacterial complex I and its cyanobacterial ortholog. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:12781
[Published Version] View | Files available | DOI
 
2023 | Thesis | IST-REx-ID: 14226 | OA
Stephenson, E. R. (2023). Generalizing medial axes with homology switches. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:14226
[Published Version] View | Files available | DOI
 
2023 | Thesis | IST-REx-ID: 12531 | OA
Kirillova, K. (2023). Panoramic functional gradients across the mouse retina. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:12531
[Published Version] View | Files available | DOI
 
2023 | Thesis | IST-REx-ID: 12800 | OA
Julseth, M. (2023). The effect of local population structure on genetic variation at selected loci in the A. majus hybrid zone. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:12800
[Published Version] View | Files available | DOI
 
2023 | Thesis | IST-REx-ID: 14510
Gnyliukh, N. (2023). Mechanism of clathrin-coated vesicle  formation during endocytosis in plants. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:14510
[Published Version] View | Files available | DOI
 
2023 | Thesis | IST-REx-ID: 12897 | OA
Hafner, C. (2023). Inverse shape design with parametric representations: Kirchhoff Rods and parametric surface models. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:12897
[Published Version] View | Files available | DOI
 
2023 | Thesis | IST-REx-ID: 12470 | OA
Michalska, J. M. (2023). A versatile toolbox for the comprehensive analysis of nervous tissue organization with light microscopy. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:12470
[Published Version] View | Files available | DOI
 
2022 | Thesis | IST-REx-ID: 12072 | OA
Shute, A. L. (2022). Existence and density problems in Diophantine geometry: From norm forms to Campana points. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:12072
[Published Version] View | Files available | DOI
 
2022 | Conference Paper | IST-REx-ID: 12102 | OA
Ahmadi, A., Chatterjee, K., Goharshady, A. K., Meggendorfer, T., Safavi Hemami, R., & Zikelic, D. (2022). Algorithms and hardness results for computing cores of Markov chains. In 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (Vol. 250). Madras, India: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.FSTTCS.2022.29
[Published Version] View | Files available | DOI
 
2022 | Journal Article | IST-REx-ID: 12307
Shipman, B. A., & Stephenson, E. R. (2022). Tangible topology through the lens of limits. PRIMUS. Taylor & Francis. https://doi.org/10.1080/10511970.2021.1872750
View | DOI
 
2022 | Preprint | IST-REx-ID: 12677 | OA
Chatterjee, K., Mohammadi, M., & Saona Urmeneta, R. J. (n.d.). Repeated prophet inequality with near-optimal bounds. arXiv. https://doi.org/10.48550/ARXIV.2209.14368
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2022 | Preprint | IST-REx-ID: 12860 | OA
Bombari, S., Achille, A., Wang, Z., Wang, Y.-X., Xie, Y., Singh, K. Y., … Soatto, S. (n.d.). Towards differential relational privacy and its use in question answering. arXiv. https://doi.org/10.48550/arXiv.2203.16701
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2022 | Conference Paper | IST-REx-ID: 11839 | OA
Prach, B., & Lampert, C. (2022). Almost-orthogonal layers for efficient general-purpose Lipschitz networks. In Computer Vision – ECCV 2022 (Vol. 13681, pp. 350–365). Tel Aviv, Israel: Springer Nature. https://doi.org/10.1007/978-3-031-19803-8_21
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2022 | Thesis | IST-REx-ID: 11777 | OA
Wild, P. (2022). High-dimensional expansion and crossing numbers of simplicial complexes. Institute of Science and Technology. https://doi.org/10.15479/at:ista:11777
[Published Version] View | Files available | DOI
 
2022 | Thesis | IST-REx-ID: 11128 | OA
Matejovicova, L. (2022). Genetic basis of flower colour as a model for adaptive evolution. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:11128
[Published Version] View | Files available | DOI
 
2022 | Journal Article | IST-REx-ID: 10600 | OA
Henheik, S. J., & Teufel, S. (2022). Adiabatic theorem in the thermodynamic limit: Systems with a uniform gap. Journal of Mathematical Physics. AIP Publishing. https://doi.org/10.1063/5.0051632
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2022 | Journal Article | IST-REx-ID: 10642 | OA
Henheik, S. J., Teufel, S., & Wessel, T. (2022). Local stability of ground states in locally gapped and weakly interacting quantum spin systems. Letters in Mathematical Physics. Springer Nature. https://doi.org/10.1007/s11005-021-01494-y
[Published Version] View | Files available | DOI | WoS | arXiv
 
2022 | Journal Article | IST-REx-ID: 10643 | OA
Henheik, S. J., & Teufel, S. (2022). Adiabatic theorem in the thermodynamic limit: Systems with a gap in the bulk. Forum of Mathematics, Sigma. Cambridge University Press. https://doi.org/10.1017/fms.2021.80
[Published Version] View | Files available | DOI | WoS | arXiv
 
2022 | Journal Article | IST-REx-ID: 10623 | OA
Henheik, S. J. (2022). The BCS critical temperature at high density. Mathematical Physics, Analysis and Geometry. Springer Nature. https://doi.org/10.1007/s11040-021-09415-0
[Published Version] View | Files available | DOI | WoS | arXiv
 
2022 | Journal Article | IST-REx-ID: 10920 | OA
Jirovec, D., Mutter, P. M., Hofmann, A. C., Crippa, A., Rychetsky, M., Craig, D. L., … Katsaros, G. (2022). Dynamics of hole singlet-triplet qubits with large g-factor differences. Physical Review Letters. American Physical Society. https://doi.org/10.1103/PhysRevLett.128.126803
[Published Version] View | Files available | DOI | WoS | arXiv
 
2022 | Journal Article | IST-REx-ID: 10925 | OA
Yang, B., & Yang, Z. (2022). On the wavenumber-frequency spectrum of the wall pressure fluctuations in turbulent channel flow. Journal of Fluid Mechanics. Cambridge University Press. https://doi.org/10.1017/jfm.2022.137
[Published Version] View | DOI | Download Published Version (ext.) | WoS | arXiv
 
2022 | Journal Article | IST-REx-ID: 11135 | OA
Reker, J. (2022). On the operator norm of a Hermitian random matrix with correlated entries. Random Matrices: Theory and Applications. World Scientific. https://doi.org/10.1142/s2010326322500368
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2022 | Conference Paper | IST-REx-ID: 11459 | OA
Zikelic, D., Chang, B.-Y. E., Bolignano, P., & Raimondi, F. (2022). Differential cost analysis with simultaneous potentials and anti-potentials. In Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation (pp. 442–457). San Diego, CA, United States: Association for Computing Machinery. https://doi.org/10.1145/3519939.3523435
[Published Version] View | Files available | DOI | WoS | arXiv
 
2022 | Journal Article | IST-REx-ID: 11448 | OA
Gonzalez Somermeyer, L., Fleiss, A., Mishin, A. S., Bozhanova, N. G., Igolkina, A. A., Meiler, J., … Kondrashov, F. (2022). Heterogeneity of the GFP fitness landscape and data-driven protein design. ELife. eLife Sciences Publications. https://doi.org/10.7554/elife.75842
[Published Version] View | Files available | DOI | WoS
 
2022 | Journal Article | IST-REx-ID: 11447 | OA
Saona Urmeneta, R. J., Kondrashov, F., & Khudiakova, K. (2022). Relation between the number of peaks and the number of reciprocal sign epistatic interactions. Bulletin of Mathematical Biology. Springer Nature. https://doi.org/10.1007/s11538-022-01029-z
[Published Version] View | Files available | DOI | WoS
 
2022 | Journal Article | IST-REx-ID: 11438 | OA
Li, V., Diorico, F. R., & Hosten, O. (2022). Laser frequency-offset locking at 10-Hz-level instability using hybrid electronic filters. Physical Review Applied. American Physical Society. https://doi.org/10.1103/physrevapplied.17.054031
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2022 | 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 | DOI | Download Preprint (ext.) | WoS
 
2022 | Journal Article | IST-REx-ID: 11556 | OA
Kalinov, A., Osinskiy, A. I., Matveev, S. A., Otieno, W., & Brilliantov, N. V. (2022). Direct simulation Monte Carlo for new regimes in aggregation-fragmentation kinetics. Journal of Computational Physics. Elsevier. https://doi.org/10.1016/j.jcp.2022.111439
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2022 | Journal Article | IST-REx-ID: 11723 | OA
Li, L., Chen, H., Alotaibi, S. S., Pěnčík, A., Adamowski, M., Novák, O., & Friml, J. (2022). RALF1 peptide triggers biphasic root growth inhibition upstream of auxin biosynthesis. Proceedings of the National Academy of Sciences. Proceedings of the National Academy of Sciences. https://doi.org/10.1073/pnas.2121058119
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 
2022 | Thesis | IST-REx-ID: 11945 | OA
Schulz, R. (2022). Chimeric G protein-coupled receptors mimic distinct signaling pathways and modulate microglia function. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:11945
[Published Version] View | Files available | DOI
 
2022 | Conference Paper | IST-REx-ID: 11775 | OA
Henzinger, T. A., Mazzocchi, N. A., & Sarac, N. E. (2022). Abstract monitors for quantitative specifications. In 22nd International Conference on Runtime Verification (Vol. 13498, pp. 200–220). Tbilisi, Georgia: Springer Nature. https://doi.org/10.1007/978-3-031-17196-3_11
[Published Version] View | Files available | DOI | WoS
 
2022 | Thesis | IST-REx-ID: 12390 | OA
Brooks, M. (2022). Translation-invariant quantum systems with effectively broken symmetry. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:12390
[Published Version] View | Files available | DOI
 
2022 | Thesis | IST-REx-ID: 11362 | OA
Lechner, M. (2022). Learning verifiable representations. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:11362
[Published Version] View | Files available | DOI
 
2022 | Journal Article | IST-REx-ID: 9311 | OA
Chatterjee, K., Saona Urmeneta, R. J., & Ziliotto, B. (2022). Finite-memory strategies in POMDPs with long-run average objectives. Mathematics of Operations Research. Institute for Operations Research and the Management Sciences. https://doi.org/10.1287/moor.2020.1116
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 
2022 | Journal Article | IST-REx-ID: 11732 | OA
Henheik, S. J., & Lauritsen, A. B. (2022). The BCS energy gap at high density. Journal of Statistical Physics. Springer Nature. https://doi.org/10.1007/s10955-022-02965-9
[Published Version] View | Files available | DOI | WoS
 

Search

Filter Publications