Boker U, Henzinger TA, Mazzocchi NA, Sarac NE. Safety and liveness of quantitative automata. In: 34th International Conference on Concurrency Theory. Vol 279. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2023. doi:10.4230/LIPIcs.CONCUR.2023.17
LibreCat: https://research-explorer.ista.ac.at/record/13221
DOI: 10.4230/LIPIcs.CONCUR.2023.17
arXiv: 2307.06016

Diao Y. Density of the union of positive diagonal binary quadratic forms. Acta Arithmetica. 2023;207:1-17. doi:10.4064/aa210830-24-11
LibreCat: https://research-explorer.ista.ac.at/record/12406
DOI: 10.4064/aa210830-24-11
WoS: 000912903000001
arXiv: 2103.08268

Confavreux BJ. Synapseek: Meta-learning synaptic plasticity rules. 2023. doi:10.15479/at:ista:14422
LibreCat: https://research-explorer.ista.ac.at/record/14422
DOI: 10.15479/at:ista:14422

Roos B. Boundary superconductivity in BCS theory. 2023. doi:10.15479/at:ista:14374
LibreCat: https://research-explorer.ista.ac.at/record/14374
DOI: 10.15479/at:ista:14374

Hainzl C, Roos B, Seiringer R. Boundary superconductivity in the BCS model. Journal of Spectral Theory. 2023;12(4):1507–1540. doi:10.4171/JST/439
LibreCat: https://research-explorer.ista.ac.at/record/13207
DOI: 10.4171/JST/439
WoS: 000997933500008
arXiv: 2201.08090

Aksenov V, Anoprenko M, Fedorov A, Spear M. Brief announcement: BatchBoost: Universal batching for concurrent data structures. In: 37th International Symposium on Distributed Computing. Vol 281. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2023. doi:10.4230/LIPIcs.DISC.2023.35
LibreCat: https://research-explorer.ista.ac.at/record/14485
DOI: 10.4230/LIPIcs.DISC.2023.35

Klausen FR, Lauritsen AB. Research data for: A stochastic cellular automaton model of culture formation. 2023. doi:10.15479/AT:ISTA:12869
LibreCat: https://research-explorer.ista.ac.at/record/12869
DOI: 10.15479/AT:ISTA:12869

Klausen FR, Lauritsen AB. Stochastic cellular automaton model of culture formation. Physical Review E. 2023;108(5). doi:10.1103/PhysRevE.108.054307
LibreCat: https://research-explorer.ista.ac.at/record/12890
DOI: 10.1103/PhysRevE.108.054307
arXiv: 2305.02153

Kaiyrzhanov R, Rad A, Lin S-J, et al. Bi-allelic ACB variants lead to a neurodevelopmental syndrome with progressive and complex movement disorders. Brain. 2023. doi:10.1093/brain/awad380
LibreCat: https://research-explorer.ista.ac.at/record/14543
DOI: 10.1093/brain/awad380

Henheik SJ, Lauritsen AB, Roos B. Universality in low-dimensional BCS theory. Reviews in Mathematical Physics. 2023. doi:10.1142/s0129055x2360005x
LibreCat: https://research-explorer.ista.ac.at/record/14542
DOI: 10.1142/s0129055x2360005x
arXiv: 2301.05621

Yeo MX. Advances in efficiency and privacy in payment channel network analysis. 2023. doi:10.15479/14506
LibreCat: https://research-explorer.ista.ac.at/record/14506
DOI: 10.15479/14506

Riedl M. Synchronization in collectively moving active matter. 2023. doi:10.15479/at:ista:12726
LibreCat: https://research-explorer.ista.ac.at/record/12726
DOI: 10.15479/at:ista:12726

Riedl M. Synchronization in collectively moving active matter. 2023. doi:10.15479/14530
LibreCat: https://research-explorer.ista.ac.at/record/14530
DOI: 10.15479/14530

Phan DT. Resonant microwave spectroscopy of Al-InAs. 2023. doi:10.15479/14547
LibreCat: https://research-explorer.ista.ac.at/record/14547
DOI: 10.15479/14547

Makatura L, Wang B, Chen Y-L, et al. Procedural metamaterials: A unified procedural graph for metamaterial design. ACM Transactions on Graphics. 2023;42(5). doi:10.1145/3605389
LibreCat: https://research-explorer.ista.ac.at/record/14628
DOI: 10.1145/3605389

Kluibenschedl F, Ploner A, Meisenbichler C, Konrat R, Müller T. Advanced motion tracking for interactive mass spectrometry imaging (IMSI). International Journal of Mass Spectrometry. 2023;495. doi:10.1016/j.ijms.2023.117168
LibreCat: https://research-explorer.ista.ac.at/record/14653
DOI: 10.1016/j.ijms.2023.117168

Paranjape CS, Yalniz G, Duguet Y, Budanur NB, Hof B. Direct path from turbulence to time-periodic solutions. Physical Review Letters. 2023;131(3). doi:10.1103/physrevlett.131.034002
LibreCat: https://research-explorer.ista.ac.at/record/13274
DOI: 10.1103/physrevlett.131.034002
WoS: 001052929900004
arXiv: 2306.05098

Puixeu Sala G. The molecular basis of sexual dimorphism: Experimental and theoretical characterization of phenotypic, transcriptomic and genetic patterns of sex-specific adaptation. 2023. doi:10.15479/at:ista:14058
LibreCat: https://research-explorer.ista.ac.at/record/14058
DOI: 10.15479/at:ista:14058

Puixeu Sala G, Macon A, Vicoso B. Sex-specific estimation of cis and trans regulation of gene expression in heads and gonads of Drosophila melanogaster. : Genes, Genomes, Genetics. 2023;13(8). doi:10.1093/g3journal/jkad121
LibreCat: https://research-explorer.ista.ac.at/record/14077
DOI: 10.1093/g3journal/jkad121
WoS: 001002997200001

Puixeu Sala G. Data from: Sex-specific estimation of cis and trans regulation of gene expression in heads and gonads of Drosophila melanogaster. 2023. doi:10.15479/AT:ISTA:12933
LibreCat: https://research-explorer.ista.ac.at/record/12933
DOI: 10.15479/AT:ISTA:12933

Cipolloni G, Erdös L, Henheik SJ, Kolupaiev O. Gaussian fluctuations in the equipartition principle for Wigner matrices. Forum of Mathematics, Sigma. 2023;11. doi:10.1017/fms.2023.70
LibreCat: https://research-explorer.ista.ac.at/record/14343
DOI: 10.1017/fms.2023.70
WoS: 001051980200001
arXiv: 2301.05181

Henheik SJ, Tumulka R. Creation rate of Dirac particles at a point source. Journal of Physics A: Mathematical and Theoretical. 2023;56(44). doi:10.1088/1751-8121/acfe62
LibreCat: https://research-explorer.ista.ac.at/record/14421
DOI: 10.1088/1751-8121/acfe62
WoS: 001080908000001
arXiv: 2211.16606

Zeng Z, Wodaczek F, Liu K, et al. Mechanistic insight on water dissociation on pristine low-index TiO2 surfaces from machine learning molecular dynamics simulations. Nature Communications. 2023;14. doi:10.1038/s41467-023-41865-8
LibreCat: https://research-explorer.ista.ac.at/record/14425
DOI: 10.1038/s41467-023-41865-8
WoS: 001084354900008
PMID: 37783698
arXiv: 2303.07433

Sack S. Improving variational quantum algorithms: Innovative initialization techniques and extensions to qudit systems. 2023. doi:10.15479/at:ista:14622
LibreCat: https://research-explorer.ista.ac.at/record/14622
DOI: 10.15479/at:ista:14622

Stopp JA. Neutrophils on the hunt: Migratory strategies employed by neutrophils to fulfill their effector function. 2023. doi:10.15479/at:ista:14697
LibreCat: https://research-explorer.ista.ac.at/record/14697
DOI: 10.15479/at:ista:14697

Arathoon LS. Investigating inbreeding depression and the self-incompatibility locus of Antirrhinum majus. 2023. doi:10.15479/at:ista:14651
LibreCat: https://research-explorer.ista.ac.at/record/14651
DOI: 10.15479/at:ista:14651

Ishida S, Lavenant H. Quantitative convergence of a discretization of dynamic optimal transport using the dual formulation. arXiv. doi:10.48550/arXiv.2312.12213
LibreCat: https://research-explorer.ista.ac.at/record/14703
DOI: 10.48550/arXiv.2312.12213
arXiv: 2312.12213

Stefo C, Xiang Z, Kokoris Kogias E. Executing and proving over dirty ledgers. In: 27th International Conference on Financial Cryptography and Data Security. Vol 13950. Springer Nature; 2023:3-20. doi:10.1007/978-3-031-47754-6_1
LibreCat: https://research-explorer.ista.ac.at/record/14735
DOI: 10.1007/978-3-031-47754-6_1

Zikelic D. Automated verification and control of infinite state stochastic systems. 2023. doi:10.15479/14539
LibreCat: https://research-explorer.ista.ac.at/record/14539
DOI: 10.15479/14539

Polesello A, Muller CJ, Pasquero C, Meroni AN. Intensification mechanisms of tropical cyclones. In: EGU General Assembly 2023. European Geosciences Union; 2023. doi:10.5194/egusphere-egu23-6157
LibreCat: https://research-explorer.ista.ac.at/record/14863
DOI: 10.5194/egusphere-egu23-6157

Freire M, Bhargava M, Schreck C, Hugron P-A, Bickel B, Lefebvre S. PCBend: Light up your 3D shapes with foldable circuit boards. Transactions on Graphics. 2023;42(4). doi:10.1145/3592411
LibreCat: https://research-explorer.ista.ac.at/record/13049
DOI: 10.1145/3592411
WoS: 001044671300108

Mukhopadhyay S, Senior JL, Saez Mollejo J, et al. Superconductivity from a melted insulator in Josephson junction arrays. Nature Physics. 2023;19:1630-1635. doi:10.1038/s41567-023-02161-w
LibreCat: https://research-explorer.ista.ac.at/record/14032
DOI: 10.1038/s41567-023-02161-w
WoS: 001054563800006

Mohammadi A, Pham T, Wang Y. An energy decomposition theorem for matrices and related questions. Canadian Mathematical Bulletin. 2023;66(4):1280-1295. doi:10.4153/S000843952300036X
LibreCat: https://research-explorer.ista.ac.at/record/13128
DOI: 10.4153/S000843952300036X
WoS: 001011963000001
arXiv: 2106.07328

Rønning J, Renaud JB, Doostmohammadi A, Angheluta L. Spontaneous flows and dynamics of full-integer topological defects in polar active matter. Soft Matter. 2023;39:7513-7527. doi:10.1039/d3sm00316g
LibreCat: https://research-explorer.ista.ac.at/record/14087
DOI: 10.1039/d3sm00316g
WoS: 001035766100001
arXiv: 2303.07063

Bombari S, Kiyani S, Mondelli M. 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. Vol 202. ML Research Press; 2023:2738-2776.
LibreCat: https://research-explorer.ista.ac.at/record/12859
arXiv: 2302.01629

Knaus L. The metabolism of the developing brainf: How large neutral amino acids modulate perinatal neuronal excitability and survival. 2023. doi:10.15479/at:ista:13107
LibreCat: https://research-explorer.ista.ac.at/record/13107
DOI: 10.15479/at:ista:13107

Marensi E, Yalniz G, Hof B. Dynamics and proliferation of turbulent stripes in plane-Poiseuille and plane-Couette flows. Journal of Fluid Mechanics. 2023;974. doi:10.1017/jfm.2023.780
LibreCat: https://research-explorer.ista.ac.at/record/14466
DOI: 10.1017/jfm.2023.780
WoS: 001088363700001
arXiv: 2212.12406

Jethwa RB, Mondal S, Pant B, Freunberger SA. To DISP or not? The farreaching reaction mechanisms underpinning Lithiumair batteries. Angewandte Chemie International Edition. 2023. doi:10.1002/anie.202316476
LibreCat: https://research-explorer.ista.ac.at/record/14687
DOI: 10.1002/anie.202316476

Becker LM, Berbon M, Vallet A, et al. The rigid core and flexible surface of amyloid fibrils probed by MagicAngle Spinning NMR of aromatic residues. Angewandte Chemie International Edition. 2023;62(19). doi:10.1002/anie.202219314
LibreCat: https://research-explorer.ista.ac.at/record/12675
DOI: 10.1002/anie.202219314
WoS: 000956919900001
PMID: 36738230

Becker LM, Schanda P. Research data to: The rigid core and flexible surface of amyloid fibrils probed by magic-angle-spinning NMR spectroscopy of aromatic residues. 2023. doi:10.15479/AT:ISTA:12497
LibreCat: https://research-explorer.ista.ac.at/record/12497
DOI: 10.15479/AT:ISTA:12497

Dunajova Z, Prats Mateu B, Radler P, et al. Chiral and nematic phases of flexible active filaments. Nature Physics. 2023;19:1916-1926. doi:10.1038/s41567-023-02218-w
LibreCat: https://research-explorer.ista.ac.at/record/13314
DOI: 10.1038/s41567-023-02218-w
PMID: 38075437

Radler P. Spatiotemporal signaling during assembly of the bacterial divisome. 2023. doi:10.15479/at:ista:14280
LibreCat: https://research-explorer.ista.ac.at/record/14280
DOI: 10.15479/at:ista:14280

Valentini M. Mesoscopic phenomena in hybrid semiconductor-superconductor nanodevicesf: From full-shell nanowires to two-dimensional hole gas in germanium. 2023. doi:10.15479/at:ista:13286
LibreCat: https://research-explorer.ista.ac.at/record/13286
DOI: 10.15479/at:ista:13286

Koval N, Fedorov A, Sokolova M, Tsitelov D, Alistarh D-A. Lincheck: A practical framework for testing concurrent data structures on JVM. In: 35th International Conference on Computer Aided Verification . Vol 13964. Springer Nature; 2023:156-169. doi:10.1007/978-3-031-37706-8_8
LibreCat: https://research-explorer.ista.ac.at/record/14260
DOI: 10.1007/978-3-031-37706-8_8

Franschitz A. Individual and social immunity against viral infections in ants. 2023. doi:10.15479/at:ista:13984
LibreCat: https://research-explorer.ista.ac.at/record/13984
DOI: 10.15479/at:ista:13984

Prach B, Lampert C. 1-Lipschitz neural networks are more expressive with N-activations. arXiv. doi:10.48550/ARXIV.2311.06103
LibreCat: https://research-explorer.ista.ac.at/record/15039
DOI: 10.48550/ARXIV.2311.06103
arXiv: 2311.06103

Kuzmicz-Kowalska K. Regulation of neural progenitor survival by Shh and BMP in the developing spinal cord. 2023. doi:10.15479/at:ista:14323
LibreCat: https://research-explorer.ista.ac.at/record/14323
DOI: 10.15479/at:ista:14323

Marveggio A. Weak-strong stability and phase-field approximation of interface evolution problems in fluid mechanics and in material sciences. 2023. doi:10.15479/at:ista:14587
LibreCat: https://research-explorer.ista.ac.at/record/14587
DOI: 10.15479/at:ista:14587

Riabov V. Mesoscopic eigenvalue statistics for Wigner-type matrices. arXiv. doi:10.48550/arXiv.2301.01712
LibreCat: https://research-explorer.ista.ac.at/record/15128
DOI: 10.48550/arXiv.2301.01712
arXiv: 2301.01712

Fedorov A, Hashemi D, Nadiradze G, Alistarh D-A. Provably-efficient and internally-deterministic parallel Union-Find. In: Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures. Association for Computing Machinery; 2023:261-271. doi:10.1145/3558481.3591082
LibreCat: https://research-explorer.ista.ac.at/record/13262
DOI: 10.1145/3558481.3591082
arXiv: 2304.09331

Hennessey-Wesen M. Adaptive mutation in E. coli modulated by luxS. 2023. doi:10.15479/at:ista:14641
LibreCat: https://research-explorer.ista.ac.at/record/14641
DOI: 10.15479/at:ista:14641

Zens B. Ultrastructural characterization of natively preserved extracellular matrix by cryo-electron tomography. 2023. doi:10.15479/at:ista:12491
LibreCat: https://research-explorer.ista.ac.at/record/12491
DOI: 10.15479/at:ista:12491

Schauer A. Mesendoderm formation in zebrafish gastrulation: The role of extraembryonic tissues. 2023. doi:10.15479/at:ista:12891
LibreCat: https://research-explorer.ista.ac.at/record/12891
DOI: 10.15479/at:ista:12891

Kravchuk V. Structural and mechanistic study of bacterial complex I and its cyanobacterial ortholog. 2023. doi:10.15479/at:ista:12781
LibreCat: https://research-explorer.ista.ac.at/record/12781
DOI: 10.15479/at:ista:12781

Alcarva C. Plasticity in the cerebellum: What molecular mechanisms are behind physiological learning. 2023. doi:10.15479/at:ista:12809
LibreCat: https://research-explorer.ista.ac.at/record/12809
DOI: 10.15479/at:ista:12809

Stephenson ER. Generalizing medial axes with homology switches. 2023. doi:10.15479/at:ista:14226
LibreCat: https://research-explorer.ista.ac.at/record/14226
DOI: 10.15479/at:ista:14226

Kirillova K. Panoramic functional gradients across the mouse retina. 2023. doi:10.15479/at:ista:12531
LibreCat: https://research-explorer.ista.ac.at/record/12531
DOI: 10.15479/at:ista:12531

Julseth M. The effect of local population structure on genetic variation at selected loci in the A. majus hybrid zone. 2023. doi:10.15479/at:ista:12800
LibreCat: https://research-explorer.ista.ac.at/record/12800
DOI: 10.15479/at:ista:12800

Gnyliukh N. Mechanism of clathrin-coated vesicle  formation during endocytosis in plants. 2023. doi:10.15479/at:ista:14510
LibreCat: https://research-explorer.ista.ac.at/record/14510
DOI: 10.15479/at:ista:14510

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