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.
4858 Publications
2023 |
Published |
Thesis | PhD |
IST-REx-ID: 14058 |
Puixeu Sala G. 2023. 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.
[Published Version]
View
| Files available
| DOI
2023 |
Published |
Conference Paper |
IST-REx-ID: 14076 |
Chalupa M, Henzinger TA. 2023. Monitoring hyperproperties with prefix transducers. 23nd International Conference on Runtime Verification. RV: Conference on Runtime Verification, LNCS, vol. 14245, 168–190.
[Published Version]
View
| Files available
| DOI
2023 |
Published |
Journal Article |
IST-REx-ID: 14077 |
Puixeu Sala G, Macon A, Vicoso B. 2023. Sex-specific estimation of cis and trans regulation of gene expression in heads and gonads of Drosophila melanogaster. G3: Genes, Genomes, Genetics. 13(8).
[Published Version]
View
| Files available
| DOI
| WoS
2023 |
Published |
Journal Article |
IST-REx-ID: 14080 |
Hirashima T, Hino N, Aoki K, Matsuda M. 2023. Stretching the limits of extracellular signal-related kinase (ERK) signaling — Cell mechanosensing to ERK activation. Current Opinion in Cell Biology. 84(10), 102217.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 |
Published |
Journal Article |
IST-REx-ID: 14082
Higashi T, Stephenson RE, Schwayer C, Huljev K, Higashi AY, Heisenberg C-PJ, Chiba H, Miller AL. 2023. ZnUMBA - a live imaging method to detect local barrier breaches. Journal of Cell Science. 136(15), jcs260668.
View
| Files available
| DOI
| WoS
2023 |
Published |
Conference Paper |
IST-REx-ID: 14083 |
Resch N, Yuan C, Zhang Y. 2023. Zero-rate thresholds and new capacity bounds for list-decoding and list-recovery. 50th International Colloquium on Automata, Languages, and Programming. ICALP: International Colloquium on Automata, Languages, and Programming, LIPIcs, vol. 261, 99.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 |
Published |
Conference Paper |
IST-REx-ID: 14084 |
Harris DG, Kolmogorov V. 2023. Parameter estimation for Gibbs distributions. 50th International Colloquium on Automata, Languages, and Programming. ICALP: International Colloquium on Automata, Languages, and Programming, LIPIcs, vol. 261, 72.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 |
Published |
Conference Paper |
IST-REx-ID: 14085 |
Goranci G, Henzinger MH. 2023. Efficient data structures for incremental exact and approximate maximum flow. 50th International Colloquium on Automata, Languages, and Programming. ICALP: International Colloquium on Automata, Languages, and Programming, LIPIcs, vol. 261, 69.
[Published Version]
View
| Files available
| DOI
2023 |
Published |
Conference Paper |
IST-REx-ID: 14086 |
Henzinger MH, Liu P, Vondrák J, Zheng DW. 2023. Faster submodular maximization for several classes of matroids. 50th International Colloquium on Automata, Languages, and Programming. ICALP: International Colloquium on Automata, Languages, and Programming, LIPIcs, vol. 261, 74.
[Published Version]
View
| Files available
| DOI
| arXiv
2023 |
Published |
Journal Article |
IST-REx-ID: 14087 |
Rønning J, Renaud JB, Doostmohammadi A, Angheluta L. 2023. Spontaneous flows and dynamics of full-integer topological defects in polar active matter. Soft Matter. 39, 7513–7527.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 |
Published |
Journal Article |
IST-REx-ID: 14192 |
Lampart J, Mitrouskas DJ, Mysliwy K. 2023. On the global minimum of the energy–momentum relation for the polaron. Mathematical Physics, Analysis and Geometry. 26(3), 17.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 |
Submitted |
Preprint |
IST-REx-ID: 14207 |
Löwe S, Lippe P, Locatello F, Welling M. Rotating features for object discovery. arXiv, 2306.00600.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 |
Submitted |
Preprint |
IST-REx-ID: 14210 |
Fumero M, Wenzel F, Zancato L, Achille A, Rodolà E, Soatto S, Schölkopf B, Locatello F. Leveraging sparse and shared feature activations for disentangled representation learning. arXiv, 2304.07939.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 |
Published |
Thesis | MS |
IST-REx-ID: 14226 |
Stephenson ER. 2023. Generalizing medial axes with homology switches. Institute of Science and Technology Austria.
[Published Version]
View
| Files available
| DOI
2023 |
Published |
Journal Article |
IST-REx-ID: 14238 |
Kranabetter L, Kristensen HH, Ghazaryan A, Schouder CA, Chatterley AS, Janssen P, Jensen F, Zillich RE, Lemeshko M, Stapelfeldt H. 2023. Nonadiabatic laser-induced alignment dynamics of molecules on a surface. Physical Review Letters. 131(5), 053201.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| PubMed | Europe PMC
| arXiv
2023 |
Published |
Journal Article |
IST-REx-ID: 14239 |
Mauri M, Shinder E. 2023. Homological Bondal-Orlov localization conjecture for rational singularities. Forum of Mathematics, Sigma. 11, e66.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 |
Published |
Journal Article |
IST-REx-ID: 14240 |
Jeschke S, Wojtan C. 2023. Generalizing shallow water simulations with dispersive surface waves. ACM Transactions on Graphics. 42(4), 83.
[Published Version]
View
| Files available
| DOI
| WoS
2023 |
Published |
Conference Paper |
IST-REx-ID: 14241 |
Tojo K, Shamir A, Bickel B, Umetani N. 2023. Stealth shaper: Reflectivity optimization as surface stylization. SIGGRAPH 2023 Conference Proceedings. SIGGRAPH: Computer Graphics and Interactive Techniques Conference, 20.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 |
Published |
Conference Paper |
IST-REx-ID: 14242 |
Lechner M, Zikelic D, Chatterjee K, Henzinger TA, Rus D. 2023. Quantization-aware interval bound propagation for training certifiably robust quantized neural networks. Proceedings of the 37th AAAI Conference on Artificial Intelligence. AAAI: Conference on Artificial Intelligence vol. 37, 14964–14973.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 |
Published |
Conference Paper |
IST-REx-ID: 14243 |
Avni G, Jecker IR, Zikelic D. 2023. Bidding graph games with partially-observable budgets. Proceedings of the 37th AAAI Conference on Artificial Intelligence. AAAI: Conference on Artificial Intelligence vol. 37, 5464–5471.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv