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.
5373 Publications
2023 | Published | Journal Article | IST-REx-ID: 14042 | 
On unsteady internal flows of incompressible fluids characterized by implicit constitutive equations in the bulk and on the boundary
M. Bulíček, J. Málek, E. Maringová, Journal of Mathematical Fluid Mechanics 25 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
M. Bulíček, J. Málek, E. Maringová, Journal of Mathematical Fluid Mechanics 25 (2023).
2023 | Published | Journal Article | IST-REx-ID: 14043 |
A combinatorial cut-toggling algorithm for solving Laplacian linear systems
M. Henzinger, B. Jin, R. Peng, D.P. Williamson, Algorithmica 85 (2023) 2680–3716.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
M. Henzinger, B. Jin, R. Peng, D.P. Williamson, Algorithmica 85 (2023) 2680–3716.
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 | Journal Article | IST-REx-ID: 14080 |
Stretching the limits of extracellular signal-related kinase (ERK) signaling — Cell mechanosensing to ERK activation
T. Hirashima, N. Hino, K. Aoki, M. Matsuda, Current Opinion in Cell Biology 84 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
T. Hirashima, N. Hino, K. Aoki, M. Matsuda, Current Opinion in Cell Biology 84 (2023).
2023 | Published | Conference Paper | IST-REx-ID: 14083 |
Zero-rate thresholds and new capacity bounds for list-decoding and list-recovery
N. Resch, C. Yuan, Y. Zhang, in:, 50th International Colloquium on Automata, Languages, and Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
[Published Version]
View
| Files available
| DOI
| arXiv
N. Resch, C. Yuan, Y. Zhang, in:, 50th International Colloquium on Automata, Languages, and Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 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 | Conference Paper | IST-REx-ID: 14085 |
Efficient data structures for incremental exact and approximate maximum flow
G. Goranci, M. Henzinger, in:, 50th International Colloquium on Automata, Languages, and Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
[Published Version]
View
| Files available
| DOI
G. Goranci, M. Henzinger, in:, 50th International Colloquium on Automata, Languages, and Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
2023 | Published | Conference Paper | IST-REx-ID: 14086 |
Faster submodular maximization for several classes of matroids
M. Henzinger, P. Liu, J. Vondrák, D.W. Zheng, in:, 50th International Colloquium on Automata, Languages, and Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
[Published Version]
View
| Files available
| DOI
| arXiv
M. Henzinger, P. Liu, J. Vondrák, D.W. Zheng, in:, 50th International Colloquium on Automata, Languages, and Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.
2023 | Published | Journal Article | IST-REx-ID: 14087 |
Spontaneous flows and dynamics of full-integer topological defects in polar active matter
J. Rønning, J.B. Renaud, A. Doostmohammadi, L. Angheluta, Soft Matter 39 (2023) 7513–7527.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
J. Rønning, J.B. Renaud, A. Doostmohammadi, L. Angheluta, Soft Matter 39 (2023) 7513–7527.
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 | Submitted | Preprint | IST-REx-ID: 14207 |
Rotating features for object discovery
S. Löwe, P. Lippe, F. Locatello, M. Welling, ArXiv (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
S. Löwe, P. Lippe, F. Locatello, M. Welling, ArXiv (n.d.).
2023 | Submitted | Preprint | IST-REx-ID: 14210 |
Leveraging sparse and shared feature activations for disentangled representation learning
M. Fumero, F. Wenzel, L. Zancato, A. Achille, E. Rodolà, S. Soatto, B. Schölkopf, F. Locatello, ArXiv (n.d.).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
M. Fumero, F. Wenzel, L. Zancato, A. Achille, E. Rodolà, S. Soatto, B. Schölkopf, F. Locatello, ArXiv (n.d.).
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: 14239 |
Homological Bondal-Orlov localization conjecture for rational singularities
M. Mauri, E. Shinder, Forum of Mathematics, Sigma 11 (2023).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
M. Mauri, E. Shinder, Forum of Mathematics, Sigma 11 (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.
2023 | Published | Conference Paper | IST-REx-ID: 14243 |
Bidding graph games with partially-observable budgets
G. Avni, I.R. Jecker, D. Zikelic, in:, Proceedings of the 37th AAAI Conference on Artificial Intelligence, 2023, pp. 5464–5471.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
G. Avni, I.R. Jecker, D. Zikelic, in:, Proceedings of the 37th AAAI Conference on Artificial Intelligence, 2023, pp. 5464–5471.