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.
7158 Publications
2023 | Published | Conference Paper | IST-REx-ID: 13967 | 
Stopping criteria for value iteration on stochastic games with quantitative objectives
J. Kretinsky, T. Meggendorfer, M. Weininger, in:, 38th Annual ACM/IEEE Symposium on Logic in Computer Science, Institute of Electrical and Electronics Engineers, 2023.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
J. Kretinsky, T. Meggendorfer, M. Weininger, in:, 38th Annual ACM/IEEE Symposium on Logic in Computer Science, Institute of Electrical and Electronics Engineers, 2023.
2023 | Published | Journal Article | IST-REx-ID: 13968 |
Optical and electronic signal stabilization of plasmonic fiber optic gate electrodes: Towards improved real-time dual-mode biosensing
R. Hasler, M.H. Steger-Polt, C. Reiner-Rozman, S. Fossati, S. Lee, P. Aspermair, C. Kleber, M. Ibáñez, J. Dostalek, W. Knoll, Frontiers in Physics 11 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
R. Hasler, M.H. Steger-Polt, C. Reiner-Rozman, S. Fossati, S. Lee, P. Aspermair, C. Kleber, M. Ibáñez, J. Dostalek, W. Knoll, Frontiers in Physics 11 (2023).
2023 | Published | Journal Article | IST-REx-ID: 13969 |
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 | Journal Article | IST-REx-ID: 13971 |
Unconventional colloidal aggregation in chiral bacterial baths
D. Grober, I. Palaia, M.C. Ucar, E.B. Hannezo, A. Šarić, J.A. Palacci, Nature Physics 19 (2023) 1680–1688.
[Published Version]
View
| Files available
| DOI
| WoS
D. Grober, I. Palaia, M.C. Ucar, E.B. Hannezo, A. Šarić, J.A. Palacci, Nature Physics 19 (2023) 1680–1688.
2023 | Published | Journal Article | IST-REx-ID: 13973 |
Order 5 Brauer–Manin obstructions to the integral Hasse principle on log K3 surfaces
J. Lyczak, Annales de l’Institut Fourier 73 (2023) 447–478.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
J. Lyczak, Annales de l’Institut Fourier 73 (2023) 447–478.
2023 | Epub ahead of print | Journal Article | IST-REx-ID: 13974 |
The crossing Tverberg theorem
R. Fulek, B. Gärtner, A. Kupavskii, P. Valtr, U. Wagner, Discrete and Computational Geometry (2023).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
R. Fulek, B. Gärtner, A. Kupavskii, P. Valtr, U. Wagner, Discrete and Computational Geometry (2023).
2023 | Published | Journal Article | IST-REx-ID: 13976 |
Scientists without borders: Lessons from Ukraine
Wolfsberger W, Chhugani K, Shchubelka K, Frolova A, Salyha Y, Zlenko O, Arych M, Dziuba D, Parkhomenko A, Smolanka V, Gümüş ZH, Sezgin E, Diaz-Lameiro A, Toth VR, Maci M, Bortz E, Kondrashov F, Morton PM, Łabaj PP, Romero V, Hlávka J, Mangul S, Oleksyk TK. 2023. Scientists without borders: Lessons from Ukraine. GigaScience. 12, giad045.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
Wolfsberger W, Chhugani K, Shchubelka K, Frolova A, Salyha Y, Zlenko O, Arych M, Dziuba D, Parkhomenko A, Smolanka V, Gümüş ZH, Sezgin E, Diaz-Lameiro A, Toth VR, Maci M, Bortz E, Kondrashov F, Morton PM, Łabaj PP, Romero V, Hlávka J, Mangul S, Oleksyk TK. 2023. Scientists without borders: Lessons from Ukraine. GigaScience. 12, giad045.
2023 | Published | Journal Article | IST-REx-ID: 14037 |
Nuclear spin effects in biological processes
O. Vardi, N. Maroudas-Sklare, Y. Kolodny, A. Volosniev, A. Saragovi, N. Galili, S. Ferrera, A. Ghazaryan, N. Yuran, H.P. Affek, B. Luz, Y. Goldsmith, N. Keren, S. Yochelis, I. Halevy, M. Lemeshko, Y. Paltiel, Proceedings of the National Academy of Sciences of the United States of America 120 (2023).
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
O. Vardi, N. Maroudas-Sklare, Y. Kolodny, A. Volosniev, A. Saragovi, N. Galili, S. Ferrera, A. Ghazaryan, N. Yuran, H.P. Affek, B. Luz, Y. Goldsmith, N. Keren, S. Yochelis, I. Halevy, M. Lemeshko, Y. Paltiel, Proceedings of the National Academy of Sciences of the United States of America 120 (2023).
2023 | Published | Journal Article | IST-REx-ID: 14039 |
The membrane surface as a platform that organizes cellular and biochemical processes
T.A. Leonard, M. Loose, S. Martens, Developmental Cell 58 (2023) 1315–1332.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
T.A. Leonard, M. Loose, S. Martens, Developmental Cell 58 (2023) 1315–1332.
2023 | Published | Journal Article | IST-REx-ID: 14040 |
The Ycf48 accessory factor occupies the site of the oxygen-evolving manganese cluster during photosystem II biogenesis
Z. Zhao, I. Vercellino, J. Knoppová, R. Sobotka, J.W. Murray, P.J. Nixon, L.A. Sazanov, J. Komenda, Nature Communications 14 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
Z. Zhao, I. Vercellino, J. Knoppová, R. Sobotka, J.W. Murray, P.J. Nixon, L.A. Sazanov, J. Komenda, Nature Communications 14 (2023).
2023 | Published | Journal Article | IST-REx-ID: 14041 |
3D cell segregation geometry and dynamics are governed by tissue surface tension regulation
E. Méhes, E. Mones, M. Varga, Á. Zsigmond, B. Biri-Kovács, L. Nyitray, V. Barone, G. Krens, C.-P.J. Heisenberg, T. Vicsek, Communications Biology 6 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
E. Méhes, E. Mones, M. Varga, Á. Zsigmond, B. Biri-Kovács, L. Nyitray, V. Barone, G. Krens, C.-P.J. Heisenberg, T. Vicsek, Communications Biology 6 (2023).
2023 | Published | Thesis | IST-REx-ID: 14058 |
The molecular basis of sexual dimorphism: Experimental and theoretical characterization of phenotypic, transcriptomic and genetic patterns of sex-specific adaptation
G. Puixeu Sala, The Molecular Basis of Sexual Dimorphism: Experimental and Theoretical Characterization of Phenotypic, Transcriptomic and Genetic Patterns of Sex-Specific Adaptation, Institute of Science and Technology Austria, 2023.
[Published Version]
View
| Files available
| DOI
G. Puixeu Sala, The Molecular Basis of Sexual Dimorphism: Experimental and Theoretical Characterization of Phenotypic, Transcriptomic and Genetic Patterns of Sex-Specific Adaptation, Institute of Science and Technology Austria, 2023.
2023 | Published | Conference Paper | IST-REx-ID: 14076 |
Monitoring hyperproperties with prefix transducers
M. Chalupa, T.A. Henzinger, in:, 23nd International Conference on Runtime Verification, Springer Nature, 2023, pp. 168–190.
[Published Version]
View
| Files available
| DOI
M. Chalupa, T.A. Henzinger, in:, 23nd International Conference on Runtime Verification, Springer Nature, 2023, pp. 168–190.
2023 | Published | Journal Article | IST-REx-ID: 14077 |
Sex-specific estimation of cis and trans regulation of gene expression in heads and gonads of Drosophila melanogaster
G. Puixeu Sala, A. Macon, B. Vicoso, G3: Genes, Genomes, Genetics 13 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
G. Puixeu Sala, A. Macon, B. Vicoso, G3: Genes, Genomes, Genetics 13 (2023).
2023 | Published | Conference Paper | IST-REx-ID: 14084 |
Parameter estimation for Gibbs distributions
D.G. Harris, V. Kolmogorov, in:, 50th International Colloquium on Automata, Languages, and Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
[Published Version]
View
| Files available
| DOI
| arXiv
D.G. Harris, V. Kolmogorov, in:, 50th International Colloquium on Automata, Languages, and Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
2023 | Published | Journal Article | IST-REx-ID: 14192 |
On the global minimum of the energy–momentum relation for the polaron
J. Lampart, D.J. Mitrouskas, K. Mysliwy, Mathematical Physics, Analysis and Geometry 26 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
J. Lampart, D.J. Mitrouskas, K. Mysliwy, Mathematical Physics, Analysis and Geometry 26 (2023).
2023 | Published | Journal Article | IST-REx-ID: 14238 |
Nonadiabatic laser-induced alignment dynamics of molecules on a surface
L. Kranabetter, H.H. Kristensen, A. Ghazaryan, C.A. Schouder, A.S. Chatterley, P. Janssen, F. Jensen, R.E. Zillich, M. Lemeshko, H. Stapelfeldt, Physical Review Letters 131 (2023).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| PubMed | Europe PMC
| arXiv
L. Kranabetter, H.H. Kristensen, A. Ghazaryan, C.A. Schouder, A.S. Chatterley, P. Janssen, F. Jensen, R.E. Zillich, M. Lemeshko, H. Stapelfeldt, Physical Review Letters 131 (2023).
2023 | Published | Journal Article | IST-REx-ID: 14240 |
Generalizing shallow water simulations with dispersive surface waves
S. Jeschke, C. Wojtan, ACM Transactions on Graphics 42 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
S. Jeschke, C. Wojtan, ACM Transactions on Graphics 42 (2023).
2023 | Published | Conference Paper | IST-REx-ID: 14241 |
Stealth shaper: Reflectivity optimization as surface stylization
K. Tojo, A. Shamir, B. Bickel, N. Umetani, in:, SIGGRAPH 2023 Conference Proceedings, Association for Computing Machinery, 2023.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
K. Tojo, A. Shamir, B. Bickel, N. Umetani, in:, SIGGRAPH 2023 Conference Proceedings, Association for Computing Machinery, 2023.
2023 | Published | Conference Paper | IST-REx-ID: 14242 |
Quantization-aware interval bound propagation for training certifiably robust quantized neural networks
M. Lechner, D. Zikelic, K. Chatterjee, T.A. Henzinger, D. Rus, in:, Proceedings of the 37th AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence, 2023, pp. 14964–14973.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M. Lechner, D. Zikelic, K. Chatterjee, T.A. Henzinger, D. Rus, in:, Proceedings of the 37th AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence, 2023, pp. 14964–14973.