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.

5779 Publications


2019 | Published | Conference Paper | IST-REx-ID: 6428 | OA
Interface-aware signal temporal logic
T. Ferrere, D. Nickovic, A. Donzé, H. Ito, J. Kapinski, in:, Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems: Computation and Control, ACM, 2019, pp. 57–66.
[Submitted Version] View | Files available | DOI | WoS
 

2019 | Published | Journal Article | IST-REx-ID: 6348 | OA
Resonant electro-optic frequency comb
A.R. Rueda Sanchez, F. Sedlmeir, M. Kumari, G. Leuchs, H.G.L. Schwefel, Nature 568 (2019) 378–381.
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2019 | Published | Journal Article | IST-REx-ID: 6377
Disruption of endocytosis through chemical inhibition of clathrin heavy chain function
Dejonghe W, Sharma I, Denoo B, De Munck S, Lu Q, Mishev K, Bulut H, Mylle E, De Rycke R, Vasileva MK, Savatin DV, Nerinckx W, Staes A, Drozdzecki A, Audenaert D, Yperman K, Madder A, Friml J, Van Damme D, Gevaert K, Haucke V, Savvides SN, Winne J, Russinova E. 2019. Disruption of endocytosis through chemical inhibition of clathrin heavy chain function. Nature Chemical Biology. 15(6), 641–649.
View | Files available | DOI | WoS
 

2019 | Published | Journal Article | IST-REx-ID: 6415
Pathogens and disease defense of invasive ants
S. Cremer, Current Opinion in Insect Science 33 (2019) 63–68.
View | DOI | WoS
 

2019 | Published | Journal Article | IST-REx-ID: 6467 | OA
The distribution of epistasis on simple fitness landscapes
C. Fraisse, J.J. Welch, Biology Letters 15 (2019).
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

2019 | Published | Journal Article | IST-REx-ID: 6470 | OA
Improved spike inference accuracy by estimating the peak amplitude of unitary [Ca2+] transients in weakly GCaMP6f-expressing hippocampal pyramidal cells
T. Éltes, M. Szoboszlay, M.K. Szigeti, Z. Nusser, Journal of Physiology 597 (2019) 2925–2947.
[Published Version] View | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

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
 

Filters and Search Terms

department=ResearchGroups

Search

Filter Publications

Display / Sort

Export / Embed