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.
238 Publications
- 1
- 2 (current)
- 3
- 4
- 5
2023 | Thesis | IST-REx-ID: 14280
Radler P. 2023. Spatiotemporal signaling during assembly of the bacterial divisome. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2023 | Thesis | IST-REx-ID: 13286 | 
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.
[Published Version]
View
| Files available
| DOI
2023 | Conference Paper | IST-REx-ID: 14260 |
Koval N, Fedorov A, Sokolova M, Tsitelov D, Alistarh D-A. 2023. Lincheck: A practical framework for testing concurrent data structures on JVM. 35th International Conference on Computer Aided Verification . CAV: Computer Aided Verification, LNCS, vol. 13964, 156–169.
[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.
[Published Version]
View
| Files available
| DOI
2023 | Preprint | IST-REx-ID: 15039 |
Prach B, Lampert C. 1-Lipschitz neural networks are more expressive with N-activations. 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.
[Published Version]
View
| Files available
| DOI
2023 | Thesis | IST-REx-ID: 14587 |
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.
[Published Version]
View
| Files available
| DOI
2023 | Preprint | IST-REx-ID: 15128 |
Riabov V. Mesoscopic eigenvalue statistics for Wigner-type matrices. arXiv, 2301.01712.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Conference Paper | IST-REx-ID: 13262 |
Fedorov A, Hashemi D, Nadiradze G, Alistarh D-A. 2023. Provably-efficient and internally-deterministic parallel Union-Find. Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures. SPAA: Symposium on Parallelism in Algorithms and Architectures, 261–271.
[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.
[Published Version]
View
| Files available
| DOI
2023 | Thesis | IST-REx-ID: 12885 |
Calcabrini M. 2023. Nanoparticle-based semiconductor solids: From synthesis to consolidation. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2023 | Thesis | IST-REx-ID: 12964 |
Boocock DR. 2023. Mechanochemical pattern formation across biological scales. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2023 | Thesis | IST-REx-ID: 12491 |
Zens B. 2023. Ultrastructural characterization of natively preserved extracellular matrix by cryo-electron tomography. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2023 | Thesis | IST-REx-ID: 12891 |
Schauer A. 2023. Mesendoderm formation in zebrafish gastrulation: The role of extraembryonic tissues. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2023 | Thesis | IST-REx-ID: 12809 |
Alcarva C. 2023. Plasticity in the cerebellum: What molecular mechanisms are behind physiological learning. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2023 | Thesis | IST-REx-ID: 12781 |
Kravchuk V. 2023. Structural and mechanistic study of bacterial complex I and its cyanobacterial ortholog. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2023 | Thesis | IST-REx-ID: 14226 |
Stephenson ER. 2023. Generalizing medial axes with homology switches. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2023 | Thesis | IST-REx-ID: 12531 |
Kirillova K. 2023. Panoramic functional gradients across the mouse retina. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2023 | Thesis | IST-REx-ID: 12800 |
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.
[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.
[Published Version]
View
| Files available
| DOI
2023 | Thesis | IST-REx-ID: 12897 |
Hafner C. 2023. Inverse shape design with parametric representations: Kirchhoff Rods and parametric surface models. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2023 | Thesis | IST-REx-ID: 12470 |
Michalska JM. 2023. A versatile toolbox for the comprehensive analysis of nervous tissue organization with light microscopy. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2022 | Thesis | IST-REx-ID: 12072 |
Shute AL. 2022. Existence and density problems in Diophantine geometry: From norm forms to Campana points. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2022 | Conference Paper | IST-REx-ID: 12102 |
Ahmadi A, Chatterjee K, Goharshady AK, Meggendorfer T, Safavi Hemami R, Zikelic D. 2022. Algorithms and hardness results for computing cores of Markov chains. 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science. FSTTC: Foundations of Software Technology and Theoretical Computer Science vol. 250, 29.
[Published Version]
View
| Files available
| DOI
2022 | Preprint | IST-REx-ID: 12677 |
Chatterjee K, Mohammadi M, Saona Urmeneta RJ. Repeated prophet inequality with near-optimal bounds. arXiv, 2209.14368.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Preprint | IST-REx-ID: 12860 |
Bombari S, Achille A, Wang Z, Wang Y-X, Xie Y, Singh KY, Appalaraju S, Mahadevan V, Soatto S. Towards differential relational privacy and its use in question answering. arXiv, 2203.16701.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Conference Paper | IST-REx-ID: 11839 |
Prach B, Lampert C. 2022. Almost-orthogonal layers for efficient general-purpose Lipschitz networks. Computer Vision – ECCV 2022. ECCV: European Conference on Computer Vision, LNCS, vol. 13681, 350–365.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Thesis | IST-REx-ID: 11777 |
Wild P. 2022. High-dimensional expansion and crossing numbers of simplicial complexes. Institute of Science and Technology.
[Published Version]
View
| Files available
| DOI
2022 | Thesis | IST-REx-ID: 11128 |
Matejovicova L. 2022. Genetic basis of flower colour as a model for adaptive evolution. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2022 | Journal Article | IST-REx-ID: 10600 |
Henheik SJ, Teufel S. 2022. Adiabatic theorem in the thermodynamic limit: Systems with a uniform gap. Journal of Mathematical Physics. 63(1), 011901.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 | Journal Article | IST-REx-ID: 10642 |
Henheik SJ, Teufel S, Wessel T. 2022. Local stability of ground states in locally gapped and weakly interacting quantum spin systems. Letters in Mathematical Physics. 112(1), 9.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2022 | Journal Article | IST-REx-ID: 10643 |
Henheik SJ, Teufel S. 2022. Adiabatic theorem in the thermodynamic limit: Systems with a gap in the bulk. Forum of Mathematics, Sigma. 10, e4.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2022 | Journal Article | IST-REx-ID: 10623 |
Henheik SJ. 2022. The BCS critical temperature at high density. Mathematical Physics, Analysis and Geometry. 25(1), 3.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2022 | Journal Article | IST-REx-ID: 10920 |
Jirovec D, Mutter PM, Hofmann AC, Crippa A, Rychetsky M, Craig DL, Kukucka J, Martins F, Ballabio A, Ares N, Chrastina D, Isella G, Burkard G, Katsaros G. 2022. Dynamics of hole singlet-triplet qubits with large g-factor differences. Physical Review Letters. 128(12), 126803.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2022 | Journal Article | IST-REx-ID: 10925 |
Yang B, Yang Z. 2022. On the wavenumber-frequency spectrum of the wall pressure fluctuations in turbulent channel flow. Journal of Fluid Mechanics. 937, A39.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| arXiv
2022 | Journal Article | IST-REx-ID: 11135 |
Reker J. 2022. On the operator norm of a Hermitian random matrix with correlated entries. Random Matrices: Theory and Applications. 11(4), 2250036.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 | Conference Paper | IST-REx-ID: 11459 |
Zikelic D, Chang B-YE, Bolignano P, Raimondi F. 2022. Differential cost analysis with simultaneous potentials and anti-potentials. Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation. PLDI: Programming Language Design and Implementation, 442–457.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2022 | Journal Article | IST-REx-ID: 11448 |
Gonzalez Somermeyer L, Fleiss A, Mishin AS, Bozhanova NG, Igolkina AA, Meiler J, Alaball Pujol M-E, Putintseva EV, Sarkisyan KS, Kondrashov F. 2022. Heterogeneity of the GFP fitness landscape and data-driven protein design. eLife. 11, 75842.
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Journal Article | IST-REx-ID: 11447 |
Saona Urmeneta RJ, Kondrashov F, Khudiakova K. 2022. Relation between the number of peaks and the number of reciprocal sign epistatic interactions. Bulletin of Mathematical Biology. 84(8), 74.
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Journal Article | IST-REx-ID: 11438 |
Li V, Diorico FR, Hosten O. 2022. Laser frequency-offset locking at 10-Hz-level instability using hybrid electronic filters. Physical Review Applied. 17(5), 054031.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 | Conference Paper | IST-REx-ID: 11476 |
Alwen J, Auerbach B, Cueto Noval M, Klein K, Pascual Perez G, Pietrzak KZ, Walter M. 2022. CoCoA: Concurrent continuous group key agreement. Advances in Cryptology – EUROCRYPT 2022. EUROCRYPT: Annual International Conference on the Theory and Applications of Cryptology and Information Security, LNCS, vol. 13276, 815–844.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
2022 | Journal Article | IST-REx-ID: 11556 |
Kalinov A, Osinskiy AI, Matveev SA, Otieno W, Brilliantov NV. 2022. Direct simulation Monte Carlo for new regimes in aggregation-fragmentation kinetics. Journal of Computational Physics. 467, 111439.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 | Journal Article | IST-REx-ID: 11723 |
Li L, Chen H, Alotaibi SS, 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. 119(31), e2121058119.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 | Thesis | IST-REx-ID: 11945 |
Schulz R. 2022. Chimeric G protein-coupled receptors mimic distinct signaling pathways and modulate microglia function. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2022 | Conference Paper | IST-REx-ID: 11775 |
Henzinger TA, Mazzocchi NA, Sarac NE. 2022. Abstract monitors for quantitative specifications. 22nd International Conference on Runtime Verification. RV: Runtime Verification, LNCS, vol. 13498, 200–220.
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Thesis | IST-REx-ID: 12390 |
Brooks M. 2022. Translation-invariant quantum systems with effectively broken symmetry. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2022 | Thesis | IST-REx-ID: 11362 |
Lechner M. 2022. Learning verifiable representations. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2022 | Journal Article | IST-REx-ID: 9311 |
Chatterjee K, Saona Urmeneta RJ, Ziliotto B. 2022. Finite-memory strategies in POMDPs with long-run average objectives. Mathematics of Operations Research. 47(1), 100–119.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 | Journal Article | IST-REx-ID: 11732 |
Henheik SJ, Lauritsen AB. 2022. The BCS energy gap at high density. Journal of Statistical Physics. 189, 5.
[Published Version]
View
| Files available
| DOI
| WoS
- 1
- 2 (current)
- 3
- 4
- 5