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.
8915 Publications
2019 | Published | Journal Article | IST-REx-ID: 6486 |

Kühnen, J., Scarselli, D., & Hof, B. (2019). Relaminarization of pipe flow by means of 3D-printed shaped honeycombs. Journal of Fluids Engineering. ASME. https://doi.org/10.1115/1.4043494
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Submitted | Conference Paper | IST-REx-ID: 6490 |

Chatterjee, K., Goharshady, A. K., & Goharshady, E. K. (n.d.). The treewidth of smart contracts. In Proceedings of the 34th ACM Symposium on Applied Computing (Vol. Part F147772, pp. 400–408). Limassol, Cyprus: ACM. https://doi.org/10.1145/3297280.3297322
[Submitted Version]
View
| Files available
| DOI
| WoS
2019 | Published | Conference Paper | IST-REx-ID: 6493 |

Garcia Soto, M., Henzinger, T. A., Schilling, C., & Zeleznik, L. (2019). Membership-based synthesis of linear hybrid automata. In 31st International Conference on Computer-Aided Verification (Vol. 11561, pp. 297–314). New York City, NY, USA: Springer. https://doi.org/10.1007/978-3-030-25540-4_16
[Published Version]
View
| Files available
| DOI
| WoS
2019 | Published | Journal Article | IST-REx-ID: 65 |

Dareiotis, K., Gerencser, M., & Gess, B. (2019). Entropy solutions for stochastic porous media equations. Journal of Differential Equations. Elsevier. https://doi.org/10.1016/j.jde.2018.09.012
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Published | Journal Article | IST-REx-ID: 6504 |

Zhang, Y., He, P., Ma, X., Yang, Z., Pang, C., Yu, J., … Xiao, G. (2019). Auxin-mediated statolith production for root gravitropism. New Phytologist. Wiley. https://doi.org/10.1111/nph.15932
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2019 | Published | Journal Article | IST-REx-ID: 6506 |

Noda-García, L., Davidi, D., Korenblum, E., Elazar, A., Putintseva, E., Aharoni, A., & Tawfik, D. S. (2019). Chance and pleiotropy dominate genetic diversity in complex bacterial environments. Nature Microbiology. Springer Nature. https://doi.org/10.1038/s41564-019-0412-y
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
2019 | Published | Journal Article | IST-REx-ID: 6508 |

Shamipour, S., Kardos, R., Xue, S., Hof, B., Hannezo, E. B., & Heisenberg, C.-P. J. (2019). Bulk actin dynamics drive phase segregation in zebrafish oocytes. Cell. Elsevier. https://doi.org/10.1016/j.cell.2019.04.030
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2019 | Published | Journal Article | IST-REx-ID: 6511 |

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 | Journal Article | IST-REx-ID: 6513 |

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: 6515 |

Dyer, R., Vegter, G., & Wintraecken, M. (2019). Simplices modelled on spaces of constant curvature. Journal of Computational Geometry . Carleton University. https://doi.org/10.20382/jocg.v10i1a9
[Published Version]
View
| Files available
| DOI
2019 | Published | Journal Article | IST-REx-ID: 6521 |

Maes, M. E., Colombo, G., Schulz, R., & Siegert, S. (2019). Targeting microglia with lentivirus and AAV: Recent advances and remaining challenges. Neuroscience Letters. Elsevier. https://doi.org/10.1016/j.neulet.2019.134310
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2019 | Published | Conference Paper | IST-REx-ID: 6528 |

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 | Thesis | IST-REx-ID: 6546 |

Valosková, K. (2019). The role of a highly conserved major facilitator superfamily member in Drosophila embryonic macrophage migration. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:6546
[Published Version]
View
| Files available
| DOI
2019 | Published | Journal Article | IST-REx-ID: 6552 |

Cremer, S. (2019). Social immunity in insects. Current Biology. Elsevier. https://doi.org/10.1016/j.cub.2019.03.035
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2019 | Published | Journal Article | IST-REx-ID: 6554 |

Xian, Y., Lampert, C., Schiele, B., & Akata, Z. (2019). Zero-shot learning - A comprehensive evaluation of the good, the bad and the ugly. IEEE Transactions on Pattern Analysis and Machine Intelligence. Institute of Electrical and Electronics Engineers (IEEE). https://doi.org/10.1109/tpami.2018.2857768
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Published | Conference Paper | IST-REx-ID: 6556 |

Huszár, K., & Spreer, J. (2019). 3-manifold triangulations with small treewidth. In 35th International Symposium on Computational Geometry (Vol. 129, p. 44:1-44:20). Portland, Oregon, United States: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.SoCG.2019.44
[Published Version]
View
| Files available
| DOI
| arXiv
2019 | Published | Journal Article | IST-REx-ID: 6559
Hannezo, E. B., & Simons, B. D. (2019). Multiscale dynamics of branching morphogenesis. Current Opinion in Cell Biology. Elsevier. https://doi.org/10.1016/j.ceb.2019.04.008
View
| DOI
| WoS
| PubMed | Europe PMC
2019 | Published | Journal Article | IST-REx-ID: 6564 |

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 | Conference Paper | IST-REx-ID: 6565 |

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: 6566 |

Ibáñez, M., Genç, A., Hasler, R., Liu, Y., Dobrozhan, O., Nazarenko, O., … Kovalenko, M. V. (2019). Tuning transport properties in thermoelectric nanocomposites through inorganic ligands and heterostructured building blocks. ACS Nano. American Chemical Society. https://doi.org/10.1021/acsnano.9b00346
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC