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.
8575 Publications
2023 | Technical Report | IST-REx-ID: 12407 | 
Chalupa, Marek, Fabian Mühlböck, Stefanie Muroya Lei, and Thomas A Henzinger. VAMOS: Middleware for Best-Effort Third-Party Monitoring. Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/AT:ISTA:12407.
View
| Files available
| DOI
2023 | Preprint | IST-REx-ID: 12859 |
Bombari, Simone, Shayan Kiyani, and Marco Mondelli. “Beyond the Universal Law of Robustness: Sharper Laws for Random Features and Neural Tangent Kernels.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2302.01629.
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Book Chapter | IST-REx-ID: 12866
Currin, Christopher, and Chad Beyer. “Altered Childhood Brain Development in Autism and Epilepsy.” In Encyclopedia of Child and Adolescent Health, edited by Bonnie Halpern-Felsher, 1st ed., 86–98. Elsevier, 2023. https://doi.org/10.1016/b978-0-12-818872-9.00129-1.
View
| DOI
2023 | Thesis | IST-REx-ID: 12809
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.
View
| Files available
| DOI
2023 | Preprint | IST-REx-ID: 12875 |
Cheung, Giselle T, Florian Pauler, Peter Koppensteiner, Thomas Krausgruber, Carmen Streicher, Martin Schrammel, Natalie Y Özgen, et al. “Multipotent Progenitors Instruct Ontogeny of the Superior Colliculus.” BioRxiv. Cold Spring Harbor Laboratory, n.d. https://doi.org/10.1101/2023.04.16.537059.
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
2023 | Research Data | IST-REx-ID: 12869 |
Klausen, Frederik Ravn, and Asbjørn Bækgaard Lauritsen. “Research Data for: A Stochastic Cellular Automaton Model of Culture Formation.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/AT:ISTA:12869.
View
| Files available
| DOI
2023 | Preprint | IST-REx-ID: 12890 |
Klausen, Frederik Ravn, and Asbjørn Bækgaard Lauritsen. “A Stochastic Cellular Automaton Model of Culture Formation.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2305.02153.
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Journal Article | IST-REx-ID: 12916 |
Bonolis, Dante, and Timothy D Browning. “Uniform Bounds for Rational Points on Hyperelliptic Fibrations.” Annali Della Scuola Normale Superiore Di Pisa - Classe Di Scienze. Scuola Normale Superiore, 2023. https://doi.org/10.2422/2036-2145.202010_018.
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Journal Article | IST-REx-ID: 12668 |
Zhao, Long, Yiman Yang, Jinchao Chen, Xuelei Lin, Hao Zhang, Hao Wang, Hongzhe Wang, et al. “Dynamic Chromatin Regulatory Programs during Embryogenesis of Hexaploid Wheat.” Genome Biology. Springer Nature, 2023. https://doi.org/10.1186/s13059-022-02844-2.
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 12961
Wagner, Bernhard, Vedrana Šlipogor, 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.” Developmental Science. Wiley, 2023. https://doi.org/10.1111/desc.13395.
View
| DOI
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 12920 |
Traxler, Michael, Susanne Reischauer, Sarah Vogl, Jérôme Roeser, Jabor Rabeah, Christopher Penschke, Peter Saalfrank, Bartholomäus Pieber, and Arne Thomas. “Programmable Photocatalytic Activity of Multicomponent Covalent Organic Frameworks Used as Metallaphotocatalysts.” Chemistry – A European Journal. Wiley, 2023. https://doi.org/10.1002/chem.202202967.
View
| DOI
| Download Published Version (ext.)
2023 | Journal Article | IST-REx-ID: 12921 |
Madani, Amiera, and Bartholomäus Pieber. “In Situ Reaction Monitoring in Photocatalytic Organic Synthesis.” ChemCatChem. Wiley, 2023. https://doi.org/10.1002/cctc.202201583.
View
| DOI
| Download Published Version (ext.)
2023 | Journal Article | IST-REx-ID: 12919
Murakami, Sho, Cosima Brudy, Moritz Bachmann, Yoshiji Takemoto, and Bartholomäus Pieber. “Photocatalytic Cleavage of Trityl Protected Thiols and Alcohols.” Synthesis. Georg Thieme Verlag, 2023. https://doi.org/10.1055/a-1979-5933.
View
| DOI
2023 | Research Data | IST-REx-ID: 12949 |
Barton, Nicholas H. “The Infinitesimal Model with Dominance.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/AT:ISTA:12949.
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 13044 |
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.
View
| DOI
| Download Published Version (ext.)
2023 | Journal Article | IST-REx-ID: 12984 |
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.
View
| Files available
| DOI
2023 | Conference Paper | IST-REx-ID: 12979 |
Condor, Jorge, Michael Piovarci, Bernd Bickel, and Piotr Didyk. “Gloss-Aware Color Correction for 3D Printing.” In SIGGRAPH ’23 Conference Proceedings. ACM, n.d. https://doi.org/10.1145/3588432.3591546.
View
| Files available
| DOI
2023 | Conference Paper | IST-REx-ID: 12976 |
Liao, Kang, Thibault Tricard, Michael Piovarci, Hans-Peter Seidel, and Vahid Babaei. “Learning Deposition Policies for Fused Multi-Material 3D Printing.” In 2023 IEEE International Conference on Robotics and Automation. IEEE, 2023.
View
| Files available
2023 | Conference Paper | IST-REx-ID: 13048 |
Lieutier, André, and Mathijs Wintraecken. “Hausdorff and Gromov-Hausdorff Stable Subsets of the Medial Axis.” In Proceedings of the 55th Annual ACM Symposium on Theory of Computing, 1768–76. Association for Computing Machinery, 2023. https://doi.org/10.1145/3564246.3585113.
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Conference Paper | IST-REx-ID: 13053 |
Peste, Elena-Alexandra, Adrian Vladu, Eldar Kurtic, Christoph Lampert, and Dan-Adrian Alistarh. “CrAM: A Compression-Aware Minimizer.” In 11th International Conference on Learning Representations , n.d.
View
| Files available
| Download Preprint (ext.)
| arXiv
2023 | Conference Paper | IST-REx-ID: 13139 |
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.
View
| Files available
| DOI
| arXiv
2023 | Conference Paper | IST-REx-ID: 13143 |
Hoffmann, Charlotte, Pavel Hubáček, Chethan Kamath, and Krzysztof Z Pietrzak. “Certifying Giant Nonprimes.” In Public-Key Cryptography - PKC 2023, 13940:530–53. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-31368-4_19.
View
| DOI
| Download Submitted Version (ext.)
2023 | Conference Paper | IST-REx-ID: 13142 |
Chatterjee, Krishnendu, Thomas A Henzinger, Mathias Lechner, and Dorde Zikelic. “A Learner-Verifier Framework for Neural Network Controllers and Certificates of Stochastic Systems.” 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.
View
| Files available
| DOI
2023 | Conference Paper | IST-REx-ID: 13141 |
Anand, Ashwani, Kaushik Mallik, Satya Prakash Nayak, and Anne Kathrin Schmuck. “Computing Adequately Permissive Assumptions for Synthesis.” 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.
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 13145 |
Dello Schiavo, Lorenzo, and Eugene Lytvynov. “A Mecke-Type Characterization of the Dirichlet–Ferguson Measure.” Electronic Communications in Probability. Project Euclid, 2023. https://doi.org/10.1214/23-ECP528.
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 13049 |
Freire, Marco, Manas Bhargava, Camille Schreck, Pierre-Alexandre Hugron, Bernd Bickel, and Sylvain Lefebvre. “PCBend: Light up Your 3D Shapes with Foldable Circuit Boards.” Transactions on Graphics. Association for Computing Machinery, n.d. https://doi.org/10.1145/3592411.
View
| Files available
| DOI
2023 | Thesis | IST-REx-ID: 12826 |
Pokusaeva, Victoria. “Neural Control of Optic Flow-Based Navigation in Drosophila Melanogaster.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:12826.
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 13168 |
Xu J, Liu N, Polemiti E, Garcia-Mondragon L, Tang J, Liu X, Lett T, Yu L, Nöthen MM, Feng J, Yu C, Marquand A, Schumann G, Walter H, Heinz A, Ralser M, Twardziok S, Vaidya N, Serin E, Jentsch M, Hitchen E, Eils R, Taron UH, Schütz T, Schepanski K, Banks J, Banaschewski T, Jansone K, Christmann N, Meyer-Lindenberg A, Tost H, Holz N, Schwarz E, Stringaris A, Neidhart M, Nees F, Siehl S, A. Andreassen O, T. Westlye L, Van Der Meer D, Fernandez S, Kjelkenes R, Ask H, Rapp M, Tschorn M, Böttger SJ, Novarino G, Marr L, Slater M, Viapiana GF, Orosa FE, Gallego J, Pastor A, Forstner A, Hoffmann P, M. Nöthen M, J. Forstner A, Claus I, Miller A, Heilmann-Heimbach S, Sommer P, Boye M, Wilbertz J, Schmitt K, Jirsa V, Petkoski S, Pitel S, Otten L, Athanasiadis AP, Pearmund C, Spanlang B, Alvarez E, Sanchez M, Giner A, Hese S, Renner P, Jia T, Gong Y, Xia Y, Chang X, Calhoun V, Liu J, Thompson P, Clinton N, Desrivieres S, H. Young A, Stahl B, Ogoh G. 2023. Effects of urban living environments on mental health in adults. Nature Medicine. 29, 1456–1467.
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 13164 |
Gert, Krista R.B., Karin Panser, Joachim Surm, Benjamin S. Steinmetz, Alexander Schleiffer, Luca Jovine, Yehu Moran, Fyodor Kondrashov, and Andrea Pauli. “Divergent Molecular Signatures in Fish Bouncer Proteins Define Cross-Fertilization Boundaries.” Nature Communications. Springer Nature, 2023. https://doi.org/10.1038/s41467-023-39317-4.
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 13165 |
Fang, Lixing, Hao Huang, János Pach, Gábor Tardos, and Junchi Zuo. “Successive Vertex Orderings of Fully Regular Graphs.” Journal of Combinatorial Theory. Series A. Elsevier, 2023. https://doi.org/10.1016/j.jcta.2023.105776.
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Journal Article | IST-REx-ID: 12086 |
Edelsbrunner, Herbert, and Georg F Osang. “A Simple Algorithm for Higher-Order Delaunay Mosaics and Alpha Shapes.” Algorithmica. Springer Nature, 2023. https://doi.org/10.1007/s00453-022-01027-6.
View
| Files available
| DOI
| WoS
2023 | Journal Article | IST-REx-ID: 12104 |
Dello Schiavo, Lorenzo, and Melchior Wirth. “Ergodic Decompositions of Dirichlet Forms under Order Isomorphisms.” Journal of Evolution Equations. Springer Nature, 2023. https://doi.org/10.1007/s00028-022-00859-7.
View
| Files available
| DOI
| WoS
2023 | Journal Article | IST-REx-ID: 11434
GOSWAMI, BIDYUT B. “Role of the Eastern Equatorial Indian Ocean Warming in the Indian Summer Monsoon Rainfall Trend.” Climate Dynamics. Springer Nature, 2023. https://doi.org/10.1007/s00382-022-06337-7.
View
| Files available
| DOI
| WoS
2023 | Journal Article | IST-REx-ID: 13182 |
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, 2023. https://doi.org/10.1007/s41468-023-00126-9.
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 13136 |
Minchington, Thomas, Stefanie Rus, and Anna Kicheva. “Control of Tissue Dimensions in the Developing Neural Tube and Somites.” Current Opinion in Systems Biology. Elsevier, 2023. https://doi.org/10.1016/j.coisb.2023.100459.
View
| DOI
| Download Published Version (ext.)
2023 | Conference Paper | IST-REx-ID: 12467 |
Henzinger, Thomas A, Nicolas Adrien Mazzocchi, and Naci E Sarac. “Quantitative Safety and Liveness.” 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.
View
| Files available
| DOI
| arXiv
2023 | Journal Article | IST-REx-ID: 13179 |
Koval, Nikita, Dmitry Khalanskiy, and Dan-Adrian Alistarh. “CQS: A Formally-Verified Framework for Fair and Abortable Synchronization.” Proceedings of the ACM on Programming Languages. Association for Computing Machinery , 2023. https://doi.org/10.1145/3591230.
View
| Files available
| DOI
2023 | Journal Article | IST-REx-ID: 13212 |
Chen, Huihuang, Lanxin Li, Minxia Zou, Linlin Qi, and Jiří Friml. “Distinct Functions of TIR1 and AFB1 Receptors in Auxin Signalling.” Molecular Plant. Elsevier , 2023. https://doi.org/10.1016/j.molp.2023.06.007.
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 13209 |
Xia, Jing, Mengjuan Kong, Zhisen Yang, Lianghanxiao Sun, Yakun Peng, Yanbo Mao, Hong Wei, et al. “Chemical Inhibition of Arabidopsis PIN-FORMED Auxin Transporters by the Anti-Inflammatory Drug Naproxen.” Plant Communications. Elsevier , 2023. https://doi.org/10.1016/j.xplc.2023.100632.
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 13180 |
Browning, Timothy D, Julian Lyczak, and Roman Sarapin. “Local Solubility for a Family of Quadrics over a Split Quadric Surface.” Involve. Mathematical Sciences Publishers, 2023. https://doi.org/10.2140/involve.2023.16.331.
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Journal Article | IST-REx-ID: 13188 |
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.
View
| Files available
| DOI
2023 | Conference Paper | IST-REx-ID: 13238
Schmid, Stefan, Jakub Svoboda, and Michelle X Yeo. “Weighted Packet Selection for Rechargeable Links in Cryptocurrency Networks: Complexity and Approximation.” 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.
View
| DOI
2023 | Conference Paper | IST-REx-ID: 13236 |
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.
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 | Conference Paper | IST-REx-ID: 13228 |
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.
View
| Files available
| DOI
| arXiv
2023 | Journal Article | IST-REx-ID: 13225 |
Benedikter, Niels P, Marcello Porta, Benjamin Schlein, and Robert Seiringer. “Correlation Energy of a Weakly Interacting Fermi Gas with Large Interaction Potential.” Archive for Rational Mechanics and Analysis. Springer Nature, 2023. https://doi.org/10.1007/s00205-023-01893-6.
View
| DOI
| Download Published Version (ext.)
| arXiv
2023 | Journal Article | IST-REx-ID: 13226 |
Bossmann, Lea, and Sören P Petrat. “Weak Edgeworth Expansion for the Mean-Field Bose Gas.” Letters in Mathematical Physics. Springer Nature, 2023. https://doi.org/10.1007/s11005-023-01698-4.
View
| DOI
| Download Published Version (ext.)
2023 | Journal Article | IST-REx-ID: 13227 |
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.” Nature Communications. Springer Nature, 2023. https://doi.org/10.1038/s41467-023-39656-2.
View
| Files available
| DOI
| PubMed | Europe PMC
2023 | Conference Paper | IST-REx-ID: 13221 |
Boker, Udi, Thomas A Henzinger, Nicolas Adrien Mazzocchi, and Naci E Sarac. “Safety and Liveness of Quantitative Automata.” In 34th International Conference on Concurrency Theory, n.d.
View
| Files available
| arXiv
2023 | Conference Abstract | IST-REx-ID: 13162 |
Elefante, Stefano, Stephan Stadlbauer, Michael F Alexander, and Alois Schlögl. “Cryo-EM Software Packages: A Sys-Admins Point of View.” In ASHPC23 - Austrian-Slovenian HPC Meeting 2023, 42–42. EuroCC, n.d.
View
| Files available
2023 | Conference Abstract | IST-REx-ID: 13161 |
Schlögl, Alois, Stefano Elefante, and Victor-Valentin Hodirnau. “Running Windows-Applications on a Linux HPC Cluster Using WINE.” In ASHPC23 - Austrian-Slovenian HPC Meeting 2023, 59–59. EuroCC, n.d.
View
| Files available