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 TA. Bubaak: Runtime monitoring of program verifiers. In: Tools and Algorithms for the Construction and Analysis of Systems. Vol 13994. Springer Nature; 2023:535-540. doi: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 TA. Vamos: Middleware for best-effort third-party monitoring. In: Fundamental Approaches to Software Engineering. Vol 13991. Springer Nature; 2023:260-281. doi: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. 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. ML Research Press; 2023:2738-2776.
[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. Quantitative assessment can stabilize indirect reciprocity under imperfect information. Nature Communications. 2023;14. doi: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 TI, Kapoor V, Ramirez Villegas JF, Logothetis NK, Besserve M. Uncovering the organization of neural circuits with Generalized Phase Locking Analysis. PLoS Computational Biology. 2023;19(4). doi:10.1371/journal.pcbi.1010983
[Published Version] View | Files available | DOI | WoS
 

2023 | Research Data | IST-REx-ID: 12869 | OA
Klausen FR, Lauritsen AB. Research data for: A stochastic cellular automaton model of culture formation. 2023. doi: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. Boolean network sketches: A unifying framework for logical model inference. Bioinformatics. 2023;39(4). doi: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. Marked Length Spectral determination of analytic chaotic billiards with axial symmetries. Inventiones Mathematicae. 2023;233:829-901. doi: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 JT. Physics-inspired machine learning of localized intensive properties. Chemical Science. 2023. doi:10.1039/d3sc00841j
[Published Version] View | Files available | DOI | WoS
 

2023 | Published | Journal Article | IST-REx-ID: 12880 | OA
Kaneshiro JM, Capitanio JS, Hetzer M. Lamin B1 overexpression alters chromatin organization and gene expression. Nucleus. 2023;14(1). doi: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. Nanoparticle-based semiconductor solids: From synthesis to consolidation. 2023. doi:10.15479/at:ista:12885
[Published Version] View | Files available | DOI
 

2023 | Published | Journal Article | IST-REx-ID: 12890 | OA
Klausen FR, Lauritsen AB. Stochastic cellular automaton model of culture formation. Physical Review E. 2023;108(5). doi: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. Inverse shape design with parametric representations: Kirchhoff Rods and parametric surface models. 2023. doi: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. A non-commutative entropic optimal transport approach to quantum composite systems at positive temperature. Journal of Functional Analysis. 2023;285(4). doi: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. Computing chemical potentials of adsorbed or confined fluids. The Journal of Chemical Physics. 2023;158(16). doi: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 SY, et al. Symmetry-broken Josephson junctions and superconducting diodes in magic-angle twisted bilayer graphene. Nature Communications. 2023;14. doi: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 WG. Numerical quantum clock simulations for measuring tunneling times. Physical Review A. 2023;107(4). doi: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 TD. Uniform bounds for rational points on hyperelliptic fibrations. Annali della Scuola Normale Superiore di Pisa - Classe di Scienze. 2023;24(1):173-204. doi: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, et al. Programmable photocatalytic activity of multicomponent covalent organic frameworks used as metallaphotocatalysts. Chemistry – A European Journal. 2023;29(4). doi: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. In situ reaction monitoring in photocatalytic organic synthesis. ChemCatChem. 2023;15(7). doi: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: AMA

Export / Embed