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 | OA
Simple verifiable delay functions
K.Z. Pietrzak, in:, 10th Innovations in Theoretical Computer Science Conference, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019.
[Published Version] View | Files available | DOI | Download Published Version (ext.)
 

2019 | Published | Journal Article | IST-REx-ID: 6513 | OA
Tracing the origin of adult intestinal stem cells
J. Guiu, E.B. Hannezo, S. Yui, S. Demharter, S. Ulyanchenko, M. Maimets, A. Jørgensen, S. Perlman, L. Lundvall, L.S. Mamsen, A. Larsen, R.H. Olesen, C.Y. Andersen, L.L. Thuesen, K.J. Hare, T.H. Pers, K. Khodosevich, B.D. Simons, K.B. Jensen, Nature 570 (2019) 107–111.
[Submitted Version] View | DOI | Download Submitted Version (ext.) | WoS | PubMed | Europe PMC
 

2019 | Published | Journal Article | IST-REx-ID: 6511 | OA
Local single ring theorem on optimal scale
Z. Bao, L. Erdös, K. Schnelli, Annals of Probability 47 (2019) 1270–1334.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2019 | Published | Conference Paper | IST-REx-ID: 6565 | OA
Formal synthesis of stabilizing controllers for periodically controlled linear switched systems
A. Kundu, M. Garcia Soto, P. Prabhakar, in:, 5th Indian Control Conference Proceedings, IEEE, 2019.
[Submitted Version] View | Files available | DOI
 

2019 | Published | Journal Article | IST-REx-ID: 6564 | OA
Engineering strategy and vector library for the rapid generation of modular light-controlled protein–protein interactions
A.-M. Tichy, E.J. Gerrard, J.M.D. Legrand, R.M. Hobbs, H.L. Janovjak, Journal of Molecular Biology 431 (2019) 3046–3055.
[Preprint] View | DOI | Download Preprint (ext.) | WoS
 

2019 | Published | Journal Article | IST-REx-ID: 6601 | OA
Mechanochemical feedback loops in development and disease
E.B. Hannezo, C.-P.J. Heisenberg, Cell 178 (2019) 12–25.
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2019 | Published | Journal Article | IST-REx-ID: 6632 | OA
Coupled superfluidity of binary Bose mixtures in two dimensions
V. Karle, N. Defenu, T. Enss, Physical Review A 99 (2019).
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2019 | Published | Journal Article | IST-REx-ID: 6620 | OA
On a certain non-split cubic surface
R. De La Bretèche, K.N. Destagnol, J. Liu, J. Wu, Y. Zhao, Science China Mathematics 62 (2019) 2435–2446.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2019 | Published | Conference Paper | IST-REx-ID: 6725 | OA
Testing the complexity of a valued CSP language
V. Kolmogorov, in:, 46th International Colloquium on Automata, Languages and Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019, p. 77:1-77:12.
[Published Version] View | Files available | DOI | arXiv
 

2019 | Published | Journal Article | IST-REx-ID: 6752 | OA
Infinite-duration bidding games
G. Avni, T.A. Henzinger, V.K. Chonev, Journal of the ACM 66 (2019).
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2019 | Published | Journal Article | IST-REx-ID: 6762 | OA
New optimal control problems in density functional theory motivated by photovoltaics
G. Friesecke, M. Kniely, Multiscale Modeling and Simulation 17 (2019) 926–947.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2019 | Published | Journal Article | IST-REx-ID: 6763
Microwave induced mechanical activation of hydrogel dimers
H.K. Khattak, S.R. Waitukaitis, A.D. Slepkov, Soft Matter 15 (2019) 5804–5809.
View | DOI | WoS | PubMed | Europe PMC
 

2019 | Published | Journal Article | IST-REx-ID: 6793 | OA
The Regge symmetry, confocal conics, and the Schläfli formula
A. Akopyan, I. Izmestiev, Bulletin of the London Mathematical Society 51 (2019) 765–775.
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2019 | Published | Conference Paper | IST-REx-ID: 6884 | OA
Bidding mechanisms in graph games
G. Avni, T.A. Henzinger, D. Zikelic, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019.
[Published Version] View | Files available | DOI | arXiv
 

2019 | Published | Conference Paper | IST-REx-ID: 6885 | OA
Long-run average behavior of vector addition systems with states
K. Chatterjee, T.A. Henzinger, J. Otop, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019.
[Published Version] View | Files available | DOI
 

2019 | Published | Journal Article | IST-REx-ID: 6836 | OA
Social dilemmas among unequals
O.P. Hauser, C. Hilbe, K. Chatterjee, M.A. Nowak, Nature 572 (2019) 524–527.
[Submitted Version] View | Files available | DOI | WoS
 

2019 | Published | Journal Article | IST-REx-ID: 6843 | OA
On isometric embeddings of Wasserstein spaces – the discrete case
G.P. Gehér, T. Titkos, D. Virosztek, Journal of Mathematical Analysis and Applications 480 (2019).
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2019 | Published | Conference Paper | IST-REx-ID: 6931 | OA
Byzantine approximate agreement on graphs
T. Nowak, J. Rybicki, in:, 33rd International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019, p. 29:1--29:17.
[Published Version] View | Files available | DOI | arXiv
 

2019 | Published | Conference Paper | IST-REx-ID: 6887 | OA
Near-linear time algorithms for Streett objectives in graphs and MDPs
K. Chatterjee, W. Dvorák, M. Henzinger, A. Svozil, in:, Leibniz International Proceedings in Informatics, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019.
[Published Version] View | Files available | DOI
 

2019 | Published | Conference Paper | IST-REx-ID: 6886 | OA
Determinacy in discrete-bidding infinite-duration games
M. Aghajohari, G. Avni, T.A. Henzinger, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019.
[Published Version] View | Files available | DOI | arXiv
 

Search

Filter Publications

Display / Sort

Export / Embed