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

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




4995 Publications

2023 | Journal Article | IST-REx-ID: 13314 | OA
Dunajova, Zuzana, Batirtze Prats Mateu, Philipp Radler, Keesiang Lim, Dörte Brandis, Philipp Velicky, Johann G Danzl, et al. “Chiral and Nematic Phases of Flexible Active Filaments.” Nature Physics. Springer Nature, 2023. https://doi.org/10.1038/s41567-023-02218-w.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
2023 | Journal Article | IST-REx-ID: 14257 | OA
Michalska, Julia M, Julia Lyudchik, Philipp Velicky, Hana Korinkova, Jake Watson, Alban Cenameri, Christoph M Sommer, et al. “Imaging Brain Tissue Architecture across Millimeter to Nanometer Scales.” Nature Biotechnology. Springer Nature, 2023. https://doi.org/10.1038/s41587-023-01911-8.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS
 
2023 | Thesis | IST-REx-ID: 14280
Radler, Philipp. “Spatiotemporal Signaling during Assembly of the Bacterial Divisome.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:14280.
[Published Version] View | Files available | DOI
 
2023 | Thesis | IST-REx-ID: 13286 | OA
Valentini, Marco. “Mesoscopic Phenomena in Hybrid Semiconductor-Superconductor Nanodevices : From Full-Shell Nanowires to Two-Dimensional Hole Gas in Germanium.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:13286.
[Published Version] View | Files available | DOI
 
2023 | Research Data Reference | IST-REx-ID: 15027 | OA
Curk, Samo. “Aggregation_data.” Figshare, 2023.
[Published Version] View | Files available | Download Published Version (ext.)
 
2023 | Conference Paper | IST-REx-ID: 14758 | 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.” In 35th International Conference on Computer Aided Verification, 13966:3–15. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-37709-9_1.
[Published Version] View | Files available | DOI
 
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 | Conference Abstract | IST-REx-ID: 14748
Chen, Yi-Lu, Mickaël Ly, and Chris Wojtan. “Unified Treatment of Contact, Friction and Shock-Propagation in Rigid Body Animation.” In Proceedings of the ACM SIGGRAPH/Eurographics Symposium on Computer Animation. Association for Computing Machinery, 2023. https://doi.org/10.1145/3606037.3606836.
View | DOI
 
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 | Thesis | IST-REx-ID: 13984
Franschitz, Anna. “Individual and Social Immunity against Viral Infections in Ants.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:13984.
[Published Version] View | Files available | DOI
 
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 | Thesis | IST-REx-ID: 14323
Kuzmicz-Kowalska, Katarzyna. “Regulation of Neural Progenitor Survival by Shh and BMP in the Developing Spinal Cord.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:14323.
[Published Version] View | Files available | DOI
 
2023 | Conference Paper | IST-REx-ID: 14974 | OA
Zhang, Cheng, Dominik Janzing, Mihaela van der Schaar, Francesco Locatello, Peter Spirtes, Kun Zhang, Bernhard Schölkopf, and Caroline Uhler. “Causality in the Time of LLMs: Round Table Discussion Results of CLeaR 2023.” In 2nd Conference on Causal Learning and Reasoning, 2023.
[Submitted Version] View | Files available
 
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: 14833 | OA
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.” Evolutionary Journal of the Linnean Society. Oxford University Press, 2023. https://doi.org/10.1093/evolinnean/kzad002.
[Published Version] View | Files available | DOI
 
2023 | Journal Article | IST-REx-ID: 14613 | OA
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.” Molecular Biology and Evolution. Oxford University Press, 2023. https://doi.org/10.1093/molbev/msad245.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
2023 | Thesis | IST-REx-ID: 14641
Hennessey-Wesen, Mike. “Adaptive Mutation in E. Coli Modulated by LuxS.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:14641.
[Published Version] View | Files available | DOI
 
2023 | Preprint | IST-REx-ID: 14591 | OA
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 SH3P2 in Clathrin-Mediated Endocytosis in Plants.” BioRxiv, n.d. https://doi.org/10.1101/2023.10.09.561523.
[Preprint] View | Files available | DOI | Download Preprint (ext.)
 
2023 | Journal Article | IST-REx-ID: 12984 | OA
Piovarci, Michael, Alexandre Chapiro, and Bernd Bickel. “Skin-Screen: A Computational Fabrication Framework for Color Tattoos.” ACM Transactions on Graphics. Association for Computing Machinery, 2023. https://doi.org/10.1145/3592432.
[Published Version] View | Files available | DOI | WoS
 
2023 | Journal Article | IST-REx-ID: 14778 | OA
Chatterjee, Krishnendu, Ehsan Kafshdar Goharshady, Petr Novotný, Jiří Zárevúcky, and Dorde Zikelic. “On Lexicographic Proof Rules for Probabilistic Termination.” Formal Aspects of Computing. Association for Computing Machinery, 2023. https://doi.org/10.1145/3585391.
[Published Version] View | Files available | DOI | arXiv
 
2023 | Thesis | IST-REx-ID: 12885 | OA
Calcabrini, Mariano. “Nanoparticle-Based Semiconductor Solids: From Synthesis to Consolidation.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:12885.
[Published Version] View | Files available | DOI
 
2023 | Journal Article | IST-REx-ID: 12166 | OA
Westram, Anja M, and Roger Butlin. “Professor Kerstin Johannesson–Winner of the 2022 Molecular Ecology Prize.” Molecular Ecology. Wiley, 2023. https://doi.org/10.1111/mec.16779.
[Published Version] View | DOI | Download Published Version (ext.) | WoS
 
2023 | Thesis | IST-REx-ID: 12964 | OA
Boocock, Daniel R. “Mechanochemical Pattern Formation across Biological Scales.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:12964.
[Published Version] View | Files available | DOI
 
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: 12891 | OA
Schauer, Alexandra. “Mesendoderm Formation in Zebrafish Gastrulation: The Role of Extraembryonic Tissues.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:12891.
[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 | Thesis | IST-REx-ID: 12781 | OA
Kravchuk, Vladyslav. “Structural and Mechanistic Study of Bacterial Complex I and Its Cyanobacterial Ortholog.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:12781.
[Published Version] View | Files available | DOI
 

Filters and Search Terms

type<>research_data

Search

Filter Publications