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.
10763 Publications
2019 | Published | Conference Paper | IST-REx-ID: 6528 | 
Pietrzak, Krzysztof Z. “Simple Verifiable Delay Functions.” In 10th Innovations in Theoretical Computer Science Conference, Vol. 124. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019. https://doi.org/10.4230/LIPICS.ITCS.2019.60.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2019 | Published | Journal Article | IST-REx-ID: 6513 |
Guiu, Jordi, Edouard B Hannezo, Shiro Yui, Samuel Demharter, Svetlana Ulyanchenko, Martti Maimets, Anne Jørgensen, et al. “Tracing the Origin of Adult Intestinal Stem Cells.” Nature. Springer Nature, 2019. https://doi.org/10.1038/s41586-019-1212-5.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
2019 | Published | Journal Article | IST-REx-ID: 6511 |
Bao, Zhigang, László Erdös, and Kevin Schnelli. “Local Single Ring Theorem on Optimal Scale.” Annals of Probability. Institute of Mathematical Statistics, 2019. https://doi.org/10.1214/18-AOP1284.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Published | Conference Paper | IST-REx-ID: 6565 |
Kundu, Atreyee, Miriam Garcia Soto, and Pavithra Prabhakar. “Formal Synthesis of Stabilizing Controllers for Periodically Controlled Linear Switched Systems.” In 5th Indian Control Conference Proceedings. IEEE, 2019. https://doi.org/10.1109/INDIANCC.2019.8715598.
[Submitted Version]
View
| Files available
| DOI
2019 | Published | Journal Article | IST-REx-ID: 6564 |
Tichy, Alexandra-Madelaine, Elliot J. Gerrard, Julien M.D. Legrand, Robin M. Hobbs, and Harald L Janovjak. “Engineering Strategy and Vector Library for the Rapid Generation of Modular Light-Controlled Protein–Protein Interactions.” Journal of Molecular Biology. Elsevier, 2019. https://doi.org/10.1016/j.jmb.2019.05.033.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
2019 | Published | Journal Article | IST-REx-ID: 6601 |
Hannezo, Edouard B, and Carl-Philipp J Heisenberg. “Mechanochemical Feedback Loops in Development and Disease.” Cell. Elsevier, 2019. https://doi.org/10.1016/j.cell.2019.05.052.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2019 | Published | Journal Article | IST-REx-ID: 6632 |
Karle, Volker, Nicolò Defenu, and Tilman Enss. “Coupled Superfluidity of Binary Bose Mixtures in Two Dimensions.” Physical Review A. American Physical Society, 2019. https://doi.org/10.1103/PhysRevA.99.063627.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Published | Journal Article | IST-REx-ID: 6620 |
De La Bretèche, Régis, Kevin N Destagnol, Jianya Liu, Jie Wu, and Yongqiang Zhao. “On a Certain Non-Split Cubic Surface.” Science China Mathematics. Springer, 2019. https://doi.org/10.1007/s11425-018-9543-8.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Published | Conference Paper | IST-REx-ID: 6725 |
Kolmogorov, Vladimir. “Testing the Complexity of a Valued CSP Language.” In 46th International Colloquium on Automata, Languages and Programming, 132:77:1-77:12. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019. https://doi.org/10.4230/LIPICS.ICALP.2019.77.
[Published Version]
View
| Files available
| DOI
| arXiv
2019 | Published | Journal Article | IST-REx-ID: 6752 |
Avni, Guy, Thomas A Henzinger, and Ventsislav K Chonev. “Infinite-Duration Bidding Games.” Journal of the ACM. ACM, 2019. https://doi.org/10.1145/3340295.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Published | Journal Article | IST-REx-ID: 6762 |
Friesecke, Gero, and Michael Kniely. “New Optimal Control Problems in Density Functional Theory Motivated by Photovoltaics.” Multiscale Modeling and Simulation. SIAM, 2019. https://doi.org/10.1137/18M1207272.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Published | Journal Article | IST-REx-ID: 6763
Khattak, Hamza K., Scott R Waitukaitis, and Aaron D. Slepkov. “Microwave Induced Mechanical Activation of Hydrogel Dimers.” Soft Matter. Royal Society of Chemistry, 2019. https://doi.org/10.1039/c9sm00756c.
View
| DOI
| WoS
| PubMed | Europe PMC
2019 | Published | Journal Article | IST-REx-ID: 6793 |
Akopyan, Arseniy, and Ivan Izmestiev. “The Regge Symmetry, Confocal Conics, and the Schläfli Formula.” Bulletin of the London Mathematical Society. London Mathematical Society, 2019. https://doi.org/10.1112/blms.12276.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Published | Conference Paper | IST-REx-ID: 6884 |
Avni, Guy, Thomas A Henzinger, and Dorde Zikelic. “Bidding Mechanisms in Graph Games,” Vol. 138. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019. https://doi.org/10.4230/LIPICS.MFCS.2019.11.
[Published Version]
View
| Files available
| DOI
| arXiv
2019 | Published | Conference Paper | IST-REx-ID: 6885 |
Chatterjee, Krishnendu, Thomas A Henzinger, and Jan Otop. “Long-Run Average Behavior of Vector Addition Systems with States,” Vol. 140. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019. https://doi.org/10.4230/LIPICS.CONCUR.2019.27.
[Published Version]
View
| Files available
| DOI
2019 | Published | Journal Article | IST-REx-ID: 6836 |
Hauser, Oliver P., Christian Hilbe, Krishnendu Chatterjee, and Martin A. Nowak. “Social Dilemmas among Unequals.” Nature. Springer Nature, 2019. https://doi.org/10.1038/s41586-019-1488-5.
[Submitted Version]
View
| Files available
| DOI
| WoS
2019 | Published | Journal Article | IST-REx-ID: 6843 |
Gehér, György Pál, Tamás Titkos, and Daniel Virosztek. “On Isometric Embeddings of Wasserstein Spaces – the Discrete Case.” Journal of Mathematical Analysis and Applications. Elsevier, 2019. https://doi.org/10.1016/j.jmaa.2019.123435.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Published | Conference Paper | IST-REx-ID: 6931 |
Nowak, Thomas, and Joel Rybicki. “Byzantine Approximate Agreement on Graphs.” In 33rd International Symposium on Distributed Computing, 146:29:1--29:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019. https://doi.org/10.4230/LIPICS.DISC.2019.29.
[Published Version]
View
| Files available
| DOI
| arXiv
2019 | Published | Conference Paper | IST-REx-ID: 6887 |
Chatterjee, Krishnendu, Wolfgang Dvorák, Monika Henzinger, and Alexander Svozil. “Near-Linear Time Algorithms for Streett Objectives in Graphs and MDPs.” In Leibniz International Proceedings in Informatics, Vol. 140. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019. https://doi.org/10.4230/LIPICS.CONCUR.2019.7.
[Published Version]
View
| Files available
| DOI
2019 | Published | Conference Paper | IST-REx-ID: 6886 |
Aghajohari, Milad, Guy Avni, and Thomas A Henzinger. “Determinacy in Discrete-Bidding Infinite-Duration Games,” Vol. 140. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019. https://doi.org/10.4230/LIPICS.CONCUR.2019.20.
[Published Version]
View
| Files available
| DOI
| arXiv