Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

4171 Publications


2023 | Journal Article | IST-REx-ID: 14654 | OA
Hwong, Yi-Ling, M. Colin, Philipp Aglas, Caroline J Muller, and S. C. Sherwood. “Assessing Memory in Convection Schemes Using Idealized Tests.” Journal of Advances in Modeling Earth Systems. Wiley, 2023. https://doi.org/10.1029/2023MS003726.
[Published Version] View | Files available | DOI
 

2023 | Conference Paper | IST-REx-ID: 13139 | OA
Meggendorfer, Tobias. “Correct Approximation of Stationary Distributions.” In TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems, 13993:489–507. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-30823-9_25.
[Published Version] View | Files available | DOI | arXiv
 

2023 | Research Data Reference | IST-REx-ID: 14991 | OA
Hwong, Yi-Ling, Maxime Colin, Philipp Aglas, Caroline J Muller, and Steven C. Sherwood. “Data-Assessing Memory in Convection Schemes Using Idealized Tests.” Zenodo, 2023. https://doi.org/10.5281/ZENODO.7757041.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2023 | Research Data Reference | IST-REx-ID: 14990 | OA
Meggendorfer, Tobias. “Artefact for: Correct Approximation of Stationary Distributions.” Zenodo, 2023. https://doi.org/10.5281/ZENODO.7548214.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2023 | Conference Paper | IST-REx-ID: 14260 | OA
Koval, Nikita, Alexander Fedorov, Maria Sokolova, Dmitry Tsitelov, and Dan-Adrian Alistarh. “Lincheck: A Practical Framework for Testing Concurrent Data Structures on JVM.” 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.
[Published Version] View | Files available | DOI
 

2023 | Research Data Reference | IST-REx-ID: 14995 | OA
Koval, Nikita, Alexander Fedorov, Maria Sokolova, Dmitry Tsitelov, and Dan-Adrian Alistarh. “Lincheck: A Practical Framework for Testing Concurrent Data Structures on JVM.” Zenodo, 2023. https://doi.org/10.5281/ZENODO.7877757.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2023 | Research Data Reference | IST-REx-ID: 14994 | OA
Majumdar, Rupak, Kaushik Mallik, Mateusz Rychlicki, Anne-Kathrin Schmuck, and Sadegh Soudjani. “A Flexible Toolchain for Symbolic Rabin Games under Fair and Stochastic Uncertainties.” Zenodo, 2023. https://doi.org/10.5281/ZENODO.7877790.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2023 | Conference Paper | IST-REx-ID: 15023 | OA
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.
[Preprint] View | Download Preprint (ext.) | arXiv
 

2023 | Conference Paper | IST-REx-ID: 14993 | OA
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.
[Published Version] View | Download Published Version (ext.)
 

2023 | Conference Paper | IST-REx-ID: 14076 | OA
Chalupa, Marek, and Thomas A Henzinger. “Monitoring Hyperproperties with Prefix Transducers.” In 23nd International Conference on Runtime Verification, 14245:168–90. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-44267-4_9.
[Published Version] View | Files available | DOI
 

2023 | Conference Paper | IST-REx-ID: 14743 | OA
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.” In Proceedings of the 29th Symposium on Operating Systems Principles, 281–97. Association for Computing Machinery, 2023. https://doi.org/10.1145/3600006.3613150.
[Published Version] View | DOI | Download Published Version (ext.)
 

2023 | Research Data Reference | IST-REx-ID: 15035 | OA
Chalupa, Marek, and Thomas A Henzinger. “Monitoring Hyperproperties with Prefix Transducers.” Zenodo, 2023. https://doi.org/10.5281/ZENODO.8191723.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2023 | Preprint | IST-REx-ID: 15039 | OA
Prach, Bernd, and Christoph Lampert. “1-Lipschitz Neural Networks Are More Expressive with N-Activations.” ArXiv, n.d. https://doi.org/10.48550/ARXIV.2311.06103.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2023 | Research Data Reference | IST-REx-ID: 14812 | OA
Stankowski, Sean. “Data and Code for: The Genetic Architecture of a Recent Transition to Live-Bearing in Marine Snails.” Zenodo, 2023. https://doi.org/10.5281/ZENODO.8318995.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2023 | Journal Article | IST-REx-ID: 13214 | OA
Abualia, R, Stefan Riegler, and Eva Benková. “Nitrate, Auxin and Cytokinin - a Trio to Tango.” Cells. MDPI, 2023. https://doi.org/10.3390/cells12121613.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2023 | Research Data | IST-REx-ID: 13173 | OA
Shigemoto, Ryuichi. “Transition from Tonic to Phasic Neurotransmitter Release by Presynaptic GABAB Receptor Activation in Medial Habenula Terminals.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/AT:ISTA:13173.
[Published Version] View | Files available | DOI
 

2023 | Conference Paper | IST-REx-ID: 13236 | OA
Zheng, Da Wei, and Monika H Henzinger. “Multiplicative Auction Algorithm for Approximate Maximum Weight Bipartite Matching.” 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.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2023 | Journal Article | IST-REx-ID: 13182 | OA
Biswas, Ranita, Sebastiano Cultrera di Montesano, Herbert Edelsbrunner, and Morteza Saghafian. “Geometric Characterization of the Persistence of 1D Maps.” Journal of Applied and Computational Topology. Springer Nature, 2023. https://doi.org/10.1007/s41468-023-00126-9.
[Published Version] View | Files available | DOI
 

2023 | Journal Article | IST-REx-ID: 13044 | OA
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.” Faraday Discussions. Royal Society of Chemistry, 2023. https://doi.org/10.1039/d3fd00088e.
[Published Version] View | DOI | Download Published Version (ext.) | WoS
 

2023 | Thesis | IST-REx-ID: 14587 | OA
Marveggio, Alice. “Weak-Strong Stability and Phase-Field Approximation of Interface Evolution Problems in Fluid Mechanics and in Material Sciences.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:14587.
[Published Version] View | Files available | DOI
 

2023 | Conference Paper | IST-REx-ID: 14922 | OA
Esposito, Amedeo Roberto, and Marco Mondelli. “Concentration without Independence via Information Measures.” In Proceedings of 2023 IEEE International Symposium on Information Theory, 400–405. IEEE, 2023. https://doi.org/10.1109/isit54713.2023.10206899.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2023 | Journal Article | IST-REx-ID: 15173 | OA
Kwan, Matthew Alan, Ashwin Sah, and Mehtaab Sawhney. “Enumerating Matroids and Linear Spaces.” Comptes Rendus Mathematique. Academie des Sciences, 2023. https://doi.org/10.5802/crmath.423.
[Published Version] View | Files available | DOI | arXiv
 

2023 | Journal Article | IST-REx-ID: 14772 | OA
Agresti, Antonio, and Amru Hussein. “Maximal Lp-Regularity and H∞-Calculus for Block Operator Matrices and Applications.” Journal of Functional Analysis. Elsevier, 2023. https://doi.org/10.1016/j.jfa.2023.110146.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2023 | Preprint | IST-REx-ID: 15128 | OA
Riabov, Volodymyr. “Mesoscopic Eigenvalue Statistics for Wigner-Type Matrices.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2301.01712.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2023 | Preprint | IST-REx-ID: 14732 | OA
Olusanya, Oluwafunmilola O, Kseniia Khudiakova, and Himani Sachdeva. “Genetic Load, Eco-Evolutionary Feedback and Extinction in a Metapopulation.” BioRxiv, n.d. https://doi.org/10.1101/2023.12.02.569702.
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 

2023 | Conference Paper | IST-REx-ID: 13262 | OA
Fedorov, Alexander, Diba Hashemi, Giorgi Nadiradze, and Dan-Adrian Alistarh. “Provably-Efficient and Internally-Deterministic Parallel Union-Find.” 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.
[Published Version] View | Files available | DOI | arXiv
 

2023 | Conference Paper | IST-REx-ID: 12979 | OA
Condor, Jorge, Michael Piovarci, Bernd Bickel, and Piotr Didyk. “Gloss-Aware Color Correction for 3D Printing.” In SIGGRAPH ’23 Conference Proceedings. Association for Computing Machinery, 2023. https://doi.org/10.1145/3588432.3591546.
[Published Version] View | Files available | DOI | WoS
 

2023 | Conference Paper | IST-REx-ID: 13228 | OA
Henzinger, Thomas A, Mahyar Karimi, Konstantin Kueffner, and Kaushik Mallik. “Runtime Monitoring of Dynamic Fairness Properties.” 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.
[Published Version] View | Files available | DOI | WoS | arXiv
 

2023 | Journal Article | IST-REx-ID: 12984 | OA
Piovarci, Michael, Alexandre Chapiro, and Bernd Bickel. “Skin-Screen: A Computational Fabrication Framework for Color Tattoos.” Transactions on Graphics. Association for Computing Machinery, 2023. https://doi.org/10.1145/3592432.
[Published Version] View | Files available | DOI | WoS
 

2023 | Thesis | IST-REx-ID: 12491 | OA
Zens, Bettina. “Ultrastructural Characterization of Natively Preserved Extracellular Matrix by Cryo-Electron Tomography.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:12491.
[Published Version] View | Files available | DOI
 

2023 | Thesis | IST-REx-ID: 12809 | OA
Alcarva, Catarina. “Plasticity in the Cerebellum: What Molecular Mechanisms Are behind Physiological Learning.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:12809.
[Published Version] View | Files available | DOI
 

2023 | Journal Article | IST-REx-ID: 13201 | OA
Wang, Yalu, Zhi Yuan, Jinyi Wang, Huixin Xiao, Lu Wan, Lanxin Li, Yan Guo, Zhizhong Gong, Jiří Friml, and Jing Zhang. “The Nitrate Transporter NRT2.1 Directly Antagonizes PIN7-Mediated Auxin Transport for Root Growth Adaptation.” 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.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2023 | Thesis | IST-REx-ID: 14226 | OA
Stephenson, Elizabeth R. “Generalizing Medial Axes with Homology Switches.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:14226.
[Published Version] View | Files available | DOI
 

2023 | Thesis | IST-REx-ID: 12531 | OA
Kirillova, Kseniia. “Panoramic Functional Gradients across the Mouse Retina.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:12531.
[Published Version] View | Files available | DOI
 

2023 | Thesis | IST-REx-ID: 12800 | OA
Julseth, Mara. “The Effect of Local Population Structure on Genetic Variation at Selected Loci in the A. Majus Hybrid Zone.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:12800.
[Published Version] View | Files available | DOI
 

2023 | Thesis | IST-REx-ID: 12897 | OA
Hafner, Christian. “Inverse Shape Design with Parametric Representations: Kirchhoff Rods and Parametric Surface Models.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:12897.
[Published Version] View | Files available | DOI
 

2023 | Journal Article | IST-REx-ID: 13188 | OA
Hafner, Christian, and Bernd Bickel. “The Design Space of Kirchhoff Rods.” ACM Transactions on Graphics. Association for Computing Machinery, 2023. https://doi.org/10.1145/3606033.
[Submitted Version] View | Files available | DOI | WoS
 

2023 | Thesis | IST-REx-ID: 12470 | OA
Michalska, Julia M. “A Versatile Toolbox for the Comprehensive Analysis of Nervous Tissue Organization with Light Microscopy.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:12470.
[Published Version] View | Files available | DOI
 

2022 | Journal Article | IST-REx-ID: 10652 | OA
Hosten, Onur. “Constraints on Probing Quantum Coherence to Infer Gravitational Entanglement.” Physical Review Research. American Physical Society, 2022. https://doi.org/10.1103/PhysRevResearch.4.013023.
[Published Version] View | Files available | DOI
 

2022 | Journal Article | IST-REx-ID: 10758 | OA
Dubini, Romeo C. A., Eva Korytiaková, Thea Schinkel, Pia Heinrichs, Thomas Carell, and Petra Rovo. “1H NMR Chemical Exchange Techniques Reveal Local and Global Effects of Oxidized Cytosine Derivatives.” ACS Physical Chemistry Au. American Chemical Society, 2022. https://doi.org/10.1021/acsphyschemau.1c00050.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2022 | Conference Paper | IST-REx-ID: 10774 | OA
Bartocci, Ezio, Thomas Ferrere, Thomas A Henzinger, Dejan Nickovic, and Ana Oliveira Da Costa. “Flavors of Sequential Information Flow.” 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.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Journal Article | IST-REx-ID: 10769 | OA
Daguerre, L., G. Torroba, Raimel A Medina Ramos, and M. Solís. “Non relativistic quantum field theory: Dynamics and irreversibility.” Anales de la Asociacion Fisica Argentina. Asociación Física Argentina, 2022. https://doi.org/10.31527/analesafa.2021.32.4.93.
[Published Version] View | Files available | DOI
 

2022 | Preprint | IST-REx-ID: 10821 | OA
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.” BioRxiv. Cold Spring Harbor Laboratory, 2022. https://doi.org/10.1101/2022.03.03.482657.
[Preprint] View | DOI | Download Preprint (ext.)
 

2022 | Journal Article | IST-REx-ID: 10845 | OA
Maslov, Mikhail, Mikhail Lemeshko, and Artem Volosniev. “Impurity with a Resonance in the Vicinity of the Fermi Energy.” Physical Review Research. American Physical Society, 2022. https://doi.org/10.1103/PhysRevResearch.4.013160.
[Published Version] View | Files available | DOI | arXiv
 

2022 | Journal Article | IST-REx-ID: 10939 | OA
Davidović, Anđela, Remy P Chait, Gregory Batt, and Jakob Ruess. “Parameter Inference for Stochastic Biochemical Models from Perturbation Experiments Parallelised at the Single Cell Level.” PLoS Computational Biology. Public Library of Science, 2022. https://doi.org/10.1371/journal.pcbi.1009950.
[Published Version] View | Files available | DOI
 

2022 | Conference Paper | IST-REx-ID: 11184 | OA
Alistarh, Dan-Adrian, Rati Gelashvili, and Joel Rybicki. “Fast Graphical Population Protocols.” 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.
[Published Version] View | Files available | DOI | arXiv
 

2022 | Conference Paper | IST-REx-ID: 11183 | OA
Nikabadi, Amir, and Janne Korhonen. “Beyond Distributed Subgraph Detection: Induced Subgraphs, Multicolored Problems and Graph Parameters.” 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.
[Published Version] View | Files available | DOI
 

2022 | Journal Article | IST-REx-ID: 11182 | OA
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.” Current Protocols. Wiley, 2022. https://doi.org/10.1002/cpz1.407.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2022 | Conference Paper | IST-REx-ID: 11428 | OA
Chambers, Erin, Christopher D Fillmore, Elizabeth R Stephenson, and Mathijs Wintraecken. “A Cautionary Tale: Burning the Medial Axis Is Unstable.” 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.
[Published Version] View | Files available | DOI
 

2022 | Journal Article | IST-REx-ID: 11420 | OA
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.
[Published Version] View | Files available | arXiv
 

2022 | Book Chapter | IST-REx-ID: 11440 | OA
Bleile, Bea, Adélie Garin, Teresa Heiss, Kelly Maggs, and Vanessa Robins. “The Persistent Homology of Dual Digital Image Constructions.” 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.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Journal Article | IST-REx-ID: 11444 | OA
Chlebak, Clara A, and Peter H. Reid. “From the Prefect’s Desk: Gerard van Swieten’s Library Correspondence.” Library and Information History. Edinburgh University Press, 2022. https://doi.org/10.3366/lih.2022.0097.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 

2022 | Journal Article | IST-REx-ID: 11553 | OA
Clark, Trevor, Kostiantyn Drach, Oleg Kozlovski, and Sebastian Van Strien. “The Dynamics of Complex Box Mappings.” Arnold Mathematical Journal. Springer Nature, 2022. https://doi.org/10.1007/s40598-022-00200-7.
View | Files available | DOI
 

2022 | Journal Article | IST-REx-ID: 11638 | OA
Ngampruetikorn, Vudtiwat, Vedant Sachdeva, Johanna Torrence, Jan Humplik, David J. Schwab, and Stephanie E. Palmer. “Inferring Couplings in Networks across Order-Disorder Phase Transitions.” Physical Review Research. American Physical Society, 2022. https://doi.org/10.1103/PhysRevResearch.4.023240.
[Published Version] View | Files available | DOI | arXiv
 

2022 | Journal Article | IST-REx-ID: 11702 | OA
Barton, Nicholas H. “The ‘New Synthesis.’” 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.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2022 | Journal Article | IST-REx-ID: 11713 | OA
Nikolic, Nela, Martina Sauert, Tanino G. Albanese, and Isabella Moll. “Quantifying Heterologous Gene Expression during Ectopic MazF Production in Escherichia Coli.” BMC Research Notes. Springer Nature, 2022. https://doi.org/10.1186/s13104-022-06061-9.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 

2022 | Journal Article | IST-REx-ID: 11916 | OA
Wirth, Melchior. “Kac Regularity and Domination of Quadratic Forms.” Advances in Operator Theory. Springer Nature, 2022. https://doi.org/10.1007/s43036-022-00199-w.
[Published Version] View | Files available | DOI
 

2022 | Journal Article | IST-REx-ID: 11991 | OA
Krokhin, Andrei, and Jakub Opršal. “An Invitation to the Promise Constraint Satisfaction Problem.” ACM SIGLOG News. Association for Computing Machinery, 2022. https://doi.org/10.1145/3559736.3559740.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Conference Paper | IST-REx-ID: 12010 | OA
Brunnbauer, Axel, Luigi Berducci, Andreas Brandstatter, Mathias Lechner, Ramin Hasani, Daniela Rus, and Radu Grosu. “Latent Imagination Facilitates Zero-Shot Transfer in Autonomous Racing.” In 2022 International Conference on Robotics and Automation, 7513–20. IEEE, 2022. https://doi.org/10.1109/ICRA46639.2022.9811650.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Conference Paper | IST-REx-ID: 12011 | OA
Zhang, Yihan, Sidharth Jaggi, Michael Langberg, and Anand D. Sarwate. “The Capacity of Causal Adversarial Channels.” In 2022 IEEE International Symposium on Information Theory, 2022:2523–28. IEEE, 2022. https://doi.org/10.1109/ISIT50566.2022.9834709.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Conference Paper | IST-REx-ID: 12016 | OA
Fathollahi, Dorsa, and Marco Mondelli. “Polar Coded Computing: The Role of the Scaling Exponent.” In 2022 IEEE International Symposium on Information Theory, 2022:2154–59. IEEE, 2022. https://doi.org/10.1109/ISIT50566.2022.9834712.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Conference Paper | IST-REx-ID: 12012 | OA
Torkamani, Sahel, Javad B. Ebrahimi, Parastoo Sadeghi, Rafael G.L. D’Oliveira, and Muriel Médard. “Heterogeneous Differential Privacy via Graphs.” In 2022 IEEE International Symposium on Information Theory, 2022:1623–28. IEEE, 2022. https://doi.org/10.1109/ISIT50566.2022.9834711.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Thesis | IST-REx-ID: 12072 | OA
Shute, Alec L. “Existence and Density Problems in Diophantine Geometry: From Norm Forms to Campana Points.” Institute of Science and Technology Austria, 2022. https://doi.org/10.15479/at:ista:12072.
[Published Version] View | Files available | DOI
 

2022 | Conference Paper | IST-REx-ID: 12102 | OA
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.” 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.
[Published Version] View | Files available | DOI
 

2022 | Conference Paper | IST-REx-ID: 12101 | OA
Chatterjee, Krishnendu, Rasmus Ibsen-Jensen, Ismael R Jecker, and Jakub Svoboda. “Complexity of Spatial Games.” 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.
[Published Version] View | Files available | DOI
 

2022 | Journal Article | IST-REx-ID: 12111 | OA
Stocker, Lidia, Stefan Sack, Michael S. Ferguson, and Oded Zilberberg. “Entanglement-Based Observables for Quantum Impurities.” Physical Review Research. American Physical Society, 2022. https://doi.org/10.1103/PhysRevResearch.4.043177.
[Published Version] View | Files available | DOI
 

2022 | Conference Paper | IST-REx-ID: 12135 | OA
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.” In SIGGRAPH Asia 2022 Conference Papers, Vol. 2022. Association for Computing Machinery, 2022. https://doi.org/10.1145/3550469.3555406.
[Published Version] View | Files available | DOI
 

2022 | Journal Article | IST-REx-ID: 12134 | OA
Börner, Georg, Malte Schröder, Davide Scarselli, Nazmi B Budanur, Björn Hof, and Marc Timme. “Explosive Transitions in Epidemic Dynamics.” Journal of Physics: Complexity. IOP Publishing, 2022. https://doi.org/10.1088/2632-072x/ac99cd.
[Published Version] View | Files available | DOI
 

2022 | Journal Article | IST-REx-ID: 12156 | OA
Zoller, Benjamin, Thomas Gregor, and Gašper Tkačik. “Eukaryotic Gene Regulation at Equilibrium, or Non?” Current Opinion in Systems Biology. Elsevier, 2022. https://doi.org/10.1016/j.coisb.2022.100435.
[Published Version] View | Files available | DOI
 

2022 | Conference Paper | IST-REx-ID: 12171 | OA
Garcia Soto, Miriam, Thomas A Henzinger, and Christian Schilling. “Synthesis of Parametric Hybrid Automata from Time Series.” 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.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Conference Paper | IST-REx-ID: 12182 | OA
Pacut, Maciej, Mahmoud Parham, Joel Rybicki, Stefan Schmid, Jukka Suomela, and Aleksandr Tereshchenko. “Brief Announcement: Temporal Locality in Online Algorithms.” 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.
[Published Version] View | Files available | DOI
 

2022 | Journal Article | IST-REx-ID: 12177 | OA
Cremaschi, Tommaso, and Lorenzo Dello Schiavo. “Effective Contraction of Skinning Maps.” Proceedings of the American Mathematical Society, Series B. American Mathematical Society, 2022. https://doi.org/10.1090/bproc/134.
[Published Version] View | Files available | DOI
 

2022 | Journal Article | IST-REx-ID: 12179 | OA
Cipolloni, Giorgio, László Erdös, and Dominik J Schröder. “On the Condition Number of the Shifted Real Ginibre Ensemble.” SIAM Journal on Matrix Analysis and Applications. Society for Industrial and Applied Mathematics, 2022. https://doi.org/10.1137/21m1424408.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Conference Paper | IST-REx-ID: 12229 | OA
Spiegelman, Alexander, Neil Giridharan, Alberto Sonnino, and Eleftherios Kokoris Kogias. “Bullshark: DAG BFT Protocols Made Practical.” 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.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Journal Article | IST-REx-ID: 12276 | OA
Ljubotina, Marko, Barbara Roos, Dmitry A. Abanin, and Maksym Serbyn. “Optimal Steering of Matrix Product States and Quantum Many-Body Scars.” PRX Quantum. American Physical Society, 2022. https://doi.org/10.1103/prxquantum.3.030343.
[Published Version] View | Files available | DOI | arXiv
 

2022 | Conference Paper | IST-REx-ID: 12300 | OA
Das, Sourav, Thomas Yurek, Zhuolun Xiang, Andrew Miller, Eleftherios Kokoris Kogias, and Ling Ren. “Practical Asynchronous Distributed Key Generation.” 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.
[Preprint] View | DOI | Download Preprint (ext.)
 

2022 | Book Chapter | IST-REx-ID: 12303 | OA
Mirković, Ivan, Yaping Yang, and Gufang Zhao. “Loop Grassmannians of Quivers and Affine Quantum Groups.” 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.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Conference Paper | IST-REx-ID: 12508 | OA
Henzinger, Thomas A, Karoliina Lehtinen, and Patrick Totzke. “History-Deterministic Timed Automata.” 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.
[Published Version] View | Files available | DOI
 

2022 | Conference Paper | IST-REx-ID: 12509 | OA
Avni, Guy, and Thomas A Henzinger. “An Updated Survey of Bidding Games on Graphs.” 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.
[Published Version] View | Files available | DOI
 

2022 | Conference Paper | IST-REx-ID: 12540 | OA
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.
[Published Version] View | Files available
 

2022 | Preprint | IST-REx-ID: 12536 | OA
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?” ArXiv, n.d. https://doi.org/10.48550/arXiv.2205.10009.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Conference Paper | IST-REx-ID: 12568 | OA
Meggendorfer, Tobias. “Risk-Aware Stochastic Shortest Path.” 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.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Preprint | IST-REx-ID: 12660 | OA
Scott, Jonathan A, Michelle X Yeo, and Christoph Lampert. “Cross-Client Label Propagation for Transductive Federated Learning.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2210.06434.
[Preprint] View | Files available | DOI | arXiv
 

2022 | Preprint | IST-REx-ID: 12662 | OA
Súkeník, Peter, and Christoph Lampert. “Generalization in Multi-Objective Machine Learning.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2208.13499.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Conference Paper | IST-REx-ID: 12664 | OA
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.
[Published Version] View | Files available | arXiv
 

2022 | Journal Article | IST-REx-ID: 12495 | OA
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.
[Published Version] View | Files available | Download Published Version (ext.) | arXiv
 

2022 | Journal Article | IST-REx-ID: 11938 | OA
Aichholzer, Oswin, Alan M Arroyo Guevara, Zuzana Masárová, Irene Parada, Daniel Perz, Alexander Pilz, Josef Tkadlec, and Birgit Vogtenhuber. “On Compatible Matchings.” Journal of Graph Algorithms and Applications. Brown University, 2022. https://doi.org/10.7155/jgaa.00591.
[Published Version] View | Files available | DOI | arXiv
 

2022 | Journal Article | IST-REx-ID: 10706 | OA
Bialy, Misha, Corentin Fiorebe, Alexey Glutsyuk, Mark Levi, Alexander Plakhov, and Serge Tabachnikov. “Open Problems on Billiards and Geometric Optics.” Arnold Mathematical Journal. Springer Nature, 2022. https://doi.org/10.1007/s40598-022-00198-y.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2022 | Preprint | IST-REx-ID: 12677 | OA
Chatterjee, Krishnendu, Mona Mohammadi, and Raimundo J Saona Urmeneta. “Repeated Prophet Inequality with Near-Optimal Bounds.” ArXiv, n.d. https://doi.org/10.48550/ARXIV.2209.14368.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Conference Paper | IST-REx-ID: 12780 | OA
Markov, Ilia, Hamidreza Ramezanikebrya, and Dan-Adrian Alistarh. “CGX: Adaptive System Support for Communication-Efficient Deep Learning.” In Proceedings of the 23rd ACM/IFIP International Middleware Conference, 241–54. Association for Computing Machinery, 2022. https://doi.org/10.1145/3528535.3565248.
[Published Version] View | Files available | DOI | arXiv
 

2022 | Preprint | IST-REx-ID: 12860 | OA
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.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2203.16701.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Preprint | IST-REx-ID: 10788 | OA
Wilsch, Florian Alexander. “Integral Points of Bounded Height on a Certain Toric Variety.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2202.10909.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Conference Paper | IST-REx-ID: 11839 | OA
Prach, Bernd, and Christoph Lampert. “Almost-Orthogonal Layers for Efficient General-Purpose Lipschitz Networks.” In Computer Vision – ECCV 2022, 13681:350–65. Springer Nature, 2022. https://doi.org/10.1007/978-3-031-19803-8_21.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2022 | Conference Abstract | IST-REx-ID: 12894 | OA
Schlögl, Alois, Andrei Hornoiu, Stefano Elefante, and Stephan Stadlbauer. “Where Is the Sweet Spot? A Procurement Story of General Purpose Compute Nodes.” In ASHPC22 - Austrian-Slovenian HPC Meeting 2022, 7. EuroCC Austria c/o Universität Wien, 2022. https://doi.org/10.25365/phaidra.337.
[Published Version] View | Files available | DOI
 

2022 | Journal Article | IST-REx-ID: 11336 | OA
Amberg, Nicole, Florian Pauler, Carmen Streicher, and Simon Hippenmeyer. “Tissue-Wide Genetic and Cellular Landscape Shapes the Execution of Sequential PRC2 Functions in Neural Stem Cell Lineage Progression.” Science Advances. American Association for the Advancement of Science, 2022. https://doi.org/10.1126/sciadv.abq1263.
[Published Version] View | Files available | DOI
 

2022 | Journal Article | IST-REx-ID: 11442 | OA
Piovarci, Michael, Michael Foshey, Jie Xu, Timothy Erps, Vahid Babaei, Piotr Didyk, Szymon Rusinkiewicz, Wojciech Matusik, and Bernd Bickel. “Closed-Loop Control of Direct Ink Writing via Reinforcement Learning.” ACM Transactions on Graphics. Association for Computing Machinery, 2022. https://doi.org/10.1145/3528223.3530144.
[Submitted Version] View | Files available | DOI | arXiv
 

2022 | Conference Paper | IST-REx-ID: 11844 | OA
Alistarh, Dan-Adrian, Joel Rybicki, and Sasha Voitovych. “Near-Optimal Leader Election in Population Protocols on Graphs.” In Proceedings of the Annual ACM Symposium on Principles of Distributed Computing, 246–56. Association for Computing Machinery, 2022. https://doi.org/10.1145/3519270.3538435.
[Published Version] View | Files available | DOI | arXiv
 

2022 | Thesis | IST-REx-ID: 11777 | OA
Wild, Pascal. “High-Dimensional Expansion and Crossing Numbers of Simplicial Complexes.” Institute of Science and Technology, 2022. https://doi.org/10.15479/at:ista:11777.
[Published Version] View | Files available | DOI
 

2022 | Thesis | IST-REx-ID: 11128 | OA
Matejovicova, Lenka. “Genetic Basis of Flower Colour as a Model for Adaptive Evolution.” Institute of Science and Technology Austria, 2022. https://doi.org/10.15479/at:ista:11128.
[Published Version] View | Files available | DOI
 

2022 | Conference Paper | IST-REx-ID: 13239 | OA
Van Der Plas, Thijs L., Tim P Vogels, and Sanjay G. Manohar. “Predictive Learning Enables Neural Networks to Learn Complex Working Memory Tasks.” In Proceedings of Machine Learning Research, 199:518–31. ML Research Press, 2022.
[Published Version] View | Files available
 

Filters and Search Terms

oa=1

extern<>1

Search

Filter Publications