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.

5611 Publications


2023 | Published | 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 | Published | 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 | Published | Conference Paper | IST-REx-ID: 12859 | OA
Bombari, Simone, Shayan Kiyani, and Marco Mondelli. “Beyond the Universal Law of Robustness: Sharper Laws for Random Features and Neural Tangent Kernels.” In Proceedings of the 40th International Conference on Machine Learning, 202:2738–76. ML Research Press, 2023.
[Preprint] View | Files available | Download Preprint (ext.) | arXiv
 

2023 | Published | Journal Article | IST-REx-ID: 12861 | OA
Schmid, Laura, Farbod Ekbatani, Christian Hilbe, and Krishnendu Chatterjee. “Quantitative Assessment Can Stabilize Indirect Reciprocity under Imperfect Information.” Nature Communications. Springer Nature, 2023. https://doi.org/10.1038/s41467-023-37817-x.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2023 | Published | Journal Article | IST-REx-ID: 12862 | OA
Safavi, Shervin, Theofanis I. Panagiotaropoulos, Vishal Kapoor, Juan F Ramirez Villegas, Nikos K. Logothetis, and Michel Besserve. “Uncovering the Organization of Neural Circuits with Generalized Phase Locking Analysis.” PLoS Computational Biology. Public Library of Science, 2023. https://doi.org/10.1371/journal.pcbi.1010983.
[Published Version] View | Files available | DOI | WoS
 

2023 | Research Data | IST-REx-ID: 12869 | OA
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.
[Published Version] View | Files available | DOI
 

2023 | Published | Journal Article | IST-REx-ID: 12876 | OA
Beneš, Nikola, Luboš Brim, Ondřej Huvar, Samuel Pastva, and David Šafránek. “Boolean Network Sketches: A Unifying Framework for Logical Model Inference.” Bioinformatics. Oxford Academic, 2023. https://doi.org/10.1093/bioinformatics/btad158.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2023 | Published | Journal Article | IST-REx-ID: 12877 | OA
De Simoi, Jacopo, Vadim Kaloshin, and Martin Leguil. “Marked Length Spectral Determination of Analytic Chaotic Billiards with Axial Symmetries.” Inventiones Mathematicae. Springer Nature, 2023. https://doi.org/10.1007/s00222-023-01191-8.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2023 | Published | Journal Article | IST-REx-ID: 12879 | OA
Chen, Ke, Christian Kunkel, Bingqing Cheng, Karsten Reuter, and Johannes T. Margraf. “Physics-Inspired Machine Learning of Localized Intensive Properties.” Chemical Science. Royal Society of Chemistry, 2023. https://doi.org/10.1039/d3sc00841j.
[Published Version] View | Files available | DOI | WoS
 

2023 | Published | Journal Article | IST-REx-ID: 12880 | OA
Kaneshiro, Jeanae M., Juliana S. Capitanio, and Martin Hetzer. “Lamin B1 Overexpression Alters Chromatin Organization and Gene Expression.” Nucleus. Taylor & Francis, 2023. https://doi.org/10.1080/19491034.2023.2202548.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2023 | Published | Thesis | PhD | 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 | Published | Journal Article | IST-REx-ID: 12890 | OA
Klausen, Frederik Ravn, and Asbjørn Bækgaard Lauritsen. “Stochastic Cellular Automaton Model of Culture Formation.” Physical Review E. American Physical Society, 2023. https://doi.org/10.1103/PhysRevE.108.054307.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2023 | Published | Thesis | PhD | IST-REx-ID: 12897 | OA
Hafner, Christian. “Inverse Shape Design with Parametric Representations: Kirchhoff Rods and Parametric Surface Models.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:12897.
[Published Version] View | Files available | DOI
 

2023 | Published | Journal Article | IST-REx-ID: 12911 | OA
Feliciangeli, Dario, Augusto Gerolin, and Lorenzo Portinale. “A Non-Commutative Entropic Optimal Transport Approach to Quantum Composite Systems at Positive Temperature.” Journal of Functional Analysis. Elsevier, 2023. https://doi.org/10.1016/j.jfa.2023.109963.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2023 | Published | Journal Article | IST-REx-ID: 12912 | OA
Schmid, Rochus, and Bingqing Cheng. “Computing Chemical Potentials of Adsorbed or Confined Fluids.” The Journal of Chemical Physics. AIP Publishing, 2023. https://doi.org/10.1063/5.0146711.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC | arXiv
 

2023 | Published | Journal Article | IST-REx-ID: 12913 | OA
Díez-Mérida, J., A. Díez-Carlón, S. Y. Yang, Y. M. Xie, X. J. Gao, Jorden L Senior, K. Watanabe, et al. “Symmetry-Broken Josephson Junctions and Superconducting Diodes in Magic-Angle Twisted Bilayer Graphene.” Nature Communications. Springer Nature, 2023. https://doi.org/10.1038/s41467-023-38005-7.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2023 | Published | Journal Article | IST-REx-ID: 12914 | OA
Suzuki, Fumika, and William G. Unruh. “Numerical Quantum Clock Simulations for Measuring Tunneling Times.” Physical Review A. American Physical Society, 2023. https://doi.org/10.1103/PhysRevA.107.042216.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2023 | Published | Journal Article | IST-REx-ID: 12916 | OA
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 - Edizioni della Normale, 2023. https://doi.org/10.2422/2036-2145.202010_018.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2023 | Published | Journal Article | IST-REx-ID: 12920 | OA
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.
[Published Version] View | DOI | Download Published Version (ext.)
 

2023 | Published | Journal Article | IST-REx-ID: 12921 | OA
Madani, Amiera, and Bartholomäus Pieber. “In Situ Reaction Monitoring in Photocatalytic Organic Synthesis.” ChemCatChem. Wiley, 2023. https://doi.org/10.1002/cctc.202201583.
[Published Version] View | DOI | Download Published Version (ext.)
 

Filters and Search Terms

oa=1

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed