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.
4958 Publications
2019 | Submitted | Conference Paper | IST-REx-ID: 6490 | 
K. Chatterjee, A. K. Goharshady, and E. K. Goharshady, “The treewidth of smart contracts,” in Proceedings of the 34th ACM Symposium on Applied Computing, Limassol, Cyprus, vol. Part F147772, pp. 400–408.
[Submitted Version]
View
| Files available
| DOI
| WoS
2019 | Published | Conference Paper | IST-REx-ID: 6493 |
M. Garcia Soto, T. A. Henzinger, C. Schilling, and L. Zeleznik, “Membership-based synthesis of linear hybrid automata,” in 31st International Conference on Computer-Aided Verification, New York City, NY, USA, 2019, vol. 11561, pp. 297–314.
[Published Version]
View
| Files available
| DOI
| WoS
2019 | Published | Journal Article | IST-REx-ID: 65 |
K. Dareiotis, M. Gerencser, and B. Gess, “Entropy solutions for stochastic porous media equations,” Journal of Differential Equations, vol. 266, no. 6. Elsevier, pp. 3732–3763, 2019.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Published | Journal Article | IST-REx-ID: 6504 |
Y. Zhang et al., “Auxin-mediated statolith production for root gravitropism,” New Phytologist, vol. 224, no. 2. Wiley, pp. 761–774, 2019.
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2019 | Published | Journal Article | IST-REx-ID: 6506 |
L. Noda-García et al., “Chance and pleiotropy dominate genetic diversity in complex bacterial environments,” Nature Microbiology, vol. 4, no. 7. Springer Nature, pp. 1221–1230, 2019.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
2019 | Published | Journal Article | IST-REx-ID: 6508 |
S. Shamipour, R. Kardos, S. Xue, B. Hof, E. B. Hannezo, and C.-P. J. Heisenberg, “Bulk actin dynamics drive phase segregation in zebrafish oocytes,” Cell, vol. 177, no. 6. Elsevier, p. 1463–1479.e18, 2019.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2019 | Published | Journal Article | IST-REx-ID: 6511 |
Z. Bao, L. Erdös, and K. Schnelli, “Local single ring theorem on optimal scale,” Annals of Probability, vol. 47, no. 3. Institute of Mathematical Statistics, pp. 1270–1334, 2019.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Published | Journal Article | IST-REx-ID: 6513 |
J. Guiu et al., “Tracing the origin of adult intestinal stem cells,” Nature, vol. 570. Springer Nature, pp. 107–111, 2019.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
2019 | Published | Journal Article | IST-REx-ID: 6515 |
R. Dyer, G. Vegter, and M. Wintraecken, “Simplices modelled on spaces of constant curvature,” Journal of Computational Geometry , vol. 10, no. 1. Carleton University, pp. 223–256, 2019.
[Published Version]
View
| Files available
| DOI
2019 | Published | Journal Article | IST-REx-ID: 6521 |
M. E. Maes, G. Colombo, R. Schulz, and S. Siegert, “Targeting microglia with lentivirus and AAV: Recent advances and remaining challenges,” Neuroscience Letters, vol. 707. Elsevier, 2019.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2019 | Published | Conference Paper | IST-REx-ID: 6528 |
K. Z. Pietrzak, “Simple verifiable delay functions,” in 10th Innovations in Theoretical Computer Science Conference, San Diego, CA, United States, 2019, vol. 124.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
2019 | Published | Thesis | IST-REx-ID: 6546 |
K. Valosková, “The role of a highly conserved major facilitator superfamily member in Drosophila embryonic macrophage migration,” Institute of Science and Technology Austria, 2019.
[Published Version]
View
| Files available
| DOI
2019 | Published | Journal Article | IST-REx-ID: 6552 |
S. Cremer, “Social immunity in insects,” Current Biology, vol. 29, no. 11. Elsevier, pp. R458–R463, 2019.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
2019 | Published | Journal Article | IST-REx-ID: 6554 |
Y. Xian, C. Lampert, B. Schiele, and Z. Akata, “Zero-shot learning - A comprehensive evaluation of the good, the bad and the ugly,” IEEE Transactions on Pattern Analysis and Machine Intelligence, vol. 41, no. 9. Institute of Electrical and Electronics Engineers (IEEE), pp. 2251–2265, 2019.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2019 | Published | Conference Paper | IST-REx-ID: 6556 |
K. Huszár and J. Spreer, “3-manifold triangulations with small treewidth,” in 35th International Symposium on Computational Geometry, Portland, Oregon, United States, 2019, vol. 129, p. 44:1-44:20.
[Published Version]
View
| Files available
| DOI
| arXiv
2019 | Published | Journal Article | IST-REx-ID: 6559
E. B. Hannezo and B. D. Simons, “Multiscale dynamics of branching morphogenesis,” Current Opinion in Cell Biology, vol. 60. Elsevier, pp. 99–105, 2019.
View
| DOI
| WoS
| PubMed | Europe PMC
2019 | Published | Journal Article | IST-REx-ID: 6564 |
A.-M. Tichy, E. J. Gerrard, J. M. D. Legrand, R. M. Hobbs, and H. L. Janovjak, “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, pp. 3046–3055, 2019.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
2019 | Published | Conference Paper | IST-REx-ID: 6565 |
A. Kundu, M. Garcia Soto, and P. Prabhakar, “Formal synthesis of stabilizing controllers for periodically controlled linear switched systems,” in 5th Indian Control Conference Proceedings, Delhi, India, 2019.
[Submitted Version]
View
| Files available
| DOI
2019 | Published | Journal Article | IST-REx-ID: 6566 |
M. Ibáñez et al., “Tuning transport properties in thermoelectric nanocomposites through inorganic ligands and heterostructured building blocks,” ACS Nano, vol. 13, no. 6. American Chemical Society, pp. 6572–6580, 2019.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2019 | Published | Conference Paper | IST-REx-ID: 6569 |
M. Phuong and C. Lampert, “Towards understanding knowledge distillation,” in Proceedings of the 36th International Conference on Machine Learning, Long Beach, CA, United States, 2019, vol. 97, pp. 5142–5151.
[Published Version]
View
| Files available