Tomaszewska, Paulina, and Christoph Lampert. “On the Implementation of Baselines and Lightweight Conditional Model Extrapolation (LIMES) under Class-Prior Shift.”10.1007/978-3-031-40773-4_6__International Workshop on Reproducible Research in Pattern Recognition, vol. 14068, Springer Nature, 2023, pp. 67–73, doi:10.1007/978-3-031-40773-4_6.
LibreCat: https://research-explorer.ista.ac.at/record/14410
DOI: 10.1007/978-3-031-40773-4_6

Dodis, Yevgeniy, et al. “Random Oracle Combiners: Breaking the Concatenation Barrier for Collision-Resistance.”10.1007/978-3-031-38545-2_17__43rd Annual International Cryptology Conference, vol. 14082, Springer Nature, 2023, pp. 514–46, doi:10.1007/978-3-031-38545-2_17.
LibreCat: https://research-explorer.ista.ac.at/record/14428
DOI: 10.1007/978-3-031-38545-2_17

Qiu, Liu, et al. “Coherent Optical Control of a Superconducting Microwave Cavity via Electro-Optical Dynamical Back-Action.”10.1038/s41467-023-39493-3__Nature Communications, vol. 14, 3784, Nature Research, 2023, doi:10.1038/s41467-023-39493-3.
LibreCat: https://research-explorer.ista.ac.at/record/13200
DOI: 10.1038/s41467-023-39493-3
WoS: 001018100800002
PMID: 37355691
arXiv: 2210.12443

Dubach, Guillaume, and László Erdös. “Dynamics of a Rank-One Perturbation of a Hermitian Matrix.”10.1214/23-ECP516__Electronic Communications in Probability, vol. 28, Institute of Mathematical Statistics, 2023, pp. 1–13, doi:10.1214/23-ECP516.
LibreCat: https://research-explorer.ista.ac.at/record/12683
DOI: 10.1214/23-ECP516
WoS: 000950650200005
arXiv: 2108.13694

Browning, Timothy D., et al. “The Hasse Principle for Random Fano Hypersurfaces.”10.4007/annals.2023.197.3.3__Annals of Mathematics, vol. 197, no. 3, Princeton University, 2023, pp. 1115–203, doi:10.4007/annals.2023.197.3.3.
LibreCat: https://research-explorer.ista.ac.at/record/8682
DOI: 10.4007/annals.2023.197.3.3
WoS: 000966611000003
arXiv: 2006.02356

Hoffmann, Charlotte, and Mark Simkin. “Stronger Lower Bounds for Leakage-Resilient Secret Sharing.”10.1007/978-3-031-44469-2_11__8th International Conference on Cryptology and Information Security in Latin America, vol. 14168, Springer Nature, 2023, pp. 215–28, doi:10.1007/978-3-031-44469-2_11.
LibreCat: https://research-explorer.ista.ac.at/record/14457
DOI: 10.1007/978-3-031-44469-2_11

Henzinger, Thomas A., et al. “Monitoring Algorithmic Fairness under Partial Observations.”10.1007/978-3-031-44267-4_15__23rd International Conference on Runtime Verification, vol. 14245, Springer Nature, 2023, pp. 291–311, doi:10.1007/978-3-031-44267-4_15.
LibreCat: https://research-explorer.ista.ac.at/record/14454
DOI: 10.1007/978-3-031-44267-4_15
arXiv: 2308.00341

Brooks, Morris, and Robert Seiringer. “The Fröhlich Polaron at Strong Coupling: Part I - The Quantum Correction to the Classical Energy.”10.1007/s00220-023-04841-3__Communications in Mathematical Physics, vol. 404, Springer Nature, 2023, pp. 287–337, doi:10.1007/s00220-023-04841-3.
LibreCat: https://research-explorer.ista.ac.at/record/14441
DOI: 10.1007/s00220-023-04841-3
arXiv: 2207.03156

Rao, Pramod, et al. “A Deeper Analysis of Volumetric Relightiable Faces.”10.1007/s11263-023-01899-3__International Journal of Computer Vision, Springer Nature, 2023, doi:10.1007/s11263-023-01899-3.
LibreCat: https://research-explorer.ista.ac.at/record/14488
DOI: 10.1007/s11263-023-01899-3

Beaver, Donald, et al. “STROBE: Streaming Threshold Random Beacons.”10.4230/LIPIcs.AFT.2023.7__5th Conference on Advances in Financial Technologies, vol. 282, 7, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023, doi:10.4230/LIPIcs.AFT.2023.7.
LibreCat: https://research-explorer.ista.ac.at/record/14516
DOI: 10.4230/LIPIcs.AFT.2023.7

Helson, Victor, et al. “Density-Wave Ordering in a Unitary Fermi Gas with Photon-Mediated Interactions.”10.1038/s41586-023-06018-3__Nature, vol. 618, Springer Nature, 2023, pp. 716–20, doi:10.1038/s41586-023-06018-3.
LibreCat: https://research-explorer.ista.ac.at/record/13119
DOI: 10.1038/s41586-023-06018-3
WoS: 001001139300008

Bhattacharya, Sayan, et al. “Deterministic Near-Optimal Approximation Algorithms for Dynamic Set Cover.”10.1137/21M1428649__SIAM Journal on Computing, vol. 52, no. 5, Society for Industrial and Applied Mathematics, 2023, pp. 1132–92, doi:10.1137/21M1428649.
LibreCat: https://research-explorer.ista.ac.at/record/14558
DOI: 10.1137/21M1428649

Ansaripour, Matin, et al. “Learning Provably Stabilizing Neural Controllers for Discrete-Time Stochastic Systems.”10.1007/978-3-031-45329-8_17__21st International Symposium on Automated Technology for Verification and Analysis, vol. 14215, Springer Nature, 2023, pp. 357–79, doi:10.1007/978-3-031-45329-8_17.
LibreCat: https://research-explorer.ista.ac.at/record/14559
DOI: 10.1007/978-3-031-45329-8_17

Fäßler, Florian, et al. “Arp Isoforms Regulate Ar/3 Complex–Dependent Protrusion through Differential Ena/VASP Positioning.”10.1126/sciadv.add6495__Science Advances, vol. 9, no. 3, add6495, American Association for the Advancement of Science, 2023, doi:10.1126/sciadv.add6495.
LibreCat: https://research-explorer.ista.ac.at/record/12334
DOI: 10.1126/sciadv.add6495
WoS: 000964550100015

Schur, Florian KM. Research Data of the Publication “Arp Isoforms Regulate Ar/3 Complex-Dependent Protrusion through Differential Ena/VASP Positioning.” Institute of Science and Technology Austria, 2023, doi:10.15479/AT:ISTA:14562.
LibreCat: https://research-explorer.ista.ac.at/record/14562
DOI: 10.15479/AT:ISTA:14562

Bussi, Claudio, et al. “Stress Granules Plug and Stabilize Damaged Endolysosomal Membranes.”10.1038/s41586-023-06726-w__Nature, Springer Nature, 2023, doi:10.1038/s41586-023-06726-w.
LibreCat: https://research-explorer.ista.ac.at/record/14610
DOI: 10.1038/s41586-023-06726-w
PMID: 37968398

Schmid, Stefan, et al. “Weighted Packet Selection for Rechargeable Links in Cryptocurrency Networks: Complexity and Approximation.”10.1007/978-3-031-32733-9_26__SIROCCO 2023: Structural Information and Communication Complexity , vol. 13892, Springer Nature, 2023, pp. 576–94, doi:10.1007/978-3-031-32733-9_26.
LibreCat: https://research-explorer.ista.ac.at/record/13238
DOI: 10.1007/978-3-031-32733-9_26
arXiv: 2204.13459

Scarpetta, Silvia, et al. “Criticality of Neuronal Avalanches in Human Sleep and Their Relationship with Sleep Macro- and Micro-Architecture.”10.1016/j.isci.2023.107840__IScience, vol. 26, no. 10, Elsevier, 2023, p. 107840, doi:10.1016/j.isci.2023.107840.
LibreCat: https://research-explorer.ista.ac.at/record/12487
DOI: 10.1016/j.isci.2023.107840
WoS: 001082331200001
PMID: 37766992

Hassani, Farid, et al. “Inductively Shunted Transmons Exhibit Noise Insensitive Plasmon States and a Fluxon Decay Exceeding 3 Hours.”10.1038/s41467-023-39656-2__Nature Communications, vol. 14, 3968, Springer Nature, 2023, doi:10.1038/s41467-023-39656-2.
LibreCat: https://research-explorer.ista.ac.at/record/13227
DOI: 10.1038/s41467-023-39656-2
WoS: 001024729900009
PMID: 37407570

Zhang, Haonan. “Some Convexity and Monotonicity Results of Trace Functionals.”10.1007/s00023-023-01345-7__Annales Henri Poincare, Springer Nature, 2023, doi:10.1007/s00023-023-01345-7.
LibreCat: https://research-explorer.ista.ac.at/record/13271
DOI: 10.1007/s00023-023-01345-7
WoS: 001025709100001
arXiv: 2108.05785

Sugimoto, Shoki, et al. “Eigenstate Thermalisation Hypothesis for Translation Invariant Spin Systems.”10.1007/s10955-023-03132-4__Journal of Statistical Physics, vol. 190, no. 7, 128, Springer Nature, 2023, doi:10.1007/s10955-023-03132-4.
LibreCat: https://research-explorer.ista.ac.at/record/13317
DOI: 10.1007/s10955-023-03132-4
WoS: 001035677200002
arXiv: 2304.04213

Fulek, Radoslav, et al. “The Crossing Tverberg Theorem.”10.1007/s00454-023-00532-x__Discrete and Computational Geometry, Springer Nature, 2023, doi:10.1007/s00454-023-00532-x.
LibreCat: https://research-explorer.ista.ac.at/record/13974
DOI: 10.1007/s00454-023-00532-x
WoS: 001038546500001
arXiv: 1812.04911

Méhes, Elod, et al. “D Cell Segregation Geometry and Dynamics Are Governed by Tissue Surface Tension Regulation.”10.1038/s42003-023-05181-7__Communications Biology, vol. 6, 817, Springer Nature, 2023, doi:10.1038/s42003-023-05181-7.
LibreCat: https://research-explorer.ista.ac.at/record/14041
DOI: 10.1038/s42003-023-05181-7
WoS: 001042544100001
PMID: 37542157

Puixeu Sala, Gemma. 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, doi:10.15479/at:ista:14058.
LibreCat: https://research-explorer.ista.ac.at/record/14058
DOI: 10.15479/at:ista:14058

Puixeu Sala, Gemma, et al. “Sex-Specific Estimation of Cis and Trans Regulation of Gene Expression in Heads and Gonads of Drosophila Melanogaster.”10.1093/g3journal/jkad121__: Genes, Genomes, Genetics, vol. 13, no. 8, Oxford University Press, 2023, doi:10.1093/g3journal/jkad121.
LibreCat: https://research-explorer.ista.ac.at/record/14077
DOI: 10.1093/g3journal/jkad121
WoS: 001002997200001

Zeng, Guifang, et al. “A Layered Bi2Te3@PPy Cathode for Aqueous Zinc Ion Batteries: Mechanism and Application in Printed Flexible Batteries.”10.1002/adma.202305128__Advanced Materials, 2305128, Wiley, doi:10.1002/adma.202305128.
LibreCat: https://research-explorer.ista.ac.at/record/14435
DOI: 10.1002/adma.202305128
WoS: 001085681000001
PMID: 37555532

Hoffmann, Charlotte, et al. “(Verifiable) Delay Functions from Lucas Sequences.”10.1007/978-3-031-48624-1_13__21st International Conference on Theory of Cryptography, vol. 14372, Springer Nature, 2023, pp. 336–62, doi:10.1007/978-3-031-48624-1_13.
LibreCat: https://research-explorer.ista.ac.at/record/14693
DOI: 10.1007/978-3-031-48624-1_13

Auerbach, Benedikt, et al. “On the Cost of Post-Compromise Security in Concurrent Continuous Group-Key Agreement.”10.1007/978-3-031-48621-0_10__21st International Conference on Theory of Cryptography, vol. 14371, Springer Nature, 2023, pp. 271–300, doi:10.1007/978-3-031-48621-0_10.
LibreCat: https://research-explorer.ista.ac.at/record/14691
DOI: 10.1007/978-3-031-48621-0_10

Auerbach, Benedikt, et al. “Generic-Group Lower Bounds via Reductions between Geometric-Search Problems: With and without Preprocessing.”10.1007/978-3-031-48621-0_11__21st International Conference on Theory of Cryptography, vol. 14371, Springer Nature, 2023, pp. 301–30, doi:10.1007/978-3-031-48621-0_11.
LibreCat: https://research-explorer.ista.ac.at/record/14692
DOI: 10.1007/978-3-031-48621-0_11

Stopp, Julian A. Neutrophils on the Hunt: Migratory Strategies Employed by Neutrophils to Fulfill Their Effector Function. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:14697.
LibreCat: https://research-explorer.ista.ac.at/record/14697
DOI: 10.15479/at:ista:14697

Pastva, Samuel, and Thomas A. Henzinger. “Binary Decision Diagrams on Modern Hardware.”10.34727/2023/isbn.978-3-85448-060-0_20__Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design, TU Vienna Academic Press, 2023, pp. 122–31, doi:10.34727/2023/isbn.978-3-85448-060-0_20.
LibreCat: https://research-explorer.ista.ac.at/record/14718
DOI: 10.34727/2023/isbn.978-3-85448-060-0_20

Zhou, Liang-Zi, et al. “The RALF Signaling Pathway Regulates Cell Wall Integrity during Pollen Tube Growth in Maize.”10.1093/plcell/koad324__The Plant Cell, koad324, Oxford University Press, 2023, doi:10.1093/plcell/koad324.
LibreCat: https://research-explorer.ista.ac.at/record/14726
DOI: 10.1093/plcell/koad324

Biniaz, Ahmad, et al. “Token Swapping on Trees.”10.46298/DMTCS.8383__Discrete Mathematics and Theoretical Computer Science, vol. 24, no. 2, 9, EPI Sciences, 2023, doi:10.46298/DMTCS.8383.
LibreCat: https://research-explorer.ista.ac.at/record/12833
DOI: 10.46298/DMTCS.8383
arXiv: 1903.06981

Stefo, Christos, et al. “Executing and Proving over Dirty Ledgers.”10.1007/978-3-031-47754-6_1__27th International Conference on Financial Cryptography and Data Security, vol. 13950, Springer Nature, 2023, pp. 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

Bastankhah, Mahsa, et al. “: Boosting Liquidity in Payment Channel Networks with Online Admission Control.”10.1007/978-3-031-47754-6_18__27th International Conference on Financial Cryptography and Data Security, vol. 13950, Springer Nature, 2023, pp. 309–25, doi:10.1007/978-3-031-47754-6_18.
LibreCat: https://research-explorer.ista.ac.at/record/14736
DOI: 10.1007/978-3-031-47754-6_18

Avarikioti, Zeta, et al. “Divide &; Scale: Formalization and Roadmap to Robust Sharding.”10.1007/978-3-031-32733-9_10__30th International Colloquium on Structural Information and Communication Complexity, vol. 13892, Springer Nature, 2023, pp. 199–245, doi:10.1007/978-3-031-32733-9_10.
LibreCat: https://research-explorer.ista.ac.at/record/14744
DOI: 10.1007/978-3-031-32733-9_10

Zhang, Yihan. “Zero-Error Communication over Adversarial MACs.”10.1109/tit.2023.3257239__IEEE Transactions on Information Theory, vol. 69, no. 7, Institute of Electrical and Electronics Engineers, 2023, pp. 4093–127, doi:10.1109/tit.2023.3257239.
LibreCat: https://research-explorer.ista.ac.at/record/14751
DOI: 10.1109/tit.2023.3257239
arXiv: 2101.12426

Teplova, Anastasiia, et al. “Phytaspase Is Capable of Detaching the Endoplasmic Reticulum Retrieval Signal from Tobacco Calreticulin-3.”10.3390/ijms242216527__International Journal of Molecular Sciences, vol. 24, no. 22, 16527, MDPI, 2023, doi:10.3390/ijms242216527.
LibreCat: https://research-explorer.ista.ac.at/record/14776
DOI: 10.3390/ijms242216527
WoS: 001113792600001
PMID: 38003717

Schnelli, Kevin, and Yuanyuan Xu. “Convergence Rate to the Tracy–Widom Laws for the Largest Eigenvalue of Sample Covariance Matrices.”10.1214/22-aap1826__The Annals of Applied Probability, vol. 33, no. 1, Institute of Mathematical Statistics, 2023, pp. 677–725, doi:10.1214/22-aap1826.
LibreCat: https://research-explorer.ista.ac.at/record/14775
DOI: 10.1214/22-aap1826
WoS: 000946432400021
arXiv: 2108.02728

Dymond, Michael, and Vojtech Kaluza. “Divergence of Separated Nets with Respect to Displacement Equivalence.”10.1007/s10711-023-00862-3__Geometriae Dedicata, 15, Springer Nature, 2023, doi:10.1007/s10711-023-00862-3.
LibreCat: https://research-explorer.ista.ac.at/record/9651
DOI: 10.1007/s10711-023-00862-3
WoS: 001105681500001
arXiv: 2102.13046

Cohen-Addad, Vincent, et al. “Deterministic Clustering in High Dimensional Spaces: Sketches and Approximation.”10.1109/focs57990.2023.00066__2023 IEEE 64th Annual Symposium on Foundations of Computer Science, IEEE, 2023, pp. 1105–30, doi:10.1109/focs57990.2023.00066.
LibreCat: https://research-explorer.ista.ac.at/record/14768
DOI: 10.1109/focs57990.2023.00066
arXiv: 2310.04076

Baldauf, Lucia, et al. “Branched Actin Cortices Reconstituted in Vesicles Sense Membrane Curvature.”10.1016/j.bpj.2023.02.018__Biophysical Journal, vol. 122, no. 11, Elsevier, 2023, pp. 2311–24, doi:10.1016/j.bpj.2023.02.018.
LibreCat: https://research-explorer.ista.ac.at/record/14782
DOI: 10.1016/j.bpj.2023.02.018
WoS: 001016792600001
PMID: 36806830

Zikelic, Dorde. Automated Verification and Control of Infinite State Stochastic Systems. Institute of Science and Technology Austria, 2023, doi:10.15479/14539.
LibreCat: https://research-explorer.ista.ac.at/record/14539
DOI: 10.15479/14539

Kisan, Jan Matyás, and Jakub Svoboda. “Shortest Dominating Set Reconfiguration under Token Sliding.”10.1007/978-3-031-43587-4_24__24th International Symposium on Fundamentals of Computation Theory, vol. 14292, Springer Nature, 2023, pp. 333–47, doi:10.1007/978-3-031-43587-4_24.
LibreCat: https://research-explorer.ista.ac.at/record/14456
DOI: 10.1007/978-3-031-43587-4_24
arXiv: 2307.10847

Cohen, Shir, et al. “Proof of Availability and Retrieval in a Modular Blockchain Architecture.”10.1007/978-3-031-47751-5_3__27th International Conference on Financial Cryptography and Data Security, vol. 13951, Springer Nature, 2023, pp. 36–53, doi:10.1007/978-3-031-47751-5_3.
LibreCat: https://research-explorer.ista.ac.at/record/14829
DOI: 10.1007/978-3-031-47751-5_3

Zikelic, Dorde, et al. “Learning Control Policies for Stochastic Systems with Reach-Avoid Guarantees.”10.1609/aaai.v37i10.26407__Proceedings of the 37th AAAI Conference on Artificial Intelligence, vol. 37, no. 10, Association for the Advancement of Artificial Intelligence, 2023, pp. 11926–35, doi:10.1609/aaai.v37i10.26407.
LibreCat: https://research-explorer.ista.ac.at/record/14830
DOI: 10.1609/aaai.v37i10.26407
arXiv: 2210.05308

Sahu, Rishabh, et al. “Entangling Microwaves and Telecom Wavelength Light.”10.1364/ls.2023.lm1f.3__Frontiers in Optics + Laser Science 2023, LM1F.3, Optica Publishing Group, 2023, doi:10.1364/ls.2023.lm1f.3.
LibreCat: https://research-explorer.ista.ac.at/record/14872
DOI: 10.1364/ls.2023.lm1f.3

Qi, Linlin, and Jií Friml. “Tale of CAMP as a Second Messenger in Auxin Signaling and Beyond.”10.1111/nph.19123__New Phytologist, vol. 240, no. 2, Wiley, 2023, pp. 489–95, doi:10.1111/nph.19123.
LibreCat: https://research-explorer.ista.ac.at/record/13266
DOI: 10.1111/nph.19123
WoS: 001026321500001
PMID: 37434303

Polyanskii, Nikita, and Yihan Zhang. “Codes for the Z-Channel.”10.1109/TIT.2023.3292219__IEEE Transactions on Information Theory, vol. 69, no. 10, Institute of Electrical and Electronics Engineers, 2023, pp. 6340–57, doi:10.1109/TIT.2023.3292219.
LibreCat: https://research-explorer.ista.ac.at/record/13269
DOI: 10.1109/TIT.2023.3292219
WoS: 001069680100011
arXiv: 2105.01427

Mohammadi, Ali, et al. “An Energy Decomposition Theorem for Matrices and Related Questions.”10.4153/S000843952300036X__Canadian Mathematical Bulletin, vol. 66, no. 4, Cambridge University Press, 2023, pp. 1280–95, doi:10.4153/S000843952300036X.
LibreCat: https://research-explorer.ista.ac.at/record/13128
DOI: 10.4153/S000843952300036X
WoS: 001011963000001
arXiv: 2106.07328

Xia, Jing, et al. “Chemical Inhibition of Arabidopsis PIN-FORMED Auxin Transporters by the Anti-Inflammatory Drug Naproxen.”10.1016/j.xplc.2023.100632__Plant Communications, vol. 4, no. 6, 100632, Elsevier , 2023, doi:10.1016/j.xplc.2023.100632.
LibreCat: https://research-explorer.ista.ac.at/record/13209
DOI: 10.1016/j.xplc.2023.100632
WoS: 001113003000001
PMID: 37254481

Fang, Lixing, et al. “Successive Vertex Orderings of Fully Regular Graphs.”10.1016/j.jcta.2023.105776__Journal of Combinatorial Theory. Series A, vol. 199, no. 10, 105776, Elsevier, 2023, doi:10.1016/j.jcta.2023.105776.
LibreCat: https://research-explorer.ista.ac.at/record/13165
DOI: 10.1016/j.jcta.2023.105776
arXiv: 2206.13592

Mahato, Neelima, et al. “Polycrystalline Phases Grown In-Situ Engendering Unique Mechanism of Charge Storage in Polyaniline-Graphite Composite.”10.1016/j.synthmet.2023.117463__Synthetic Metals, vol. 299, 117463, Elsevier, 2023, doi:10.1016/j.synthmet.2023.117463.
LibreCat: https://research-explorer.ista.ac.at/record/14379
DOI: 10.1016/j.synthmet.2023.117463
WoS: 001083568900001

Banerjee, Tamajit, et al. “Fast Symbolic Algorithms for Mega-Regular Games under Strong Transition Fairness.”10.46298/theoretics.23.4__TheoretiCS, vol. 2, 4, EPI Sciences, 2023, doi:10.46298/theoretics.23.4.
LibreCat: https://research-explorer.ista.ac.at/record/14920
DOI: 10.46298/theoretics.23.4
arXiv: 2202.07480

Montagna, Francesco, et al. “Shortcuts for Causal Discovery of Nonlinear Models by Score Matching.”10.48550/arXiv.2310.14246__ArXiv, 2310.14246, doi:10.48550/arXiv.2310.14246.
LibreCat: https://research-explorer.ista.ac.at/record/14961
DOI: 10.48550/arXiv.2310.14246
arXiv: 2310.14246

Benes, Nikola, et al. “Phenotype Control of Partially Specified Boolean Networks.”10.1007/978-3-031-42697-1_2__21st International Conference on Computational Methods in Systems Biology, vol. 14137, Springer Nature, 2023, pp. 18–35, doi:10.1007/978-3-031-42697-1_2.
LibreCat: https://research-explorer.ista.ac.at/record/14411
DOI: 10.1007/978-3-031-42697-1_2

Lewin, Mathieu, et al. “Universal Functionals in Density Functional Theory.”10.1007/978-3-031-22340-2_3__Density Functional Theory, edited by Eric Cances and Gero Friesecke, 1st ed., Springer, 2023, pp. 115–82, doi:10.1007/978-3-031-22340-2_3.
LibreCat: https://research-explorer.ista.ac.at/record/14992
DOI: 10.1007/978-3-031-22340-2_3
arXiv: 1912.10424

Radler, Philipp. Spatiotemporal Signaling during Assembly of the Bacterial Divisome. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:14280.
LibreCat: https://research-explorer.ista.ac.at/record/14280
DOI: 10.15479/at:ista:14280

Majumdar, Rupak, et al. “A Flexible Toolchain for Symbolic Rabin Games under Fair and Stochastic Uncertainties.”10.1007/978-3-031-37709-9_1__35th International Conference on Computer Aided Verification, vol. 13966, Springer Nature, 2023, pp. 3–15, doi:10.1007/978-3-031-37709-9_1.
LibreCat: https://research-explorer.ista.ac.at/record/14758
DOI: 10.1007/978-3-031-37709-9_1

Meggendorfer, Tobias. “Correct Approximation of Stationary Distributions.”10.1007/978-3-031-30823-9_25__TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems, vol. 13993, Springer Nature, 2023, pp. 489–507, doi:10.1007/978-3-031-30823-9_25.
LibreCat: https://research-explorer.ista.ac.at/record/13139
DOI: 10.1007/978-3-031-30823-9_25
arXiv: 2301.08137

Koval, Nikita, et al. “Lincheck: A Practical Framework for Testing Concurrent Data Structures on JVM.”10.1007/978-3-031-37706-8_8__35th International Conference on Computer Aided Verification , vol. 13964, Springer Nature, 2023, pp. 156–69, 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

Koval, Nikita, et al. Lincheck: A Practical Framework for Testing Concurrent Data Structures on JVM. Zenodo, 2023, doi:10.5281/ZENODO.7877757.
LibreCat: https://research-explorer.ista.ac.at/record/14995
DOI: 10.5281/ZENODO.7877757

Chalupa, Marek, and Thomas A. Henzinger. “Monitoring Hyperproperties with Prefix Transducers.”10.1007/978-3-031-44267-4_9__23nd International Conference on Runtime Verification, vol. 14245, Springer Nature, 2023, pp. 168–90, doi:10.1007/978-3-031-44267-4_9.
LibreCat: https://research-explorer.ista.ac.at/record/14076
DOI: 10.1007/978-3-031-44267-4_9

Franschitz, Anna. Individual and Social Immunity against Viral Infections in Ants. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:13984.
LibreCat: https://research-explorer.ista.ac.at/record/13984
DOI: 10.15479/at:ista:13984

Zheng, Da Wei, and Monika H. Henzinger. “Multiplicative Auction Algorithm for Approximate Maximum Weight Bipartite Matching.”10.1007/978-3-031-32726-1_32__International Conference on Integer Programming and Combinatorial Optimization, vol. 13904, Springer Nature, 2023, pp. 453–65, doi:10.1007/978-3-031-32726-1_32.
LibreCat: https://research-explorer.ista.ac.at/record/13236
DOI: 10.1007/978-3-031-32726-1_32
arXiv: 2301.09217

Kwan, Matthew Alan, et al. “Enumerating Matroids and Linear Spaces.”10.5802/crmath.423__Comptes Rendus Mathematique, vol. 361, no. , Academie des Sciences, 2023, pp. 565–75, doi:10.5802/crmath.423.
LibreCat: https://research-explorer.ista.ac.at/record/15173
DOI: 10.5802/crmath.423
arXiv: 2112.03788

Michael, Alicia K., et al. “Cooperation between BHLH Transcription Factors and Histones for DNA Access.”10.1038/s41586-023-06282-3__Nature, vol. 619, no. 7969, Springer Nature, 2023, pp. 385–93, doi:10.1038/s41586-023-06282-3.
LibreCat: https://research-explorer.ista.ac.at/record/15148
DOI: 10.1038/s41586-023-06282-3

Isbel, Luke, et al. “Readout of Histone Methylation by Trim24 Locally Restricts Chromatin Opening by .”10.1038/s41594-023-01021-8__Nature Structural &; Molecular Biology, vol. 30, no. 7, Springer Nature, 2023, pp. 948–57, doi:10.1038/s41594-023-01021-8.
LibreCat: https://research-explorer.ista.ac.at/record/15149
DOI: 10.1038/s41594-023-01021-8
PMID: 37386214

Burdge, Kevin B., et al. “Orbital Decay in an Accreting and Eclipsing 13.7 Minute Orbital Period Binary with a Luminous Donor.”10.3847/2041-8213/ace7cf__The Astrophysical Journal Letters, vol. 953, no. 1, L1, American Astronomical Society, 2023, doi:10.3847/2041-8213/ace7cf.
LibreCat: https://research-explorer.ista.ac.at/record/15196
DOI: 10.3847/2041-8213/ace7cf
arXiv: 2303.13573

Fleury, Leesa, et al. “The Origin of Ultramassive White Dwarfs: Hints from Gaia ED.”10.1093/mnras/stad068__Monthly Notices of the Royal Astronomical Society, vol. 520, no. 1, Oxford University Press, 2023, pp. 364–74, doi:10.1093/mnras/stad068.
LibreCat: https://research-explorer.ista.ac.at/record/15199
DOI: 10.1093/mnras/stad068
arXiv: 2205.01015

Zane, Silvia, et al. “A Strong X-Ray Polarization Signal from the Magnetar 1RXS J170849.0-400910.”10.3847/2041-8213/acb703__The Astrophysical Journal Letters, vol. 944, no. 2, L27, American Astronomical Society, 2023, doi:10.3847/2041-8213/acb703.
LibreCat: https://research-explorer.ista.ac.at/record/15202
DOI: 10.3847/2041-8213/acb703
arXiv: 2301.12919

Fedorov, Alexander, et al. “Provably-Efficient and Internally-Deterministic Parallel Union-Find.”10.1145/3558481.3591082__Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures, Association for Computing Machinery, 2023, pp. 261–71, doi:10.1145/3558481.3591082.
LibreCat: https://research-explorer.ista.ac.at/record/13262
DOI: 10.1145/3558481.3591082
arXiv: 2304.09331

Calcabrini, Mariano. Nanoparticle-Based Semiconductor Solids: From Synthesis to Consolidation. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:12885.
LibreCat: https://research-explorer.ista.ac.at/record/12885
DOI: 10.15479/at:ista:12885

Zens, Bettina. Ultrastructural Characterization of Natively Preserved Extracellular Matrix by Cryo-Electron Tomography. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:12491.
LibreCat: https://research-explorer.ista.ac.at/record/12491
DOI: 10.15479/at:ista:12491

Boocock, Daniel R. Mechanochemical Pattern Formation across Biological Scales. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:12964.
LibreCat: https://research-explorer.ista.ac.at/record/12964
DOI: 10.15479/at:ista:12964

Alcarva, Catarina. Plasticity in the Cerebellum: What Molecular Mechanisms Are behind Physiological Learning. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:12809.
LibreCat: https://research-explorer.ista.ac.at/record/12809
DOI: 10.15479/at:ista:12809

Kravchuk, Vladyslav. Structural and Mechanistic Study of Bacterial Complex I and Its Cyanobacterial Ortholog. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:12781.
LibreCat: https://research-explorer.ista.ac.at/record/12781
DOI: 10.15479/at:ista:12781

Gnyliukh, Nataliia. Mechanism of Clathrin-Coated Vesicle  Formation during Endocytosis in Plants. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:14510.
LibreCat: https://research-explorer.ista.ac.at/record/14510
DOI: 10.15479/at:ista:14510

Hafner, Christian. Inverse Shape Design with Parametric Representations: Kirchhoff Rods and Parametric Surface Models. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:12897.
LibreCat: https://research-explorer.ista.ac.at/record/12897
DOI: 10.15479/at:ista:12897

Michalska, Julia M. A Versatile Toolbox for the Comprehensive Analysis of Nervous Tissue Organization with Light Microscopy. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:12470.
LibreCat: https://research-explorer.ista.ac.at/record/12470
DOI: 10.15479/at:ista:12470

Bartocci, Ezio, et al. “Flavors of Sequential Information Flow.”10.1007/978-3-030-94583-1_1__Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 13182, Springer Nature, 2022, pp. 1–19, doi:10.1007/978-3-030-94583-1_1.
LibreCat: https://research-explorer.ista.ac.at/record/10774
DOI: 10.1007/978-3-030-94583-1_1
arXiv: 2105.02013

Kroll, Janina, et al. “Quantifying the Probing and Selection of Microenvironmental Pores by Motile Immune Cells.”10.1002/cpz1.407__Current Protocols, vol. 2, no. 4, e407, Wiley, 2022, doi:10.1002/cpz1.407.
LibreCat: https://research-explorer.ista.ac.at/record/11182
DOI: 10.1002/cpz1.407
PMID: 35384410

Chambers, Erin, et al. “A Cautionary Tale: Burning the Medial Axis Is Unstable.”10.4230/LIPIcs.SoCG.2022.66__38th International Symposium on Computational Geometry, edited by Xavier Goaoc and Michael Kerber, vol. 224, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022, p. 66:1-66:9, doi:10.4230/LIPIcs.SoCG.2022.66.
LibreCat: https://research-explorer.ista.ac.at/record/11428
DOI: 10.4230/LIPIcs.SoCG.2022.66

Karimipour, Farid, and Sabine Storandt, editors. Web and Wireless Geographical Information Systems. 1st ed., vol. 13238, Springer Nature, 2022, doi:10.1007/978-3-031-06245-2.
LibreCat: https://research-explorer.ista.ac.at/record/11429
DOI: 10.1007/978-3-031-06245-2

Bleile, Bea, et al. “The Persistent Homology of Dual Digital Image Constructions.”10.1007/978-3-030-95519-9_1__Research in Computational Topology 2, edited by Ellen Gasparovic et al., 1st ed., vol. 30, Springer Nature, 2022, pp. 1–26, doi:10.1007/978-3-030-95519-9_1.
LibreCat: https://research-explorer.ista.ac.at/record/11440
DOI: 10.1007/978-3-030-95519-9_1
arXiv: 2102.11397

Kusakabe, Haruka, et al. “The MUSE EXtremely Deep Field: Individual Detections of Ly;1 Haloes around Rest-Frame UV-Selected Galaxies at z10.1051/0004-6361/202142302__2.9–4.4.”10.1051/0004-6361/202142302__Astronomy &; Astrophysics, vol. 660, , EDP Sciences, 2022, doi:10.1051/0004-6361/202142302.
LibreCat: https://research-explorer.ista.ac.at/record/11488
DOI: 10.1051/0004-6361/202142302
arXiv: 2201.07257

Matthee, Jorryt J., et al. “Deciphering Stellar Metallicities in the Early Universe: Case Study of a Young Galaxy at z = 4.77 in the MUSE EXtremely Deep Field.”10.1051/0004-6361/202142187__Astronomy &; Astrophysics, vol. 660, , EDP Sciences, 2022, doi:10.1051/0004-6361/202142187.
LibreCat: https://research-explorer.ista.ac.at/record/11490
DOI: 10.1051/0004-6361/202142187
arXiv: 2111.14855

Isobe, Yuki, et al. “EMPRESS. IV. Extremely Metal-Poor Galaxies Including Very Low-Mass Primordial Systems with M= 10<sup>4</sup>-10<sup>5</sup> and 2%–3% (O/H): High (Fe/O) Suggestive of Metal Enrichment by Hypernovae/Pair-Instability Supernovae.”10.3847/1538-4357/ac3509__The Astrophysical Journal, vol. 925, no. 2, 111, IOP Publishing, 2022, doi:10.3847/1538-4357/ac3509.
LibreCat: https://research-explorer.ista.ac.at/record/11509
DOI: 10.3847/1538-4357/ac3509
arXiv: 2108.03850

Matthee, Jorryt J., et al. “(Re)Solving Reionization with Ly;1: How Bright Ly;1 Emitters Account for the z10.1093/mnras/stac801__210.1093/mnras/stac801__8 Cosmic Ionizing Background.”10.1093/mnras/stac801__Monthly Notices of the Royal Astronomical Society, vol. 512, no. 4, Oxford University Press, 2022, pp. 5960–77, doi:10.1093/mnras/stac801.
LibreCat: https://research-explorer.ista.ac.at/record/11521
DOI: 10.1093/mnras/stac801
arXiv: 2110.11967

Clark, Trevor, et al. “The Dynamics of Complex Box Mappings.”10.1007/s40598-022-00200-7__Arnold Mathematical Journal, vol. 8, no. 2, Springer Nature, 2022, pp. 319–410, doi:10.1007/s40598-022-00200-7.
LibreCat: https://research-explorer.ista.ac.at/record/11553
DOI: 10.1007/s40598-022-00200-7

Zinn, Joel C., et al. “The K2 Galactic Archaeology Program Data Release 3: Age-Abundance Patterns in – and 0–8.”10.3847/1538-4357/ac2c83__The Astrophysical Journal, vol. 926, no. 2, 191, IOP Publishing, 2022, doi:10.3847/1538-4357/ac2c83.
LibreCat: https://research-explorer.ista.ac.at/record/11601
DOI: 10.3847/1538-4357/ac2c83
arXiv: 2108.05455

Hanauer, Kathrin, et al. “Fully Dynamic Four-Vertex Subgraph Counting.”10.4230/LIPIcs.SAND.2022.18__1st Symposium on Algorithmic Foundations of Dynamic Networks, vol. 221, 18, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022, doi:10.4230/LIPIcs.SAND.2022.18.
LibreCat: https://research-explorer.ista.ac.at/record/11812
DOI: 10.4230/LIPIcs.SAND.2022.18
arXiv: 2106.15524

Henzinger, Monika H., et al. “The Complexity of Average-Case Dynamic Subgraph Counting.”10.1137/1.9781611977073.23__33rd Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2022, pp. 459–98, doi:10.1137/1.9781611977073.23.
LibreCat: https://research-explorer.ista.ac.at/record/11918
DOI: 10.1137/1.9781611977073.23

Polyanskii, Nikita, and Yihan Zhang. “List-Decodable Zero-Rate Codes for the Z-Channel.”10.1109/ISIT50566.2022.9834829__2022 IEEE International Symposium on Information Theory, vol. 2022, Institute of Electrical and Electronics Engineers, 2022, pp. 2553–58, doi:10.1109/ISIT50566.2022.9834829.
LibreCat: https://research-explorer.ista.ac.at/record/12019
DOI: 10.1109/ISIT50566.2022.9834829

Shute, Alec L. Existence and Density Problems in Diophantine Geometry: From Norm Forms to Campana Points. Institute of Science and Technology Austria, 2022, doi:10.15479/at:ista:12072.
LibreCat: https://research-explorer.ista.ac.at/record/12072
DOI: 10.15479/at:ista:12072

Garcia Soto, Miriam, et al. “Synthesis of Parametric Hybrid Automata from Time Series.”10.1007/978-3-031-19992-9_22__20th International Symposium on Automated Technology for Verification and Analysis, vol. 13505, Springer Nature, 2022, pp. 337–53, doi:10.1007/978-3-031-19992-9_22.
LibreCat: https://research-explorer.ista.ac.at/record/12171
DOI: 10.1007/978-3-031-19992-9_22
arXiv: 2208.06383

Das, Sourav, et al. “Practical Asynchronous Distributed Key Generation.”10.1109/sp46214.2022.9833584__2022 IEEE Symposium on Security and Privacy, Institute of Electrical and Electronics Engineers, 2022, pp. 2518–34, doi:10.1109/sp46214.2022.9833584.
LibreCat: https://research-explorer.ista.ac.at/record/12300
DOI: 10.1109/sp46214.2022.9833584

Mirkovi, Ivan, et al. “Loop Grassmannians of Quivers and Affine Quantum Groups.”10.1007/978-3-030-82007-7_8__Representation Theory and Algebraic Geometry, edited by Vladimir Baranovskky et al., 1st ed., Springer Nature; Birkhäuser, 2022, pp. 347–92, doi:10.1007/978-3-030-82007-7_8.
LibreCat: https://research-explorer.ista.ac.at/record/12303
DOI: 10.1007/978-3-030-82007-7_8
arXiv: 1810.10095

Banerjee, Tamajit, et al. “A Direct Symbolic Algorithm for Solving Stochastic Rabin Games.”10.1007/978-3-030-99527-0_5__28th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, vol. 13244, Springer Nature, 2022, pp. 81–98, doi:10.1007/978-3-030-99527-0_5.
LibreCat: https://research-explorer.ista.ac.at/record/12529
DOI: 10.1007/978-3-030-99527-0_5

Miles, E. S., et al. “Controls on the Relative Melt Rates of Debris-Covered Glacier Surfaces.”10.1088/1748-9326/ac6966__Environmental Research Letters, vol. 17, no. 6, 064004, IOP Publishing, 2022, doi:10.1088/1748-9326/ac6966.
LibreCat: https://research-explorer.ista.ac.at/record/12582
DOI: 10.1088/1748-9326/ac6966