Schmid, Stefan, Jakub Svoboda, and Michelle X Yeo. “Weighted Packet Selection for Rechargeable Links in Cryptocurrency Networks: Complexity and Approximation.”https://doi.org/10.1016/j.tcs.2023.114353__Theoretical Computer Science. Elsevier, 2024.https://doi.org/10.1016/j.tcs.2023.114353 .
LibreCat: https://research-explorer.ista.ac.at/record/14820
DOI: 10.1016/j.tcs.2023.114353

Hansen, Andi H, and Simon Hippenmeyer. “Time-Lapse Imaging of Cortical Projection Neuron Migration in Mice Using Mosaic Analysis with Double Markers.”https://doi.org/10.1016/j.xpro.2023.102795__STAR Protocols. Elsevier, 2024.https://doi.org/10.1016/j.xpro.2023.102795 .
LibreCat: https://research-explorer.ista.ac.at/record/14794
DOI: 10.1016/j.xpro.2023.102795
PMID: 38165800

Kramarenko, Ivan, J Kerutt, A Verhamme, P A Oesch, L Barrufet, Jorryt J Matthee, H Kusakabe, I Goovaerts, and T T Thai. “Linking UV Spectral Properties of MUSE Ly;1 Emitters at zhttps://doi.org/10.1093/mnras/stad3853__3 to Lyman Continuum Escape.”https://doi.org/10.1093/mnras/stad3853__Monthly Notices of the Royal Astronomical Society. Oxford University Press, 2024.https://doi.org/10.1093/mnras/stad3853 .
LibreCat: https://research-explorer.ista.ac.at/record/14852
DOI: 10.1093/mnras/stad3853
arXiv: 2305.07044

De Nooijer, Phoebe, Soeren Terziadis, Alexandra Weinberger, Zuzana Masárová, Tamara Mchedlidze, Maarten Löffler, and Günter Rote. “Removing Popular Faces in Curve Arrangements.”https://doi.org/10.1007/978-3-031-49275-4_2__In 31st International Symposium on Graph Drawing and Network Visualization, 14466:18–33. Springer Nature, 2024.https://doi.org/10.1007/978-3-031-49275-4_2 .
LibreCat: https://research-explorer.ista.ac.at/record/14888
DOI: 10.1007/978-3-031-49275-4_2
arXiv: 2202.12175

Davoli, Elisa, Lorenza D’Elia, and Jonas Ingmanns. “Stochastic Homogenization of Micromagnetic Energies and Emergence of Magnetic Skyrmions.”https://doi.org/10.1007/s00332-023-10005-3__Journal of Nonlinear Science. Springer Nature, 2024.https://doi.org/10.1007/s00332-023-10005-3 .
LibreCat: https://research-explorer.ista.ac.at/record/14884
DOI: 10.1007/s00332-023-10005-3
arXiv: 2306.05151

Shaw, Thomas, Pascal Buri, Michael McCarthy, Evan S. Miles, and Francesca Pellicciotti. “Local Controls on Near-Surface Glacier Cooling under Warm Atmospheric Conditions.”https://doi.org/10.1029/2023JD040214__Journal of Geophysical Research: Atmospheres. Wiley, 2024.https://doi.org/10.1029/2023JD040214 .
LibreCat: https://research-explorer.ista.ac.at/record/14885
DOI: 10.1029/2023JD040214

Pach, János, Morteza Saghafian, and Patrick Schnider. “Decomposition of Geometric Graphs into Star-Forests.”https://doi.org/10.1007/978-3-031-49272-3_23__In 31st International Symposium on Graph Drawing and Network Visualization, 14465:339–46. Springer Nature, 2024.https://doi.org/10.1007/978-3-031-49272-3_23 .
LibreCat: https://research-explorer.ista.ac.at/record/15012
DOI: 10.1007/978-3-031-49272-3_23
arXiv: 2306.13201

Goranci, Gramoz, Monika H Henzinger, Harald Räcke, Sushant Sachdeva, and A. R. Sricharan. “Electrical Flows for Polylogarithmic Competitive Oblivious Routing.”https://doi.org/10.4230/LIPIcs.ITCS.2024.55__In 15th Innovations in Theoretical Computer Science Conference, Vol. 287. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.https://doi.org/10.4230/LIPIcs.ITCS.2024.55 .
LibreCat: https://research-explorer.ista.ac.at/record/15008
DOI: 10.4230/LIPIcs.ITCS.2024.55
arXiv: 2303.02491

Franco, D. G., R. Avalos, D. Hafner, Kimberly A Modic, Yu Prots, O. Stockert, A. Hoser, et al. “Frustrated Magnetism in Octahedra-Based Ce6 Ni6 .”https://doi.org/10.1103/PhysRevB.109.054405__Physical Review B. American Physical Society, 2024.https://doi.org/10.1103/PhysRevB.109.054405 .
LibreCat: https://research-explorer.ista.ac.at/record/15003
DOI: 10.1103/PhysRevB.109.054405

Shimura, Yosuke, Clement Godfrin, Andriy Hikavyy, Roy Li, Juan L Aguilera Servin, Georgios Katsaros, Paola Favia, et al. “Compressively Strained Epitaxial Ge Layers for Quantum Computing Applications.”https://doi.org/10.1016/j.mssp.2024.108231__Materials Science in Semiconductor Processing. Elsevier, 2024.https://doi.org/10.1016/j.mssp.2024.108231 .
LibreCat: https://research-explorer.ista.ac.at/record/15018
DOI: 10.1016/j.mssp.2024.108231

Hledik, Michal. “Genetic Information and Biological Optimization.”https://doi.org/10.15479/at:ista:15020__Institute of Science and Technology Austria, 2024.https://doi.org/10.15479/at:ista:15020 .
LibreCat: https://research-explorer.ista.ac.at/record/15020
DOI: 10.15479/at:ista:15020

Zheng, Da Wei, and Monika H Henzinger. “Multiplicative Auction Algorithm for Approximate Maximum Weight Bipartite Matching.”https://doi.org/10.1007/s10107-024-02066-3__Mathematical Programming. Springer Nature, 2024.https://doi.org/10.1007/s10107-024-02066-3 .
LibreCat: https://research-explorer.ista.ac.at/record/15121
DOI: 10.1007/s10107-024-02066-3
arXiv: 2301.09217

Greene, Jenny E., Ivo Labbe, Andy D. Goulding, Lukas J. Furtak, Iryna Chemerynska, Vasily Kokorev, Pratika Dayal, et al. “UNCOVER Spectroscopy Confirms the Surprising Ubiquity of Active Galactic Nuclei in Red Sources at z &; 5.”https://doi.org/10.3847/1538-4357/ad1e5f__Astrophysical Journal. IOP Publishing, 2024.https://doi.org/10.3847/1538-4357/ad1e5f .
LibreCat: https://research-explorer.ista.ac.at/record/15170
DOI: 10.3847/1538-4357/ad1e5f
arXiv: 2309.05714

Filakovský, Marek, Tamio Vesa Nakajima, Jakub Oprsal, Gianluca Tasinato, and Uli Wagner. “Hardness of Linearly Ordered 4-Colouring of 3-Colourable 3-Uniform Hypergraphs.”https://doi.org/10.4230/LIPIcs.STACS.2024.34__In 41st International Symposium on Theoretical Aspects of Computer Science, Vol. 289. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.https://doi.org/10.4230/LIPIcs.STACS.2024.34 .
LibreCat: https://research-explorer.ista.ac.at/record/15168
DOI: 10.4230/LIPIcs.STACS.2024.34
arXiv: 2312.12981

Campbell, Rutger, Florian Hörsch, and Benjamin Moore. “Decompositions into Two Linear Forests of Bounded Lengths.”https://doi.org/10.1016/j.disc.2024.113962__Discrete Mathematics. Elsevier, 2024.https://doi.org/10.1016/j.disc.2024.113962 .
LibreCat: https://research-explorer.ista.ac.at/record/15163
DOI: 10.1016/j.disc.2024.113962
arXiv: 2301.11615

Matthee, Jorryt J, Rohan P. Naidu, Gabriel Brammer, John Chisholm, Anna-Christina Eilers, Andy Goulding, Jenny Greene, et al. “Little Red Dots: An Abundant Population of Faint Active Galactic Nuclei at z c 5 Revealed by the EIGER and FRESCO JWST Surveys.”https://doi.org/10.3847/1538-4357/ad2345__The Astrophysical Journal. American Astronomical Society, 2024.https://doi.org/10.3847/1538-4357/ad2345 .
LibreCat: https://research-explorer.ista.ac.at/record/15180
DOI: 10.3847/1538-4357/ad2345

Matthee, Jorryt J, Christopher Golling, Ruari Mackenzie, Gabriele Pezzulli, Simon Lilly, Joop Schaye, Roland Bacon, et al. “Large-Scale Excess H I Absorption around zhttps://doi.org/10.1093/mnras/stae673__4 Galaxies Detected in a Background Galaxy Spectrum in the MUSE EXtremely Deep Field.”https://doi.org/10.1093/mnras/stae673__Monthly Notices of the Royal Astronomical Society. Oxford University Press, 2024.https://doi.org/10.1093/mnras/stae673 .
LibreCat: https://research-explorer.ista.ac.at/record/15249
DOI: 10.1093/mnras/stae673
arXiv: 2305.15346

Olusanya, Oluwafunmilola O. “Local Adaptation, Genetic Load and Extinction in Metapopulations.”https://doi.org/10.15479/at:ista:14711__Institute of Science and Technology Austria, 2024.https://doi.org/10.15479/at:ista:14711 .
LibreCat: https://research-explorer.ista.ac.at/record/14711
DOI: 10.15479/at:ista:14711

Mahato, Neelima, Saurabh Singh, T. V.M. Sreekanth, Kisoo Yoo, and Jonghoon Kim. “Polycrystalline Phases Engineered In-Situ in Polyaniline-Graphene Composite Evoluting an Exceptional Stability and High Charge Storage Capacity: An EIS Investigative Approach to Evaluate Material’s Stability.”https://doi.org/10.1016/j.est.2024.111464__Journal of Energy Storage. Elsevier, 2024.https://doi.org/10.1016/j.est.2024.111464 .
LibreCat: https://research-explorer.ista.ac.at/record/15314
DOI: 10.1016/j.est.2024.111464

Pensabene, A., S. Cantalupo, C. Cicone, R. Decarli, M. Galbiati, M. Ginolfi, S. De Beer, et al. “ALMA Survey of a Massive Node of the Cosmic Web at z c 3: I. Discovery of a Large Overdensity of CO Emitters.”https://doi.org/10.1051/0004-6361/202348659__Astronomy and Astrophysics. EDP Sciences, 2024.https://doi.org/10.1051/0004-6361/202348659 .
LibreCat: https://research-explorer.ista.ac.at/record/15336
DOI: 10.1051/0004-6361/202348659
arXiv: 2401.04765

Zeng, Zezhu, Xingchen Shen, Ruihuan Cheng, Olivier Perez, Niuchang Ouyang, Zheyong Fan, Pierric Lemoine, Bernard Raveau, Emmanuel Guilmeau, and Yue Chen. “Pushing Thermal Conductivity to Its Lower Limit in Crystals with Simple Structures.”https://doi.org/10.1038/s41467-024-46799-3__Nature Communications. Springer Nature, 2024.https://doi.org/10.1038/s41467-024-46799-3 .
LibreCat: https://research-explorer.ista.ac.at/record/15311
DOI: 10.1038/s41467-024-46799-3
arXiv: 2310.01838

Browning, Timothy D, and Igor E. Shparlinski. “Square-Free Values of Random Polynomials.”https://doi.org/10.1016/j.jnt.2024.02.013__Journal of Number Theory. Elsevier, 2024.https://doi.org/10.1016/j.jnt.2024.02.013 .
LibreCat: https://research-explorer.ista.ac.at/record/15312
DOI: 10.1016/j.jnt.2024.02.013
arXiv: 2305.15493

Chalupa, Marek, and Cedric Richter. “Bubaak-SpLit: Split What You Cannot Verify (Competition Contribution).”https://doi.org/10.1007/978-3-031-57256-2_20__In 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 14572:353–358. Springer Nature, 2024.https://doi.org/10.1007/978-3-031-57256-2_20 .
LibreCat: https://research-explorer.ista.ac.at/record/15333
DOI: 10.1007/978-3-031-57256-2_20

Mahato, Neelima, Saurabh Singh, T. V.M. Sreekanth, Kisoo Yoo, and Jonghoon Kim. “In-Situ Engineered Highly Crystalline Polythiophene Empowered Electrochemical Capacitor-I: Synthesis, Characterization, and Electrochemical Charge Storage.”https://doi.org/10.1016/j.matlet.2024.136483__Materials Letters. Elsevier, 2024.https://doi.org/10.1016/j.matlet.2024.136483 .
LibreCat: https://research-explorer.ista.ac.at/record/15348
DOI: 10.1016/j.matlet.2024.136483

Zeller, Peter, Jake Yeung, Helena Viñas Gaza, Buys Anton de Barbanson, Vivek Bhardwaj, Maria Florescu, Reinier van der Linden, and Alexander van Oudenaarden. “Single-Cell SortChIC Identifies Hierarchical Chromatin Dynamics during Hematopoiesis.”https://doi.org/10.1038/s41588-022-01260-3__Nature Genetics. Springer Nature, 2023.https://doi.org/10.1038/s41588-022-01260-3 .
LibreCat: https://research-explorer.ista.ac.at/record/12158
DOI: 10.1038/s41588-022-01260-3

Arroyo-Urea, Sandra, Jake Watson, and Javier García-Nafría. “Molecular Cloning Using In Vivo DNA Assembly.”https://doi.org/10.1007/978-1-0716-3004-4_3__In DNA Manipulation and Analysis, edited by Garry Scarlett, 2633:33–44. MIMB. New York, NY, United States: Springer Nature, 2023.https://doi.org/10.1007/978-1-0716-3004-4_3 .
LibreCat: https://research-explorer.ista.ac.at/record/12720
DOI: 10.1007/978-1-0716-3004-4_3
PMID: 36853454

Aksenov, Vitaly, Trevor A Brown, Alexander Fedorov, and Ilya Kokorin. Unexpected Scaling in Path Copying Trees. Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. Association for Computing Machinery, 2023.https://doi.org/10.1145/3572848.3577512 .
LibreCat: https://research-explorer.ista.ac.at/record/12736
DOI: 10.1145/3572848.3577512

Chalupa, Marek, and Thomas A Henzinger. “Bubaak: Runtime Monitoring of Program Verifiers.”https://doi.org/10.1007/978-3-031-30820-8_32__In Tools and Algorithms for the Construction and Analysis of Systems, 13994:535–40. Springer Nature, 2023.https://doi.org/10.1007/978-3-031-30820-8_32 .
LibreCat: https://research-explorer.ista.ac.at/record/12854
DOI: 10.1007/978-3-031-30820-8_32

Chalupa, Marek, Fabian Mühlböck, Stefanie Muroya Lei, and Thomas A Henzinger. “Vamos: Middleware for Best-Effort Third-Party Monitoring.”https://doi.org/10.1007/978-3-031-30826-0_15__In Fundamental Approaches to Software Engineering, 13991:260–81. Springer Nature, 2023.https://doi.org/10.1007/978-3-031-30826-0_15 .
LibreCat: https://research-explorer.ista.ac.at/record/12856
DOI: 10.1007/978-3-031-30826-0_15

Hoffmann, Charlotte, Pavel Hubádek, Chethan Kamath, and Krzysztof Z Pietrzak. “Certifying Giant Nonprimes.”https://doi.org/10.1007/978-3-031-31368-4_19__In Public-Key Cryptography - PKC 2023, 13940:530–53. Springer Nature, 2023.https://doi.org/10.1007/978-3-031-31368-4_19 .
LibreCat: https://research-explorer.ista.ac.at/record/13143
DOI: 10.1007/978-3-031-31368-4_19

Chatterjee, Krishnendu, Thomas A Henzinger, Mathias Lechner, and Dorde Zikelic. “A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems.”https://doi.org/10.1007/978-3-031-30823-9_1__In Tools and Algorithms for the Construction and Analysis of Systems , 13993:3–25. Springer Nature, 2023.https://doi.org/10.1007/978-3-031-30823-9_1 .
LibreCat: https://research-explorer.ista.ac.at/record/13142
DOI: 10.1007/978-3-031-30823-9_1

Anand, Ashwani, Kaushik Mallik, Satya Prakash Nayak, and Anne Kathrin Schmuck. “Computing Adequately Permissive Assumptions for Synthesis.”https://doi.org/10.1007/978-3-031-30820-8_15__In TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems, 13994:211–28. Springer Nature, 2023.https://doi.org/10.1007/978-3-031-30820-8_15 .
LibreCat: https://research-explorer.ista.ac.at/record/13141
DOI: 10.1007/978-3-031-30820-8_15

Henzinger, Thomas A, Nicolas Adrien Mazzocchi, and Naci E Sarac. “Quantitative Safety and Liveness.”https://doi.org/10.1007/978-3-031-30829-1_17__In 26th International Conference Foundations of Software Science and Computation Structures, 13992:349–70. Springer Nature, 2023.https://doi.org/10.1007/978-3-031-30829-1_17 .
LibreCat: https://research-explorer.ista.ac.at/record/12467
DOI: 10.1007/978-3-031-30829-1_17
arXiv: 2301.11175

García-Romero, Álvaro, Jessica E. Waters, Rajesh B Jethwa, Andrew D. Bond, Annie L. Colebatch, Raúl García-Rodríguez, and Dominic S. Wright. “Highly Adaptive Nature of Group 15 Tris(Quinolyl) Ligandsstudies with Coinage Metals.”https://doi.org/10.1021/acs.inorgchem.3c00057__Inorganic Chemistry. American Chemical Society, 2023.https://doi.org/10.1021/acs.inorgchem.3c00057 .
LibreCat: https://research-explorer.ista.ac.at/record/12737
DOI: 10.1021/acs.inorgchem.3c00057
WoS: 000956110300001
PMID: 36883367

Karle, Volker, Areg Ghazaryan, and Mikhail Lemeshko. “Topological Charges of Periodically Kicked Molecules.”https://doi.org/10.1103/PhysRevLett.130.103202__Physical Review Letters. American Physical Society, 2023.https://doi.org/10.1103/PhysRevLett.130.103202 .
LibreCat: https://research-explorer.ista.ac.at/record/12788
DOI: 10.1103/PhysRevLett.130.103202
WoS: 000957635500003
arXiv: 2206.07067

Ljubotina, Marko, Jean Yves Desaules, Maksym Serbyn, and Zlatko Papi. “Superdiffusive Energy Transport in Kinetically Constrained Models.”https://doi.org/10.1103/PhysRevX.13.011033__Physical Review X. American Physical Society, 2023.https://doi.org/10.1103/PhysRevX.13.011033 .
LibreCat: https://research-explorer.ista.ac.at/record/12839
DOI: 10.1103/PhysRevX.13.011033
WoS: 000957625700001

Clozeau, Nicolas, Marc Josien, Felix Otto, and Qiang Xu. “Bias in the Representative Volume Element Method: Periodize the Ensemble Instead of Its Realizations.”https://doi.org/10.1007/s10208-023-09613-y__Foundations of Computational Mathematics. Springer Nature, 2023.https://doi.org/10.1007/s10208-023-09613-y .
LibreCat: https://research-explorer.ista.ac.at/record/13129
DOI: 10.1007/s10208-023-09613-y
WoS: 000999623100001

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

Madani, Amiera, Eric T. Sletten, Cristian Cavedon, Peter H. Seeberger, and Bartholomäus Pieber. “Visible-Light-Mediated Oxidative Debenzylation of 3-O-Benzyl-1,2:5,6-Di-O-Isopropylidene-;1-D-Glucofuranose.”https://doi.org/10.15227/orgsyn.100.0271__Organic Syntheses. Organic Syntheses, 2023.https://doi.org/10.15227/orgsyn.100.0271 .
LibreCat: https://research-explorer.ista.ac.at/record/13970
DOI: 10.15227/orgsyn.100.0271

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

Wang, Siqi, Cheng Chang, Shulin Bai, Bingchao Qin, Yingcai Zhu, Shaoping Zhan, Junqing Zheng, Shuwei Tang, and Li Dong Zhao. “Fine Tuning of Defects Enables High Carrier Mobility and Enhanced Thermoelectric Performance of N-Type PbTe.”https://doi.org/10.1021/acs.chemmater.2c03542__Chemistry of Materials. American Chemical Society, 2023.https://doi.org/10.1021/acs.chemmater.2c03542 .
LibreCat: https://research-explorer.ista.ac.at/record/12331
DOI: 10.1021/acs.chemmater.2c03542
WoS: 000914749700001

Yeung, Jake, Maria Florescu, Peter Zeller, Buys Anton De Barbanson, Max D. Wellenstein, and Alexander Van Oudenaarden. “ScChIX-Seq Infers Dynamic Relationships between Histone Modifications in Single Cells.”https://doi.org/10.1038/s41587-022-01560-3__Nature Biotechnology. Springer Nature, 2023.https://doi.org/10.1038/s41587-022-01560-3 .
LibreCat: https://research-explorer.ista.ac.at/record/12106
DOI: 10.1038/s41587-022-01560-3
WoS: 000909067600003

Boccato, Chiara, and Robert Seiringer. “The Bose Gas in a Box with Neumann Boundary Conditions.”https://doi.org/10.1007/s00023-022-01252-3__Annales Henri Poincare. Springer Nature, 2023.https://doi.org/10.1007/s00023-022-01252-3 .
LibreCat: https://research-explorer.ista.ac.at/record/12183
DOI: 10.1007/s00023-022-01252-3
WoS: 000910751800002
arXiv: 2205.15284

Hales, Jordyn, Utkarsh Bajpai, Tongtong Liu, Denitsa Rangelova Baykusheva, Mingda Li, Matteo Mitrano, and Yao Wang. “Witnessing Light-Driven Entanglement Using Time-Resolved Resonant Inelastic X-Ray Scattering.”https://doi.org/10.1038/s41467-023-38540-3__Nature Communications. Springer Nature, 2023.https://doi.org/10.1038/s41467-023-38540-3 .
LibreCat: https://research-explorer.ista.ac.at/record/13989
DOI: 10.1038/s41467-023-38540-3
PMID: 37316515
arXiv: 2209.02283

Sahu, Rishabh. “Cavity Quantum Electrooptics.”https://doi.org/10.15479/at:ista:13175__Institute of Science and Technology Austria, 2023.https://doi.org/10.15479/at:ista:13175 .
LibreCat: https://research-explorer.ista.ac.at/record/13175
DOI: 10.15479/at:ista:13175

Sahu, Rishabh. “Cavity Quantum Electrooptics.”https://doi.org/10.15479/at:ista:12900__Institute of Science and Technology Austria, 2023.https://doi.org/10.15479/at:ista:12900 .
LibreCat: https://research-explorer.ista.ac.at/record/12900
DOI: 10.15479/at:ista:12900

Henzinger, Thomas A, Mahyar Karimi, Konstantin Kueffner, and Kaushik Mallik. “Monitoring Algorithmic Fairness.”https://doi.org/10.1007/978-3-031-37703-7_17__In Computer Aided Verification, 13965:358–382. Springer Nature, 2023.https://doi.org/10.1007/978-3-031-37703-7_17 .
LibreCat: https://research-explorer.ista.ac.at/record/13310
DOI: 10.1007/978-3-031-37703-7_17
arXiv: 2305.15979

Glajzer, Jacek, Dan Cacsire Castillo-Tong, Rolf Richter, Ignace Vergote, Hagen Kulbe, Adriaan Vanderstichele, Ilary Ruscito, et al. “Impact of BRCA Mutation Status on Tumor Dissemination Pattern, Surgical Outcome and Patient Survival in Primary and Recurrent High-Grade Serous Ovarian Cancer: A Multicenter Retrospective Study by the Ovarian Cancer Therapy-Innovative Models Prolong Survival (OCTIPS) Consortium.”https://doi.org/10.1245/s10434-022-12459-3__Annals of Surgical Oncology. Springer Nature, 2023.https://doi.org/10.1245/s10434-022-12459-3 .
LibreCat: https://research-explorer.ista.ac.at/record/12205
DOI: 10.1245/s10434-022-12459-3
WoS: 000852125500006

Kretinsky, Jan, Tobias Meggendorfer, Maximilian Prokop, and Sabine Rieder. “Guessing Winning Policies in LTL Synthesis by Semantic Learning.”https://doi.org/10.1007/978-3-031-37706-8_20__In 35th International Conference on Computer Aided Verification , 13964:390–414. Springer Nature, 2023.https://doi.org/10.1007/978-3-031-37706-8_20 .
LibreCat: https://research-explorer.ista.ac.at/record/14259
DOI: 10.1007/978-3-031-37706-8_20

Sun, Yican, Hongfei Fu, Krishnendu Chatterjee, and Amir Kafshdar Goharshady. “Automated Tail Bound Analysis for Probabilistic Recurrence Relations.”https://doi.org/10.1007/978-3-031-37709-9_2__In Computer Aided Verification, 13966:16–39. Springer Nature, 2023.https://doi.org/10.1007/978-3-031-37709-9_2 .
LibreCat: https://research-explorer.ista.ac.at/record/14318
DOI: 10.1007/978-3-031-37709-9_2

Akshay, S., Krishnendu Chatterjee, Tobias Meggendorfer, and Dorde Zikelic. “MDPs as Distribution Transformers: Affine Invariant Synthesis for Safety Objectives.”https://doi.org/10.1007/978-3-031-37709-9_5__In International Conference on Computer Aided Verification, 13966:86–112. Springer Nature, 2023.https://doi.org/10.1007/978-3-031-37709-9_5 .
LibreCat: https://research-explorer.ista.ac.at/record/14317
DOI: 10.1007/978-3-031-37709-9_5

Dvorak, Martin, and Jasmin Blanchette. “Closure Properties of General Grammars - Formally Verified.”https://doi.org/10.4230/LIPIcs.ITP.2023.15__In 14th International Conference on Interactive Theorem Proving, Vol. 268. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.https://doi.org/10.4230/LIPIcs.ITP.2023.15 .
LibreCat: https://research-explorer.ista.ac.at/record/13120
DOI: 10.4230/LIPIcs.ITP.2023.15
arXiv: 2302.06420

Graham, Thomas, Maria Kleshnina, and Jerzy A. Filar. “Where Do Mistakes Lead? A Survey of Games with Incompetent Players.”https://doi.org/10.1007/s13235-022-00425-3__Dynamic Games and Applications. Springer Nature, 2023.https://doi.org/10.1007/s13235-022-00425-3 .
LibreCat: https://research-explorer.ista.ac.at/record/10770
DOI: 10.1007/s13235-022-00425-3
WoS: 000753777100001

Wagner, Bernhard, Vedrana Slipogor, Jinook Oh, Marion Varga, and Marisa Hoeschele. “A Comparison between Common Marmosets (Callithrix Jacchus) and Human Infants Sheds Light on Traits Proposed to Be at the Root of Human Octave Equivalence.”https://doi.org/10.1111/desc.13395__Developmental Science. Wiley, 2023.https://doi.org/10.1111/desc.13395 .
LibreCat: https://research-explorer.ista.ac.at/record/12961
DOI: 10.1111/desc.13395
PMID: 37101383

Corbet, René, Michael Kerber, Michael Lesnick, and Georg F Osang. “Computing the Multicover Bifiltration.”https://doi.org/10.1007/s00454-022-00476-8__Discrete and Computational Geometry. Springer Nature, 2023.https://doi.org/10.1007/s00454-022-00476-8 .
LibreCat: https://research-explorer.ista.ac.at/record/12709
DOI: 10.1007/s00454-022-00476-8
WoS: 000936496800001
arXiv: 2103.07823

Boissonnat, Jean Daniel, and Mathijs Wintraecken. “The Reach of Subsets of Manifolds.”https://doi.org/10.1007/s41468-023-00116-x__Journal of Applied and Computational Topology. Springer Nature, 2023.https://doi.org/10.1007/s41468-023-00116-x .
LibreCat: https://research-explorer.ista.ac.at/record/12763
DOI: 10.1007/s41468-023-00116-x

Tomaszewska, Paulina, and Christoph Lampert. “On the Implementation of Baselines and Lightweight Conditional Model Extrapolation (LIMES) under Class-Prior Shift.”https://doi.org/10.1007/978-3-031-40773-4_6__In International Workshop on Reproducible Research in Pattern Recognition, 14068:67–73. Springer Nature, 2023.https://doi.org/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, Niels Ferguson, Eli Goldin, Peter Hall, and Krzysztof Z Pietrzak. “Random Oracle Combiners: Breaking the Concatenation Barrier for Collision-Resistance.”https://doi.org/10.1007/978-3-031-38545-2_17__In 43rd Annual International Cryptology Conference, 14082:514–46. Springer Nature, 2023.https://doi.org/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, Rishabh Sahu, William J Hease, Georg M Arnold, and Johannes M Fink. “Coherent Optical Control of a Superconducting Microwave Cavity via Electro-Optical Dynamical Back-Action.”https://doi.org/10.1038/s41467-023-39493-3__Nature Communications. Nature Research, 2023.https://doi.org/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.”https://doi.org/10.1214/23-ECP516__Electronic Communications in Probability. Institute of Mathematical Statistics, 2023.https://doi.org/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, Pierre Le Boudec, and Will Sawin. “The Hasse Principle for Random Fano Hypersurfaces.”https://doi.org/10.4007/annals.2023.197.3.3__Annals of Mathematics. Princeton University, 2023.https://doi.org/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.”https://doi.org/10.1007/978-3-031-44469-2_11__In 8th International Conference on Cryptology and Information Security in Latin America, 14168:215–28. Springer Nature, 2023.https://doi.org/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, Konstantin Kueffner, and Kaushik Mallik. “Monitoring Algorithmic Fairness under Partial Observations.”https://doi.org/10.1007/978-3-031-44267-4_15__In 23rd International Conference on Runtime Verification, 14245:291–311. Springer Nature, 2023.https://doi.org/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.”https://doi.org/10.1007/s00220-023-04841-3__Communications in Mathematical Physics. Springer Nature, 2023.https://doi.org/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, B. R. Mallikarjun, Gereon Fox, Tim Weyrich, Bernd Bickel, Hanspeter Pfister, Wojciech Matusik, et al. “A Deeper Analysis of Volumetric Relightiable Faces.”https://doi.org/10.1007/s11263-023-01899-3__International Journal of Computer Vision. Springer Nature, 2023.https://doi.org/10.1007/s11263-023-01899-3 .
LibreCat: https://research-explorer.ista.ac.at/record/14488
DOI: 10.1007/s11263-023-01899-3

Beaver, Donald, Mahimna Kelkar, Kevin Lewi, Valeria Nikolaenko, Alberto Sonnino, Konstantinos Chalkias, Eleftherios Kokoris Kogias, Ladi De Naurois, and Arnab Roy. “STROBE: Streaming Threshold Random Beacons.”https://doi.org/10.4230/LIPIcs.AFT.2023.7__In 5th Conference on Advances in Financial Technologies, Vol. 282. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.https://doi.org/10.4230/LIPIcs.AFT.2023.7 .
LibreCat: https://research-explorer.ista.ac.at/record/14516
DOI: 10.4230/LIPIcs.AFT.2023.7

Helson, Victor, Timo Zwettler, Farokh Mivehvar, Elvia Colella, Kevin Etienne Robert Roux, Hideki Konishi, Helmut Ritsch, and Jean Philippe Brantut. “Density-Wave Ordering in a Unitary Fermi Gas with Photon-Mediated Interactions.”https://doi.org/10.1038/s41586-023-06018-3__Nature. Springer Nature, 2023.https://doi.org/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, Monika H Henzinger, Danupon Nanongkai, and Xiaowei Wu. “Deterministic Near-Optimal Approximation Algorithms for Dynamic Set Cover.”https://doi.org/10.1137/21M1428649__SIAM Journal on Computing. Society for Industrial and Applied Mathematics, 2023.https://doi.org/10.1137/21M1428649 .
LibreCat: https://research-explorer.ista.ac.at/record/14558
DOI: 10.1137/21M1428649

Ansaripour, Matin, Krishnendu Chatterjee, Thomas A Henzinger, Mathias Lechner, and Dorde Zikelic. “Learning Provably Stabilizing Neural Controllers for Discrete-Time Stochastic Systems.”https://doi.org/10.1007/978-3-031-45329-8_17__In 21st International Symposium on Automated Technology for Verification and Analysis, 14215:357–79. Springer Nature, 2023.https://doi.org/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, Manjunath Javoor, Julia Datler, Hermann Döring, Florian Hofer, Georgi A Dimchev, Victor-Valentin Hodirnau, Jan Faix, Klemens Rottner, and Florian KM Schur. “Arp Isoforms Regulate Ar/3 Complex–Dependent Protrusion through Differential Ena/VASP Positioning.”https://doi.org/10.1126/sciadv.add6495__Science Advances. American Association for the Advancement of Science, 2023.https://doi.org/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.’”https://doi.org/10.15479/AT:ISTA:14562__Institute of Science and Technology Austria, 2023.https://doi.org/10.15479/AT:ISTA:14562 .
LibreCat: https://research-explorer.ista.ac.at/record/14562
DOI: 10.15479/AT:ISTA:14562

Bussi, Claudio, Agustín Mangiarotti, Christian Eduardo Vanhille-Campos, Beren Aylan, Enrica Pellegrino, Natalia Athanasiadi, Antony Fearns, et al. “Stress Granules Plug and Stabilize Damaged Endolysosomal Membranes.”https://doi.org/10.1038/s41586-023-06726-w__Nature. Springer Nature, 2023.https://doi.org/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, Jakub Svoboda, and Michelle X Yeo. “Weighted Packet Selection for Rechargeable Links in Cryptocurrency Networks: Complexity and Approximation.”https://doi.org/10.1007/978-3-031-32733-9_26__In SIROCCO 2023: Structural Information and Communication Complexity , 13892:576–94. Springer Nature, 2023.https://doi.org/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, Niccolò Morrisi, Carlotta Mutti, Nicoletta Azzi, Irene Trippi, Rosario Ciliento, Ilenia Apicella, et al. “Criticality of Neuronal Avalanches in Human Sleep and Their Relationship with Sleep Macro- and Micro-Architecture.”https://doi.org/10.1016/j.isci.2023.107840__IScience. Elsevier, 2023.https://doi.org/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, Matilda Peruzzo, Lucky Kapoor, Andrea Trioni, Martin Zemlicka, and Johannes M Fink. “Inductively Shunted Transmons Exhibit Noise Insensitive Plasmon States and a Fluxon Decay Exceeding 3 Hours.”https://doi.org/10.1038/s41467-023-39656-2__Nature Communications. Springer Nature, 2023.https://doi.org/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.”https://doi.org/10.1007/s00023-023-01345-7__Annales Henri Poincare. Springer Nature, 2023.https://doi.org/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, Sven Joscha Henheik, Volodymyr Riabov, and László Erdös. “Eigenstate Thermalisation Hypothesis for Translation Invariant Spin Systems.”https://doi.org/10.1007/s10955-023-03132-4__Journal of Statistical Physics. Springer Nature, 2023.https://doi.org/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, Bernd Gärtner, Andrey Kupavskii, Pavel Valtr, and Uli Wagner. “The Crossing Tverberg Theorem.”https://doi.org/10.1007/s00454-023-00532-x__Discrete and Computational Geometry. Springer Nature, 2023.https://doi.org/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, Enys Mones, Máté Varga, Áron Zsigmond, Beáta Biri-Kovács, László Nyitray, Vanessa Barone, Gabriel Krens, Carl-Philipp J Heisenberg, and Tamás Vicsek. “D Cell Segregation Geometry and Dynamics Are Governed by Tissue Surface Tension Regulation.”https://doi.org/10.1038/s42003-023-05181-7__Communications Biology. Springer Nature, 2023.https://doi.org/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.”https://doi.org/10.15479/at:ista:14058__Institute of Science and Technology Austria, 2023.https://doi.org/10.15479/at:ista:14058 .
LibreCat: https://research-explorer.ista.ac.at/record/14058
DOI: 10.15479/at:ista:14058

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

Zeng, Guifang, Qing Sun, Sharona Horta, Shang Wang, Xuan Lu, Chaoyue Zhang, Jing Li, et al. “A Layered Bi2Te3@PPy Cathode for Aqueous Zinc Ion Batteries: Mechanism and Application in Printed Flexible Batteries.”https://doi.org/10.1002/adma.202305128__Advanced Materials. Wiley, n.d.https://doi.org/10.1002/adma.202305128 .
LibreCat: https://research-explorer.ista.ac.at/record/14435
DOI: 10.1002/adma.202305128
WoS: 001085681000001
PMID: 37555532

Hoffmann, Charlotte, Pavel Hubádek, Chethan Kamath, and Tomás Krák. “(Verifiable) Delay Functions from Lucas Sequences.”https://doi.org/10.1007/978-3-031-48624-1_13__In 21st International Conference on Theory of Cryptography, 14372:336–62. Springer Nature, 2023.https://doi.org/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, Miguel Cueto Noval, Guillermo Pascual Perez, and Krzysztof Z Pietrzak. “On the Cost of Post-Compromise Security in Concurrent Continuous Group-Key Agreement.”https://doi.org/10.1007/978-3-031-48621-0_10__In 21st International Conference on Theory of Cryptography, 14371:271–300. Springer Nature, 2023.https://doi.org/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, Charlotte Hoffmann, and Guillermo Pascual Perez. “Generic-Group Lower Bounds via Reductions between Geometric-Search Problems: With and without Preprocessing.”https://doi.org/10.1007/978-3-031-48621-0_11__In 21st International Conference on Theory of Cryptography, 14371:301–30. Springer Nature, 2023.https://doi.org/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.”https://doi.org/10.15479/at:ista:14697__Institute of Science and Technology Austria, 2023.https://doi.org/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.”https://doi.org/10.34727/2023/isbn.978-3-85448-060-0_20__In Proceedings of the 23rd Conference on Formal Methods in Computer-Aided Design, 122–31. TU Vienna Academic Press, 2023.https://doi.org/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, Lele Wang, Xia Chen, Zengxiang Ge, Julia Mergner, Xingli Li, Bernhard Küster, Gernot Längst, Li-Jia Qu, and Thomas Dresselhaus. “The RALF Signaling Pathway Regulates Cell Wall Integrity during Pollen Tube Growth in Maize.”https://doi.org/10.1093/plcell/koad324__The Plant Cell. Oxford University Press, 2023.https://doi.org/10.1093/plcell/koad324 .
LibreCat: https://research-explorer.ista.ac.at/record/14726
DOI: 10.1093/plcell/koad324

Biniaz, Ahmad, Kshitij Jain, Anna Lubiw, Zuzana Masárová, Tillmann Miltzow, Debajyoti Mondal, Anurag Murty Naredla, Josef Tkadlec, and Alexi Turcotte. “Token Swapping on Trees.”https://doi.org/10.46298/DMTCS.8383__Discrete Mathematics and Theoretical Computer Science. EPI Sciences, 2023.https://doi.org/10.46298/DMTCS.8383 .
LibreCat: https://research-explorer.ista.ac.at/record/12833
DOI: 10.46298/DMTCS.8383
arXiv: 1903.06981

Stefo, Christos, Zhuolun Xiang, and Eleftherios Kokoris Kogias. “Executing and Proving over Dirty Ledgers.”https://doi.org/10.1007/978-3-031-47754-6_1__In 27th International Conference on Financial Cryptography and Data Security, 13950:3–20. Springer Nature, 2023.https://doi.org/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, Krishnendu Chatterjee, Mohammad Ali Maddah-Ali, Stefan Schmid, Jakub Svoboda, and Michelle X Yeo. “: Boosting Liquidity in Payment Channel Networks with Online Admission Control.”https://doi.org/10.1007/978-3-031-47754-6_18__In 27th International Conference on Financial Cryptography and Data Security, 13950:309–25. Springer Nature, 2023.https://doi.org/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, Antoine Desjardins, Eleftherios Kokoris Kogias, and Roger Wattenhofer. “Divide &; Scale: Formalization and Roadmap to Robust Sharding.”https://doi.org/10.1007/978-3-031-32733-9_10__In 30th International Colloquium on Structural Information and Communication Complexity, 13892:199–245. Springer Nature, 2023.https://doi.org/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.”https://doi.org/10.1109/tit.2023.3257239__IEEE Transactions on Information Theory. Institute of Electrical and Electronics Engineers, 2023.https://doi.org/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, Artemii A. Pigidanov, Marina V. Serebryakova, Sergei A. Golyshev, Raisa A. Galiullina, Nina V. Chichkova, and Andrey B. Vartapetian. “Phytaspase Is Capable of Detaching the Endoplasmic Reticulum Retrieval Signal from Tobacco Calreticulin-3.”https://doi.org/10.3390/ijms242216527__International Journal of Molecular Sciences. MDPI, 2023.https://doi.org/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.”https://doi.org/10.1214/22-aap1826__The Annals of Applied Probability. Institute of Mathematical Statistics, 2023.https://doi.org/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.”https://doi.org/10.1007/s10711-023-00862-3__Geometriae Dedicata. Springer Nature, 2023.https://doi.org/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, David Saulpic, and Chris Schwiegelshohn. “Deterministic Clustering in High Dimensional Spaces: Sketches and Approximation.”https://doi.org/10.1109/focs57990.2023.00066__In 2023 IEEE 64th Annual Symposium on Foundations of Computer Science, 1105–30. IEEE, 2023.https://doi.org/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, Felix F Frey, Marcos Arribas Perez, Timon Idema, and Gijsje H. Koenderink. “Branched Actin Cortices Reconstituted in Vesicles Sense Membrane Curvature.”https://doi.org/10.1016/j.bpj.2023.02.018__Biophysical Journal. Elsevier, 2023.https://doi.org/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.”https://doi.org/10.15479/14539__Institute of Science and Technology Austria, 2023.https://doi.org/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.”https://doi.org/10.1007/978-3-031-43587-4_24__In 24th International Symposium on Fundamentals of Computation Theory, 14292:333–47. Springer Nature, 2023.https://doi.org/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