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

2024 | Conference Paper | IST-REx-ID: 15333 | OA
Chalupa, Marek, and Cedric Richter. “Bubaak-SpLit: Split What You Cannot Verify (Competition Contribution).” In 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, 14572:353–358. Springer Nature, 2024. https://doi.org/10.1007/978-3-031-57256-2_20.
[Published Version] View | Files available | DOI
 
2024 | Journal Article | IST-REx-ID: 15330 | OA
Gnyliukh, Nataliia, Alexander J Johnson, MK Nagel, Aline Monzer, David Babic, Annamaria Hlavata, SS Alotaibi, E Isono, Martin Loose, and Jiří Friml. “Role of Dynamin-Related Proteins 2 and SH3P2 in Clathrin-Mediated Endocytosis in Arabidopsis Thaliana.” Journal of Cell Science. The Company of Biologists, 2024. https://doi.org/10.1242/jcs.261720.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2024 | Journal Article | IST-REx-ID: 15348
Mahato, Neelima, Saurabh Singh, T. V.M. Sreekanth, Kisoo Yoo, and Jonghoon Kim. “In-Situ Engineered Highly Crystalline Polythiophene Empowered Electrochemical Capacitor-I: Synthesis, Characterization, and Electrochemical Charge Storage.” Materials Letters. Elsevier, 2024. https://doi.org/10.1016/j.matlet.2024.136483.
View | DOI
 
2024 | Journal Article | IST-REx-ID: 15350 | OA
Rouzé, Cambyse, Melchior Wirth, and Haonan Zhang. “Quantum Talagrand, KKL and Friedgut’s Theorems and the Learnability of Quantum Boolean Functions.” Communications in Mathematical Physics. Springer Nature, 2024. https://doi.org/10.1007/s00220-024-04981-0.
[Published Version] View | Files available | DOI | arXiv
 
2024 | Journal Article | IST-REx-ID: 15360 | OA
Kolisnyk, Dmytro, Friedemann Queißer, Gernot Schaller, and Ralf Schützhold. “Floquet Analysis of a Superradiant Many-Qutrit Refrigerator.” Physical Review Applied. American Physical Society, 2024. https://doi.org/10.1103/PhysRevApplied.21.044050.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2024 | Book Chapter | IST-REx-ID: 15361
Jayasree, Aswathy, Hymavathi Salava, Tomasz Nodzynski, and Thula Sravankumar. “Protein-Protein Interactions Visualized by Bimolecular Fluorescence Complementation in Arabidopsis Thaliana Protoplasts from Leaf.” In Plant Functional Genomics, edited by Fatemeh Maghuly, 2787:305–13. MIMB. Springer Nature, 2024. https://doi.org/10.1007/978-1-0716-3778-4_21.
View | DOI | PubMed | Europe PMC
 
2024 | Journal Article | IST-REx-ID: 15362 | OA
Andrianova, Maria A., Vladimir B. Seplyarskiy, Mariona Terradas, Ana Beatriz Sánchez-Heras, Pilar Mur, José Luis Soto, Gemma Aiza, et al. “Discovery of Recessive Effect of Human Polymerase δ Proofreading Deficiency through Mutational Analysis of POLD1-Mutated Normal and Cancer Cells.” European Journal of Human Genetics. Springer Nature, 2024. https://doi.org/10.1038/s41431-024-01598-8.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2024 | Journal Article | IST-REx-ID: 15367 | OA
Babkin, Serafim, Andrew P Higginbotham, and Maksym Serbyn. “Proximity-Induced Gapless Superconductivity in Two-Dimensional Rashba Semiconductor in Magnetic Field.” SciPost Physics. SciPost Foundation, 2024. https://doi.org/10.21468/scipostphys.16.5.115.
[Published Version] View | Files available | DOI | arXiv
 
2024 | Journal Article | IST-REx-ID: 15359 | OA
Dong, Haikuan, Yongbo Shi, Penghua Ying, Ke Xu, Ting Liang, Yanzhou Wang, Zezhu Zeng, et al. “Molecular Dynamics Simulations of Heat Transport Using Machine-Learned Potentials: A Mini-Review and Tutorial on GPUMD with Neuroevolution Potentials.” Journal of Applied Physics. AIP Publishing, 2024. https://doi.org/10.1063/5.0200833.
[Preprint] View | Files available | DOI | arXiv
 
2024 | Journal Article | IST-REx-ID: 15356
Zhao, Jinyan, Zihao Yao, Rhys Bunting, Yaqiu Wang, and Jianguo Wang. “Identifying Pd9OX as the Optimum Catalyst for the Direct Synthesis of H2O2 through Microkinetic Modeling with Coverage Effects.” Chemical Engineering Science. Elsevier, 2024. https://doi.org/10.1016/j.ces.2024.120199.
View | DOI
 
2024 | Journal Article | IST-REx-ID: 15358 | OA
Barton, Nicholas H, and Himani Sachdeva. “Limits to Selection on Standing Variation in an Asexual Population.” Theoretical Population Biology. Elsevier, 2024. https://doi.org/10.1016/j.tpb.2024.04.001.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
2024 | Journal Article | IST-REx-ID: 15374 | OA
Adamowski, Maciek, Marek Randuch, Ivana Matijevic, Madhumitha Narasimhan, and Jiří Friml. “SH3Ps Recruit Auxilin-like Vesicle Uncoating Factors for Clathrin-Mediated Endocytosis.” Cell Reports. Cell Press, 2024. https://doi.org/10.1016/j.celrep.2024.114195.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
2024 | Journal Article | IST-REx-ID: 15357 | OA
Liu, Yu, Seungho Lee, Christine Fiedler, Maria Chiara Spadaro, Cheng Chang, Mingquan Li, Min Hong, Jordi Arbiol, and Maria Ibáñez. “Enhancing Thermoelectric Performance of SolutionpProcessed Polycrystalline SnSe with PbSe Nanocrystals.” Chemical Engineering Journal. Elsevier, 2024. https://doi.org/10.1016/j.cej.2024.151405.
[Published Version] View | DOI | Download Published Version (ext.)
 
2024 | Journal Article | IST-REx-ID: 15372 | OA
Hibshman, Grace N., Jack Peter Kelly Bravo, Matthew M. Hooper, Tyler L. Dangerfield, Hongshan Zhang, Ilya J. Finkelstein, Kenneth A. Johnson, and David W. Taylor. “Unraveling the Mechanisms of PAMless DNA Interrogation by SpRY-Cas9.” Nature Communications. Springer Nature, 2024. https://doi.org/10.1038/s41467-024-47830-3.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
2024 | Journal Article | IST-REx-ID: 15381 | OA
Rangel Guerrero, Dámaris K, Kira Balueva, Uladzislau Barayeu, Peter Baracskay, Igor Gridchyn, Michele Nardin, Chiara N Roth, Peer Wulff, and Jozsef L Csicsvari. “Hippocampal Cholecystokinin-Expressing Interneurons Regulate Temporal Coding and Contextual Learning.” Neuron. Cell Press, 2024. https://doi.org/10.1016/j.neuron.2024.03.019.
[Published Version] View | DOI | Download Published Version (ext.)
 
2024 | Journal Article | IST-REx-ID: 15375 | OA
He, Shengbo, Yiming Yu, Liang Wang, Jingyi Zhang, Zhengyong Bai, Guohong Li, Pilong Li, and Xiaoqi Feng. “Linker Histone H1 Drives Heterochromatin Condensation via Phase Separation in Arabidopsis.” The Plant Cell. Oxford Academic, 2024. https://doi.org/10.1093/plcell/koae034.
[Published Version] View | DOI | Download Published Version (ext.)
 
2024 | Journal Article | IST-REx-ID: 15378 | OA
Erdös, László, and Hong Chang Ji. “Wegner Estimate and Upper Bound on the Eigenvalue Condition Number of Non-Hermitian Random Matrices.” Communications on Pure and Applied Mathematics. Wiley, 2024. https://doi.org/10.1002/cpa.22201.
[Published Version] View | DOI | Download Published Version (ext.) | arXiv
 
2024 | Journal Article | IST-REx-ID: 15379 | OA
Stockwell, Imogen, Jake Watson, and Ingo H. Greger. “Tuning Synaptic Strength by Regulation of AMPA Glutamate Receptor Localization.” BioEssays. Wiley, 2024. https://doi.org/10.1002/bies.202400006.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2024 | Journal Article | IST-REx-ID: 15373 | OA
Wirth, Melchior. “Christensen–Evans Theorem and Extensions of GNS-Symmetric Quantum Markov Semigroups.” Journal of Functional Analysis. Elsevier, 2024. https://doi.org/10.1016/j.jfa.2024.110475.
[Published Version] View | DOI | Download Published Version (ext.)
 
2024 | Journal Article | IST-REx-ID: 15380 | OA
Biswas, Ranita, Sebastiano Cultrera di Montesano, Herbert Edelsbrunner, and Morteza Saghafian. “Depth in Arrangements: Dehn–Sommerville–Euler Relations with Applications.” Journal of Applied and Computational Topology. Springer Nature, 2024. https://doi.org/10.1007/s41468-024-00173-w.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2024 | Thesis | IST-REx-ID: 15352
Murmann, Julie Stefanie. “Investigating Acute Microglia Response to Seizure Activity in Vivo: Combining 2-Photon Imaging and EEG Recording.” Institute of Science and Technology Austria, 2024. https://doi.org/10.15479/at:ista:15352.
[Published Version] View | Files available | DOI
 
2024 | Thesis | IST-REx-ID: 15101 | OA
Chen, JingJing. “Developmental Transformation of Nanodomain Coupling between Ca2+ Channels and Release Sensors at a Central GABAergic Synapse.” Institute of Science and Technology Austria, 2024. https://doi.org/10.15479/at:ista:15101.
[Published Version] View | Files available | DOI
 
2024 | Journal Article | IST-REx-ID: 14843
Chen, JingJing, Walter Kaufmann, Chong Chen, itaru Arai, Olena Kim, Ryuichi Shigemoto, and Peter M Jonas. “Developmental Transformation of Ca2+ Channel-Vesicle Nanotopography at a Central GABAergic Synapse.” Neuron. Elsevier, n.d. https://doi.org/10.1016/j.neuron.2023.12.002.
View | Files available | DOI | PubMed | Europe PMC
 
2023 | Book Chapter | IST-REx-ID: 12428 | OA
Hannezo, Edouard B, and Colinda L.G.J. Scheele. “A Guide Toward Multi-Scale and Quantitative Branching Analysis in the Mammary Gland.” In Cell Migration in Three Dimensions, edited by Coert Margadant, 2608:183–205. MIMB. Springer Nature, 2023. https://doi.org/10.1007/978-1-0716-2887-4_12.
[Published Version] View | Files available | DOI | PubMed | Europe PMC
 
2023 | Journal Article | IST-REx-ID: 12534 | OA
Ghazaryan, Areg, Alberto Cappellaro, Mikhail Lemeshko, and Artem Volosniev. “Dissipative Dynamics of an Impurity with Spin-Orbit Coupling.” Physical Review Research. American Physical Society, 2023. https://doi.org/10.1103/physrevresearch.5.013029.
[Published Version] View | Files available | DOI
 
2023 | Journal Article | IST-REx-ID: 12158 | OA
Zeller, Peter, Jake Yeung, Helena Viñas Gaza, Buys Anton de Barbanson, Vivek Bhardwaj, Maria Florescu, Reinier van der Linden, and Alexander van Oudenaarden. “Single-Cell SortChIC Identifies Hierarchical Chromatin Dynamics during Hematopoiesis.” Nature Genetics. Springer Nature, 2023. https://doi.org/10.1038/s41588-022-01260-3.
[Published Version] View | Files available | DOI
 
2023 | Conference Paper | IST-REx-ID: 12676 | OA
Chatterjee, Krishnendu, Tobias Meggendorfer, Raimundo J Saona Urmeneta, and Jakub Svoboda. “Faster Algorithm for Turn-Based Stochastic Games with Bounded Treewidth.” In Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms, 4590–4605. Society for Industrial and Applied Mathematics, 2023. https://doi.org/10.1137/1.9781611977554.ch173.
[Published Version] View | DOI | Download Published Version (ext.)
 
2023 | Book Chapter | IST-REx-ID: 12720
Arroyo-Urea, Sandra, Jake Watson, and Javier García-Nafría. “Molecular Cloning Using In Vivo DNA Assembly.” In DNA Manipulation and Analysis, edited by Garry Scarlett, 2633:33–44. MIMB. New York, NY, United States: Springer Nature, 2023. https://doi.org/10.1007/978-1-0716-3004-4_3.
View | DOI | PubMed | Europe PMC
 
2023 | Conference Paper | IST-REx-ID: 12735 | OA
Koval, Nikita, Dan-Adrian Alistarh, and Roman Elizarov. “Fast and Scalable Channels in Kotlin Coroutines.” In Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 107–18. Association for Computing Machinery, 2023. https://doi.org/10.1145/3572848.3577481.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2023 | Conference Poster | IST-REx-ID: 12736 | OA
Aksenov, Vitaly, Trevor A Brown, Alexander Fedorov, and Ilya Kokorin. Unexpected Scaling in Path Copying Trees. Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. Association for Computing Machinery, 2023. https://doi.org/10.1145/3572848.3577512.
[Published Version] View | DOI | Download Published Version (ext.)
 
2023 | Conference Paper | IST-REx-ID: 12760 | OA
Henzinger, Monika H, Stefan Neumann, Harald Räcke, and Stefan Schmid. “Dynamic Maintenance of Monotone Dynamic Programs and Applications.” In 40th International Symposium on Theoretical Aspects of Computer Science, Vol. 254. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. https://doi.org/10.4230/LIPIcs.STACS.2023.36.
[Published Version] View | Files available | DOI | arXiv
 
2023 | Thesis | IST-REx-ID: 12716 | OA
Burnett, Laura. “To Flee, or Not to Flee? Using Innate Defensive Behaviours to Investigate Rapid Perceptual Decision-Making through Subcortical Circuits in Mouse Models of Autism.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:12716.
[Published Version] View | Files available | DOI
 
2023 | Conference Paper | IST-REx-ID: 12854 | OA
Chalupa, Marek, and Thomas A Henzinger. “Bubaak: Runtime Monitoring of Program Verifiers.” In Tools and Algorithms for the Construction and Analysis of Systems, 13994:535–40. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-30820-8_32.
[Published Version] View | Files available | DOI
 
2023 | Preprint | IST-REx-ID: 12846 | OA
Chern, Albert, and Sadashige Ishida. “Area Formula for Spherical Polygons via Prequantization.” ArXiv, n.d. https://doi.org/10.48550/arXiv.2303.14555.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2023 | Conference Paper | IST-REx-ID: 12856 | OA
Chalupa, Marek, Fabian Mühlböck, Stefanie Muroya Lei, and Thomas A Henzinger. “Vamos: Middleware for Best-Effort Third-Party Monitoring.” In Fundamental Approaches to Software Engineering, 13991:260–81. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-30826-0_15.
[Published Version] View | Files available | DOI
 
2023 | Technical Report | IST-REx-ID: 12407 | OA
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.
[Published Version] View | Files available | DOI
 
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 | Journal Article | IST-REx-ID: 12668 | OA
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.
[Published Version] View | DOI | Download Published Version (ext.) | PubMed | Europe PMC
 
2023 | Conference Paper | IST-REx-ID: 13048 | OA
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.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2023 | Conference Paper | IST-REx-ID: 13053 | OA
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.
[Preprint] View | Files available | Download Preprint (ext.) | arXiv
 
2023 | Conference Paper | IST-REx-ID: 13143 | OA
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.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 
2023 | Conference Paper | IST-REx-ID: 13142 | OA
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.
[Published Version] View | Files available | DOI
 
2023 | Conference Paper | IST-REx-ID: 13141 | OA
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.
[Published Version] View | Files available | DOI
 
2023 | Thesis | IST-REx-ID: 12826 | OA
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.
[Published Version] View | Files available | DOI
 
2023 | Journal Article | IST-REx-ID: 12086 | OA
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.
[Published Version] View | Files available | DOI | WoS
 
2023 | Journal Article | IST-REx-ID: 12104 | OA
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.
[Published Version] 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 | Conference Paper | IST-REx-ID: 12467 | OA
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.
[Published Version] View | Files available | DOI | arXiv
 
2023 | Journal Article | IST-REx-ID: 13179 | OA
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.
[Published Version] View | Files available | DOI
 
2023 | Journal Article | IST-REx-ID: 13180 | OA
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.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

Filters and Search Terms

type<>research_data

Search

Filter Publications