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.
1606 Publications
2024 | Journal Article | IST-REx-ID: 15311 | 
Zeng, Zezhu, Xingchen Shen, Ruihuan Cheng, Olivier Perez, Niuchang Ouyang, Zheyong Fan, Pierric Lemoine, Bernard Raveau, Emmanuel Guilmeau, and Yue Chen. “Pushing Thermal Conductivity to Its Lower Limit in Crystals with Simple Structures.” Nature Communications. Springer Nature, 2024. https://doi.org/10.1038/s41467-024-46799-3.
[Published Version]
View
| Files available
| DOI
| arXiv
2024 | Journal Article | IST-REx-ID: 15312 |
Browning, Timothy D, and Igor E. Shparlinski. “Square-Free Values of Random Polynomials.” Journal of Number Theory. Elsevier, 2024. https://doi.org/10.1016/j.jnt.2024.02.013.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2024 | Conference Paper | IST-REx-ID: 15333 |
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: 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
2023 | Journal Article | IST-REx-ID: 12158 |
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 | 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 Poster | IST-REx-ID: 12736 |
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: 12854 |
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 | Conference Paper | IST-REx-ID: 12856 |
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 | 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.
[Submitted Version]
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.
[Published Version]
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.
[Published Version]
View
| Files available
| DOI
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.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 | Journal Article | IST-REx-ID: 12737
García-Romero, Álvaro, Jessica E. Waters, Rajesh B Jethwa, Andrew D. Bond, Annie L. Colebatch, Raúl García-Rodríguez, and Dominic S. Wright. “Highly Adaptive Nature of Group 15 Tris(Quinolyl) Ligands─studies with Coinage Metals.” Inorganic Chemistry. American Chemical Society, 2023. https://doi.org/10.1021/acs.inorgchem.3c00057.
View
| DOI
| WoS
| PubMed | Europe PMC
2023 | Journal Article | IST-REx-ID: 12788 |
Karle, Volker, Areg Ghazaryan, and Mikhail Lemeshko. “Topological Charges of Periodically Kicked Molecules.” Physical Review Letters. American Physical Society, 2023. https://doi.org/10.1103/PhysRevLett.130.103202.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2023 | Journal Article | IST-REx-ID: 12839 |
Ljubotina, Marko, Jean Yves Desaules, Maksym Serbyn, and Zlatko Papić. “Superdiffusive Energy Transport in Kinetically Constrained Models.” Physical Review X. American Physical Society, 2023. https://doi.org/10.1103/PhysRevX.13.011033.
[Published Version]
View
| Files available
| DOI
| WoS
2023 | Journal Article | IST-REx-ID: 13129 |
Clozeau, Nicolas, Marc Josien, Felix Otto, and Qiang Xu. “Bias in the Representative Volume Element Method: Periodize the Ensemble Instead of Its Realizations.” Foundations of Computational Mathematics. Springer Nature, 2023. https://doi.org/10.1007/s10208-023-09613-y.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
2023 | Thesis | IST-REx-ID: 12964
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 | Journal Article | IST-REx-ID: 13970 |
Madani, Amiera, Eric T. Sletten, Cristian Cavedon, Peter H. Seeberger, and Bartholomäus Pieber. “Visible-Light-Mediated Oxidative Debenzylation of 3-O-Benzyl-1,2:5,6-Di-O-Isopropylidene-α-D-Glucofuranose.” Organic Syntheses. Organic Syntheses, 2023. https://doi.org/10.15227/orgsyn.100.0271.
[Published Version]
View
| DOI
| Download Published Version (ext.)
2023 | Thesis | IST-REx-ID: 12885 |
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