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
M. Chalupa and T. A. Henzinger, “Bubaak: Runtime monitoring of program verifiers,” in Tools and Algorithms for the Construction and Analysis of Systems, Paris, France, 2023, vol. 13994, pp. 535–540.
[Published Version] View | Files available | DOI
 

2023 | Published | Conference Paper | IST-REx-ID: 12856 | OA
M. Chalupa, F. Mühlböck, S. Muroya Lei, and T. A. Henzinger, “Vamos: Middleware for best-effort third-party monitoring,” in Fundamental Approaches to Software Engineering, Paris, France, 2023, vol. 13991, pp. 260–281.
[Published Version] View | Files available | DOI
 

2023 | Published | Conference Paper | IST-REx-ID: 12859 | OA
S. Bombari, S. Kiyani, and M. 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, Honolulu, HI, United States, 2023, vol. 202, pp. 2738–2776.
[Preprint] View | Files available | Download Preprint (ext.) | arXiv
 

2023 | Published | Journal Article | IST-REx-ID: 12861 | OA
L. Schmid, F. Ekbatani, C. Hilbe, and K. Chatterjee, “Quantitative assessment can stabilize indirect reciprocity under imperfect information,” Nature Communications, vol. 14. Springer Nature, 2023.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2023 | Published | Journal Article | IST-REx-ID: 12862 | OA
S. Safavi, T. I. Panagiotaropoulos, V. Kapoor, J. F. Ramirez Villegas, N. K. Logothetis, and M. Besserve, “Uncovering the organization of neural circuits with Generalized Phase Locking Analysis,” PLoS Computational Biology, vol. 19, no. 4. Public Library of Science, 2023.
[Published Version] View | Files available | DOI | WoS
 

2023 | Research Data | IST-REx-ID: 12869 | OA
F. R. Klausen and A. B. Lauritsen, “Research data for: A stochastic cellular automaton model of culture formation.” Institute of Science and Technology Austria, 2023.
[Published Version] View | Files available | DOI
 

2023 | Published | Journal Article | IST-REx-ID: 12876 | OA
N. Beneš, L. Brim, O. Huvar, S. Pastva, and D. Šafránek, “Boolean network sketches: A unifying framework for logical model inference,” Bioinformatics, vol. 39, no. 4. Oxford Academic, 2023.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2023 | Published | Journal Article | IST-REx-ID: 12877 | OA
J. De Simoi, V. Kaloshin, and M. Leguil, “Marked Length Spectral determination of analytic chaotic billiards with axial symmetries,” Inventiones Mathematicae, vol. 233. Springer Nature, pp. 829–901, 2023.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2023 | Published | Journal Article | IST-REx-ID: 12879 | OA
K. Chen, C. Kunkel, B. Cheng, K. Reuter, and J. T. Margraf, “Physics-inspired machine learning of localized intensive properties,” Chemical Science. Royal Society of Chemistry, 2023.
[Published Version] View | Files available | DOI | WoS
 

2023 | Published | Journal Article | IST-REx-ID: 12880 | OA
J. M. Kaneshiro, J. S. Capitanio, and M. Hetzer, “Lamin B1 overexpression alters chromatin organization and gene expression,” Nucleus, vol. 14, no. 1. Taylor & Francis, 2023.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2023 | Published | Thesis | PhD | IST-REx-ID: 12885 | OA
M. Calcabrini, “Nanoparticle-based semiconductor solids: From synthesis to consolidation,” Institute of Science and Technology Austria, 2023.
[Published Version] View | Files available | DOI
 

2023 | Published | Journal Article | IST-REx-ID: 12890 | OA
F. R. Klausen and A. B. Lauritsen, “Stochastic cellular automaton model of culture formation,” Physical Review E, vol. 108, no. 5. American Physical Society, 2023.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2023 | Published | Thesis | PhD | IST-REx-ID: 12897 | OA
C. Hafner, “Inverse shape design with parametric representations: Kirchhoff Rods and parametric surface models,” Institute of Science and Technology Austria, 2023.
[Published Version] View | Files available | DOI
 

2023 | Published | Journal Article | IST-REx-ID: 12911 | OA
D. Feliciangeli, A. Gerolin, and L. Portinale, “A non-commutative entropic optimal transport approach to quantum composite systems at positive temperature,” Journal of Functional Analysis, vol. 285, no. 4. Elsevier, 2023.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2023 | Published | Journal Article | IST-REx-ID: 12912 | OA
R. Schmid and B. Cheng, “Computing chemical potentials of adsorbed or confined fluids,” The Journal of Chemical Physics, vol. 158, no. 16. AIP Publishing, 2023.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC | arXiv
 

2023 | Published | Journal Article | IST-REx-ID: 12913 | OA
J. Díez-Mérida et al., “Symmetry-broken Josephson junctions and superconducting diodes in magic-angle twisted bilayer graphene,” Nature Communications, vol. 14. Springer Nature, 2023.
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

2023 | Published | Journal Article | IST-REx-ID: 12914 | OA
F. Suzuki and W. G. Unruh, “Numerical quantum clock simulations for measuring tunneling times,” Physical Review A, vol. 107, no. 4. American Physical Society, 2023.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2023 | Published | Journal Article | IST-REx-ID: 12916 | OA
D. Bonolis and T. D. Browning, “Uniform bounds for rational points on hyperelliptic fibrations,” Annali della Scuola Normale Superiore di Pisa - Classe di Scienze, vol. 24, no. 1. Scuola Normale Superiore - Edizioni della Normale, pp. 173–204, 2023.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2023 | Published | Journal Article | IST-REx-ID: 12920 | OA
M. Traxler et al., “Programmable photocatalytic activity of multicomponent covalent organic frameworks used as metallaphotocatalysts,” Chemistry – A European Journal, vol. 29, no. 4. Wiley, 2023.
[Published Version] View | DOI | Download Published Version (ext.)
 

2023 | Published | Journal Article | IST-REx-ID: 12921 | OA
A. Madani and B. Pieber, “In situ reaction monitoring in photocatalytic organic synthesis,” ChemCatChem, vol. 15, no. 7. Wiley, 2023.
[Published Version] View | DOI | Download Published Version (ext.)
 

Filters and Search Terms

oa=1

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed