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

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

2023 | Published | Conference Paper | IST-REx-ID: 12859 | OA
Beyond the universal law of robustness: Sharper laws for random features and neural tangent kernels
S. Bombari, S. Kiyani, M. Mondelli, in:, Proceedings of the 40th International Conference on Machine Learning, ML Research Press, 2023, pp. 2738–2776.
[Preprint] View | Files available | Download Preprint (ext.) | arXiv
 

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

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

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

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

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

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

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

2023 | Published | Thesis | PhD | IST-REx-ID: 12885 | OA
Nanoparticle-based semiconductor solids: From synthesis to consolidation
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
Stochastic cellular automaton model of culture formation
F.R. Klausen, A.B. Lauritsen, Physical Review E 108 (2023).
[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv
 

2023 | Published | Thesis | PhD | IST-REx-ID: 12897 | OA
Inverse shape design with parametric representations: Kirchhoff Rods and parametric surface models
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
A non-commutative entropic optimal transport approach to quantum composite systems at positive temperature
D. Feliciangeli, A. Gerolin, L. Portinale, Journal of Functional Analysis 285 (2023).
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

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

2023 | Published | Journal Article | IST-REx-ID: 12913 | OA
Symmetry-broken Josephson junctions and superconducting diodes in magic-angle twisted bilayer graphene
J. Díez-Mérida, A. Díez-Carlón, S.Y. Yang, Y.M. Xie, X.J. Gao, J.L. Senior, K. Watanabe, T. Taniguchi, X. Lu, A.P. Higginbotham, K.T. Law, D.K. Efetov, Nature Communications 14 (2023).
[Published Version] View | Files available | DOI | WoS | PubMed | Europe PMC
 

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

2023 | Published | Journal Article | IST-REx-ID: 12916 | OA
Uniform bounds for rational points on hyperelliptic fibrations
D. Bonolis, T.D. Browning, Annali Della Scuola Normale Superiore Di Pisa - Classe Di Scienze 24 (2023) 173–204.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 

2023 | Published | Journal Article | IST-REx-ID: 12920 | OA
Programmable photocatalytic activity of multicomponent covalent organic frameworks used as metallaphotocatalysts
M. Traxler, S. Reischauer, S. Vogl, J. Roeser, J. Rabeah, C. Penschke, P. Saalfrank, B. Pieber, A. Thomas, Chemistry – A European Journal 29 (2023).
[Published Version] View | DOI | Download Published Version (ext.)
 

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

Filters and Search Terms

oa=1

Search

Filter Publications

Display / Sort

Export / Embed