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.
237 Publications
2023 | Conference Paper | IST-REx-ID: 13221 | 
U. Boker, T. A. Henzinger, N. A. Mazzocchi, and N. E. Sarac, “Safety and liveness of quantitative automata,” in 34th International Conference on Concurrency Theory, Antwerp, Belgium, 2023, vol. 279.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Journal Article | IST-REx-ID: 12406 |
Y. Diao, “Density of the union of positive diagonal binary quadratic forms,” Acta Arithmetica, vol. 207. Instytut Matematyczny, pp. 1–17, 2023.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Thesis | IST-REx-ID: 14422
B. J. Confavreux, “Synapseek: Meta-learning synaptic plasticity rules,” Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
2023 | Thesis | IST-REx-ID: 14374 |
B. Roos, “Boundary superconductivity in BCS theory,” Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 13207 |
C. Hainzl, B. Roos, and R. Seiringer, “Boundary superconductivity in the BCS model,” Journal of Spectral Theory, vol. 12, no. 4. EMS Press, pp. 1507–1540, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Conference Paper | IST-REx-ID: 14485 |
V. Aksenov, M. Anoprenko, A. Fedorov, and M. Spear, “Brief announcement: BatchBoost: Universal batching for concurrent data structures,” in 37th International Symposium on Distributed Computing, L’Aquila, Italy, 2023, vol. 281.
[Published Version]
View
| Files available
| DOI
2023 | Research Data | IST-REx-ID: 12869 |
F. R. Klausen and A. B. Lauritsen, “Research data for: A stochastic cellular automaton model of culture formation.” Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 12890 |
F. R. Klausen and A. B. Lauritsen, “Stochastic cellular automaton model of culture formation,” Physical Review E, vol. 108, no. 5. American Physical Society, 2023.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Journal Article | IST-REx-ID: 14543 |
Kaiyrzhanov R, Rad A, Lin S-J, Bertoli-Avella A, Kallemeijn WW, Godwin A, Zaki MS, Huang K, Lau T, Petree C, Efthymiou S, Ghayoor Karimiani E, Hempel M, Normand EA, Rudnik-Schöneborn S, Schatz UA, Baggelaar MP, Ilyas M, Sultan T, Alvi JR, Ganieva M, Fowler B, Aanicai R, Akay Tayfun G, Al Saman A, Alswaid A, Amiri N, Asilova N, Shotelersuk V, Yeetong P, Azam M, Babaei M, Bahrami Monajemi G, Mohammadi P, Samie S, Banu SH, Basto JP, Kortüm F, Bauer M, Bauer P, Beetz C, Garshasbi M, Hameed Issa A, Eyaid W, Ahmed H, Hashemi N, Hassanpour K, Herman I, Ibrohimov S, Abdul-Majeed BA, Imdad M, Isrofilov M, Kaiyal Q, Khan S, Kirmse B, Koster J, Lourenço CM, Mitani T, Moldovan O, Murphy D, Najafi M, Pehlivan D, Rocha ME, Salpietro V, Schmidts M, Shalata A, Mahroum M, Talbeya JK, Taylor RW, Vazquez D, Vetro A, Waterham HR, Zaman M, Schrader TA, Chung WK, Guerrini R, Lupski JR, Gleeson J, Suri M, Jamshidi Y, Bhatia KP, Vona B, Schrader M, Severino M, Guille M, Tate EW, Varshney GK, Houlden H, Maroofian R. 2023. Bi-allelic ACBD6 variants lead to a neurodevelopmental syndrome with progressive and complex movement disorders. Brain., awad380.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2023 | Journal Article | IST-REx-ID: 14542 |
S. J. Henheik, A. B. Lauritsen, and B. Roos, “Universality in low-dimensional BCS theory,” Reviews in Mathematical Physics. World Scientific Publishing, 2023.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2023 | Thesis | IST-REx-ID: 14506 |
M. X. Yeo, “Advances in efficiency and privacy in payment channel network analysis,” Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
2023 | Thesis | IST-REx-ID: 12726
M. Riedl, “Synchronization in collectively moving active matter,” Institute of Science and Technology Austria, 2023.
View
| Files available
| DOI
2023 | Thesis | IST-REx-ID: 14530 |
M. Riedl, “Synchronization in collectively moving active matter,” Institute of Science and Technology Austria, 2023.
[Updated Version]
View
| Files available
| DOI
2023 | Thesis | IST-REx-ID: 14547 |
D. T. Phan, “Resonant microwave spectroscopy of Al-InAs,” Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 14628 |
L. Makatura et al., “Procedural metamaterials: A unified procedural graph for metamaterial design,” ACM Transactions on Graphics, vol. 42, no. 5. Association for Computing Machinery, 2023.
[Published Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 14653 |
F. Kluibenschedl, A. Ploner, C. Meisenbichler, R. Konrat, and T. Müller, “Advanced motion tracking for interactive mass spectrometry imaging (IMSI),” International Journal of Mass Spectrometry, vol. 495. Elsevier, 2023.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 | Journal Article | IST-REx-ID: 13274 |
C. S. Paranjape, G. Yalniz, Y. Duguet, N. B. Budanur, and B. Hof, “Direct path from turbulence to time-periodic solutions,” Physical Review Letters, vol. 131, no. 3. American Physical Society, 2023.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Thesis | IST-REx-ID: 14058 |
G. Puixeu Sala, “The molecular basis of sexual dimorphism: Experimental and theoretical characterization of phenotypic, transcriptomic and genetic patterns of sex-specific adaptation,” Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 14077 |
G. Puixeu Sala, A. Macon, and B. Vicoso, “Sex-specific estimation of cis and trans regulation of gene expression in heads and gonads of Drosophila melanogaster,” G3: Genes, Genomes, Genetics, vol. 13, no. 8. Oxford University Press, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Research Data | IST-REx-ID: 12933 |
G. Puixeu Sala, “Data from: Sex-specific estimation of cis and trans regulation of gene expression in heads and gonads of Drosophila melanogaster.” Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 14343 |
G. Cipolloni, L. Erdös, S. J. Henheik, and O. Kolupaiev, “Gaussian fluctuations in the equipartition principle for Wigner matrices,” Forum of Mathematics, Sigma, vol. 11. Cambridge University Press, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 14421 |
S. J. Henheik and R. Tumulka, “Creation rate of Dirac particles at a point source,” Journal of Physics A: Mathematical and Theoretical, vol. 56, no. 44. IOP Publishing, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 14425 |
Z. Zeng et al., “Mechanistic insight on water dissociation on pristine low-index TiO2 surfaces from machine learning molecular dynamics simulations,” Nature Communications, vol. 14. Springer Nature, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
| arXiv
2023 | Thesis | IST-REx-ID: 14622
S. Sack, “Improving variational quantum algorithms: Innovative initialization techniques and extensions to qudit systems,” Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
2023 | Thesis | IST-REx-ID: 14697
J. A. Stopp, “Neutrophils on the hunt: Migratory strategies employed by neutrophils to fulfill their effector function,” Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
2023 | Thesis | IST-REx-ID: 14651 |
L. S. Arathoon, “Investigating inbreeding depression and the self-incompatibility locus of Antirrhinum majus,” Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
2023 | Preprint | IST-REx-ID: 14703 |
S. Ishida and H. Lavenant, “Quantitative convergence of a discretization of dynamic optimal transport using the dual formulation,” arXiv. .
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Conference Paper | IST-REx-ID: 14735 |
C. Stefo, Z. Xiang, and E. Kokoris Kogias, “Executing and proving over dirty ledgers,” in 27th International Conference on Financial Cryptography and Data Security, Bol, Brac, Croatia, 2023, vol. 13950, pp. 3–20.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2023 | Thesis | IST-REx-ID: 14539 |
D. Zikelic, “Automated verification and control of infinite state stochastic systems,” Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
2023 | Conference Abstract | IST-REx-ID: 14863 |
A. Polesello, C. J. Muller, C. Pasquero, and A. N. Meroni, “Intensification mechanisms of tropical cyclones,” in EGU General Assembly 2023, Vienna, Austria & Virtual, 2023.
[Published Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 13049 |
M. Freire, M. Bhargava, C. Schreck, P.-A. Hugron, B. Bickel, and S. Lefebvre, “PCBend: Light up your 3D shapes with foldable circuit boards,” Transactions on Graphics, vol. 42, no. 4. Association for Computing Machinery, 2023.
[Submitted Version]
View
| Files available
| DOI
| WoS
2023 | Journal Article | IST-REx-ID: 14032 |
S. Mukhopadhyay et al., “Superconductivity from a melted insulator in Josephson junction arrays,” Nature Physics, vol. 19. Springer Nature, pp. 1630–1635, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Journal Article | IST-REx-ID: 13128 |
A. Mohammadi, T. Pham, and Y. Wang, “An energy decomposition theorem for matrices and related questions,” Canadian Mathematical Bulletin, vol. 66, no. 4. Cambridge University Press, pp. 1280–1295, 2023.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 14087 |
J. Rønning, J. B. Renaud, A. Doostmohammadi, and L. Angheluta, “Spontaneous flows and dynamics of full-integer topological defects in polar active matter,” Soft Matter, vol. 39. Royal Society of Chemistry, pp. 7513–7527, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Conference Paper | IST-REx-ID: 12859 |
S. Bombari, S. Kiyani, and M. Mondelli, “Beyond the universal law of robustness: Sharper laws for random features and neural tangent kernels,” in Proceedings of the 40th International Conference on Machine Learning, Honolulu, HI, United States, 2023, vol. 202, pp. 2738–2776.
[Preprint]
View
| Files available
| Download Preprint (ext.)
| arXiv
2023 | Thesis | IST-REx-ID: 13107 |
L. Knaus, “The metabolism of the developing brain : How large neutral amino acids modulate perinatal neuronal excitability and survival,” Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 14466 |
E. Marensi, G. Yalniz, and B. Hof, “Dynamics and proliferation of turbulent stripes in plane-Poiseuille and plane-Couette flows,” Journal of Fluid Mechanics, vol. 974. Cambridge University Press, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 14687 |
R. B. Jethwa, S. Mondal, B. Pant, and S. A. Freunberger, “To DISP or not? The far‐reaching reaction mechanisms underpinning Lithium‐air batteries,” Angewandte Chemie International Edition. Wiley, 2023.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 | Journal Article | IST-REx-ID: 12675 |
L. M. Becker et al., “The rigid core and flexible surface of amyloid fibrils probed by Magic‐Angle Spinning NMR of aromatic residues,” Angewandte Chemie International Edition, vol. 62, no. 19. Wiley, 2023.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 | Research Data | IST-REx-ID: 12497 |
L. M. Becker and P. Schanda, “Research data to: The rigid core and flexible surface of amyloid fibrils probed by magic-angle-spinning NMR spectroscopy of aromatic residues.” Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 13314 |
Z. Dunajova et al., “Chiral and nematic phases of flexible active filaments,” Nature Physics, vol. 19. Springer Nature, pp. 1916–1926, 2023.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
2023 | Thesis | IST-REx-ID: 14280
P. Radler, “Spatiotemporal signaling during assembly of the bacterial divisome,” Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
2023 | Thesis | IST-REx-ID: 13286 |
M. Valentini, “Mesoscopic phenomena in hybrid semiconductor-superconductor nanodevices : From full-shell nanowires to two-dimensional hole gas in germanium,” Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
2023 | Conference Paper | IST-REx-ID: 14260 |
N. Koval, A. Fedorov, M. Sokolova, D. Tsitelov, and D.-A. Alistarh, “Lincheck: A practical framework for testing concurrent data structures on JVM,” in 35th International Conference on Computer Aided Verification , Paris, France, 2023, vol. 13964, pp. 156–169.
[Published Version]
View
| Files available
| DOI
2023 | Thesis | IST-REx-ID: 13984
A. Franschitz, “Individual and social immunity against viral infections in ants,” Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
2023 | Preprint | IST-REx-ID: 15039 |
B. Prach and C. Lampert, “1-Lipschitz neural networks are more expressive with N-activations,” arXiv. .
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Thesis | IST-REx-ID: 14323
K. Kuzmicz-Kowalska, “Regulation of neural progenitor survival by Shh and BMP in the developing spinal cord,” Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
2023 | Thesis | IST-REx-ID: 14587 |
A. Marveggio, “Weak-strong stability and phase-field approximation of interface evolution problems in fluid mechanics and in material sciences,” Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
2023 | Preprint | IST-REx-ID: 15128 |
V. Riabov, “Mesoscopic eigenvalue statistics for Wigner-type matrices,” arXiv. .
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Conference Paper | IST-REx-ID: 13262 |
A. Fedorov, D. Hashemi, G. Nadiradze, and D.-A. Alistarh, “Provably-efficient and internally-deterministic parallel Union-Find,” in Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures, Orlando, FL, United States, 2023, pp. 261–271.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Thesis | IST-REx-ID: 14641
M. Hennessey-Wesen, “Adaptive mutation in E. coli modulated by luxS,” Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
2023 | Thesis | IST-REx-ID: 12491 |
B. Zens, “Ultrastructural characterization of natively preserved extracellular matrix by cryo-electron tomography,” Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
2023 | Thesis | IST-REx-ID: 12891 |
A. Schauer, “Mesendoderm formation in zebrafish gastrulation: The role of extraembryonic tissues,” Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
2023 | Thesis | IST-REx-ID: 12781 |
V. Kravchuk, “Structural and mechanistic study of bacterial complex I and its cyanobacterial ortholog,” Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
2023 | Thesis | IST-REx-ID: 12809 |
C. Alcarva, “Plasticity in the cerebellum: What molecular mechanisms are behind physiological learning,” Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
2023 | Thesis | IST-REx-ID: 14226 |
E. R. Stephenson, “Generalizing medial axes with homology switches,” Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
2023 | Thesis | IST-REx-ID: 12531 |
K. Kirillova, “Panoramic functional gradients across the mouse retina,” Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
2023 | Thesis | IST-REx-ID: 12800 |
M. Julseth, “The effect of local population structure on genetic variation at selected loci in the A. majus hybrid zone,” Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
2023 | Thesis | IST-REx-ID: 14510
N. Gnyliukh, “Mechanism of clathrin-coated vesicle formation during endocytosis in plants,” Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
2023 | Thesis | IST-REx-ID: 12897 |
C. Hafner, “Inverse shape design with parametric representations: Kirchhoff Rods and parametric surface models,” Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
2023 | Thesis | IST-REx-ID: 12470 |
J. M. Michalska, “A versatile toolbox for the comprehensive analysis of nervous tissue organization with light microscopy,” Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
2022 | Thesis | IST-REx-ID: 12072 |
A. L. Shute, “Existence and density problems in Diophantine geometry: From norm forms to Campana points,” Institute of Science and Technology Austria, 2022.
[Published Version]
View
| Files available
| DOI
2022 | Conference Paper | IST-REx-ID: 12102 |
A. Ahmadi, K. Chatterjee, A. K. Goharshady, T. Meggendorfer, R. Safavi Hemami, and D. Zikelic, “Algorithms and hardness results for computing cores of Markov chains,” in 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Madras, India, 2022, vol. 250.
[Published Version]
View
| Files available
| DOI
2022 | Preprint | IST-REx-ID: 12677 |
K. Chatterjee, M. Mohammadi, and R. J. Saona Urmeneta, “Repeated prophet inequality with near-optimal bounds,” arXiv. .
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Preprint | IST-REx-ID: 12860 |
S. Bombari et al., “Towards differential relational privacy and its use in question answering,” arXiv. .
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Conference Paper | IST-REx-ID: 11839 |
B. Prach and C. Lampert, “Almost-orthogonal layers for efficient general-purpose Lipschitz networks,” in Computer Vision – ECCV 2022, Tel Aviv, Israel, 2022, vol. 13681, pp. 350–365.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Thesis | IST-REx-ID: 11777 |
P. Wild, “High-dimensional expansion and crossing numbers of simplicial complexes,” Institute of Science and Technology, 2022.
[Published Version]
View
| Files available
| DOI
2022 | Thesis | IST-REx-ID: 11128 |
L. Matejovicova, “Genetic basis of flower colour as a model for adaptive evolution,” Institute of Science and Technology Austria, 2022.
[Published Version]
View
| Files available
| DOI
2022 | Journal Article | IST-REx-ID: 10600 |
S. J. Henheik and S. Teufel, “Adiabatic theorem in the thermodynamic limit: Systems with a uniform gap,” Journal of Mathematical Physics, vol. 63, no. 1. AIP Publishing, 2022.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 | Journal Article | IST-REx-ID: 10642 |
S. J. Henheik, S. Teufel, and T. Wessel, “Local stability of ground states in locally gapped and weakly interacting quantum spin systems,” Letters in Mathematical Physics, vol. 112, no. 1. Springer Nature, 2022.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2022 | Journal Article | IST-REx-ID: 10643 |
S. J. Henheik and S. Teufel, “Adiabatic theorem in the thermodynamic limit: Systems with a gap in the bulk,” Forum of Mathematics, Sigma, vol. 10. Cambridge University Press, 2022.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2022 | Journal Article | IST-REx-ID: 10623 |
S. J. Henheik, “The BCS critical temperature at high density,” Mathematical Physics, Analysis and Geometry, vol. 25, no. 1. Springer Nature, 2022.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2022 | Journal Article | IST-REx-ID: 10920 |
D. Jirovec et al., “Dynamics of hole singlet-triplet qubits with large g-factor differences,” Physical Review Letters, vol. 128, no. 12. American Physical Society, 2022.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2022 | Journal Article | IST-REx-ID: 10925 |
B. Yang and Z. Yang, “On the wavenumber-frequency spectrum of the wall pressure fluctuations in turbulent channel flow,” Journal of Fluid Mechanics, vol. 937. Cambridge University Press, 2022.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| arXiv
2022 | Journal Article | IST-REx-ID: 11135 |
J. Reker, “On the operator norm of a Hermitian random matrix with correlated entries,” Random Matrices: Theory and Applications, vol. 11, no. 4. World Scientific, 2022.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 | Conference Paper | IST-REx-ID: 11459 |
D. Zikelic, B.-Y. E. Chang, P. Bolignano, and F. Raimondi, “Differential cost analysis with simultaneous potentials and anti-potentials,” in Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation, San Diego, CA, United States, 2022, pp. 442–457.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2022 | Journal Article | IST-REx-ID: 11448 |
L. Gonzalez Somermeyer et al., “Heterogeneity of the GFP fitness landscape and data-driven protein design,” eLife, vol. 11. eLife Sciences Publications, 2022.
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Journal Article | IST-REx-ID: 11447 |
R. J. Saona Urmeneta, F. Kondrashov, and K. Khudiakova, “Relation between the number of peaks and the number of reciprocal sign epistatic interactions,” Bulletin of Mathematical Biology, vol. 84, no. 8. Springer Nature, 2022.
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Journal Article | IST-REx-ID: 11438 |
V. Li, F. R. Diorico, and O. Hosten, “Laser frequency-offset locking at 10-Hz-level instability using hybrid electronic filters,” Physical Review Applied, vol. 17, no. 5. American Physical Society, 2022.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 | Conference Paper | IST-REx-ID: 11476 |
J. Alwen et al., “CoCoA: Concurrent continuous group key agreement,” in Advances in Cryptology – EUROCRYPT 2022, Trondheim, Norway, 2022, vol. 13276, pp. 815–844.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
2022 | Journal Article | IST-REx-ID: 11556 |
A. Kalinov, A. I. Osinskiy, S. A. Matveev, W. Otieno, and N. V. Brilliantov, “Direct simulation Monte Carlo for new regimes in aggregation-fragmentation kinetics,” Journal of Computational Physics, vol. 467. Elsevier, 2022.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 | Journal Article | IST-REx-ID: 11723 |
L. Li et al., “RALF1 peptide triggers biphasic root growth inhibition upstream of auxin biosynthesis,” Proceedings of the National Academy of Sciences, vol. 119, no. 31. Proceedings of the National Academy of Sciences, 2022.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 | Thesis | IST-REx-ID: 11945 |
R. Schulz, “Chimeric G protein-coupled receptors mimic distinct signaling pathways and modulate microglia function,” Institute of Science and Technology Austria, 2022.
[Published Version]
View
| Files available
| DOI
2022 | Conference Paper | IST-REx-ID: 11775 |
T. A. Henzinger, N. A. Mazzocchi, and N. E. Sarac, “Abstract monitors for quantitative specifications,” in 22nd International Conference on Runtime Verification, Tbilisi, Georgia, 2022, vol. 13498, pp. 200–220.
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Thesis | IST-REx-ID: 12390 |
M. Brooks, “Translation-invariant quantum systems with effectively broken symmetry,” Institute of Science and Technology Austria, 2022.
[Published Version]
View
| Files available
| DOI
2022 | Thesis | IST-REx-ID: 11362 |
M. Lechner, “Learning verifiable representations,” Institute of Science and Technology Austria, 2022.
[Published Version]
View
| Files available
| DOI
2022 | Journal Article | IST-REx-ID: 9311 |
K. Chatterjee, R. J. Saona Urmeneta, and B. Ziliotto, “Finite-memory strategies in POMDPs with long-run average objectives,” Mathematics of Operations Research, vol. 47, no. 1. Institute for Operations Research and the Management Sciences, pp. 100–119, 2022.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2022 | Journal Article | IST-REx-ID: 11732 |
S. J. Henheik and A. B. Lauritsen, “The BCS energy gap at high density,” Journal of Statistical Physics, vol. 189. Springer Nature, 2022.
[Published Version]
View
| Files available
| DOI
| WoS
2022 | Thesis | IST-REx-ID: 11473 |
K. Mysliwy, “Polarons in Bose gases and polar crystals: Some rigorous energy estimates,” Institute of Science and Technology Austria, 2022.
[Published Version]
View
| Files available
| DOI
2022 | Preprint | IST-REx-ID: 12750 |
P. Brighi, M. Ljubotina, and M. Serbyn, “Hilbert space fragmentation and slow dynamics in particle-conserving quantum East models,” arXiv. .
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2022 | Journal Article | IST-REx-ID: 14355 |
Cali E, Lin S-J, Rocca C, Sahin Y, Al Shamsi A, El Chehadeh S, Chaabouni M, Mankad K, Galanaki E, Efthymiou S, Sudhakar S, Athanasiou-Fragkouli A, Celik T, Narli N, Bianca S, Murphy D, Moreira FMDC, Accogli A, Petree C, Huang K, Monastiri K, Edizadeh M, Nardello R, Ognibene M, De Marco P, Ruggieri M, Zara F, Striano P, Sahin Y, Al-Gazali L, Warde MTA, Gerard B, Zifarelli G, Beetz C, Fortuna S, Soler M, Valente EM, Varshney G, Maroofian R, Salpietro V, Houlden H, Grp SynS. 2022. A homozygous MED11 C-terminal variant causes a lethal neurodegenerative disease. Genetics in Medicine. 24(10), 2194–2203.
[Published Version]
View
| Files available
| DOI
2022 | Journal Article | IST-REx-ID: 11462
D. Dormeshkin et al., “Combining of synthetic VHH and immune scFv libraries for pregnancy-associated glycoproteins ELISA development,” Applied Microbiology and Biotechnology, vol. 106. Springer Nature, pp. 5093–5103, 2022.
View
| DOI
| WoS
| PubMed | Europe PMC
2022 | Thesis | IST-REx-ID: 10799 |
N. H. Konstantinov, “Robustness and fairness in machine learning,” Institute of Science and Technology Austria, 2022.
[Published Version]
View
| Files available
| DOI
2022 | Journal Article | IST-REx-ID: 10850 |
B. Roos and R. Seiringer, “Two-particle bound states at interfaces and corners,” Journal of Functional Analysis, vol. 282, no. 12. Elsevier, 2022.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2022 | Journal Article | IST-REx-ID: 12117 |
V. Hübschmann, M. Korkut, and S. Siegert, “Assessing human iPSC-derived microglia identity and function by immunostaining, phagocytosis, calcium activity, and inflammation assay,” STAR Protocols, vol. 3, no. 4. Elsevier, 2022.
[Published Version]
View
| Files available
| DOI
2022 | Journal Article | IST-REx-ID: 12291 |
Friml J, Gallei MC, Gelová Z, Johnson AJ, Mazur E, Monzer A, Rodriguez Solovey L, Roosjen M, Verstraeten I, Živanović BD, Zou M, Fiedler L, Giannini C, Grones P, Hrtyan M, Kaufmann W, Kuhn A, Narasimhan M, Randuch M, Rýdza N, Takahashi K, Tan S, Teplova A, Kinoshita T, Weijers D, Rakusová H. 2022. ABP1–TMK auxin perception for global phosphorylation and auxin canalization. Nature. 609(7927), 575–581.
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2022 | Thesis | IST-REx-ID: 11626 |
M. C. Gallei, “Auxin and strigolactone non-canonical signaling regulating development in Arabidopsis thaliana,” Institute of Science and Technology Austria, 2022.
[Published Version]
View
| Files available
| DOI