Hafner C. Inverse shape design with parametric representations: Kirchhoff Rods and parametric surface models. 2023. doi:10.15479/at:ista:12897
LibreCat: https://research-explorer.ista.ac.at/record/12897
DOI: 10.15479/at:ista:12897

Michalska JM. A versatile toolbox for the comprehensive analysis of nervous tissue organization with light microscopy. 2023. doi:10.15479/at:ista:12470
LibreCat: https://research-explorer.ista.ac.at/record/12470
DOI: 10.15479/at:ista:12470

Shute AL. Existence and density problems in Diophantine geometry: From norm forms to Campana points. 2022. doi:10.15479/at:ista:12072
LibreCat: https://research-explorer.ista.ac.at/record/12072
DOI: 10.15479/at:ista:12072

Ahmadi A, Chatterjee K, Goharshady AK, Meggendorfer T, Safavi Hemami R, Zikelic D. 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. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2022. doi:10.4230/LIPIcs.FSTTCS.2022.29
LibreCat: https://research-explorer.ista.ac.at/record/12102
DOI: 10.4230/LIPIcs.FSTTCS.2022.29

Shipman BA, Stephenson ER. Tangible topology through the lens of limits. PRIMUS. 2022;32(5):593-609. doi:10.1080/10511970.2021.1872750
LibreCat: https://research-explorer.ista.ac.at/record/12307
DOI: 10.1080/10511970.2021.1872750

Chatterjee K, Mohammadi M, Saona Urmeneta RJ. Repeated prophet inequality with near-optimal bounds. arXiv. doi:10.48550/ARXIV.2209.14368
LibreCat: https://research-explorer.ista.ac.at/record/12677
DOI: 10.48550/ARXIV.2209.14368
arXiv: 2209.14368

Bombari S, Achille A, Wang Z, et al. Towards differential relational privacy and its use in question answering. arXiv. doi:10.48550/arXiv.2203.16701
LibreCat: https://research-explorer.ista.ac.at/record/12860
DOI: 10.48550/arXiv.2203.16701
arXiv: 2203.16701

Prach B, Lampert C. Almost-orthogonal layers for efficient general-purpose Lipschitz networks. In: Computer Vision – ECCV 2022. Vol 13681. Springer Nature; 2022:350-365. doi:10.1007/978-3-031-19803-8_21
LibreCat: https://research-explorer.ista.ac.at/record/11839
DOI: 10.1007/978-3-031-19803-8_21
arXiv: 2208.03160

Wild P. High-dimensional expansion and crossing numbers of simplicial complexes. 2022. doi:10.15479/at:ista:11777
LibreCat: https://research-explorer.ista.ac.at/record/11777
DOI: 10.15479/at:ista:11777

Matejovicova L. Genetic basis of flower colour as a model for adaptive evolution. 2022. doi:10.15479/at:ista:11128
LibreCat: https://research-explorer.ista.ac.at/record/11128
DOI: 10.15479/at:ista:11128

Henheik SJ, Teufel S. Adiabatic theorem in the thermodynamic limit: Systems with a uniform gap. Journal of Mathematical Physics. 2022;63(1). doi:10.1063/5.0051632
LibreCat: https://research-explorer.ista.ac.at/record/10600
DOI: 10.1063/5.0051632
WoS: 000739446000009
arXiv: 2012.15238

Henheik SJ, Teufel S, Wessel T. Local stability of ground states in locally gapped and weakly interacting quantum spin systems. Letters in Mathematical Physics. 2022;112(1). doi:10.1007/s11005-021-01494-y
LibreCat: https://research-explorer.ista.ac.at/record/10642
DOI: 10.1007/s11005-021-01494-y
WoS: 000744930400001
arXiv: 2106.13780

Henheik SJ, Teufel S. Adiabatic theorem in the thermodynamic limit: Systems with a gap in the bulk. Forum of Mathematics, Sigma. 2022;10. doi:10.1017/fms.2021.80
LibreCat: https://research-explorer.ista.ac.at/record/10643
DOI: 10.1017/fms.2021.80
WoS: 000743615000001
arXiv: 2012.15239

Henheik SJ. The BCS critical temperature at high density. Mathematical Physics, Analysis and Geometry. 2022;25(1). doi:10.1007/s11040-021-09415-0
LibreCat: https://research-explorer.ista.ac.at/record/10623
DOI: 10.1007/s11040-021-09415-0
WoS: 000741387600001
arXiv: 2106.02015

Jirovec D, Mutter PM, Hofmann AC, et al. Dynamics of hole singlet-triplet qubits with large g-factor differences. Physical Review Letters. 2022;128(12). doi:10.1103/PhysRevLett.128.126803
LibreCat: https://research-explorer.ista.ac.at/record/10920
DOI: 10.1103/PhysRevLett.128.126803
WoS: 000786542500004
arXiv: 2111.05130

Yang B, Yang Z. On the wavenumber-frequency spectrum of the wall pressure fluctuations in turbulent channel flow. Journal of Fluid Mechanics. 2022;937. doi:10.1017/jfm.2022.137
LibreCat: https://research-explorer.ista.ac.at/record/10925
DOI: 10.1017/jfm.2022.137
WoS: 000763547000001
arXiv: 2201.04702

Reker J. On the operator norm of a Hermitian random matrix with correlated entries. Random Matrices: Theory and Applications. 2022;11(4). doi:10.1142/s2010326322500368
LibreCat: https://research-explorer.ista.ac.at/record/11135
DOI: 10.1142/s2010326322500368
WoS: 000848873800001
arXiv: 2103.03906

Zikelic D, Chang B-YE, Bolignano P, Raimondi F. Differential cost analysis with simultaneous potentials and anti-potentials. In: Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation. Association for Computing Machinery; 2022:442-457. doi:10.1145/3519939.3523435
LibreCat: https://research-explorer.ista.ac.at/record/11459
DOI: 10.1145/3519939.3523435
WoS: 000850435600030
arXiv: 2204.00870

Gonzalez Somermeyer L, Fleiss A, Mishin AS, et al. Heterogeneity of the GFP fitness landscape and data-driven protein design. eLife. 2022;11. doi:10.7554/elife.75842
LibreCat: https://research-explorer.ista.ac.at/record/11448
DOI: 10.7554/elife.75842
WoS: 000799197200001

Saona Urmeneta RJ, Kondrashov F, Khudiakova K. Relation between the number of peaks and the number of reciprocal sign epistatic interactions. Bulletin of Mathematical Biology. 2022;84(8). doi:10.1007/s11538-022-01029-z
LibreCat: https://research-explorer.ista.ac.at/record/11447
DOI: 10.1007/s11538-022-01029-z
WoS: 000812509800001

Li V, Diorico FR, Hosten O. Laser frequency-offset locking at 10-Hz-level instability using hybrid electronic filters. Physical Review Applied. 2022;17(5). doi:10.1103/physrevapplied.17.054031
LibreCat: https://research-explorer.ista.ac.at/record/11438
DOI: 10.1103/physrevapplied.17.054031
WoS: 000880670300001
arXiv: 2111.13194

Alwen J, Auerbach B, Cueto Noval M, et al. CoCoA: Concurrent continuous group key agreement. In: Advances in Cryptology – EUROCRYPT 2022. Vol 13276. Cham: Springer Nature; 2022:815–844. doi:10.1007/978-3-031-07085-3_28
LibreCat: https://research-explorer.ista.ac.at/record/11476
DOI: 10.1007/978-3-031-07085-3_28
WoS: 000832305300028

Kalinov A, Osinskiy AI, Matveev SA, Otieno W, Brilliantov NV. Direct simulation Monte Carlo for new regimes in aggregation-fragmentation kinetics. Journal of Computational Physics. 2022;467. doi:10.1016/j.jcp.2022.111439
LibreCat: https://research-explorer.ista.ac.at/record/11556
DOI: 10.1016/j.jcp.2022.111439
WoS: 000917225500013
arXiv: 2103.09481

Li L, Chen H, Alotaibi SS, et al. RAL peptide triggers biphasic root growth inhibition upstream of auxin biosynthesis. Proceedings of the National Academy of Sciences. 2022;119(31). doi:10.1073/pnas.2121058119
LibreCat: https://research-explorer.ista.ac.at/record/11723
DOI: 10.1073/pnas.2121058119
WoS: 000881496900002
PMID: 35878023

Schulz R. Chimeric G protein-coupled receptors mimic distinct signaling pathways and modulate microglia function. 2022. doi:10.15479/at:ista:11945
LibreCat: https://research-explorer.ista.ac.at/record/11945
DOI: 10.15479/at:ista:11945

Henzinger TA, Mazzocchi NA, Sarac NE. Abstract monitors for quantitative specifications. In: 22nd International Conference on Runtime Verification. Vol 13498. Springer Nature; 2022:200-220. doi:10.1007/978-3-031-17196-3_11
LibreCat: https://research-explorer.ista.ac.at/record/11775
DOI: 10.1007/978-3-031-17196-3_11
WoS: 000866539700011

Brooks M. Translation-invariant quantum systems with effectively broken symmetry. 2022. doi:10.15479/at:ista:12390
LibreCat: https://research-explorer.ista.ac.at/record/12390
DOI: 10.15479/at:ista:12390

Lechner M. Learning verifiable representations. 2022. doi:10.15479/at:ista:11362
LibreCat: https://research-explorer.ista.ac.at/record/11362
DOI: 10.15479/at:ista:11362

Chatterjee K, Saona Urmeneta RJ, Ziliotto B. Finite-memory strategies in POMDPs with long-run average objectives. Mathematics of Operations Research. 2022;47(1):100-119. doi:10.1287/moor.2020.1116
LibreCat: https://research-explorer.ista.ac.at/record/9311
DOI: 10.1287/moor.2020.1116
WoS: 000731918100001
arXiv: 1904.13360

Henheik SJ, Lauritsen AB. The BCS energy gap at high density. Journal of Statistical Physics. 2022;189. doi:10.1007/s10955-022-02965-9
LibreCat: https://research-explorer.ista.ac.at/record/11732
DOI: 10.1007/s10955-022-02965-9
WoS: 000833007200002

Köse S, Özbudak F. Factorization of some polynomials over finite local commutative rings and applications to certain self-dual and LCD codes. Cryptography and Communications. 2022;14(4):933-948. doi:10.1007/s12095-022-00557-8
LibreCat: https://research-explorer.ista.ac.at/record/10842
DOI: 10.1007/s12095-022-00557-8
WoS: 000766422000002

Mysliwy K. Polarons in Bose gases and polar crystals: Some rigorous energy estimates. 2022. doi:10.15479/at:ista:11473
LibreCat: https://research-explorer.ista.ac.at/record/11473
DOI: 10.15479/at:ista:11473

Brighi P, Ljubotina M, Serbyn M. Hilbert space fragmentation and slow dynamics in particle-conserving quantum East models. arXiv. doi:10.48550/arXiv.2210.15607
LibreCat: https://research-explorer.ista.ac.at/record/12750
DOI: 10.48550/arXiv.2210.15607
arXiv: 2210.15607

Cali E, Lin S-J, Rocca C, et al. A homozygous ME C-terminal variant causes a lethal neurodegenerative disease. Genetics in Medicine. 2022;24(10):2194-2203. doi:10.1016/j.gim.2022.07.013
LibreCat: https://research-explorer.ista.ac.at/record/14355
DOI: 10.1016/j.gim.2022.07.013

Dormeshkin D, Shapira M, Karputs A, et al. Combining of synthetic VHH and immune scFv libraries for pregnancy-associated glycoproteins ELISA development. Applied Microbiology and Biotechnology. 2022;106:5093-5103. doi:10.1007/s00253-022-12022-w
LibreCat: https://research-explorer.ista.ac.at/record/11462
DOI: 10.1007/s00253-022-12022-w
WoS: 000813677500001
PMID: 35723693

Konstantinov NH. Robustness and fairness in machine learning. 2022. doi:10.15479/at:ista:10799
LibreCat: https://research-explorer.ista.ac.at/record/10799
DOI: 10.15479/at:ista:10799

Roos B, Seiringer R. Two-particle bound states at interfaces and corners. Journal of Functional Analysis. 2022;282(12). doi:10.1016/j.jfa.2022.109455
LibreCat: https://research-explorer.ista.ac.at/record/10850
DOI: 10.1016/j.jfa.2022.109455
WoS: 000795160200009
arXiv: 2105.04874

Hübschmann V, Korkut M, Siegert S. Assessing human iPSC-derived microglia identity and function by immunostaining, phagocytosis, calcium activity, and inflammation assay. STAR Protocols. 2022;3(4). doi:10.1016/j.xpro.2022.101866
LibreCat: https://research-explorer.ista.ac.at/record/12117
DOI: 10.1016/j.xpro.2022.101866

Friml J, Gallei MC, Gelová Z, et al. AB–TMK auxin perception for global phosphorylation and auxin canalization. Nature. 2022;609(7927):575-581. doi:10.1038/s41586-022-05187-x
LibreCat: https://research-explorer.ista.ac.at/record/12291
DOI: 10.1038/s41586-022-05187-x
WoS: 000851357500002
PMID: 36071161

Gallei MC. Auxin and strigolactone non-canonical signaling regulating development in Arabidopsis thaliana. 2022. doi:10.15479/at:ista:11626
LibreCat: https://research-explorer.ista.ac.at/record/11626
DOI: 10.15479/at:ista:11626

Stöllner A. Measuring airborne nanoplastics using aerosol physics. Nature Reviews Earth and Environment. 2022;3(6):360. doi:10.1038/s43017-022-00302-y
LibreCat: https://research-explorer.ista.ac.at/record/11403
DOI: 10.1038/s43017-022-00302-y
WoS: 000791125600002

Radler P. In vitro reconstitution of Escherichia coli divisome activation. 2022. doi:10.15479/AT:ISTA:10934
LibreCat: https://research-explorer.ista.ac.at/record/10934
DOI: 10.15479/AT:ISTA:10934

Schulz R. Source Data (Chimeric GPCRs mimic distinct signaling pathways and modulate microglia responses). 2022. doi:10.15479/AT:ISTA:11542
LibreCat: https://research-explorer.ista.ac.at/record/11542
DOI: 10.15479/AT:ISTA:11542

Surendranadh P, Arathoon LS, Baskett C, Field D, Pickup M, Barton NH. Effects of fine-scale population structure on the distribution of heterozygosity in a long-term study of Antirrhinum majus. Genetics. 2022;221(3). doi:10.1093/genetics/iyac083
LibreCat: https://research-explorer.ista.ac.at/record/11411
DOI: 10.1093/genetics/iyac083
WoS: 000803735800001
PMID: 35639938

Surendranadh P, Arathoon LS, Baskett C, Field D, Pickup M, Barton NH. Effects of fine-scale population structure on the distribution of heterozygosity in a long-term study of Antirrhinum majus. 2022. doi:10.15479/at:ista:11321
LibreCat: https://research-explorer.ista.ac.at/record/11321
DOI: 10.15479/at:ista:11321

Sperl G. Homogenizing yarn simulations: Large-scale mechanics, small-scale detail, and quantitative fitting. 2022. doi:10.15479/at:ista:12103
LibreCat: https://research-explorer.ista.ac.at/record/12358
DOI: 10.15479/at:ista:12103

Rzadkowski W. Analytic and machine learning approaches to composite quantum impurities. 2022. doi:10.15479/at:ista:10759
LibreCat: https://research-explorer.ista.ac.at/record/10759
DOI: 10.15479/at:ista:10759

Biswas R, Cultrera di Montesano S, Edelsbrunner H, Saghafian M. A window to the persistence of 1D maps. I: Geometric characterization of critical point pairs. LIPIcs.
LibreCat: https://research-explorer.ista.ac.at/record/11660

Barton NH, Olusanya OO. The response of a metapopulation to a changing environment. Philosophical Transactions of the Royal Society B: Biological Sciences. 2022;377(1848). doi:10.1098/rstb.2021.0009
LibreCat: https://research-explorer.ista.ac.at/record/10787
DOI: 10.1098/rstb.2021.0009
WoS: 000758140300001
PMID: 35184588

Sachdeva H, Olusanya OO, Barton NH. Genetic load and extinction in peripheral populations: The roles of migration, drift and demographic stochasticity. Philosophical Transactions of the Royal Society B. 2022;377(1846). doi:10.1098/rstb.2021.0010
LibreCat: https://research-explorer.ista.ac.at/record/10658
DOI: 10.1098/rstb.2021.0010
WoS: 000745854300008
PMID: 35067097

Arslan FN. Remodeling of E-cadherin-mediated contacts via cortical  flows. 2022. doi:10.15479/at:ista:12153
LibreCat: https://research-explorer.ista.ac.at/record/12368
DOI: 10.15479/at:ista:12153

Biswas R, Cultrera di Montesano S, Edelsbrunner H, Saghafian M. Depth in arrangements: Dehn–Sommerville–Euler relations with applications. Leibniz International Proceedings on Mathematics.
LibreCat: https://research-explorer.ista.ac.at/record/11658

Kim O. Nanoarchitecture of hippocampal mossy fiber-C pyramidal neuron synapses. 2022. doi:10.15479/at:ista:11196
LibreCat: https://research-explorer.ista.ac.at/record/11196
DOI: 10.15479/at:ista:11196

Metzler S. Pathogen-mediated sexual selection and immunization in ant colonies. 2022. doi:10.15479/AT:ISTA:10727
LibreCat: https://research-explorer.ista.ac.at/record/10727
DOI: 10.15479/AT:ISTA:10727

Artner C. Modulation of auxin transport via ZF proteins adjust plant response to high ambient temperature. 2022. doi:10.15479/at:ista:11879
LibreCat: https://research-explorer.ista.ac.at/record/11879
DOI: 10.15479/at:ista:11879

Jevtic M. Contextual fear learning induced changes in AMPA receptor subtypes along the proximodistal axis in dorsal hippocampus. 2022. doi:10.15479/at:ista:11393
LibreCat: https://research-explorer.ista.ac.at/record/11393
DOI: 10.15479/at:ista:11393

Redchenko E. Controllable states of superconducting Qubit ensembles. 2022. doi:10.15479/at:ista:12132
LibreCat: https://research-explorer.ista.ac.at/record/12366
DOI: 10.15479/at:ista:12132

Nardin M. On the encoding, transfer, and consolidation of spatial memories. 2022. doi:10.15479/at:ista:11932
LibreCat: https://research-explorer.ista.ac.at/record/11932
DOI: 10.15479/at:ista:11932

Colombo G. MorphOMICs, a tool for mapping microglial morphology, reveals brain region- and sex-dependent phenotypes. 2022. doi:10.15479/at:ista:12378
LibreCat: https://research-explorer.ista.ac.at/record/12378
DOI: 10.15479/at:ista:12378

Belohlavy S. The genetic basis of complex traits studied via analysis of evolve and resequence experiments. 2022. doi:10.15479/at:ista:11388
LibreCat: https://research-explorer.ista.ac.at/record/11388
DOI: 10.15479/at:ista:11388

Tasciyan S. Role of microenvironment heterogeneity in cancer cell invasion. 2022. doi:10.15479/at:ista:12401
LibreCat: https://research-explorer.ista.ac.at/record/12401
DOI: 10.15479/at:ista:12401

Wachner S. Transcriptional regulation by Dfos and BMP-signaling support tissue invasion of Drosophila immune cells. 2022. doi:10.15479/at:ista:11193
LibreCat: https://research-explorer.ista.ac.at/record/11193
DOI: 10.15479/at:ista:11193

Dotter C. Transcriptional consequences of mutations in genes associated with Autism Spectrum Disorder. 2022. doi:10.15479/at:ista:12094
LibreCat: https://research-explorer.ista.ac.at/record/12364
DOI: 10.15479/at:ista:12094

Elkrewi MN. Data from Elkrewi, Khauratovich, Toups et al. 2022, “ZW sex-chromosome evolution and contagious parthenogenesis in Artemia brine shrimp.”10.15479/AT:ISTA:11653__2022. doi:10.15479/AT:ISTA:11653
LibreCat: https://research-explorer.ista.ac.at/record/11653
DOI: 10.15479/AT:ISTA:11653

Nardin M, Käfer K, Csicsvari JL. The generalized spatial representation in the prefrontal cortex is inherited from the hippocampus. bioRxiv. doi:10.1101/2021.09.30.462269
LibreCat: https://research-explorer.ista.ac.at/record/10080
DOI: 10.1101/2021.09.30.462269

Nardin M, Phillips JW, Podlaski WF, Keemink SW. Nonlinear computations in spiking neural networks through multiplicative synapses. Peer Community Journal. 2021;1. doi:10.24072/pcjournal.69
LibreCat: https://research-explorer.ista.ac.at/record/10635
DOI: 10.24072/pcjournal.69
arXiv: 2009.03857

Grunbacher S, Hasani R, Lechner M, Cyranka J, Smolka SA, Grosu R. On the verification of neural ODEs with stochastic guarantees. In: Proceedings of the AAAI Conference on Artificial Intelligence. Vol 35. AAAI Press; 2021:11525-11535.
LibreCat: https://research-explorer.ista.ac.at/record/10669
arXiv: 2012.08863

Hasani R, Lechner M, Amini A, Rus D, Grosu R. Liquid time-constant networks. In: Proceedings of the AAAI Conference on Artificial Intelligence. Vol 35. AAAI Press; 2021:7657-7666.
LibreCat: https://research-explorer.ista.ac.at/record/10671
arXiv: 2006.04439

Babaiee Z, Hasani R, Lechner M, Rus D, Grosu R. On-off center-surround receptive fields for accurate and robust image classification. In: Proceedings of the 38th International Conference on Machine Learning. Vol 139. ML Research Press; 2021:478-489.
LibreCat: https://research-explorer.ista.ac.at/record/10668

Vorbach CJ, Hasani R, Amini A, Lechner M, Rus D. Causal navigation by continuous-time neural networks. In: 35th Conference on Neural Information Processing Systems. ; 2021.
LibreCat: https://research-explorer.ista.ac.at/record/10670
arXiv: 2106.08314

Avni G, Jecker IR, Zikelic D. Infinite-duration all-pay bidding games. In: Marx D, ed. Proceedings of the 2021 ACM-SIAM Symposium on Discrete Algorithms. Society for Industrial and Applied Mathematics; 2021:617-636. doi:10.1137/1.9781611976465.38
LibreCat: https://research-explorer.ista.ac.at/record/10694
DOI: 10.1137/1.9781611976465.38
arXiv: 2005.06636

Schmid L, Hilbe C. The evolution of strategic ignorance in strategic interaction. In: Hertwig R, Engel C, eds. Deliberate Ignorance: Choosing Not To Know. Vol 29. Strüngmann Forum Reports. MIT Press; 2021:139-152.
LibreCat: https://research-explorer.ista.ac.at/record/9403

Dvorak M, Nicholson S. Massively winning configurations in the convex grabbing game on the plane. In: Proceedings of the 33rd Canadian Conference on Computational Geometry.
LibreCat: https://research-explorer.ista.ac.at/record/9592
arXiv: 2106.11247

Auerbach B, Chakraborty S, Klein K, et al. Inverse-Sybil attacks in automated contact tracing. In: Topics in Cryptology – CT-RSA 2021. Vol 12704. Springer Nature; 2021:399-421. doi:10.1007/978-3-030-75539-3_17
LibreCat: https://research-explorer.ista.ac.at/record/9826
DOI: 10.1007/978-3-030-75539-3_17

Peste E-A, Iofinova EB, Vladu A, Alistarh D-A. AC/DC: Alternating Compressed/DeCompressed training of deep neural networks. In: 35th Conference on Neural Information Processing Systems. Vol 34. Curran Associates; 2021:8557-8570.
LibreCat: https://research-explorer.ista.ac.at/record/11458
arXiv: 2106.12379

Henzinger TA, Lechner M, Zikelic D. Scalable verification of quantized neural networks. In: Proceedings of the AAAI Conference on Artificial Intelligence. Vol 35. AAAI Press; 2021:3787-3795.
LibreCat: https://research-explorer.ista.ac.at/record/10665
arXiv: 2012.08185

Lechner M, dikeli Ð, Chatterjee K, Henzinger TA. Infinite time horizon safety of Bayesian neural networks. In: 35th Conference on Neural Information Processing Systems. ; 2021. doi:10.48550/arXiv.2111.03165
LibreCat: https://research-explorer.ista.ac.at/record/10667
DOI: 10.48550/arXiv.2111.03165
arXiv: 2111.03165

Samarasinghe RA, Miranda O, Buth JE, et al. Identification of Neural Oscillations and Epileptiform Changes in Human Brain Organoids. Vol 24. Springer Nature; 2021. doi:10.1038/s41593-021-00906-5
LibreCat: https://research-explorer.ista.ac.at/record/6995
DOI: 10.1038/s41593-021-00906-5
WoS: 000687516300001
PMID: 34426698 

Khudiakova K, Neretina TY, Kondrashov AS. Two linked loci under mutation-selection balance and Muller’s ratchet. Journal of Theoretical Biology. 2021;524. doi:10.1016/j.jtbi.2021.110729
LibreCat: https://research-explorer.ista.ac.at/record/9387
DOI: 10.1016/j.jtbi.2021.110729
WoS: 000659161500002

Henzinger TA, Sarac NE. Quantitative and approximate monitoring. In: Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science. Institute of Electrical and Electronics Engineers; 2021. doi:10.1109/LICS52264.2021.9470547
LibreCat: https://research-explorer.ista.ac.at/record/9356
DOI: 10.1109/LICS52264.2021.9470547
WoS: 000947350400021
arXiv: 2105.08353

Yalniz G, Hof B, Budanur NB. Coarse graining the state space of a turbulent flow using periodic orbits. Physical Review Letters. 2021;126(24). doi:10.1103/PhysRevLett.126.244502
LibreCat: https://research-explorer.ista.ac.at/record/9558
DOI: 10.1103/PhysRevLett.126.244502
WoS: 000663310100008
arXiv: 2007.02584

Sperl G, Narain R, Wojtan C. Mechanics-aware deformation of yarn pattern geometry. ACM Transactions on Graphics. 2021;40(4). doi:10.1145/3450626.3459816
LibreCat: https://research-explorer.ista.ac.at/record/9818
DOI: 10.1145/3450626.3459816
WoS: 000674930900132

Sperl G, Narain R, Wojtan C. Mechanics-Aware Deformation of Yarn Pattern Geometry (Additional Animation/Model Data). 2021. doi:10.15479/AT:ISTA:9327
LibreCat: https://research-explorer.ista.ac.at/record/9327
DOI: 10.15479/AT:ISTA:9327

Lauritsen AB. Floating Wigner crystal and periodic jellium configurations. Journal of Mathematical Physics. 2021;62(8). doi:10.1063/5.0053494
LibreCat: https://research-explorer.ista.ac.at/record/9891
DOI: 10.1063/5.0053494
WoS: 000683960800003
arXiv: 2103.07975

Karle V, Serbyn M, Michailidis A. Area-law entangled eigenstates from nullspaces of local Hamiltonians. Physical Review Letters. 2021;127(6). doi:10.1103/physrevlett.127.060602
LibreCat: https://research-explorer.ista.ac.at/record/9903
DOI: 10.1103/physrevlett.127.060602
WoS: 000684276000002
arXiv: 2102.13633

Lechner M, Hasani R, Grosu R, Rus D, Henzinger TA. Adversarial training is not ready for robot learning. In: 2021 IEEE International Conference on Robotics and Automation. ICRA. ; 2021:4140-4147. doi:10.1109/ICRA48506.2021.9561036
LibreCat: https://research-explorer.ista.ac.at/record/10666
DOI: 10.1109/ICRA48506.2021.9561036
WoS: 000765738803040
arXiv: 2103.08187

Lauritsen AB. The BCS energy gap at low density. Letters in Mathematical Physics. 2021;111. doi:10.1007/s11005-021-01358-5
LibreCat: https://research-explorer.ista.ac.at/record/9121
DOI: 10.1007/s11005-021-01358-5
WoS: 000617531900001

Osang GF. Multi-cover persistence and Delaunay mosaics. 2021. doi:10.15479/AT:ISTA:9056
LibreCat: https://research-explorer.ista.ac.at/record/9056
DOI: 10.15479/AT:ISTA:9056

Cipolloni G. Fluctuations in the spectrum of random matrices. 2021. doi:10.15479/AT:ISTA:9022
LibreCat: https://research-explorer.ista.ac.at/record/9022
DOI: 10.15479/AT:ISTA:9022

Phuong M, Lampert C. The inductive bias of ReLU networks on orthogonally separable data. In: 9th International Conference on Learning Representations. ; 2021.
LibreCat: https://research-explorer.ista.ac.at/record/9416

Hensel S. Curvature driven interface evolution: Uniqueness properties of weak solution concepts. 2021. doi:10.15479/at:ista:10007
LibreCat: https://research-explorer.ista.ac.at/record/10007
DOI: 10.15479/at:ista:10007

Bui TL, Chatterjee K, Gautam T, Pavlogiannis A, Toman V. The reads-from equivalence for the TSO and PSO memory models. Proceedings of the ACM on Programming Languages. 2021;5(OOPSLA). doi:10.1145/3485541
LibreCat: https://research-explorer.ista.ac.at/record/10191
DOI: 10.1145/3485541
arXiv: 2011.11763

Portinale L. Discrete-to-continuum limits of transport problems and gradient flows in the space of measures. 2021. doi:10.15479/at:ista:10030
LibreCat: https://research-explorer.ista.ac.at/record/10030
DOI: 10.15479/at:ista:10030

Peruzzo M. Geometric superinductors and their applications in circuit quantum electrodynamics. 2021. doi:10.15479/at:ista:9920
LibreCat: https://research-explorer.ista.ac.at/record/9920
DOI: 10.15479/at:ista:9920

Piankov A. Towards designer materials using customizable particle shape. 2021. doi:10.15479/at:ista:10422
LibreCat: https://research-explorer.ista.ac.at/record/10422
DOI: 10.15479/at:ista:10422

Phuong M. Underspecification in deep learning. 2021. doi:10.15479/AT:ISTA:9418
LibreCat: https://research-explorer.ista.ac.at/record/9418
DOI: 10.15479/AT:ISTA:9418

Koval I. Local strong Birkhoff conjecture and local spectral rigidity of almost every ellipse. arXiv. doi:10.48550/ARXIV.2111.12171
LibreCat: https://research-explorer.ista.ac.at/record/14278
DOI: 10.48550/ARXIV.2111.12171
arXiv: 2111.12171

Toman V. Improved verification techniques for concurrent systems. 2021. doi:10.15479/at:ista:10199
LibreCat: https://research-explorer.ista.ac.at/record/10199
DOI: 10.15479/at:ista:10199

Klein K. On the adaptive security of graph-based games. 2021. doi:10.15479/at:ista:10035
LibreCat: https://research-explorer.ista.ac.at/record/10035
DOI: 10.15479/at:ista:10035

Nadiradze G. On achieving scalability through relaxation. 2021. doi:10.15479/at:ista:10429
LibreCat: https://research-explorer.ista.ac.at/record/10429
DOI: 10.15479/at:ista:10429