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.
5148 Publications
2023 |Published| Conference Paper | IST-REx-ID: 13120 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Closure properties of general grammars - formally verified
M. Dvorak, J. Blanchette, in:, 14th International Conference on Interactive Theorem Proving, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
[Published Version]
View
| Files available
| DOI
| arXiv
M. Dvorak, J. Blanchette, in:, 14th International Conference on Interactive Theorem Proving, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
2023 |Published| Journal Article | IST-REx-ID: 13969 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Approximating the bundled crossing number
A.M. Arroyo Guevara, S. Felsner, Journal of Graph Algorithms and Applications 27 (2023) 433–457.
[Published Version]
View
| Files available
| DOI
| arXiv
A.M. Arroyo Guevara, S. Felsner, Journal of Graph Algorithms and Applications 27 (2023) 433–457.
2023 |Published| Conference Paper | IST-REx-ID: 14344 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Fast algorithms for solving the Hamilton cycle problem with high probability
M. Anastos, in:, Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2023, pp. 2286–2323.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M. Anastos, in:, Proceedings of the Annual ACM-SIAM Symposium on Discrete Algorithms, Society for Industrial and Applied Mathematics, 2023, pp. 2286–2323.
2023 |Published| Journal Article | IST-REx-ID: 12710 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Curvature in biological systems: Its quantification, emergence, and implications across the scales
Schamberger B, Ziege R, Anselme K, Ben Amar M, Bykowski M, Castro APG, Cipitria A, Coles RA, Dimova R, Eder M, Ehrig S, Escudero LM, Evans ME, Fernandes PR, Fratzl P, Geris L, Gierlinger N, Hannezo EB, Iglič A, Kirkensgaard JJK, Kollmannsberger P, Kowalewska Ł, Kurniawan NA, Papantoniou I, Pieuchot L, Pires THV, Renner LD, Sageman-Furnas AO, Schröder-Turk GE, Sengupta A, Sharma VR, Tagua A, Tomba C, Trepat X, Waters SL, Yeo EF, Roschger A, Bidan CM, Dunlop JWC. 2023. Curvature in biological systems: Its quantification, emergence, and implications across the scales. Advanced Materials. 35(13), 2206110.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
Schamberger B, Ziege R, Anselme K, Ben Amar M, Bykowski M, Castro APG, Cipitria A, Coles RA, Dimova R, Eder M, Ehrig S, Escudero LM, Evans ME, Fernandes PR, Fratzl P, Geris L, Gierlinger N, Hannezo EB, Iglič A, Kirkensgaard JJK, Kollmannsberger P, Kowalewska Ł, Kurniawan NA, Papantoniou I, Pieuchot L, Pires THV, Renner LD, Sageman-Furnas AO, Schröder-Turk GE, Sengupta A, Sharma VR, Tagua A, Tomba C, Trepat X, Waters SL, Yeo EF, Roschger A, Bidan CM, Dunlop JWC. 2023. Curvature in biological systems: Its quantification, emergence, and implications across the scales. Advanced Materials. 35(13), 2206110.
2023 |Published| Journal Article | IST-REx-ID: 13340 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Disequilibrating azoarenes by visible-light sensitization under confinement
J. Gemen, J.R. Church, T.-P. Ruoko, N. Durandin, M.J. Białek, M. Weissenfels, M. Feller, M. Kazes, V.A. Borin, M. Odaybat, R. Kalepu, Y. Diskin-Posner, D. Oron, M.J. Fuchter, A. Priimagi, I. Schapiro, R. Klajn, Science 381 (2023) 1357–1363.
[Preprint]
View
| DOI
| Download Preprint (ext.)
J. Gemen, J.R. Church, T.-P. Ruoko, N. Durandin, M.J. Białek, M. Weissenfels, M. Feller, M. Kazes, V.A. Borin, M. Odaybat, R. Kalepu, Y. Diskin-Posner, D. Oron, M.J. Fuchter, A. Priimagi, I. Schapiro, R. Klajn, Science 381 (2023) 1357–1363.
2023 |Published| Journal Article | IST-REx-ID: 12705 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Structure and elasticity of model disordered, polydisperse, and defect-free polymer networks
V. Sorichetti, A. Ninarello, J. Ruiz-Franco, V. Hugouvieux, E. Zaccarelli, C. Micheletti, W. Kob, L. Rovigatti, Journal of Chemical Physics 158 (2023).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| PubMed | Europe PMC
| arXiv
V. Sorichetti, A. Ninarello, J. Ruiz-Franco, V. Hugouvieux, E. Zaccarelli, C. Micheletti, W. Kob, L. Rovigatti, Journal of Chemical Physics 158 (2023).
2023 |Epub ahead of print| Journal Article | IST-REx-ID: 12738 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Stochastic games with lexicographic objectives
K. Chatterjee, J.P. Katoen, S. Mohr, M. Weininger, T. Winkler, Formal Methods in System Design (2023).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
K. Chatterjee, J.P. Katoen, S. Mohr, M. Weininger, T. Winkler, Formal Methods in System Design (2023).
2023 | Research Data Reference | IST-REx-ID: 14279 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Source data for the manuscript "CCR7 acts as both a sensor and a sink for CCL19 to coordinate collective leukocyte migration"
M.C. Ucar, (2023).
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
M.C. Ucar, (2023).
2023 |Published| Journal Article | IST-REx-ID: 10405 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Central limit theorem for linear eigenvalue statistics of non-Hermitian random matrices
G. Cipolloni, L. Erdös, D.J. Schröder, Communications on Pure and Applied Mathematics 76 (2023) 946–1034.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
G. Cipolloni, L. Erdös, D.J. Schröder, Communications on Pure and Applied Mathematics 76 (2023) 946–1034.
2023 |Published| Journal Article | IST-REx-ID: 10770 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Where do mistakes lead? A survey of games with incompetent players
T. Graham, M. Kleshnina, J.A. Filar, Dynamic Games and Applications 13 (2023) 231–264.
[Published Version]
View
| Files available
| DOI
| WoS
T. Graham, M. Kleshnina, J.A. Filar, Dynamic Games and Applications 13 (2023) 231–264.
2023 |Published| Journal Article | IST-REx-ID: 10145 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Ergodic decomposition of Dirichlet forms via direct integrals and applications
L. Dello Schiavo, Potential Analysis 58 (2023) 573–615.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
L. Dello Schiavo, Potential Analysis 58 (2023) 573–615.
2023 |Published| Journal Article | IST-REx-ID: 12669 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Beyond transcription: compelling open questions in plant RNA biology
P.A. Manavella, M.A. Godoy Herz, A.R. Kornblihtt, R. Sorenson, L.E. Sieburth, K. Nakaminami, M. Seki, Y. Ding, Q. Sun, H. Kang, F.D. Ariel, M. Crespi, A.J. Giudicatti, Q. Cai, H. Jin, X. Feng, Y. Qi, C.S. Pikaard, The Plant Cell 35 (2023).
[Published Version]
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
P.A. Manavella, M.A. Godoy Herz, A.R. Kornblihtt, R. Sorenson, L.E. Sieburth, K. Nakaminami, M. Seki, Y. Ding, Q. Sun, H. Kang, F.D. Ariel, M. Crespi, A.J. Giudicatti, Q. Cai, H. Jin, X. Feng, Y. Qi, C.S. Pikaard, The Plant Cell 35 (2023).
2023 |Published| Journal Article | IST-REx-ID: 11706 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Asymmetric Ramsey properties of random graphs involving cliques and cycles
A. Liebenau, L. Mattos, W. Mendonca dos Santos, J. Skokan, Random Structures and Algorithms 62 (2023) 1035–1055.
[Published Version]
View
| Files available
| DOI
| WoS
A. Liebenau, L. Mattos, W. Mendonca dos Santos, J. Skokan, Random Structures and Algorithms 62 (2023) 1035–1055.
2023 |Published| Journal Article | IST-REx-ID: 12707 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Small deviation estimates for the largest eigenvalue of Wigner matrices
L. Erdös, Y. Xu, Bernoulli 29 (2023) 1063–1079.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
L. Erdös, Y. Xu, Bernoulli 29 (2023) 1063–1079.
2023 |Published| Journal Article | IST-REx-ID: 12836 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Optical manipulation of Layer–Valley coherence via strong exciton–photon coupling in microcavities
M. Khatoniar, N. Yama, A. Ghazaryan, S. Guddala, P. Ghaemi, K. Majumdar, V. Menon, Advanced Optical Materials 11 (2023).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
M. Khatoniar, N. Yama, A. Ghazaryan, S. Guddala, P. Ghaemi, K. Majumdar, V. Menon, Advanced Optical Materials 11 (2023).
2023 |Published| Journal Article | IST-REx-ID: 12959 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Homogenisation of dynamical optimal transport on periodic graphs
P. Gladbach, E. Kopfer, J. Maas, L. Portinale, Calculus of Variations and Partial Differential Equations 62 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
P. Gladbach, E. Kopfer, J. Maas, L. Portinale, Calculus of Variations and Partial Differential Equations 62 (2023).
2023 |Published| Journal Article | IST-REx-ID: 12915
Thermoelectric performance of surface-engineered Cu1.5–xTe–Cu2Se nanocomposites
C. Xing, Y. Zhang, K. Xiao, X. Han, Y. Liu, B. Nan, M.G. Ramon, K.H. Lim, J. Li, J. Arbiol, B. Poudel, A. Nozariasbmarz, W. Li, M. Ibáñez, A. Cabot, ACS Nano 17 (2023) 8442–8452.
View
| DOI
| WoS
| PubMed | Europe PMC
C. Xing, Y. Zhang, K. Xiao, X. Han, Y. Liu, B. Nan, M.G. Ramon, K.H. Lim, J. Li, J. Arbiol, B. Poudel, A. Nozariasbmarz, W. Li, M. Ibáñez, A. Cabot, ACS Nano 17 (2023) 8442–8452.
2023 |Published| Journal Article | IST-REx-ID: 12961
A comparison between common marmosets (Callithrix jacchus) and human infants sheds light on traits proposed to be at the root of human octave equivalence
B. Wagner, V. Šlipogor, J. Oh, M. Varga, M. Hoeschele, Developmental Science 26 (2023).
View
| DOI
| PubMed | Europe PMC
B. Wagner, V. Šlipogor, J. Oh, M. Varga, M. Hoeschele, Developmental Science 26 (2023).
2023 |Published| Journal Article | IST-REx-ID: 12877 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
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: 12349 |
![Open access file OA](https://research-explorer.ista.ac.at/images/access_open.png)
Panoramic visual statistics shape retina-wide organization of receptive fields
D. Gupta, W.F. Mlynarski, A.L. Sumser, O. Symonova, J. Svaton, M.A. Jösch, Nature Neuroscience 26 (2023) 606–614.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
D. Gupta, W.F. Mlynarski, A.L. Sumser, O. Symonova, J. Svaton, M.A. Jösch, Nature Neuroscience 26 (2023) 606–614.