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 |

Ferrere, Thomas, et al. “Interface-Aware Signal Temporal Logic.” Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems: Computation and Control, ACM, 2019, pp. 57–66, doi:10.1145/3302504.3311800.
[Submitted Version]
View
| Files available
| DOI
| WoS
2019 | Published | Journal Article | IST-REx-ID: 6348 |

Rueda Sanchez, Alfredo R., et al. “Resonant Electro-Optic Frequency Comb.” Nature, vol. 568, no. 7752, Springer Nature, 2019, pp. 378–81, doi: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, Sylvia. “Pathogens and Disease Defense of Invasive Ants.” Current Opinion in Insect Science, vol. 33, Elsevier, 2019, pp. 63–68, doi:10.1016/j.cois.2019.03.011.
View
| DOI
| WoS
2019 | Published | Journal Article | IST-REx-ID: 6467 |

Fraisse, Christelle, and John J. Welch. “The Distribution of Epistasis on Simple Fitness Landscapes.” Biology Letters, vol. 15, no. 4, 0881, Royal Society of London, 2019, doi: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 |

Éltes, Tímea, et al. “Improved Spike Inference Accuracy by Estimating the Peak Amplitude of Unitary [Ca2+] Transients in Weakly GCaMP6f-Expressing Hippocampal Pyramidal Cells.” Journal of Physiology, vol. 597, no. 11, Wiley, 2019, pp. 2925–2947, doi:10.1113/JP277681.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2019 | Published | Conference Paper | IST-REx-ID: 6528 |

Pietrzak, Krzysztof Z. “Simple Verifiable Delay Functions.” 10th Innovations in Theoretical Computer Science Conference, vol. 124, 60, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019, doi: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, et al. “Tracing the Origin of Adult Intestinal Stem Cells.” Nature, vol. 570, Springer Nature, 2019, pp. 107–11, doi: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, et al. “Local Single Ring Theorem on Optimal Scale.” Annals of Probability, vol. 47, no. 3, Institute of Mathematical Statistics, 2019, pp. 1270–334, doi:10.1214/18-AOP1284.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Published | Conference Paper | IST-REx-ID: 6565 |

Kundu, Atreyee, et al. “Formal Synthesis of Stabilizing Controllers for Periodically Controlled Linear Switched Systems.” 5th Indian Control Conference Proceedings, 8715598, IEEE, 2019, doi:10.1109/INDIANCC.2019.8715598.
[Submitted Version]
View
| Files available
| DOI
2019 | Published | Journal Article | IST-REx-ID: 6564 |

Tichy, Alexandra-Madelaine, et al. “Engineering Strategy and Vector Library for the Rapid Generation of Modular Light-Controlled Protein–Protein Interactions.” Journal of Molecular Biology, vol. 431, no. 17, Elsevier, 2019, pp. 3046–55, doi: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, vol. 178, no. 1, Elsevier, 2019, pp. 12–25, doi: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, et al. “Coupled Superfluidity of Binary Bose Mixtures in Two Dimensions.” Physical Review A, vol. 99, no. 6, 063627, American Physical Society, 2019, doi: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, et al. “On a Certain Non-Split Cubic Surface.” Science China Mathematics, vol. 62, no. 12, Springer, 2019, pp. 2435–2446, doi: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.” 46th International Colloquium on Automata, Languages and Programming, vol. 132, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019, p. 77:1-77:12, doi:10.4230/LIPICS.ICALP.2019.77.
[Published Version]
View
| Files available
| DOI
| arXiv
2019 | Published | Journal Article | IST-REx-ID: 6752 |

Avni, Guy, et al. “Infinite-Duration Bidding Games.” Journal of the ACM, vol. 66, no. 4, 31, ACM, 2019, doi: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, vol. 17, no. 3, SIAM, 2019, pp. 926–47, doi:10.1137/18M1207272.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Published | Journal Article | IST-REx-ID: 6763
Khattak, Hamza K., et al. “Microwave Induced Mechanical Activation of Hydrogel Dimers.” Soft Matter, vol. 15, no. 29, Royal Society of Chemistry, 2019, pp. 5804–09, doi: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, vol. 51, no. 5, London Mathematical Society, 2019, pp. 765–75, doi:10.1112/blms.12276.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Published | Conference Paper | IST-REx-ID: 6884 |

Avni, Guy, et al. Bidding Mechanisms in Graph Games. Vol. 138, 11, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019, doi:10.4230/LIPICS.MFCS.2019.11.
[Published Version]
View
| Files available
| DOI
| arXiv