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, M., & Henzinger, T. A. (2023). Bubaak: Runtime monitoring of program verifiers. In Tools and Algorithms for the Construction and Analysis of Systems (Vol. 13994, pp. 535–540). Paris, France: Springer Nature. 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, M., Mühlböck, F., Muroya Lei, S., & Henzinger, T. A. (2023). Vamos: Middleware for best-effort third-party monitoring. In Fundamental Approaches to Software Engineering (Vol. 13991, pp. 260–281). Paris, France: Springer Nature. 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, S., Kiyani, S., & Mondelli, M. (2023). 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 (Vol. 202, pp. 2738–2776). Honolulu, HI, United States: ML Research Press.
[Preprint] View | Files available | Download Preprint (ext.) | arXiv
 

2023 | Published | Journal Article | IST-REx-ID: 12861 | OA
Schmid, L., Ekbatani, F., Hilbe, C., & Chatterjee, K. (2023). Quantitative assessment can stabilize indirect reciprocity under imperfect information. Nature Communications. Springer Nature. 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, S., Panagiotaropoulos, T. I., Kapoor, V., Ramirez Villegas, J. F., Logothetis, N. K., & Besserve, M. (2023). Uncovering the organization of neural circuits with Generalized Phase Locking Analysis. PLoS Computational Biology. Public Library of Science. https://doi.org/10.1371/journal.pcbi.1010983
[Published Version] View | Files available | DOI | WoS
 

2023 | Research Data | IST-REx-ID: 12869 | OA
Klausen, F. R., & Lauritsen, A. B. (2023). Research data for: A stochastic cellular automaton model of culture formation. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:12869
[Published Version] View | Files available | DOI
 

2023 | Published | Journal Article | IST-REx-ID: 12876 | OA
Beneš, N., Brim, L., Huvar, O., Pastva, S., & Šafránek, D. (2023). Boolean network sketches: A unifying framework for logical model inference. Bioinformatics. Oxford Academic. 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, J., Kaloshin, V., & Leguil, M. (2023). Marked Length Spectral determination of analytic chaotic billiards with axial symmetries. Inventiones Mathematicae. Springer Nature. 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, K., Kunkel, C., Cheng, B., Reuter, K., & Margraf, J. T. (2023). Physics-inspired machine learning of localized intensive properties. Chemical Science. Royal Society of Chemistry. https://doi.org/10.1039/d3sc00841j
[Published Version] View | Files available | DOI | WoS
 

2023 | Published | Journal Article | IST-REx-ID: 12880 | OA
Kaneshiro, J. M., Capitanio, J. S., & Hetzer, M. (2023). Lamin B1 overexpression alters chromatin organization and gene expression. Nucleus. Taylor & Francis. 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, M. (2023). Nanoparticle-based semiconductor solids: From synthesis to consolidation. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:12885
[Published Version] View | Files available | DOI
 

2023 | Published | Journal Article | IST-REx-ID: 12890 | OA
Klausen, F. R., & Lauritsen, A. B. (2023). Stochastic cellular automaton model of culture formation. Physical Review E. American Physical Society. 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, C. (2023). Inverse shape design with parametric representations: Kirchhoff Rods and parametric surface models. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:12897
[Published Version] View | Files available | DOI
 

2023 | Published | Journal Article | IST-REx-ID: 12911 | OA
Feliciangeli, D., Gerolin, A., & Portinale, L. (2023). A non-commutative entropic optimal transport approach to quantum composite systems at positive temperature. Journal of Functional Analysis. Elsevier. 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, R., & Cheng, B. (2023). Computing chemical potentials of adsorbed or confined fluids. The Journal of Chemical Physics. AIP Publishing. 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., Díez-Carlón, A., Yang, S. Y., Xie, Y. M., Gao, X. J., Senior, J. L., … Efetov, D. K. (2023). Symmetry-broken Josephson junctions and superconducting diodes in magic-angle twisted bilayer graphene. Nature Communications. Springer Nature. 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, F., & Unruh, W. G. (2023). Numerical quantum clock simulations for measuring tunneling times. Physical Review A. American Physical Society. 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, D., & Browning, T. D. (2023). Uniform bounds for rational points on hyperelliptic fibrations. Annali Della Scuola Normale Superiore Di Pisa - Classe Di Scienze. Scuola Normale Superiore - Edizioni della Normale. 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, M., Reischauer, S., Vogl, S., Roeser, J., Rabeah, J., Penschke, C., … Thomas, A. (2023). Programmable photocatalytic activity of multicomponent covalent organic frameworks used as metallaphotocatalysts. Chemistry – A European Journal. Wiley. 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, A., & Pieber, B. (2023). In situ reaction monitoring in photocatalytic organic synthesis. ChemCatChem. Wiley. 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: APA

Export / Embed