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
Ferrere, T., Nickovic, D., Donzé, A., Ito, H., & Kapinski, J. (2019). Interface-aware signal temporal logic. In Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems: Computation and Control (pp. 57–66). Montreal, Canada: ACM. https://doi.org/10.1145/3302504.3311800
[Submitted Version] View | Files available | DOI | WoS
 

2019 | Published | Journal Article | IST-REx-ID: 6348 | OA
Rueda Sanchez, A. R., Sedlmeir, F., Kumari, M., Leuchs, G., & Schwefel, H. G. L. (2019). Resonant electro-optic frequency comb. Nature. Springer Nature. https://doi.org/10.1038/s41586-019-1110-x
[Preprint] View | Files available | DOI | Download Preprint (ext.) | WoS | arXiv
 

2019 | Published | Journal Article | IST-REx-ID: 6377
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
Cremer, S. (2019). Pathogens and disease defense of invasive ants. Current Opinion in Insect Science. Elsevier. https://doi.org/10.1016/j.cois.2019.03.011
View | DOI | WoS
 

2019 | Published | Journal Article | IST-REx-ID: 6467 | OA
Fraisse, C., & Welch, J. J. (2019). The distribution of epistasis on simple fitness landscapes. Biology Letters. Royal Society of London. https://doi.org/10.1098/rsbl.2018.0881
[Published Version] View | Files available | DOI | Download Published Version (ext.) | WoS | PubMed | Europe PMC
 

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

2019 | Published | Conference Paper | IST-REx-ID: 6528 | OA
Pietrzak, K. Z. (2019). Simple verifiable delay functions. In 10th Innovations in Theoretical Computer Science Conference (Vol. 124). San Diego, CA, United States: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. 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 | OA
Guiu, J., Hannezo, E. B., Yui, S., Demharter, S., Ulyanchenko, S., Maimets, M., … Jensen, K. B. (2019). Tracing the origin of adult intestinal stem cells. Nature. Springer Nature. 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 | OA
Bao, Z., Erdös, L., & Schnelli, K. (2019). Local single ring theorem on optimal scale. Annals of Probability. Institute of Mathematical Statistics. https://doi.org/10.1214/18-AOP1284
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2019 | Published | Conference Paper | IST-REx-ID: 6565 | OA
Kundu, A., Garcia Soto, M., & Prabhakar, P. (2019). Formal synthesis of stabilizing controllers for periodically controlled linear switched systems. In 5th Indian Control Conference Proceedings. Delhi, India: IEEE. https://doi.org/10.1109/INDIANCC.2019.8715598
[Submitted Version] View | Files available | DOI
 

2019 | Published | Journal Article | IST-REx-ID: 6564 | OA
Tichy, A.-M., Gerrard, E. J., Legrand, J. M. D., Hobbs, R. M., & Janovjak, H. L. (2019). Engineering strategy and vector library for the rapid generation of modular light-controlled protein–protein interactions. Journal of Molecular Biology. Elsevier. 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 | OA
Hannezo, E. B., & Heisenberg, C.-P. J. (2019). Mechanochemical feedback loops in development and disease. Cell. Elsevier. 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 | OA
Karle, V., Defenu, N., & Enss, T. (2019). Coupled superfluidity of binary Bose mixtures in two dimensions. Physical Review A. American Physical Society. https://doi.org/10.1103/PhysRevA.99.063627
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2019 | Published | Journal Article | IST-REx-ID: 6620 | OA
De La Bretèche, R., Destagnol, K. N., Liu, J., Wu, J., & Zhao, Y. (2019). On a certain non-split cubic surface. Science China Mathematics. Springer. 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 | OA
Kolmogorov, V. (2019). Testing the complexity of a valued CSP language. In 46th International Colloquium on Automata, Languages and Programming (Vol. 132, p. 77:1-77:12). Patras, Greece: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPICS.ICALP.2019.77
[Published Version] View | Files available | DOI | arXiv
 

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

2019 | Published | Journal Article | IST-REx-ID: 6762 | OA
Friesecke, G., & Kniely, M. (2019). New optimal control problems in density functional theory motivated by photovoltaics. Multiscale Modeling and Simulation. SIAM. https://doi.org/10.1137/18M1207272
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2019 | Published | Journal Article | IST-REx-ID: 6763
Khattak, H. K., Waitukaitis, S. R., & Slepkov, A. D. (2019). Microwave induced mechanical activation of hydrogel dimers. Soft Matter. Royal Society of Chemistry. https://doi.org/10.1039/c9sm00756c
View | DOI | WoS | PubMed | Europe PMC
 

2019 | Published | Journal Article | IST-REx-ID: 6793 | OA
Akopyan, A., & Izmestiev, I. (2019). The Regge symmetry, confocal conics, and the Schläfli formula. Bulletin of the London Mathematical Society. London Mathematical Society. https://doi.org/10.1112/blms.12276
[Preprint] View | DOI | Download Preprint (ext.) | WoS | arXiv
 

2019 | Published | Conference Paper | IST-REx-ID: 6884 | OA
Avni, G., Henzinger, T. A., & Zikelic, D. (2019). Bidding mechanisms in graph games (Vol. 138). Presented at the MFCS: Mathematical Foundations of Computer Science, Aachen, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPICS.MFCS.2019.11
[Published Version] View | Files available | DOI | arXiv
 

Filters and Search Terms

department=ResearchGroups

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed