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.




4964 Publications

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 | Research Data | IST-REx-ID: 15385 | OA
Burnett, Laura, Peter Koppensteiner, Olga Symonova, Tomas Masson, Tomas A Vega Zuniga, Ximena Contreras, Thomas Rülicke, Ryuichi Shigemoto, Gaia Novarino, and Maximilian A Jösch. “Shared Behavioural Impairments in Visual Perception and Place Avoidance across Different Autism Models Are Driven by Periaqueductal Grey Hypoexcitability in Setd5 Haploinsufficient Mice.” Institute of Science and Technology Austria, 2024. https://doi.org/10.15479/AT:ISTA:15385.
[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 | 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
 
2023 | Journal Article | IST-REx-ID: 13251 | OA
Wei, Yujing, Artem Volosniev, Dusan Lorenc, Ayan A. Zhumekenov, Osman M. Bakr, Mikhail Lemeshko, and Zhanybek Alpichshev. “Bond Polarizability as a Probe of Local Crystal Fields in Hybrid Lead-Halide Perovskites.” The Journal of Physical Chemistry Letters. American Chemical Society, 2023. https://doi.org/10.1021/acs.jpclett.3c01158.
[Published Version] View | Files available | DOI | WoS | arXiv
 
2023 | Conference Paper | IST-REx-ID: 13292 | OA
Henzinger, Thomas A, Pavol Kebis, Nicolas Adrien Mazzocchi, and Naci E Sarac. “Regular Methods for Operator Precedence Languages.” In 50th International Colloquium on Automata, Languages, and Programming, 261:129:1--129:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. https://doi.org/10.4230/LIPIcs.ICALP.2023.129.
[Published Version] View | Files available | DOI | arXiv
 
2023 | Journal Article | IST-REx-ID: 13277 | OA
Tucci, Gennaro, Stefano De Nicola, Sascha Wald, and Andrea Gambassi. “Stochastic Representation of the Quantum Quartic Oscillator.” SciPost Physics Core. SciPost Foundation, 2023. https://doi.org/10.21468/scipostphyscore.6.2.029.
[Published Version] View | Files available | DOI | arXiv
 
2023 | Journal Article | IST-REx-ID: 13276 | OA
Rammelmüller, Lukas, David Huber, and Artem Volosniev. “A Modular Implementation of an Effective Interaction Approach for Harmonically Trapped Fermions in 1D.” SciPost Physics Codebases. SciPost Foundation, 2023. https://doi.org/10.21468/scipostphyscodeb.12.
[Published Version] View | Files available | DOI | arXiv
 
2023 | Research Data Reference | IST-REx-ID: 13275 | OA
Rammelmüller, Lukas, David Huber, and Artem Volosniev. “Codebase Release 1.0 for FermiFCI.” SciPost Foundation, 2023. https://doi.org/10.21468/scipostphyscodeb.12-r1.0.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 
2023 | Journal Article | IST-REx-ID: 11479 | OA
De Jode, Aurélien, Alan Le Moan, Kerstin Johannesson, Rui Faria, Sean Stankowski, Anja M Westram, Roger K. Butlin, Marina Rafajlović, and Christelle Fraisse. “Ten Years of Demographic Modelling of Divergence and Speciation in the Sea.” Evolutionary Applications. Wiley, 2023. https://doi.org/10.1111/eva.13428.
[Published Version] View | Files available | DOI | WoS
 
2023 | Journal Article | IST-REx-ID: 12329 | OA
Gómez, Arturo, and Goncalo Oliveira. “New Approaches to Epidemic Modeling on Networks.” Scientific Reports. Springer Nature, 2023. https://doi.org/10.1038/s41598-022-19827-9.
[Published Version] View | Files available | DOI | WoS
 

Search

Filter Publications