Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
4768 Publications
2023 | Submitted | Preprint | IST-REx-ID: 12846 | 
Area formula for spherical polygons via prequantization
A. Chern, S. Ishida, ArXiv (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
A. Chern, S. Ishida, ArXiv (n.d.).
2023 | Published | Conference Paper | IST-REx-ID: 12854 |
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
M. Chalupa, T.A. Henzinger, in:, Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2023, pp. 535–540.
2023 | Published | Conference Paper | IST-REx-ID: 12856 |
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
M. Chalupa, F. Mühlböck, S. Muroya Lei, T.A. Henzinger, in:, Fundamental Approaches to Software Engineering, Springer Nature, 2023, pp. 260–281.
2023 | Published | Conference Paper | IST-REx-ID: 12859 |
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
S. Bombari, S. Kiyani, M. Mondelli, in:, Proceedings of the 40th International Conference on Machine Learning, ML Research Press, 2023, pp. 2738–2776.
2023 | Published | Journal Article | IST-REx-ID: 12861 |
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
L. Schmid, F. Ekbatani, C. Hilbe, K. Chatterjee, Nature Communications 14 (2023).
2023 | Published | Journal Article | IST-REx-ID: 12862 |
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
S. Safavi, T.I. Panagiotaropoulos, V. Kapoor, J.F. Ramirez Villegas, N.K. Logothetis, M. Besserve, PLoS Computational Biology 19 (2023).
2023 | Published | Book Chapter | IST-REx-ID: 12866
Altered childhood brain development in autism and epilepsy
C. Currin, C. Beyer, in:, B. Halpern-Felsher (Ed.), Encyclopedia of Child and Adolescent Health, 1st ed., Elsevier, 2023, pp. 86–98.
View
| DOI
C. Currin, C. Beyer, in:, B. Halpern-Felsher (Ed.), Encyclopedia of Child and Adolescent Health, 1st ed., Elsevier, 2023, pp. 86–98.
2023 | Published | Journal Article | IST-REx-ID: 12876 |
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
N. Beneš, L. Brim, O. Huvar, S. Pastva, D. Šafránek, Bioinformatics 39 (2023).
2023 | Published | Journal Article | IST-REx-ID: 12877 |
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
J. De Simoi, V. Kaloshin, M. Leguil, Inventiones Mathematicae 233 (2023) 829–901.
2023 | Published | Journal Article | IST-REx-ID: 12878
Salicylic acid inhibits rice endocytic protein trafficking mediated by OsPIN3t and clathrin to affect root growth
Jiang L, Yao B, Zhang X, Wu L, Fu Q, Zhao Y, Cao Y, Zhu R, Lu X, Huang W, Zhao J, Li K, Zhao S, Han L, Zhou X, Luo C, Zhu H, Yang J, Huang H, Zhu Z, He X, Friml J, Zhang Z, Liu C, Du Y. 2023. Salicylic acid inhibits rice endocytic protein trafficking mediated by OsPIN3t and clathrin to affect root growth. Plant Journal. 115(1), 155–174.
View
| DOI
| WoS
| PubMed | Europe PMC
Jiang L, Yao B, Zhang X, Wu L, Fu Q, Zhao Y, Cao Y, Zhu R, Lu X, Huang W, Zhao J, Li K, Zhao S, Han L, Zhou X, Luo C, Zhu H, Yang J, Huang H, Zhu Z, He X, Friml J, Zhang Z, Liu C, Du Y. 2023. Salicylic acid inhibits rice endocytic protein trafficking mediated by OsPIN3t and clathrin to affect root growth. Plant Journal. 115(1), 155–174.
2023 | Published | Journal Article | IST-REx-ID: 12879 |
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
K. Chen, C. Kunkel, B. Cheng, K. Reuter, J.T. Margraf, Chemical Science (2023).
2023 | Published | Journal Article | IST-REx-ID: 12880 |
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
J.M. Kaneshiro, J.S. Capitanio, M. Hetzer, Nucleus 14 (2023).
2023 | Published | Thesis | IST-REx-ID: 12885 |
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
M. Calcabrini, Nanoparticle-Based Semiconductor Solids: From Synthesis to Consolidation, Institute of Science and Technology Austria, 2023.
2023 | Published | Journal Article | IST-REx-ID: 12890 |
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
F.R. Klausen, A.B. Lauritsen, Physical Review E 108 (2023).
2023 | Published | Thesis | IST-REx-ID: 12891
Mesendoderm formation in zebrafish gastrulation: The role of extraembryonic tissues
A. Schauer, Mesendoderm Formation in Zebrafish Gastrulation: The Role of Extraembryonic Tissues, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
A. Schauer, Mesendoderm Formation in Zebrafish Gastrulation: The Role of Extraembryonic Tissues, Institute of Science and Technology Austria, 2023.
2023 | Published | Thesis | IST-REx-ID: 12897 |
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
C. Hafner, Inverse Shape Design with Parametric Representations: Kirchhoff Rods and Parametric Surface Models, Institute of Science and Technology Austria, 2023.
2023 | Published | Journal Article | IST-REx-ID: 12911 |
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
D. Feliciangeli, A. Gerolin, L. Portinale, Journal of Functional Analysis 285 (2023).
2023 | Published | Journal Article | IST-REx-ID: 12912 |
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
R. Schmid, B. Cheng, The Journal of Chemical Physics 158 (2023).
2023 | Published | Journal Article | IST-REx-ID: 12913 |
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
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).
2023 | Published | Journal Article | IST-REx-ID: 12914 |
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
F. Suzuki, W.G. Unruh, Physical Review A 107 (2023).