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.
3026 Publications
2020 | Journal Article | IST-REx-ID: 8134 |

The free energy of the two-dimensional dilute Bose gas. II. Upper bound
S. Mayer, R. Seiringer, Journal of Mathematical Physics 61 (2020).
View
| DOI
| Download Preprint (ext.)
| arXiv
S. Mayer, R. Seiringer, Journal of Mathematical Physics 61 (2020).
2020 | Conference Paper | IST-REx-ID: 8135 |

Radius functions on Poisson–Delaunay mosaics and related complexes experimentally
H. Edelsbrunner, A. Nikitenko, K. Ölsböck, P. Synak, in:, Topological Data Analysis, Springer Nature, 2020, pp. 181–218.
View
| Files available
| DOI
H. Edelsbrunner, A. Nikitenko, K. Ölsböck, P. Synak, in:, Topological Data Analysis, Springer Nature, 2020, pp. 181–218.
2020 | Journal Article | IST-REx-ID: 8138 |

Strigolactones inhibit auxin feedback on PIN-dependent auxin transport canalization
J. Zhang, E. Mazur, J. Balla, M.C. Gallei, P. Kalousek, Z. Medveďová, Y. Li, Y. Wang, T. Prat, M.K. Vasileva, V. Reinöhl, S. Procházka, R. Halouzka, P. Tarkowski, C. Luschnig, P. Brewer, J. Friml, Nature Communications 11 (2020) 3508.
View
| Files available
| DOI
| PubMed | Europe PMC
J. Zhang, E. Mazur, J. Balla, M.C. Gallei, P. Kalousek, Z. Medveďová, Y. Li, Y. Wang, T. Prat, M.K. Vasileva, V. Reinöhl, S. Procházka, R. Halouzka, P. Tarkowski, C. Luschnig, P. Brewer, J. Friml, Nature Communications 11 (2020) 3508.
2020 | Journal Article | IST-REx-ID: 8139
Experimental toolbox for quantitative evaluation of clathrin-mediated endocytosis in the plant model Arabidopsis
A.J. Johnson, N. Gnyliukh, W. Kaufmann, M. Narasimhan, G. Vert, S. Bednarek, J. Friml, Journal of Cell Science 133 (2020).
View
| Files available
| DOI
| PubMed | Europe PMC
A.J. Johnson, N. Gnyliukh, W. Kaufmann, M. Narasimhan, G. Vert, S. Bednarek, J. Friml, Journal of Cell Science 133 (2020).
2020 | Journal Article | IST-REx-ID: 8142 |

Phytohormone cytokinin guides microtubule dynamics during cell progression from proliferative to differentiated stage
J.C. Montesinos López, A. Abuzeineh, A. Kopf, A. Juanes Garcia, K. Ötvös, J. Petrášek, M.K. Sixt, E. Benková, The Embo Journal 39 (2020).
View
| Files available
| DOI
| PubMed | Europe PMC
J.C. Montesinos López, A. Abuzeineh, A. Kopf, A. Juanes Garcia, K. Ötvös, J. Petrášek, M.K. Sixt, E. Benková, The Embo Journal 39 (2020).
2020 | Thesis | IST-REx-ID: 8155 |

Gene regulation across scales – how biophysical constraints shape evolution
R. Grah, Gene Regulation across Scales – How Biophysical Constraints Shape Evolution, IST Austria, 2020.
View
| Files available
| DOI
R. Grah, Gene Regulation across Scales – How Biophysical Constraints Shape Evolution, IST Austria, 2020.
2020 | Thesis | IST-REx-ID: 8156 |

Topological methods in geometry and discrete mathematics
S. Avvakumov, Topological Methods in Geometry and Discrete Mathematics, IST Austria, 2020.
View
| Files available
| DOI
S. Avvakumov, Topological Methods in Geometry and Discrete Mathematics, IST Austria, 2020.
2020 | Journal Article | IST-REx-ID: 8162 |

Cell-type specificity of genomic imprinting in cerebral cortex
S. Laukoter, F. Pauler, R.J. Beattie, N. Amberg, A.H. Hansen, C. Streicher, T. Penz, C. Bock, S. Hippenmeyer, Neuron 107 (2020) 1160–1179.e9.
View
| Files available
| DOI
S. Laukoter, F. Pauler, R.J. Beattie, N. Amberg, A.H. Hansen, C. Streicher, T. Penz, C. Bock, S. Hippenmeyer, Neuron 107 (2020) 1160–1179.e9.
2020 | Journal Article | IST-REx-ID: 8163 |

Refutation of a claim made by Fejes Tóth on the accuracy of surface meshes
G. Vegter, M. Wintraecken, Studia Scientiarum Mathematicarum Hungarica 57 (2020) 193–199.
View
| Files available
| DOI
G. Vegter, M. Wintraecken, Studia Scientiarum Mathematicarum Hungarica 57 (2020) 193–199.
2020 | Journal Article | IST-REx-ID: 8167 |

The evolution of strong reproductive isolation between sympatric intertidal snails
S. Stankowski, A.M. Westram, Z.B. Zagrodzka, I. Eyres, T. Broquet, K. Johannesson, R.K. Butlin, Philosophical Transactions of the Royal Society. Series B: Biological Sciences 375 (2020).
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
S. Stankowski, A.M. Westram, Z.B. Zagrodzka, I. Eyres, T. Broquet, K. Johannesson, R.K. Butlin, Philosophical Transactions of the Royal Society. Series B: Biological Sciences 375 (2020).
2020 | Journal Article | IST-REx-ID: 8168 |

Towards the completion of speciation: The evolution of reproductive isolation beyond the first barriers
J. Kulmuni, R.K. Butlin, K. Lucek, V. Savolainen, A.M. Westram, Philosophical Transactions of the Royal Society. Series B: Biological Sciences 375 (2020).
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
J. Kulmuni, R.K. Butlin, K. Lucek, V. Savolainen, A.M. Westram, Philosophical Transactions of the Royal Society. Series B: Biological Sciences 375 (2020).
2020 | Journal Article | IST-REx-ID: 8169 |

Evolution of strong reproductive isolation in plants: Broad-scale patterns and lessons from a perennial model group
H. Shang, J. Hess, M. Pickup, D. Field, P.K. Ingvarsson, J. Liu, C. Lexer, Philosophical Transactions of the Royal Society. Series B: Biological Sciences 375 (2020).
View
| DOI
| Download Published Version (ext.)
| PubMed | Europe PMC
H. Shang, J. Hess, M. Pickup, D. Field, P.K. Ingvarsson, J. Liu, C. Lexer, Philosophical Transactions of the Royal Society. Series B: Biological Sciences 375 (2020).
2020 | Journal Article | IST-REx-ID: 8170 |

Rotational coherence spectroscopy of molecules in Helium nanodroplets: Reconciling the time and the frequency domains
A.S. Chatterley, L. Christiansen, C.A. Schouder, A.V. Jørgensen, B. Shepperson, I. Cherepanov, G. Bighin, R.E. Zillich, M. Lemeshko, H. Stapelfeldt, Physical Review Letters 125 (2020).
View
| DOI
| Download Preprint (ext.)
| arXiv
A.S. Chatterley, L. Christiansen, C.A. Schouder, A.V. Jørgensen, B. Shepperson, I. Cherepanov, G. Bighin, R.E. Zillich, M. Lemeshko, H. Stapelfeldt, Physical Review Letters 125 (2020).
2020 | Book Chapter | IST-REx-ID: 8173
Design and application of light-regulated receptor tyrosine kinases
S. Kainrath, H.L. Janovjak, in:, D. Niopek (Ed.), Photoswitching Proteins, Springer Nature, 2020, pp. 233–246.
View
| DOI
S. Kainrath, H.L. Janovjak, in:, D. Niopek (Ed.), Photoswitching Proteins, Springer Nature, 2020, pp. 233–246.
2020 | Scientific Software | IST-REx-ID: 8181 |

Amplified centrosomes in dendritic cells promote immune cell effector functions
R. Hauschild, (2020).
View
| Files available
| DOI
R. Hauschild, (2020).
2020 | Conference Paper | IST-REx-ID: 8186 |

Leveraging 2D data to learn textured 3D mesh generation
P.M. Henderson, V. Tsiminaki, C. Lampert, in:, Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, CVF, 2020, pp. 7498–7507.
View
| Files available
| Download Submitted Version (ext.)
| arXiv
P.M. Henderson, V. Tsiminaki, C. Lampert, in:, Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, CVF, 2020, pp. 7498–7507.
2020 | Journal Article | IST-REx-ID: 8189
Phosphorous incorporation in Pd2Sn alloys for electrocatalytic ethanol oxidation
X. Yu, J. Liu, J. Li, Z. Luo, Y. Zuo, C. Xing, J. Llorca, D. Nasiou, J. Arbiol, K. Pan, T. Kleinhanns, Y. Xie, A. Cabot, Nano Energy 77 (2020).
View
| DOI
X. Yu, J. Liu, J. Li, Z. Luo, Y. Zuo, C. Xing, J. Llorca, D. Nasiou, J. Arbiol, K. Pan, T. Kleinhanns, Y. Xie, A. Cabot, Nano Energy 77 (2020).
2020 | Conference Paper | IST-REx-ID: 8191
Memory tagging: Minimalist synchronization for scalable concurrent data structures
D.-A. Alistarh, T.A. Brown, N. Singhal, in:, Annual ACM Symposium on Parallelism in Algorithms and Architectures, ACM, 2020, pp. 37–49.
View
| DOI
D.-A. Alistarh, T.A. Brown, N. Singhal, in:, Annual ACM Symposium on Parallelism in Algorithms and Architectures, ACM, 2020, pp. 37–49.
2020 | Conference Paper | IST-REx-ID: 8193
Multiple-environment Markov decision processes: Efficient analysis and applications
K. Chatterjee, M. Chmelik, D. Karkhanis, P. Novotný, A. Royer, in:, Proceedings of the 30th International Conference on Automated Planning and Scheduling, Association for the Advancement of Artificial Intelligence, 2020, pp. 48–56.
View
| Files available
K. Chatterjee, M. Chmelik, D. Karkhanis, P. Novotný, A. Royer, in:, Proceedings of the 30th International Conference on Automated Planning and Scheduling, Association for the Advancement of Artificial Intelligence, 2020, pp. 48–56.
2020 | Conference Paper | IST-REx-ID: 8194 |

An SMT theory of fixed-point arithmetic
M. Baranowski, S. He, M. Lechner, T.S. Nguyen, Z. Rakamarić, in:, Automated Reasoning, Springer Nature, 2020, pp. 13–31.
View
| DOI
| Download Published Version (ext.)
M. Baranowski, S. He, M. Lechner, T.S. Nguyen, Z. Rakamarić, in:, Automated Reasoning, Springer Nature, 2020, pp. 13–31.
2020 | Conference Paper | IST-REx-ID: 8195 |

Refinement for structured concurrent programs
B. Kragl, S. Qadeer, T.A. Henzinger, in:, Computer Aided Verification, Springer Nature, 2020, pp. 275–298.
View
| Files available
| DOI
B. Kragl, S. Qadeer, T.A. Henzinger, in:, Computer Aided Verification, Springer Nature, 2020, pp. 275–298.
2020 | Journal Article | IST-REx-ID: 8196 |

New strong convergence method for the sum of two maximal monotone operators
Y. Shehu, Q.-L. Dong, L.-L. Liu, J.-C. Yao, Optimization and Engineering (2020).
View
| Files available
| DOI
Y. Shehu, Q.-L. Dong, L.-L. Liu, J.-C. Yao, Optimization and Engineering (2020).
2020 | Preprint | IST-REx-ID: 8198 |

Robustness of the Floquet many-body localized phase in the presence of a smooth and a non-smooth drive
A.A. Diringer, T. Gulden, ArXiv (n.d.).
View
| Download Preprint (ext.)
| arXiv
A.A. Diringer, T. Gulden, ArXiv (n.d.).
2020 | Journal Article | IST-REx-ID: 8199 |

Exponentially long lifetime of universal quasi-steady states in topological Floquet pumps
T. Gulden, E. Berg, M.S. Rudner, N. Lindner, SciPost Physics 9 (2020).
View
| Files available
| DOI
T. Gulden, E. Berg, M.S. Rudner, N. Lindner, SciPost Physics 9 (2020).
2020 | Journal Article | IST-REx-ID: 8203 |

Zero field splitting of heavy-hole states in quantum dots
G. Katsaros, J. Kukucka, L. Vukušić, H. Watzinger, F. Gao, T. Wang, J.-J. Zhang, K. Held, Nano Letters 20 (2020) 5201–5206.
View
| Files available
| DOI
| PubMed | Europe PMC
G. Katsaros, J. Kukucka, L. Vukušić, H. Watzinger, F. Gao, T. Wang, J.-J. Zhang, K. Held, Nano Letters 20 (2020) 5201–5206.
2020 | Journal Article | IST-REx-ID: 8248 |

Local conditions for triangulating submanifolds of Euclidean space
J.-D. Boissonnat, R. Dyer, A. Ghosh, A. Lieutier, M. Wintraecken, Discrete and Computational Geometry (2020).
View
| DOI
| Download Published Version (ext.)
J.-D. Boissonnat, R. Dyer, A. Ghosh, A. Lieutier, M. Wintraecken, Discrete and Computational Geometry (2020).
2020 | Journal Article | IST-REx-ID: 8250 |

Mechanisms of drug interactions between translation-inhibiting antibiotics
B. Kavcic, G. Tkačik, M.T. Bollenbach, Nature Communications 11 (2020).
View
| Files available
| DOI
B. Kavcic, G. Tkačik, M.T. Bollenbach, Nature Communications 11 (2020).
2020 | Journal Article | IST-REx-ID: 8261 |

Selective routing of spatial information flow from input to output in hippocampal granule cells
X. Zhang, A. Schlögl, P.M. Jonas, Neuron 107 (2020) 1212–1225.
View
| Files available
| DOI
| PubMed | Europe PMC
X. Zhang, A. Schlögl, P.M. Jonas, Neuron 107 (2020) 1212–1225.
2020 | Journal Article | IST-REx-ID: 8268 |

Compressive sensing using iterative hard thresholding with low precision data representation: Theory and applications
N.M. Gurel, K. Kara, A. Stojanov, T. Smith, T. Lemmin, D.-A. Alistarh, M. Puschel, C. Zhang, IEEE Transactions on Signal Processing 68 (2020) 4268–4282.
View
| DOI
| Download Preprint (ext.)
| arXiv
N.M. Gurel, K. Kara, A. Stojanov, T. Smith, T. Lemmin, D.-A. Alistarh, M. Puschel, C. Zhang, IEEE Transactions on Signal Processing 68 (2020) 4268–4282.
2020 | Journal Article | IST-REx-ID: 8271
Origin of a subgenome and genome evolution of allotetraploid cotton species
P. He, Y. Zhang, G. Xiao, Molecular Plant 13 (2020) 1238–1240.
View
| DOI
| PubMed | Europe PMC
P. He, Y. Zhang, G. Xiao, Molecular Plant 13 (2020) 1238–1240.
2020 | Conference Paper | IST-REx-ID: 8272 |

Stochastic games with lexicographic reachability-safety objectives
K. Chatterjee, J.P. Katoen, M. Weininger, T. Winkler, in:, International Conference on Computer Aided Verification, Springer Nature, 2020, pp. 398–420.
View
| Files available
| DOI
| arXiv
K. Chatterjee, J.P. Katoen, M. Weininger, T. Winkler, in:, International Conference on Computer Aided Verification, Springer Nature, 2020, pp. 398–420.
2020 | Journal Article | IST-REx-ID: 8283 |

AcoMYB4, an Ananas comosus L. MYB transcription factor, functions in osmotic stress through negative regulation of ABA signaling
H. Chen, L. Lai, L. Li, L. Liu, B.H. Jakada, Y. Huang, Q. He, M. Chai, X. Niu, Y. Qin, International Journal of Molecular Sciences 21 (2020).
View
| Files available
| DOI
| PubMed | Europe PMC
H. Chen, L. Lai, L. Li, L. Liu, B.H. Jakada, Y. Huang, Q. He, M. Chai, X. Niu, Y. Qin, International Journal of Molecular Sciences 21 (2020).
2020 | Journal Article | IST-REx-ID: 8284 |

Structure and mechanism of the Mrp complex, an ancient cation/proton antiporter
J. Steiner, L.A. Sazanov, ELife 9 (2020).
View
| Files available
| DOI
| PubMed | Europe PMC
J. Steiner, L.A. Sazanov, ELife 9 (2020).
2020 | Journal Article | IST-REx-ID: 8285 |

Free space Ramsey spectroscopy in rubidium with noise below the quantum projection limit
B.K. Malia, J. Martínez-Rincón, Y. Wu, O. Hosten, M.A. Kasevich, Physical Review Letters 125 (2020).
View
| DOI
| Download Preprint (ext.)
| PubMed | Europe PMC
| arXiv
B.K. Malia, J. Martínez-Rincón, Y. Wu, O. Hosten, M.A. Kasevich, Physical Review Letters 125 (2020).
2020 | Conference Paper | IST-REx-ID: 8286 |

Dynamic averaging load balancing on cycles
D.-A. Alistarh, G. Nadiradze, A. Sabour, in:, 47th International Colloquium on Automata, Languages, and Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
View
| Files available
| DOI
| arXiv
D.-A. Alistarh, G. Nadiradze, A. Sabour, in:, 47th International Colloquium on Automata, Languages, and Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
2020 | Conference Paper | IST-REx-ID: 8287 |

Reachability analysis of linear hybrid systems via block decomposition
S. Bogomolov, M. Forets, G. Frehse, K. Potomkin, C. Schilling, in:, Proceedings of the International Conference on Embedded Software, n.d.
View
| Files available
| arXiv
S. Bogomolov, M. Forets, G. Frehse, K. Potomkin, C. Schilling, in:, Proceedings of the International Conference on Embedded Software, n.d.
2020 | Scientific Software | IST-REx-ID: 8294 |

RGtracker
R. Hauschild, (2020).
View
| Files available
| DOI
R. Hauschild, (2020).
2020 | Journal Article | IST-REx-ID: 8308 |

Stability of mobility edges in disordered interacting systems
P. Brighi, D.A. Abanin, M. Serbyn, Physical Review B 102 (2020).
View
| Files available
| DOI
P. Brighi, D.A. Abanin, M. Serbyn, Physical Review B 102 (2020).
2020 | Journal Article | IST-REx-ID: 8318 |

Key role of quinone in the mechanism of respiratory complex I
J. Gutierrez-Fernandez, K. Kaszuba, G.S. Minhas, R. Baradaran, M. Tambalo, D.T. Gallagher, L.A. Sazanov, Nature Communications 11 (2020).
View
| Files available
| DOI
| PubMed | Europe PMC
J. Gutierrez-Fernandez, K. Kaszuba, G.S. Minhas, R. Baradaran, M. Tambalo, D.T. Gallagher, L.A. Sazanov, Nature Communications 11 (2020).
2020 | Journal Article | IST-REx-ID: 8319 |

Retrieval of cavity-generated atomic spin squeezing after free-space release
Y. Wu, R. Krishnakumar, J. Martínez-Rincón, B.K. Malia, O. Hosten, M.A. Kasevich, Physical Review A 102 (2020).
View
| DOI
| Download Preprint (ext.)
| arXiv
Y. Wu, R. Krishnakumar, J. Martínez-Rincón, B.K. Malia, O. Hosten, M.A. Kasevich, Physical Review A 102 (2020).
2020 | Journal Article | IST-REx-ID: 8320
Expanding the genetic code: Unnatural base pairs in biological systems
S.A. Mukba, P. Vlasov, P.M. Kolosov, E.Y. Shuvalova, T.V. Egorova, E.Z. Alkalaeva, Molecular Biology 54 (2020) 475–484.
View
| Files available
| DOI
S.A. Mukba, P. Vlasov, P.M. Kolosov, E.Y. Shuvalova, T.V. Egorova, E.Z. Alkalaeva, Molecular Biology 54 (2020) 475–484.
2020 | Journal Article | IST-REx-ID: 8321
Expanding the genetic code: Unnatural base pairs in biological systems
S.A. Mukba, P. Vlasov, P.M. Kolosov, E.Y. Shuvalova, T.V. Egorova, E.Z. Alkalaeva, Molekuliarnaia biologiia 54 (2020) 531–541.
View
| Files available
| DOI
| PubMed | Europe PMC
S.A. Mukba, P. Vlasov, P.M. Kolosov, E.Y. Shuvalova, T.V. Egorova, E.Z. Alkalaeva, Molekuliarnaia biologiia 54 (2020) 531–541.
2020 | Conference Paper | IST-REx-ID: 8322 |

Reverse firewalls for actively secure MPCs
S. Chakraborty, S. Dziembowski, J.B. Nielsen, in:, Advances in Cryptology – CRYPTO 2020, Springer Nature, 2020, pp. 732–762.
View
| DOI
| Download Preprint (ext.)
S. Chakraborty, S. Dziembowski, J.B. Nielsen, in:, Advances in Cryptology – CRYPTO 2020, Springer Nature, 2020, pp. 732–762.
2020 | Journal Article | IST-REx-ID: 8323 |

A farewell to Ricky Pollack
J. Pach, Discrete and Computational Geometry 64 (2020) 571–574.
View
| DOI
| Download None (ext.)
J. Pach, Discrete and Computational Geometry 64 (2020) 571–574.
2020 | Journal Article | IST-REx-ID: 8325 |

Sandpile solitons via smoothing of superharmonic functions
N. Kalinin, M. Shkolnikov, Communications in Mathematical Physics 378 (2020) 1649–1675.
View
| DOI
| Download Preprint (ext.)
| arXiv
N. Kalinin, M. Shkolnikov, Communications in Mathematical Physics 378 (2020) 1649–1675.
2020 | Journal Article | IST-REx-ID: 8329 |

2‐methoxyhydroquinone from vanillin for aqueous redox‐flow batteries
W. Schlemmer, P. Nothdurft, A. Petzold, P. Frühwirt, M. Schmallegger, G. Gescheidt-Demner, R. Fischer, S.A. Freunberger, W. Kern, S. Spirk, Angewandte Chemie International Edition 59 (2020) 22943–22946.
View
| DOI
| Download Published Version (ext.)
W. Schlemmer, P. Nothdurft, A. Petzold, P. Frühwirt, M. Schmallegger, G. Gescheidt-Demner, R. Fischer, S.A. Freunberger, W. Kern, S. Spirk, Angewandte Chemie International Edition 59 (2020) 22943–22946.
2020 | Thesis | IST-REx-ID: 8332 |

Verifying concurrent programs: Refinement, synchronization, sequentialization
B. Kragl, Verifying Concurrent Programs: Refinement, Synchronization, Sequentialization, IST Austria, 2020.
View
| Files available
| DOI
B. Kragl, Verifying Concurrent Programs: Refinement, Synchronization, Sequentialization, IST Austria, 2020.
2020 | Journal Article | IST-REx-ID: 8336 |

Cytokinin fluoroprobe reveals multiple sites of cytokinin perception at plasma membrane and endoplasmic reticulum
K. Kubiasova, J.C. Montesinos López, O. Šamajová, J. Nisler, V. Mik, H. Semeradova, L. Plíhalová, O. Novák, P. Marhavý, N. Cavallari, D. Zalabák, K. Berka, K. Doležal, P. Galuszka, J. Šamaj, M. Strnad, E. Benková, O. Plíhal, L. Spíchal, Nature Communications 11 (2020).
View
| Files available
| DOI
| PubMed | Europe PMC
K. Kubiasova, J.C. Montesinos López, O. Šamajová, J. Nisler, V. Mik, H. Semeradova, L. Plíhalová, O. Novák, P. Marhavý, N. Cavallari, D. Zalabák, K. Berka, K. Doležal, P. Galuszka, J. Šamaj, M. Strnad, E. Benková, O. Plíhal, L. Spíchal, Nature Communications 11 (2020).
2020 | Journal Article | IST-REx-ID: 8337 |

Cell-surface receptors enable perception of extracellular cytokinins
I. Antoniadi, O. Novák, Z. Gelová, A.J. Johnson, O. Plíhal, R. Simerský, V. Mik, T. Vain, E. Mateo-Bonmatí, M. Karady, M. Pernisová, L. Plačková, K. Opassathian, J. Hejátko, S. Robert, J. Friml, K. Doležal, K. Ljung, C. Turnbull, Nature Communications 11 (2020).
View
| Files available
| DOI
I. Antoniadi, O. Novák, Z. Gelová, A.J. Johnson, O. Plíhal, R. Simerský, V. Mik, T. Vain, E. Mateo-Bonmatí, M. Karady, M. Pernisová, L. Plačková, K. Opassathian, J. Hejátko, S. Robert, J. Friml, K. Doležal, K. Ljung, C. Turnbull, Nature Communications 11 (2020).
2020 | Journal Article | IST-REx-ID: 8338 |

On mutually diagonal nets on (confocal) quadrics and 3-dimensional webs
A. Akopyan, A.I. Bobenko, W.K. Schief, J. Techter, Discrete and Computational Geometry (2020).
View
| DOI
| Download Preprint (ext.)
| arXiv
A. Akopyan, A.I. Bobenko, W.K. Schief, J. Techter, Discrete and Computational Geometry (2020).
2020 | Conference Paper | IST-REx-ID: 8339 |

Improved discrete Gaussian and subgaussian analysis for lattice cryptography
N. Genise, D. Micciancio, C. Peikert, M. Walter, in:, 23rd IACR International Conference on the Practice and Theory of Public-Key Cryptography, Springer Nature, 2020, pp. 623–651.
View
| DOI
| Download Preprint (ext.)
N. Genise, D. Micciancio, C. Peikert, M. Walter, in:, 23rd IACR International Conference on the Practice and Theory of Public-Key Cryptography, Springer Nature, 2020, pp. 623–651.
2020 | Thesis | IST-REx-ID: 8340
Molecular mechanisms of mitochondrial redox-coupled proton pumping enzymes
D. Kampjut, Molecular Mechanisms of Mitochondrial Redox-Coupled Proton Pumping Enzymes, IST Austria, 2020.
View
| Files available
| DOI
D. Kampjut, Molecular Mechanisms of Mitochondrial Redox-Coupled Proton Pumping Enzymes, IST Austria, 2020.
2020 | Thesis | IST-REx-ID: 8341
In vitro reconstitution of a Rab activation switch
U. Bezeljak, In Vitro Reconstitution of a Rab Activation Switch, IST Austria, 2020.
View
| Files available
| DOI
U. Bezeljak, In Vitro Reconstitution of a Rab Activation Switch, IST Austria, 2020.
2020 | Preprint | IST-REx-ID: 8349 |

Nonlinear computations in spiking neural networks through multiplicative synapses
M. Nardin, J.W. Phillips, W.F. Podlaski, S.W. Keemink, ArXiv (n.d.).
View
| Download Preprint (ext.)
| arXiv
M. Nardin, J.W. Phillips, W.F. Podlaski, S.W. Keemink, ArXiv (n.d.).
2020 | Thesis | IST-REx-ID: 8350
Bulk actin dynamics drive phase segregation in zebrafish oocytes
S. Shamipour, Bulk Actin Dynamics Drive Phase Segregation in Zebrafish Oocytes , IST Austria, 2020.
View
| Files available
| DOI
S. Shamipour, Bulk Actin Dynamics Drive Phase Segregation in Zebrafish Oocytes , IST Austria, 2020.
2020 | Thesis | IST-REx-ID: 8353
Biochemical and structural investigation of the Mrp antiporter, an ancestor of complex I
J. Steiner, Biochemical and Structural Investigation of the Mrp Antiporter, an Ancestor of Complex I, IST Austria, 2020.
View
| Files available
| DOI
J. Steiner, Biochemical and Structural Investigation of the Mrp Antiporter, an Ancestor of Complex I, IST Austria, 2020.
2020 | Thesis | IST-REx-ID: 8358 |

Organization and dynamics of treadmilling filaments in cytoskeletal networks of FtsZ and its crosslinkers
P.R. Dos Santos Caldas, Organization and Dynamics of Treadmilling Filaments in Cytoskeletal Networks of FtsZ and Its Crosslinkers, IST Austria, 2020.
View
| Files available
| DOI
P.R. Dos Santos Caldas, Organization and Dynamics of Treadmilling Filaments in Cytoskeletal Networks of FtsZ and Its Crosslinkers, IST Austria, 2020.
2020 | Journal Article | IST-REx-ID: 8361 |

Current status and future perspectives of lithium metal batteries
A. Varzi, K. Thanner, R. Scipioni, D. Di Lecce, J. Hassoun, S. Dörfler, H. Altheus, S. Kaskel, C. Prehal, S.A. Freunberger, Journal of Power Sources 480 (2020).
View
| Files available
| DOI
| Download Published Version (ext.)
A. Varzi, K. Thanner, R. Scipioni, D. Di Lecce, J. Hassoun, S. Dörfler, H. Altheus, S. Kaskel, C. Prehal, S.A. Freunberger, Journal of Power Sources 480 (2020).
2020 | Thesis | IST-REx-ID: 8366 |

Computational design of curved thin shells: From glass façades to programmable matter
R. Guseinov, Computational Design of Curved Thin Shells: From Glass Façades to Programmable Matter, IST Austria, 2020.
View
| Files available
| DOI
R. Guseinov, Computational Design of Curved Thin Shells: From Glass Façades to Programmable Matter, IST Austria, 2020.
2020 | Research Data | IST-REx-ID: 8375 |

Supplementary data for "Computational design of curved thin shells: from glass façades to programmable matter"
R. Guseinov, (2020).
View
| Files available
| DOI
R. Guseinov, (2020).
2020 | Conference Paper | IST-REx-ID: 8383
Brief Announcement: Why Extension-Based Proofs Fail
D.-A. Alistarh, J. Aspnes, F. Ellen, R. Gelashvili, L. Zhu, in:, Proceedings of the 39th Symposium on Principles of Distributed Computing, ACM, 2020, pp. 54–56.
View
| DOI
D.-A. Alistarh, J. Aspnes, F. Ellen, R. Gelashvili, L. Zhu, in:, Proceedings of the 39th Symposium on Principles of Distributed Computing, ACM, 2020, pp. 54–56.
2020 | Journal Article | IST-REx-ID: 8384 |

A model for soap film dynamics with evolving thickness
S. Ishida, P. Synak, F. Narita, T. Hachisuka, C.J. Wojtan, ACM Transactions on Graphics 39 (2020).
View
| Files available
| DOI
| Download Submitted Version (ext.)
S. Ishida, P. Synak, F. Narita, T. Hachisuka, C.J. Wojtan, ACM Transactions on Graphics 39 (2020).
2020 | Journal Article | IST-REx-ID: 8385 |

Homogenized yarn-level cloth
G. Sperl, R. Narain, C.J. Wojtan, ACM Transactions on Graphics 39 (2020).
View
| Files available
| DOI
| Download Submitted Version (ext.)
G. Sperl, R. Narain, C.J. Wojtan, ACM Transactions on Graphics 39 (2020).
2020 | Thesis | IST-REx-ID: 8386 |

Structure-aware computational design and its application to 3D printable volume scattering, mechanism, and multistability
R. Zhang, Structure-Aware Computational Design and Its Application to 3D Printable Volume Scattering, Mechanism, and Multistability, IST Austria, 2020.
View
| Files available
| DOI
R. Zhang, Structure-Aware Computational Design and Its Application to 3D Printable Volume Scattering, Mechanism, and Multistability, IST Austria, 2020.
2020 | Thesis | IST-REx-ID: 8390 |

Leveraging structure in Computer Vision tasks for flexible Deep Learning models
A. Royer, Leveraging Structure in Computer Vision Tasks for Flexible Deep Learning Models, IST Austria, 2020.
View
| Files available
| DOI
A. Royer, Leveraging Structure in Computer Vision Tasks for Flexible Deep Learning Models, IST Austria, 2020.
2020 | Preprint | IST-REx-ID: 8429 |

Probabilistic inference of the genetic architecture of functional enrichment of complex traits
M. Patxot, D. Trejo Banos, A. Kousathanas, E.J. Orliac, S.E. Ojavee, G. Moser, J. Sidorenko, Z. Kutalik, R. Magi, P.M. Visscher, L. Ronnegard, M.R. Robinson, MedRxiv (2020).
View
| DOI
| Download Preprint (ext.)
M. Patxot, D. Trejo Banos, A. Kousathanas, E.J. Orliac, S.E. Ojavee, G. Moser, J. Sidorenko, Z. Kutalik, R. Magi, P.M. Visscher, L. Ronnegard, M.R. Robinson, MedRxiv (2020).
2020 | Preprint | IST-REx-ID: 8430 |

Genomic architecture and prediction of censored time-to-event phenotypes with a Bayesian genome-wide analysis
S.E. Ojavee, A. Kousathanas, D. Trejo Banos, E.J. Orliac, M. Patxot, K. Lall, R. Magi, K. Fischer, Z. Kutalik, M.R. Robinson, MedRxiv (n.d.).
View
| DOI
| Download Preprint (ext.)
S.E. Ojavee, A. Kousathanas, D. Trejo Banos, E.J. Orliac, M. Patxot, K. Lall, R. Magi, K. Fischer, Z. Kutalik, M.R. Robinson, MedRxiv (n.d.).
2020 | Journal Article | IST-REx-ID: 8529 |

Converting microwave and telecom photons with a silicon photonic nanomechanical interface
G.M. Arnold, M. Wulf, S. Barzanjeh, E. Redchenko, A.R. Rueda Sanchez, W.J. Hease, F. Hassani, J.M. Fink, Nature Communications 11 (2020).
View
| Files available
| DOI
G.M. Arnold, M. Wulf, S. Barzanjeh, E. Redchenko, A.R. Rueda Sanchez, W.J. Hease, F. Hassani, J.M. Fink, Nature Communications 11 (2020).
2020 | Journal Article | IST-REx-ID: 8532 |

Deep learning-assisted high-throughput analysis of freeze-fracture replica images applied to glutamate receptors and calcium channels at hippocampal synapses
D. Kleindienst, J.-C. Montanaro-Punzengruber, P. Bhandari, M.J. Case, Y. Fukazawa, R. Shigemoto, International Journal of Molecular Sciences 21 (2020).
View
| Files available
| DOI
D. Kleindienst, J.-C. Montanaro-Punzengruber, P. Bhandari, M.J. Case, Y. Fukazawa, R. Shigemoto, International Journal of Molecular Sciences 21 (2020).
2020 | Conference Paper | IST-REx-ID: 8533 |

Simplified game of life: Algorithms and complexity
K. Chatterjee, R. Ibsen-Jensen, I.R. Jecker, J. Svoboda, in:, 45th International Symposium on Mathematical Foundations of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
View
| Files available
| DOI
| arXiv
K. Chatterjee, R. Ibsen-Jensen, I.R. Jecker, J. Svoboda, in:, 45th International Symposium on Mathematical Foundations of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
2020 | Conference Paper | IST-REx-ID: 8534 |

Unary prime languages
I.R. Jecker, O. Kupferman, N. Mazzocchi, in:, 45th International Symposium on Mathematical Foundations of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
View
| Files available
| DOI
I.R. Jecker, O. Kupferman, N. Mazzocchi, in:, 45th International Symposium on Mathematical Foundations of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
2020 | Journal Article | IST-REx-ID: 8535 |

Wave curves: Simulating Lagrangian water waves on dynamically deforming surfaces
T. Skrivan, A. Soderstrom, J. Johansson, C. Sprenger, K. Museth, C.J. Wojtan, ACM Transactions on Graphics 39 (2020).
View
| Files available
| DOI
T. Skrivan, A. Soderstrom, J. Johansson, C. Sprenger, K. Museth, C.J. Wojtan, ACM Transactions on Graphics 39 (2020).
2020 | Conference Paper | IST-REx-ID: 8536 |

Simplified successive cancellation decoding of polar codes has sublinear latency
M. Mondelli, S.A. Hashemi, J. Cioffi, A. Goldsmith, in:, IEEE International Symposium on Information Theory - Proceedings, IEEE, 2020.
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
M. Mondelli, S.A. Hashemi, J. Cioffi, A. Goldsmith, in:, IEEE International Symposium on Information Theory - Proceedings, IEEE, 2020.
2020 | Journal Article | IST-REx-ID: 8538 |

Billiards in ellipses revisited
A. Akopyan, R. Schwartz, S. Tabachnikov, European Journal of Mathematics (2020).
View
| DOI
| Download Preprint (ext.)
| arXiv
A. Akopyan, R. Schwartz, S. Tabachnikov, European Journal of Mathematics (2020).
2020 | Journal Article | IST-REx-ID: 8539 |

On the K-theory stable bases of the springer resolution
C. Su, G. Zhao, C. Zhong, Annales Scientifiques de l’Ecole Normale Superieure 53 (2020) 663–671.
View
| DOI
| Download Preprint (ext.)
| arXiv
C. Su, G. Zhao, C. Zhong, Annales Scientifiques de l’Ecole Normale Superieure 53 (2020) 663–671.
2020 | Journal Article | IST-REx-ID: 8544 |

GluD2- and Cbln1-mediated competitive synaptogenesis shapes the dendritic arbors of cerebellar Purkinje cells
Y.H. Takeo, S.A. Shuster, L. Jiang, M. Hu, D.J. Luginbuhl, T. Rülicke, X. Contreras, S. Hippenmeyer, M.J. Wagner, S. Ganguli, L. Luo, Neuron (n.d.).
View
| DOI
| Download Preprint (ext.)
Y.H. Takeo, S.A. Shuster, L. Jiang, M. Hu, D.J. Luginbuhl, T. Rülicke, X. Contreras, S. Hippenmeyer, M.J. Wagner, S. Ganguli, L. Luo, Neuron (n.d.).
2020 | Preprint | IST-REx-ID: 8545 |

A genome-wide library of MADM mice for single-cell genetic mosaic analysis
X. Contreras, A. Davaatseren, N. Amberg, A.H. Hansen, J. Sonntag, L. Andersen, T. Bernthaler, A.-M. Heger, R. Johnson, L.A. Schwarz, L. Luo, T. Rülicke, S. Hippenmeyer, BioRxiv (2020).
View
| DOI
| Download Preprint (ext.)
X. Contreras, A. Davaatseren, N. Amberg, A.H. Hansen, J. Sonntag, L. Andersen, T. Bernthaler, A.-M. Heger, R. Johnson, L.A. Schwarz, L. Luo, T. Rülicke, S. Hippenmeyer, BioRxiv (2020).
2020 | Preprint | IST-REx-ID: 8546 |

Generation of neuronal diversity from common progenitors via Notch signaling in the cerebellum
T. Zhang, T. Liu, N. Mora, J. Guegan, M. Bertrand, X. Contreras, A.H. Hansen, C. Streicher, M. Anderle, L. Tiberi, S. Hippenmeyer, B.A. Hassan, BioRxiv (n.d.).
View
| DOI
| Download Preprint (ext.)
T. Zhang, T. Liu, N. Mora, J. Guegan, M. Bertrand, X. Contreras, A.H. Hansen, C. Streicher, M. Anderle, L. Tiberi, S. Hippenmeyer, B.A. Hassan, BioRxiv (n.d.).
2020 | Preprint | IST-REx-ID: 8557 |

Cortical actin properties controlled by Drosophila Fos aid macrophage infiltration against surrounding tissue resistance
V. Belyaeva, S. Wachner, I. Gridchyn, M. Linder, S. Emtenani, A. György, M. Sibilia, D.E. Siekhaus, BioRxiv (n.d.).
View
| Files available
| DOI
| Download Preprint (ext.)
V. Belyaeva, S. Wachner, I. Gridchyn, M. Linder, S. Emtenani, A. György, M. Sibilia, D.E. Siekhaus, BioRxiv (n.d.).
2020 | Journal Article | IST-REx-ID: 8562 |

Computational design of cold bent glass façades
K. Gavriil, R. Guseinov, J. Perez Rodriguez, D. Pellis, P.M. Henderson, F. Rist, H. Pottmann, B. Bickel, ACM Transactions on Graphics 39 (2020).
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
K. Gavriil, R. Guseinov, J. Perez Rodriguez, D. Pellis, P.M. Henderson, F. Rist, H. Pottmann, B. Bickel, ACM Transactions on Graphics 39 (2020).
2020 | Research Data | IST-REx-ID: 8563 |

Optogenetic alteration of hippocampal network activity
J.L. Csicsvari, I. Gridchyn, P. Schönenberger, (2020).
View
| Files available
| DOI
J.L. Csicsvari, I. Gridchyn, P. Schönenberger, (2020).
2020 | Journal Article | IST-REx-ID: 8568 |

Persistent and reversible solid iodine electrodeposition in nanoporous carbons
C. Prehal, H. Fitzek, G. Kothleitner, V. Presser, B. Gollas, S.A. Freunberger, Q. Abbas, Nature Communications 11 (2020).
View
| Files available
| DOI
C. Prehal, H. Fitzek, G. Kothleitner, V. Presser, B. Gollas, S.A. Freunberger, Q. Abbas, Nature Communications 11 (2020).
2020 | Journal Article | IST-REx-ID: 8569 |

Non-cell-autonomous mechanisms in radial projection neuron migration in the developing cerebral cortex
A.H. Hansen, S. Hippenmeyer, Frontiers in Cell and Developmental Biology 8 (2020).
View
| Files available
| DOI
| PubMed | Europe PMC
A.H. Hansen, S. Hippenmeyer, Frontiers in Cell and Developmental Biology 8 (2020).
2020 | Conference Paper | IST-REx-ID: 8571 |

ARCH-COMP20 Category Report: Continuous and hybrid systems with nonlinear dynamics
L. Geretti, J. Alexandre Dit Sandretto, M. Althoff, L. Benet, A. Chapoutot, X. Chen, P. Collins, M. Forets, D. Freire, F. Immler, N. Kochdumper, D. Sanders, C. Schilling, in:, EPiC Series in Computing, EasyChair, 2020, pp. 49–75.
View
| DOI
| Download Published Version (ext.)
L. Geretti, J. Alexandre Dit Sandretto, M. Althoff, L. Benet, A. Chapoutot, X. Chen, P. Collins, M. Forets, D. Freire, F. Immler, N. Kochdumper, D. Sanders, C. Schilling, in:, EPiC Series in Computing, EasyChair, 2020, pp. 49–75.
2020 | Conference Paper | IST-REx-ID: 8572 |

ARCH-COMP20 Category Report: Continuous and hybrid systems with linear dynamics
M. Althoff, S. Bak, Z. Bao, M. Forets, G. Frehse, D. Freire, N. Kochdumper, Y. Li, S. Mitra, R. Ray, C. Schilling, S. Schupp, M. Wetzlinger, in:, EPiC Series in Computing, EasyChair, 2020, pp. 16–48.
View
| DOI
| Download Published Version (ext.)
M. Althoff, S. Bak, Z. Bao, M. Forets, G. Frehse, D. Freire, N. Kochdumper, Y. Li, S. Mitra, R. Ray, C. Schilling, S. Schupp, M. Wetzlinger, in:, EPiC Series in Computing, EasyChair, 2020, pp. 16–48.
2020 | Thesis | IST-REx-ID: 8574 |

Local adaptation in metapopulations
E. Szep, Local Adaptation in Metapopulations, IST Austria, 2020.
View
| Files available
| DOI
E. Szep, Local Adaptation in Metapopulations, IST Austria, 2020.
2020 | Journal Article | IST-REx-ID: 8579 |

Cu homeostasis in bacteria: The ins and outs
A. Andrei, Y. Öztürk, B. Khalfaoui-Hassani, J. Rauch, D. Marckmann, P.I. Trasnea, F. Daldal, H.-G. Koch, Membranes 10 (2020).
View
| Files available
| DOI
A. Andrei, Y. Öztürk, B. Khalfaoui-Hassani, J. Rauch, D. Marckmann, P.I. Trasnea, F. Daldal, H.-G. Koch, Membranes 10 (2020).
2020 | Conference Paper | IST-REx-ID: 8580
The application of persistent homology in the analysis of heart rate variability
G. Graff, B. Graff, G. Jablonski, K. Narkiewicz, in:, 11th Conference of the European Study Group on Cardiovascular Oscillations: Computation and Modelling in Physiology: New Challenges and Opportunities, , IEEE, 2020.
View
| DOI
G. Graff, B. Graff, G. Jablonski, K. Narkiewicz, in:, 11th Conference of the European Study Group on Cardiovascular Oscillations: Computation and Modelling in Physiology: New Challenges and Opportunities, , IEEE, 2020.
2020 | Journal Article | IST-REx-ID: 8581
Cryo-EM structure of the entire mammalian F-type ATP synthase
G. Pinke, L. Zhou, L.A. Sazanov, Nature Structural and Molecular Biology 27 (2020) 1077–1085.
View
| Files available
| DOI
| PubMed | Europe PMC
G. Pinke, L. Zhou, L.A. Sazanov, Nature Structural and Molecular Biology 27 (2020) 1077–1085.
2020 | Journal Article | IST-REx-ID: 8586 |

3D printed cell culture grid holders for improved cellular specimen preparation in cryo-electron microscopy
F. Fäßler, B. Zens, R. Hauschild, F.K. Schur, Journal of Structural Biology 212 (2020).
View
| Files available
| DOI
F. Fäßler, B. Zens, R. Hauschild, F.K. Schur, Journal of Structural Biology 212 (2020).
2020 | Journal Article | IST-REx-ID: 8587 |

Intermolecular forces and correlations mediated by a phonon bath
X. Li, E. Yakaboylu, G. Bighin, R. Schmidt, M. Lemeshko, A. Deuchert, The Journal of Chemical Physics 152 (2020).
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
X. Li, E. Yakaboylu, G. Bighin, R. Schmidt, M. Lemeshko, A. Deuchert, The Journal of Chemical Physics 152 (2020).
2020 | Journal Article | IST-REx-ID: 8588 |

Attractive interactions, molecular complexes, and polarons in coupled dipolar exciton fluids
C. Hubert, K. Cohen, A. Ghazaryan, M. Lemeshko, R. Rapaport, P.V. Santos, Physical Review B 102 (2020).
View
| DOI
| Download Preprint (ext.)
| arXiv
C. Hubert, K. Cohen, A. Ghazaryan, M. Lemeshko, R. Rapaport, P.V. Santos, Physical Review B 102 (2020).
2020 | Thesis | IST-REx-ID: 8589
Novel insights into PIN polarity regulation during Arabidopsis development
H. Han, Novel Insights into PIN Polarity Regulation during Arabidopsis Development, IST Austria, 2020.
View
| Files available
| DOI
H. Han, Novel Insights into PIN Polarity Regulation during Arabidopsis Development, IST Austria, 2020.
2020 | Journal Article | IST-REx-ID: 8592 |

Oncogenic state and cell identity combinatorially dictate the susceptibility of cells within glioma development hierarchy to IGF1R targeting
A. Tian, B. Kang, B. Li, B. Qiu, W. Jiang, F. Shao, Q. Gao, R. Liu, C. Cai, R. Jing, W. Wang, P. Chen, Q. Liang, L. Bao, J. Man, Y. Wang, Y. Shi, J. Li, M. Yang, L. Wang, J. Zhang, S. Hippenmeyer, J. Zhu, X. Bian, Y. Wang, C. Liu, Advanced Science 7 (2020).
View
| Files available
| DOI
A. Tian, B. Kang, B. Li, B. Qiu, W. Jiang, F. Shao, Q. Gao, R. Liu, C. Cai, R. Jing, W. Wang, P. Chen, Q. Liang, L. Bao, J. Man, Y. Wang, Y. Shi, J. Li, M. Yang, L. Wang, J. Zhang, S. Hippenmeyer, J. Zhu, X. Bian, Y. Wang, C. Liu, Advanced Science 7 (2020).
2020 | Journal Article | IST-REx-ID: 8597 |

Differences in power law growth over time and indicators of COVID-19 pandemic progression worldwide
J. Merrin, Physical Biology 17 (2020).
View
| Files available
| DOI
J. Merrin, Physical Biology 17 (2020).
2020 | Conference Paper | IST-REx-ID: 8599 |

A survey of bidding games on graphs
G. Avni, T.A. Henzinger, in:, 31st International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
View
| Files available
| DOI
G. Avni, T.A. Henzinger, in:, 31st International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
2020 | Conference Paper | IST-REx-ID: 8600 |

Multi-dimensional long-run average problems for vector addition systems with states
K. Chatterjee, T.A. Henzinger, J. Otop, in:, 31st International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
View
| Files available
| DOI
| arXiv
K. Chatterjee, T.A. Henzinger, J. Otop, in:, 31st International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020.
2020 | Journal Article | IST-REx-ID: 8601 |

Edge universality for non-Hermitian random matrices
G. Cipolloni, L. Erdös, D.J. Schröder, Probability Theory and Related Fields (2020).
View
| Files available
| DOI
| arXiv
G. Cipolloni, L. Erdös, D.J. Schröder, Probability Theory and Related Fields (2020).
2020 | Journal Article | IST-REx-ID: 8602 |

Theory of mechanochemical patterning and optimal migration in cell monolayers
D.R. Boocock, N. Hino, N. Ruzickova, T. Hirashima, E.B. Hannezo, Nature Physics (2020).
View
| Files available
| DOI
| Download Preprint (ext.)
D.R. Boocock, N. Hino, N. Ruzickova, T. Hirashima, E.B. Hannezo, Nature Physics (2020).
2020 | Journal Article | IST-REx-ID: 8603
Quantum corrections to the Pekar asymptotics of a strongly coupled polaron
R. Frank, R. Seiringer, Communications on Pure and Applied Mathematics 74 (2020) 544–588.
View
| DOI
R. Frank, R. Seiringer, Communications on Pure and Applied Mathematics 74 (2020) 544–588.