Koval, Nikita, Alexander Fedorov, Maria Sokolova, Dmitry Tsitelov, and Dan-Adrian Alistarh. “Lincheck: A Practical Framework for Testing Concurrent Data Structures on JVM.”https://doi.org/10.1007/978-3-031-37706-8_8__In 35th International Conference on Computer Aided Verification , 13964:156–69. Springer Nature, 2023.https://doi.org/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, Alexander Fedorov, Maria Sokolova, Dmitry Tsitelov, and Dan-Adrian Alistarh. “Lincheck: A Practical Framework for Testing Concurrent Data Structures on JVM.”https://doi.org/10.5281/ZENODO.7877757__Zenodo, 2023.https://doi.org/10.5281/ZENODO.7877757 .
LibreCat: https://research-explorer.ista.ac.at/record/14995
DOI: 10.5281/ZENODO.7877757

Majumdar, Rupak, Kaushik Mallik, Mateusz Rychlicki, Anne-Kathrin Schmuck, and Sadegh Soudjani. “A Flexible Toolchain for Symbolic Rabin Games under Fair and Stochastic Uncertainties.”https://doi.org/10.5281/ZENODO.7877790__Zenodo, 2023.https://doi.org/10.5281/ZENODO.7877790 .
LibreCat: https://research-explorer.ista.ac.at/record/14994
DOI: 10.5281/ZENODO.7877790

Zikelic, Dorde, Mathias Lechner, Abhinav Verma, Krishnendu Chatterjee, and Thomas A Henzinger. “Compositional Policy Learning in Stochastic Control Systems with Formal Guarantees.” In 37th Conference on Neural Information Processing Systems, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/15023
arXiv: 2312.01456

Currin, Christopher, Mercy Nyamewaa Asiedu , Chris Fourie, Benjamin Rosman, Houcemeddine Turki, Atnafu Lambebo Tonja, Jade Abbott, et al. “A Framework for Grassroots Research Collaboration in Machine Learning and Global Health.” In 1st Workshop on Machine Learning &; Global Health. OpenReview, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/14993

Chalupa, Marek, and Thomas A Henzinger. “Monitoring Hyperproperties with Prefix Transducers.”https://doi.org/10.1007/978-3-031-44267-4_9__In 23nd International Conference on Runtime Verification, 14245:168–90. Springer Nature, 2023.https://doi.org/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

Tennage, Pasindu, Cristina Basescu, Eleftherios Kokoris Kogias, Ewa Syta, Philipp Jovanovic, Vero Estrada-Galinanes, and Bryan Ford. “QuePaxa: Escaping the Tyranny of Timeouts in Consensus.”https://doi.org/10.1145/3600006.3613150__In Proceedings of the 29th Symposium on Operating Systems Principles, 281–97. Association for Computing Machinery, 2023.https://doi.org/10.1145/3600006.3613150 .
LibreCat: https://research-explorer.ista.ac.at/record/14743
DOI: 10.1145/3600006.3613150

Chalupa, Marek, and Thomas A Henzinger. “Monitoring Hyperproperties with Prefix Transducers.”https://doi.org/10.5281/ZENODO.8191723__Zenodo, 2023.https://doi.org/10.5281/ZENODO.8191723 .
LibreCat: https://research-explorer.ista.ac.at/record/15035
DOI: 10.5281/ZENODO.8191723

Prach, Bernd, and Christoph Lampert. “-Lipschitz Neural Networks Are More Expressive with N-Activations.”https://doi.org/10.48550/ARXIV.2311.06103__ArXiv, n.d.https://doi.org/10.48550/ARXIV.2311.06103 .
LibreCat: https://research-explorer.ista.ac.at/record/15039
DOI: 10.48550/ARXIV.2311.06103
arXiv: 2311.06103

Stankowski, Sean. “Data and Code for: The Genetic Architecture of a Recent Transition to Live-Bearing in Marine Snails.”https://doi.org/10.5281/ZENODO.8318995__Zenodo, 2023.https://doi.org/10.5281/ZENODO.8318995 .
LibreCat: https://research-explorer.ista.ac.at/record/14812
DOI: 10.5281/ZENODO.8318995

Abualia, R, Stefan Riegler, and Eva Benková. “Nitrate, Auxin and Cytokinin - a Trio to Tango.”https://doi.org/10.3390/cells12121613__Cells. MDPI, 2023.https://doi.org/10.3390/cells12121613 .
LibreCat: https://research-explorer.ista.ac.at/record/13214
DOI: 10.3390/cells12121613
WoS: 001017033600001
PMID: 37371083

Shigemoto, Ryuichi. “Transition from Tonic to Phasic Neurotransmitter Release by Presynaptic GABAB Receptor Activation in Medial Habenula Terminals.”https://doi.org/10.15479/AT:ISTA:13173__Institute of Science and Technology Austria, 2023.https://doi.org/10.15479/AT:ISTA:13173 .
LibreCat: https://research-explorer.ista.ac.at/record/13173
DOI: 10.15479/AT:ISTA:13173

Zheng, Da Wei, and Monika H Henzinger. “Multiplicative Auction Algorithm for Approximate Maximum Weight Bipartite Matching.”https://doi.org/10.1007/978-3-031-32726-1_32__In International Conference on Integer Programming and Combinatorial Optimization, 13904:453–65. Springer Nature, 2023.https://doi.org/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

Biswas, Ranita, Sebastiano Cultrera di Montesano, Herbert Edelsbrunner, and Morteza Saghafian. “Geometric Characterization of the Persistence of 1D Maps.”https://doi.org/10.1007/s41468-023-00126-9__Journal of Applied and Computational Topology. Springer Nature, 2023.https://doi.org/10.1007/s41468-023-00126-9 .
LibreCat: https://research-explorer.ista.ac.at/record/13182
DOI: 10.1007/s41468-023-00126-9

Mondal, Soumyadip, Rajesh B Jethwa, Bhargavi Pant, Robert Hauschild, and Stefan Alexander Freunberger. “Singlet Oxygen in Non-Aqueous Oxygen Redox: Direct Spectroscopic Evidence for Formation Pathways and Reliability of Chemical Probes.”https://doi.org/10.1039/d3fd00088e__Faraday Discussions. Royal Society of Chemistry, 2023.https://doi.org/10.1039/d3fd00088e .
LibreCat: https://research-explorer.ista.ac.at/record/13044
DOI: 10.1039/d3fd00088e
WoS: 001070423500001

Marveggio, Alice. “Weak-Strong Stability and Phase-Field Approximation of Interface Evolution Problems in Fluid Mechanics and in Material Sciences.”https://doi.org/10.15479/at:ista:14587__Institute of Science and Technology Austria, 2023.https://doi.org/10.15479/at:ista:14587 .
LibreCat: https://research-explorer.ista.ac.at/record/14587
DOI: 10.15479/at:ista:14587

Esposito, Amedeo Roberto, and Marco Mondelli. “Concentration without Independence via Information Measures.”https://doi.org/10.1109/isit54713.2023.10206899__In Proceedings of 2023 IEEE International Symposium on Information Theory, 400–405. IEEE, 2023.https://doi.org/10.1109/isit54713.2023.10206899 .
LibreCat: https://research-explorer.ista.ac.at/record/14922
DOI: 10.1109/isit54713.2023.10206899
arXiv: 2303.07245

Kwan, Matthew Alan, Ashwin Sah, and Mehtaab Sawhney. “Enumerating Matroids and Linear Spaces.”https://doi.org/10.5802/crmath.423__Comptes Rendus Mathematique. Academie des Sciences, 2023.https://doi.org/10.5802/crmath.423 .
LibreCat: https://research-explorer.ista.ac.at/record/15173
DOI: 10.5802/crmath.423
arXiv: 2112.03788

Agresti, Antonio, and Amru Hussein. “Maximal Lp-Regularity and He-Calculus for Block Operator Matrices and Applications.”https://doi.org/10.1016/j.jfa.2023.110146__Journal of Functional Analysis. Elsevier, 2023.https://doi.org/10.1016/j.jfa.2023.110146 .
LibreCat: https://research-explorer.ista.ac.at/record/14772
DOI: 10.1016/j.jfa.2023.110146
WoS: 001081809000001
arXiv: 2108.01962

Riabov, Volodymyr. “Mesoscopic Eigenvalue Statistics for Wigner-Type Matrices.”https://doi.org/10.48550/arXiv.2301.01712__ArXiv, n.d.https://doi.org/10.48550/arXiv.2301.01712 .
LibreCat: https://research-explorer.ista.ac.at/record/15128
DOI: 10.48550/arXiv.2301.01712
arXiv: 2301.01712

Olusanya, Oluwafunmilola O, Kseniia Khudiakova, and Himani Sachdeva. “Genetic Load, Eco-Evolutionary Feedback and Extinction in a Metapopulation.”https://doi.org/10.1101/2023.12.02.569702__BioRxiv, n.d.https://doi.org/10.1101/2023.12.02.569702 .
LibreCat: https://research-explorer.ista.ac.at/record/14732
DOI: 10.1101/2023.12.02.569702

Fedorov, Alexander, Diba Hashemi, Giorgi Nadiradze, and Dan-Adrian Alistarh. “Provably-Efficient and Internally-Deterministic Parallel Union-Find.”https://doi.org/10.1145/3558481.3591082__In Proceedings of the 35th ACM Symposium on Parallelism in Algorithms and Architectures, 261–71. Association for Computing Machinery, 2023.https://doi.org/10.1145/3558481.3591082 .
LibreCat: https://research-explorer.ista.ac.at/record/13262
DOI: 10.1145/3558481.3591082
arXiv: 2304.09331

Condor, Jorge, Michael Piovarci, Bernd Bickel, and Piotr Didyk. “Gloss-Aware Color Correction for 3D Printing.”https://doi.org/10.1145/3588432.3591546__In SIGGRAPH ’23 Conference Proceedings. Association for Computing Machinery, 2023.https://doi.org/10.1145/3588432.3591546 .
LibreCat: https://research-explorer.ista.ac.at/record/12979
DOI: 10.1145/3588432.3591546
WoS: 001117690500021

Henzinger, Thomas A, Mahyar Karimi, Konstantin Kueffner, and Kaushik Mallik. “Runtime Monitoring of Dynamic Fairness Properties.”https://doi.org/10.1145/3593013.3594028__In FAccT ’23: Proceedings of the 2023 ACM Conference on Fairness, Accountability, and Transparency, 604–14. Association for Computing Machinery, 2023.https://doi.org/10.1145/3593013.3594028 .
LibreCat: https://research-explorer.ista.ac.at/record/13228
DOI: 10.1145/3593013.3594028
WoS: 001062819300057
arXiv: 2305.04699

Stankowski, Sean, Zuzanna B Zagrodzka, Juan Galindo, Mauricio Montaño-Rendón, Rui Faria, Natalia Mikhailova, April M H Blakeslee, et al. “Whole-Genome Phylogeography of the Intertidal Snail Littorina Saxatilis.”https://doi.org/10.1093/evolinnean/kzad002__Evolutionary Journal of the Linnean Society. Oxford University Press, 2023.https://doi.org/10.1093/evolinnean/kzad002 .
LibreCat: https://research-explorer.ista.ac.at/record/14833
DOI: 10.1093/evolinnean/kzad002

Lasne, Clementine, Marwan N Elkrewi, Melissa A Toups, Lorena Alexandra Layana Franco, Ariana Macon, and Beatriz Vicoso. “The Scorpionfly (Panorpa Cognata) Genome Highlights Conserved and Derived Features of the Peculiar Dipteran X Chromosome.”https://doi.org/10.1093/molbev/msad245__Molecular Biology and Evolution. Oxford University Press, 2023.https://doi.org/10.1093/molbev/msad245 .
LibreCat: https://research-explorer.ista.ac.at/record/14613
DOI: 10.1093/molbev/msad245
PMID: 37988296

Lasne, Clementine, and Marwan N Elkrewi. “The Scorpionfly (Panorpa Cognata) Genome Highlights Conserved and Derived Features of the Peculiar Dipteran X Chromosome.”https://doi.org/10.15479/AT:ISTA:14614__Institute of Science and Technology Austria, 2023.https://doi.org/10.15479/AT:ISTA:14614 .
LibreCat: https://research-explorer.ista.ac.at/record/14614
DOI: 10.15479/AT:ISTA:14614

Gnyliukh, Nataliia, Alexander J Johnson, Marie-Kristin Nagel, Aline Monzer, Annamaria Hlavata, Erika Isono, Martin Loose, and Jií Friml. “Role of Dynamin-Related Proteins 2 and S in Clathrin-Mediated Endocytosis in Plants.”https://doi.org/10.1101/2023.10.09.561523__BioRxiv, n.d.https://doi.org/10.1101/2023.10.09.561523 .
LibreCat: https://research-explorer.ista.ac.at/record/14591
DOI: 10.1101/2023.10.09.561523

Piovarci, Michael, Alexandre Chapiro, and Bernd Bickel. “Skin-Screen: A Computational Fabrication Framework for Color Tattoos.”https://doi.org/10.1145/3592432__ACM Transactions on Graphics. Association for Computing Machinery, 2023.https://doi.org/10.1145/3592432 .
LibreCat: https://research-explorer.ista.ac.at/record/12984
DOI: 10.1145/3592432
WoS: 001044671300033

Chatterjee, Krishnendu, Ehsan Kafshdar Goharshady, Petr Novotný, Jií Zárevúcky, and Dorde Zikelic. “On Lexicographic Proof Rules for Probabilistic Termination.”https://doi.org/10.1145/3585391__Formal Aspects of Computing. Association for Computing Machinery, 2023.https://doi.org/10.1145/3585391 .
LibreCat: https://research-explorer.ista.ac.at/record/14778
DOI: 10.1145/3585391
arXiv: 2108.02188

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

Westram, Anja M, and Roger Butlin. “Professor Kerstin Johannesson–Winner of the 2022 Molecular Ecology Prize.”https://doi.org/10.1111/mec.16779__Molecular Ecology. Wiley, 2023.https://doi.org/10.1111/mec.16779 .
LibreCat: https://research-explorer.ista.ac.at/record/12166
DOI: 10.1111/mec.16779
WoS: 000892168800001

Charikar, Moses, Lunjia Hu, Monika H Henzinger, Maximilian Vötsch, and Erik Waingarten. “Simple, Scalable and Effective Clustering via One-Dimensional Projections.” In 37th Conference on Neural Information Processing Systems, Vol. 36, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/15364
arXiv: 2310.16752

Safaryan, Mher, Alexandra Krumes, and Dan-Adrian Alistarh. “Knowledge Distillation Performs Partial Variance Reduction.” In 36th Conference on Neural Information Processing Systems, Vol. 36, 2023.
LibreCat: https://research-explorer.ista.ac.at/record/15363
arXiv: 2305.17581

Zens, Bettina. “Ultrastructural Characterization of Natively Preserved Extracellular Matrix by Cryo-Electron Tomography.”https://doi.org/10.15479/at:ista:12491__Institute of Science and Technology Austria, 2023.https://doi.org/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.”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

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

Schauer, Alexandra. “Mesendoderm Formation in Zebrafish Gastrulation: The Role of Extraembryonic Tissues.”https://doi.org/10.15479/at:ista:12891__Institute of Science and Technology Austria, 2023.https://doi.org/10.15479/at:ista:12891 .
LibreCat: https://research-explorer.ista.ac.at/record/12891
DOI: 10.15479/at:ista:12891

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

Wang, Yalu, Zhi Yuan, Jinyi Wang, Huixin Xiao, Lu Wan, Lanxin Li, Yan Guo, Zhizhong Gong, Jií Friml, and Jing Zhang. “The Nitrate Transporter NR.1 Directly Antagonizes PIN7-Mediated Auxin Transport for Root Growth Adaptation.”https://doi.org/10.1073/pnas.2221313120__Proceedings of the National Academy of Sciences of the United States of America. National Academy of Sciences, 2023.https://doi.org/10.1073/pnas.2221313120 .
LibreCat: https://research-explorer.ista.ac.at/record/13201
DOI: 10.1073/pnas.2221313120
WoS: 001030689600003
PMID: 37307446

Stephenson, Elizabeth R. “Generalizing Medial Axes with Homology Switches.”https://doi.org/10.15479/at:ista:14226__Institute of Science and Technology Austria, 2023.https://doi.org/10.15479/at:ista:14226 .
LibreCat: https://research-explorer.ista.ac.at/record/14226
DOI: 10.15479/at:ista:14226

Kirillova, Kseniia. “Panoramic Functional Gradients across the Mouse Retina.”https://doi.org/10.15479/at:ista:12531__Institute of Science and Technology Austria, 2023.https://doi.org/10.15479/at:ista:12531 .
LibreCat: https://research-explorer.ista.ac.at/record/12531
DOI: 10.15479/at:ista:12531

Julseth, Mara. “The Effect of Local Population Structure on Genetic Variation at Selected Loci in the A. Majus Hybrid Zone.”https://doi.org/10.15479/at:ista:12800__Institute of Science and Technology Austria, 2023.https://doi.org/10.15479/at:ista:12800 .
LibreCat: https://research-explorer.ista.ac.at/record/12800
DOI: 10.15479/at:ista:12800

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

Hafner, Christian, and Bernd Bickel. “The Design Space of Kirchhoff Rods.”https://doi.org/10.1145/3606033__ACM Transactions on Graphics. Association for Computing Machinery, 2023.https://doi.org/10.1145/3606033 .
LibreCat: https://research-explorer.ista.ac.at/record/13188
DOI: 10.1145/3606033
WoS: 001086833300010

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

Hosten, Onur. “Constraints on Probing Quantum Coherence to Infer Gravitational Entanglement.”https://doi.org/10.1103/PhysRevResearch.4.013023__Physical Review Research. American Physical Society, 2022.https://doi.org/10.1103/PhysRevResearch.4.013023 .
LibreCat: https://research-explorer.ista.ac.at/record/10652
DOI: 10.1103/PhysRevResearch.4.013023

Dubini, Romeo C. A., Eva Korytiaková, Thea Schinkel, Pia Heinrichs, Thomas Carell, and Petra Rovo. “H NMR Chemical Exchange Techniques Reveal Local and Global Effects of Oxidized Cytosine Derivatives.”https://doi.org/10.1021/acsphyschemau.1c00050__ACS Physical Chemistry Au. American Chemical Society, 2022.https://doi.org/10.1021/acsphyschemau.1c00050 .
LibreCat: https://research-explorer.ista.ac.at/record/10758
DOI: 10.1021/acsphyschemau.1c00050
PMID: 35637781

Bartocci, Ezio, Thomas Ferrere, Thomas A Henzinger, Dejan Nickovic, and Ana Oliveira Da Costa. “Flavors of Sequential Information Flow.”https://doi.org/10.1007/978-3-030-94583-1_1__In Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 13182:1–19. Springer Nature, 2022.https://doi.org/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

Daguerre, L., G. Torroba, Raimel A Medina Ramos, and M. Solís. “Non relativistic quantum field theory: Dynamics and irreversibility.”https://doi.org/10.31527/analesafa.2021.32.4.93__Anales de la Asociacion Fisica Argentina. Asociacion Fisica Argentina, 2022.https://doi.org/10.31527/analesafa.2021.32.4.93 .
LibreCat: https://research-explorer.ista.ac.at/record/10769
DOI: 10.31527/analesafa.2021.32.4.93

Lombardi, Fabrizio, Hans J. Herrmann, Liborio Parrino, Dietmar Plenz, Silvia Scarpetta, Anna Elisabetta Vaudano, Lucilla de Arcangelis, and Oren Shriki. “Alpha Rhythm Induces Attenuation-Amplification Dynamics in Neural Activity Cascades.”https://doi.org/10.1101/2022.03.03.482657__BioRxiv. Cold Spring Harbor Laboratory, 2022.https://doi.org/10.1101/2022.03.03.482657 .
LibreCat: https://research-explorer.ista.ac.at/record/10821
DOI: 10.1101/2022.03.03.482657

Maslov, Mikhail, Mikhail Lemeshko, and Artem Volosniev. “Impurity with a Resonance in the Vicinity of the Fermi Energy.”https://doi.org/10.1103/PhysRevResearch.4.013160__Physical Review Research. American Physical Society, 2022.https://doi.org/10.1103/PhysRevResearch.4.013160 .
LibreCat: https://research-explorer.ista.ac.at/record/10845
DOI: 10.1103/PhysRevResearch.4.013160
arXiv: 2111.13570

Davidovi, Anela, Remy P Chait, Gregory Batt, and Jakob Ruess. “Parameter Inference for Stochastic Biochemical Models from Perturbation Experiments Parallelised at the Single Cell Level.”https://doi.org/10.1371/journal.pcbi.1009950__PLoS Computational Biology. Public Library of Science, 2022.https://doi.org/10.1371/journal.pcbi.1009950 .
LibreCat: https://research-explorer.ista.ac.at/record/10939
DOI: 10.1371/journal.pcbi.1009950

Alistarh, Dan-Adrian, Rati Gelashvili, and Joel Rybicki. “Fast Graphical Population Protocols.”https://doi.org/10.4230/LIPIcs.OPODIS.2021.14__In 25th International Conference on Principles of Distributed Systems, edited by Quentin Bramas, Vincent Gramoli, and Alessia Milani, Vol. 217. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022.https://doi.org/10.4230/LIPIcs.OPODIS.2021.14 .
LibreCat: https://research-explorer.ista.ac.at/record/11184
DOI: 10.4230/LIPIcs.OPODIS.2021.14
arXiv: 2102.08808

Nikabadi, Amir, and Janne Korhonen. “Beyond Distributed Subgraph Detection: Induced Subgraphs, Multicolored Problems and Graph Parameters.”https://doi.org/10.4230/LIPIcs.OPODIS.2021.15__In 25th International Conference on Principles of Distributed Systems, edited by Quentin Bramas, Vincent Gramoli, and Alessia Milani, Vol. 217. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022.https://doi.org/10.4230/LIPIcs.OPODIS.2021.15 .
LibreCat: https://research-explorer.ista.ac.at/record/11183
DOI: 10.4230/LIPIcs.OPODIS.2021.15

Kroll, Janina, Mauricio J.A. Ruiz-Fernandez, Malte B. Braun, Jack Merrin, and Jörg Renkawitz. “Quantifying the Probing and Selection of Microenvironmental Pores by Motile Immune Cells.”https://doi.org/10.1002/cpz1.407__Current Protocols. Wiley, 2022.https://doi.org/10.1002/cpz1.407 .
LibreCat: https://research-explorer.ista.ac.at/record/11182
DOI: 10.1002/cpz1.407
PMID: 35384410

Chambers, Erin, Christopher D Fillmore, Elizabeth R Stephenson, and Mathijs Wintraecken. “A Cautionary Tale: Burning the Medial Axis Is Unstable.”https://doi.org/10.4230/LIPIcs.SoCG.2022.66__In 38th International Symposium on Computational Geometry, edited by Xavier Goaoc and Michael Kerber, 224:66:1-66:9. LIPIcs. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022.https://doi.org/10.4230/LIPIcs.SoCG.2022.66 .
LibreCat: https://research-explorer.ista.ac.at/record/11428
DOI: 10.4230/LIPIcs.SoCG.2022.66

Shevchenko, Aleksandr, Vyacheslav Kungurtsev, and Marco Mondelli. “Mean-Field Analysis of Piecewise Linear Solutions for Wide ReLU Networks.” Journal of Machine Learning Research. Journal of Machine Learning Research, 2022.
LibreCat: https://research-explorer.ista.ac.at/record/11420
arXiv: 2111.02278

Bleile, Bea, Adélie Garin, Teresa Heiss, Kelly Maggs, and Vanessa Robins. “The Persistent Homology of Dual Digital Image Constructions.”https://doi.org/10.1007/978-3-030-95519-9_1__In Research in Computational Topology 2, edited by Ellen Gasparovic, Vanessa Robins, and Katharine Turner, 1st ed., 30:1–26. AWMS. Cham: Springer Nature, 2022.https://doi.org/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

Chlebak, Clara A, and Peter H. Reid. “From the Prefect’s Desk: Gerard van Swieten’s Library Correspondence.”https://doi.org/10.3366/lih.2022.0097__Library and Information History. Edinburgh University Press, 2022.https://doi.org/10.3366/lih.2022.0097 .
LibreCat: https://research-explorer.ista.ac.at/record/11444
DOI: 10.3366/lih.2022.0097

Clark, Trevor, Kostiantyn Drach, Oleg Kozlovski, and Sebastian Van Strien. “The Dynamics of Complex Box Mappings.”https://doi.org/10.1007/s40598-022-00200-7__Arnold Mathematical Journal. Springer Nature, 2022.https://doi.org/10.1007/s40598-022-00200-7 .
LibreCat: https://research-explorer.ista.ac.at/record/11553
DOI: 10.1007/s40598-022-00200-7

Ngampruetikorn, Vudtiwat, Vedant Sachdeva, Johanna Torrence, Jan Humplik, David J. Schwab, and Stephanie E. Palmer. “Inferring Couplings in Networks across Order-Disorder Phase Transitions.”https://doi.org/10.1103/PhysRevResearch.4.023240__Physical Review Research. American Physical Society, 2022.https://doi.org/10.1103/PhysRevResearch.4.023240 .
LibreCat: https://research-explorer.ista.ac.at/record/11638
DOI: 10.1103/PhysRevResearch.4.023240
arXiv: 2106.02349

Barton, Nicholas H. “The ‘New Synthesis.’”https://doi.org/10.1073/pnas.2122147119__Proceedings of the National Academy of Sciences of the United States of America. Proceedings of the National Academy of Sciences, 2022.https://doi.org/10.1073/pnas.2122147119 .
LibreCat: https://research-explorer.ista.ac.at/record/11702
DOI: 10.1073/pnas.2122147119
PMID: 35858408

Nikolic, Nela, Martina Sauert, Tanino G. Albanese, and Isabella Moll. “Quantifying Heterologous Gene Expression during Ectopic MazF Production in Escherichia Coli.”https://doi.org/10.1186/s13104-022-06061-9__BMC Research Notes. Springer Nature, 2022.https://doi.org/10.1186/s13104-022-06061-9 .
LibreCat: https://research-explorer.ista.ac.at/record/11713
DOI: 10.1186/s13104-022-06061-9
PMID: 35562780

Wirth, Melchior. “Kac Regularity and Domination of Quadratic Forms.”https://doi.org/10.1007/s43036-022-00199-w__Advances in Operator Theory. Springer Nature, 2022.https://doi.org/10.1007/s43036-022-00199-w .
LibreCat: https://research-explorer.ista.ac.at/record/11916
DOI: 10.1007/s43036-022-00199-w

Krokhin, Andrei, and Jakub Oprsal. “An Invitation to the Promise Constraint Satisfaction Problem.”https://doi.org/10.1145/3559736.3559740__ACM SIGLOG News. Association for Computing Machinery, 2022.https://doi.org/10.1145/3559736.3559740 .
LibreCat: https://research-explorer.ista.ac.at/record/11991
DOI: 10.1145/3559736.3559740
arXiv: 2208.13538

Brunnbauer, Axel, Luigi Berducci, Andreas Brandstatter, Mathias Lechner, Ramin Hasani, Daniela Rus, and Radu Grosu. “Latent Imagination Facilitates Zero-Shot Transfer in Autonomous Racing.”https://doi.org/10.1109/ICRA46639.2022.9811650__In 2022 International Conference on Robotics and Automation, 7513–20. IEEE, 2022.https://doi.org/10.1109/ICRA46639.2022.9811650 .
LibreCat: https://research-explorer.ista.ac.at/record/12010
DOI: 10.1109/ICRA46639.2022.9811650
arXiv: 2103.04909

Zhang, Yihan, Sidharth Jaggi, Michael Langberg, and Anand D. Sarwate. “The Capacity of Causal Adversarial Channels.”https://doi.org/10.1109/ISIT50566.2022.9834709__In 2022 IEEE International Symposium on Information Theory, 2022:2523–28. IEEE, 2022.https://doi.org/10.1109/ISIT50566.2022.9834709 .
LibreCat: https://research-explorer.ista.ac.at/record/12011
DOI: 10.1109/ISIT50566.2022.9834709
arXiv: 2205.06708

Fathollahi, Dorsa, and Marco Mondelli. “Polar Coded Computing: The Role of the Scaling Exponent.”https://doi.org/10.1109/ISIT50566.2022.9834712__In 2022 IEEE International Symposium on Information Theory, 2022:2154–59. IEEE, 2022.https://doi.org/10.1109/ISIT50566.2022.9834712 .
LibreCat: https://research-explorer.ista.ac.at/record/12016
DOI: 10.1109/ISIT50566.2022.9834712
arXiv: 2201.10082

Torkamani, Sahel, Javad B. Ebrahimi, Parastoo Sadeghi, Rafael G.L. D’Oliveira, and Muriel Médard. “Heterogeneous Differential Privacy via Graphs.”https://doi.org/10.1109/ISIT50566.2022.9834711__In 2022 IEEE International Symposium on Information Theory, 2022:1623–28. IEEE, 2022.https://doi.org/10.1109/ISIT50566.2022.9834711 .
LibreCat: https://research-explorer.ista.ac.at/record/12012
DOI: 10.1109/ISIT50566.2022.9834711
arXiv: 2203.15429

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

Ahmadi, Ali, Krishnendu Chatterjee, Amir Kafshdar Goharshady, Tobias Meggendorfer, Roodabeh Safavi Hemami, and Dorde Zikelic. “Algorithms and Hardness Results for Computing Cores of Markov Chains.”https://doi.org/10.4230/LIPIcs.FSTTCS.2022.29__In 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Vol. 250. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022.https://doi.org/10.4230/LIPIcs.FSTTCS.2022.29 .
LibreCat: https://research-explorer.ista.ac.at/record/12102
DOI: 10.4230/LIPIcs.FSTTCS.2022.29

Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, Ismael R Jecker, and Jakub Svoboda. “Complexity of Spatial Games.”https://doi.org/10.4230/LIPIcs.FSTTCS.2022.11__In 42nd IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Vol. 250. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022.https://doi.org/10.4230/LIPIcs.FSTTCS.2022.11 .
LibreCat: https://research-explorer.ista.ac.at/record/12101
DOI: 10.4230/LIPIcs.FSTTCS.2022.11

Stocker, Lidia, Stefan Sack, Michael S. Ferguson, and Oded Zilberberg. “Entanglement-Based Observables for Quantum Impurities.”https://doi.org/10.1103/PhysRevResearch.4.043177__Physical Review Research. American Physical Society, 2022.https://doi.org/10.1103/PhysRevResearch.4.043177 .
LibreCat: https://research-explorer.ista.ac.at/record/12111
DOI: 10.1103/PhysRevResearch.4.043177

Chen, Bin, Michael Piovarci, Chao Wang, Hans-Peter Seidel, Piotr Didyk, Karol Myszkowski, and Ana Serrano. “Gloss Management for Consistent Reproduction of Real and Virtual Objects.”https://doi.org/10.1145/3550469.3555406__In SIGGRAPH Asia 2022 Conference Papers, Vol. 2022. Association for Computing Machinery, 2022.https://doi.org/10.1145/3550469.3555406 .
LibreCat: https://research-explorer.ista.ac.at/record/12135
DOI: 10.1145/3550469.3555406

Börner, Georg, Malte Schröder, Davide Scarselli, Nazmi B Budanur, Björn Hof, and Marc Timme. “Explosive Transitions in Epidemic Dynamics.”https://doi.org/10.1088/2632-072x/ac99cd__Journal of Physics: Complexity. IOP Publishing, 2022.https://doi.org/10.1088/2632-072x/ac99cd .
LibreCat: https://research-explorer.ista.ac.at/record/12134
DOI: 10.1088/2632-072x/ac99cd

Zoller, Benjamin, Thomas Gregor, and Gasper Tkadik. “Eukaryotic Gene Regulation at Equilibrium, or Non?”https://doi.org/10.1016/j.coisb.2022.100435__Current Opinion in Systems Biology. Elsevier, 2022.https://doi.org/10.1016/j.coisb.2022.100435 .
LibreCat: https://research-explorer.ista.ac.at/record/12156
DOI: 10.1016/j.coisb.2022.100435

Garcia Soto, Miriam, Thomas A Henzinger, and Christian Schilling. “Synthesis of Parametric Hybrid Automata from Time Series.”https://doi.org/10.1007/978-3-031-19992-9_22__In 20th International Symposium on Automated Technology for Verification and Analysis, 13505:337–53. Springer Nature, 2022.https://doi.org/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

Pacut, Maciej, Mahmoud Parham, Joel Rybicki, Stefan Schmid, Jukka Suomela, and Aleksandr Tereshchenko. “Brief Announcement: Temporal Locality in Online Algorithms.”https://doi.org/10.4230/LIPIcs.DISC.2022.52__In 36th International Symposium on Distributed Computing, Vol. 246. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022.https://doi.org/10.4230/LIPIcs.DISC.2022.52 .
LibreCat: https://research-explorer.ista.ac.at/record/12182
DOI: 10.4230/LIPIcs.DISC.2022.52

Cremaschi, Tommaso, and Lorenzo Dello Schiavo. “Effective Contraction of Skinning Maps.”https://doi.org/10.1090/bproc/134__Proceedings of the American Mathematical Society, Series B. American Mathematical Society, 2022.https://doi.org/10.1090/bproc/134 .
LibreCat: https://research-explorer.ista.ac.at/record/12177
DOI: 10.1090/bproc/134

Cipolloni, Giorgio, László Erdös, and Dominik J Schröder. “On the Condition Number of the Shifted Real Ginibre Ensemble.”https://doi.org/10.1137/21m1424408__SIAM Journal on Matrix Analysis and Applications. Society for Industrial and Applied Mathematics, 2022.https://doi.org/10.1137/21m1424408 .
LibreCat: https://research-explorer.ista.ac.at/record/12179
DOI: 10.1137/21m1424408
arXiv: 2105.13719

Spiegelman, Alexander, Neil Giridharan, Alberto Sonnino, and Eleftherios Kokoris Kogias. “Bullshark: DAG BFT Protocols Made Practical.”https://doi.org/10.1145/3548606.3559361__In Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 2705–2718. Association for Computing Machinery, 2022.https://doi.org/10.1145/3548606.3559361 .
LibreCat: https://research-explorer.ista.ac.at/record/12229
DOI: 10.1145/3548606.3559361
arXiv: 2201.05677

Ljubotina, Marko, Barbara Roos, Dmitry A. Abanin, and Maksym Serbyn. “Optimal Steering of Matrix Product States and Quantum Many-Body Scars.”https://doi.org/10.1103/prxquantum.3.030343__PRX Quantum. American Physical Society, 2022.https://doi.org/10.1103/prxquantum.3.030343 .
LibreCat: https://research-explorer.ista.ac.at/record/12276
DOI: 10.1103/prxquantum.3.030343
arXiv: 2204.02899

Das, Sourav, Thomas Yurek, Zhuolun Xiang, Andrew Miller, Eleftherios Kokoris Kogias, and Ling Ren. “Practical Asynchronous Distributed Key Generation.”https://doi.org/10.1109/sp46214.2022.9833584__In 2022 IEEE Symposium on Security and Privacy, 2518–34. Institute of Electrical and Electronics Engineers, 2022.https://doi.org/10.1109/sp46214.2022.9833584 .
LibreCat: https://research-explorer.ista.ac.at/record/12300
DOI: 10.1109/sp46214.2022.9833584

Mirkovi, Ivan, Yaping Yang, and Gufang Zhao. “Loop Grassmannians of Quivers and Affine Quantum Groups.”https://doi.org/10.1007/978-3-030-82007-7_8__In Representation Theory and Algebraic Geometry, edited by Vladimir Baranovskky, Nicolas Guay, and Travis Schedler, 1st ed., 347–92. TM. Cham: Springer Nature; Birkhäuser, 2022.https://doi.org/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

Henzinger, Thomas A, Karoliina Lehtinen, and Patrick Totzke. “History-Deterministic Timed Automata.”https://doi.org/10.4230/LIPIcs.CONCUR.2022.14__In 33rd International Conference on Concurrency Theory, 243:14:1-14:21. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022.https://doi.org/10.4230/LIPIcs.CONCUR.2022.14 .
LibreCat: https://research-explorer.ista.ac.at/record/12508
DOI: 10.4230/LIPIcs.CONCUR.2022.14

Avni, Guy, and Thomas A Henzinger. “An Updated Survey of Bidding Games on Graphs.”https://doi.org/10.4230/LIPIcs.MFCS.2022.3__In 47th International Symposium on Mathematical Foundations of Computer Science, 241:3:1-3:6. Leibniz International Proceedings in Informatics (LIPIcs). Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022.https://doi.org/10.4230/LIPIcs.MFCS.2022.3 .
LibreCat: https://research-explorer.ista.ac.at/record/12509
DOI: 10.4230/LIPIcs.MFCS.2022.3

Venkataramanan, Ramji, Kevin Kögler, and Marco Mondelli. “Estimation in Rotationally Invariant Generalized Linear Models via Approximate Message Passing.” In Proceedings of the 39th International Conference on Machine Learning, Vol. 162. ML Research Press, 2022.
LibreCat: https://research-explorer.ista.ac.at/record/12540

Barbier, Jean, TianQi Hou, Marco Mondelli, and Manuel Saenz. “The Price of Ignorance: How Much Does It Cost to Forget Noise Structure in Low-Rank Matrix Estimation?”https://doi.org/10.48550/arXiv.2205.10009__ArXiv, n.d.https://doi.org/10.48550/arXiv.2205.10009 .
LibreCat: https://research-explorer.ista.ac.at/record/12536
DOI: 10.48550/arXiv.2205.10009
arXiv: 2205.10009

Meggendorfer, Tobias. “Risk-Aware Stochastic Shortest Path.”https://doi.org/10.1609/aaai.v36i9.21222__In Proceedings of the 36th AAAI Conference on Artificial Intelligence, AAAI 2022, 36:9858–67. Association for the Advancement of Artificial Intelligence, 2022.https://doi.org/10.1609/aaai.v36i9.21222 .
LibreCat: https://research-explorer.ista.ac.at/record/12568
DOI: 10.1609/aaai.v36i9.21222
arXiv: 2203.01640

Scott, Jonathan A, Michelle X Yeo, and Christoph Lampert. “Cross-Client Label Propagation for Transductive Federated Learning.”https://doi.org/10.48550/arXiv.2210.06434__ArXiv, n.d.https://doi.org/10.48550/arXiv.2210.06434 .
LibreCat: https://research-explorer.ista.ac.at/record/12660
DOI: 10.48550/arXiv.2210.06434
arXiv: 2210.06434

Súkeník, Peter, and Christoph Lampert. “Generalization in Multi-Objective Machine Learning.”https://doi.org/10.48550/arXiv.2208.13499__ArXiv, n.d.https://doi.org/10.48550/arXiv.2208.13499 .
LibreCat: https://research-explorer.ista.ac.at/record/12662
DOI: 10.48550/arXiv.2208.13499
arXiv: 2208.13499

Súkeník, Peter, Aleksei Kuvshinov, and Stephan Günnemann. “Intriguing Properties of Input-Dependent Randomized Smoothing.” In Proceedings of the 39th International Conference on Machine Learning, 162:20697–743. ML Research Press, 2022.
LibreCat: https://research-explorer.ista.ac.at/record/12664
arXiv: 2110.05365

Iofinova, Eugenia B, Nikola H Konstantinov, and Christoph Lampert. “FLEA: Provably Robust Fair Multisource Learning from Unreliable Training Data.” Transactions on Machine Learning Research. ML Research Press, 2022.
LibreCat: https://research-explorer.ista.ac.at/record/12495
arXiv: 2106.11732

Aichholzer, Oswin, Alan M Arroyo Guevara, Zuzana Masárová, Irene Parada, Daniel Perz, Alexander Pilz, Josef Tkadlec, and Birgit Vogtenhuber. “On Compatible Matchings.”https://doi.org/10.7155/jgaa.00591__Journal of Graph Algorithms and Applications. Brown University, 2022.https://doi.org/10.7155/jgaa.00591 .
LibreCat: https://research-explorer.ista.ac.at/record/11938
DOI: 10.7155/jgaa.00591
arXiv: 2101.03928

Bialy, Misha, Corentin Fiorebe, Alexey Glutsyuk, Mark Levi, Alexander Plakhov, and Serge Tabachnikov. “Open Problems on Billiards and Geometric Optics.”https://doi.org/10.1007/s40598-022-00198-y__Arnold Mathematical Journal. Springer Nature, 2022.https://doi.org/10.1007/s40598-022-00198-y .
LibreCat: https://research-explorer.ista.ac.at/record/10706
DOI: 10.1007/s40598-022-00198-y
arXiv: 2110.10750

Chatterjee, Krishnendu, Mona Mohammadi, and Raimundo J Saona Urmeneta. “Repeated Prophet Inequality with Near-Optimal Bounds.”https://doi.org/10.48550/ARXIV.2209.14368__ArXiv, n.d.https://doi.org/10.48550/ARXIV.2209.14368 .
LibreCat: https://research-explorer.ista.ac.at/record/12677
DOI: 10.48550/ARXIV.2209.14368
arXiv: 2209.14368

Markov, Ilia, Hamidreza Ramezanikebrya, and Dan-Adrian Alistarh. “CGX: Adaptive System Support for Communication-Efficient Deep Learning.”https://doi.org/10.1145/3528535.3565248__In Proceedings of the 23rd ACM/IFIP International Middleware Conference, 241–54. Association for Computing Machinery, 2022.https://doi.org/10.1145/3528535.3565248 .
LibreCat: https://research-explorer.ista.ac.at/record/12780
DOI: 10.1145/3528535.3565248
arXiv: 2111.08617

Bombari, Simone, Alessandro Achille, Zijian Wang, Yu-Xiang Wang, Yusheng Xie, Kunwar Yashraj Singh, Srikar Appalaraju, Vijay Mahadevan, and Stefano Soatto. “Towards Differential Relational Privacy and Its Use in Question Answering.”https://doi.org/10.48550/arXiv.2203.16701__ArXiv, n.d.https://doi.org/10.48550/arXiv.2203.16701 .
LibreCat: https://research-explorer.ista.ac.at/record/12860
DOI: 10.48550/arXiv.2203.16701
arXiv: 2203.16701

Wilsch, Florian Alexander. “Integral Points of Bounded Height on a Certain Toric Variety.”https://doi.org/10.48550/arXiv.2202.10909__ArXiv, n.d.https://doi.org/10.48550/arXiv.2202.10909 .
LibreCat: https://research-explorer.ista.ac.at/record/10788
DOI: 10.48550/arXiv.2202.10909
arXiv: 2202.10909