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.
547 Publications
2019 | Published | Conference Paper | IST-REx-ID: 6482 | 
KS(conf): A light-weight test if a ConvNet operates outside of Its specifications
R. Sun, C. Lampert, in:, Springer Nature, 2019, pp. 244–259.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
R. Sun, C. Lampert, in:, Springer Nature, 2019, pp. 244–259.
2019 | Published | Conference Poster | IST-REx-ID: 6485
Lock-free channels for programming via communicating sequential processes
N. Koval, D.-A. Alistarh, R. Elizarov, Lock-Free Channels for Programming via Communicating Sequential Processes, ACM Press, 2019.
View
| DOI
| WoS
N. Koval, D.-A. Alistarh, R. Elizarov, Lock-Free Channels for Programming via Communicating Sequential Processes, ACM Press, 2019.
2019 | Published | Journal Article | IST-REx-ID: 6486 |
Relaminarization of pipe flow by means of 3D-printed shaped honeycombs
J. Kühnen, D. Scarselli, B. Hof, Journal of Fluids Engineering 141 (2019).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
J. Kühnen, D. Scarselli, B. Hof, Journal of Fluids Engineering 141 (2019).
2019 | Submitted | Conference Paper | IST-REx-ID: 6490 |
The treewidth of smart contracts
K. Chatterjee, A.K. Goharshady, E.K. Goharshady, in:, Proceedings of the 34th ACM Symposium on Applied Computing, ACM, n.d., pp. 400–408.
[Submitted Version]
View
| Files available
| DOI
| WoS
K. Chatterjee, A.K. Goharshady, E.K. Goharshady, in:, Proceedings of the 34th ACM Symposium on Applied Computing, ACM, n.d., pp. 400–408.
2019 | Published | Conference Paper | IST-REx-ID: 6493 |
Membership-based synthesis of linear hybrid automata
M. Garcia Soto, T.A. Henzinger, C. Schilling, L. Zeleznik, in:, 31st International Conference on Computer-Aided Verification, Springer, 2019, pp. 297–314.
[Published Version]
View
| Files available
| DOI
| WoS
M. Garcia Soto, T.A. Henzinger, C. Schilling, L. Zeleznik, in:, 31st International Conference on Computer-Aided Verification, Springer, 2019, pp. 297–314.
2019 | Published | Journal Article | IST-REx-ID: 65 |
Entropy solutions for stochastic porous media equations
K. Dareiotis, M. Gerencser, B. Gess, Journal of Differential Equations 266 (2019) 3732–3763.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
K. Dareiotis, M. Gerencser, B. Gess, Journal of Differential Equations 266 (2019) 3732–3763.
2019 | Published | Journal Article | IST-REx-ID: 6504 |
Auxin-mediated statolith production for root gravitropism
Y. Zhang, P. He, X. Ma, Z. Yang, C. Pang, J. Yu, G. Wang, J. Friml, G. Xiao, New Phytologist 224 (2019) 761–774.
[Submitted Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
Y. Zhang, P. He, X. Ma, Z. Yang, C. Pang, J. Yu, G. Wang, J. Friml, G. Xiao, New Phytologist 224 (2019) 761–774.
2019 | Published | Journal Article | IST-REx-ID: 6506 |
Chance and pleiotropy dominate genetic diversity in complex bacterial environments
L. Noda-García, D. Davidi, E. Korenblum, A. Elazar, E. Putintseva, A. Aharoni, D.S. Tawfik, Nature Microbiology 4 (2019) 1221–1230.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
L. Noda-García, D. Davidi, E. Korenblum, A. Elazar, E. Putintseva, A. Aharoni, D.S. Tawfik, Nature Microbiology 4 (2019) 1221–1230.
2019 | Published | Journal Article | IST-REx-ID: 6508 |
Bulk actin dynamics drive phase segregation in zebrafish oocytes
S. Shamipour, R. Kardos, S. Xue, B. Hof, E.B. Hannezo, C.-P.J. Heisenberg, Cell 177 (2019) 1463–1479.e18.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
S. Shamipour, R. Kardos, S. Xue, B. Hof, E.B. Hannezo, C.-P.J. Heisenberg, Cell 177 (2019) 1463–1479.e18.
2019 | Published | Journal Article | IST-REx-ID: 6511 |
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
Z. Bao, L. Erdös, K. Schnelli, Annals of Probability 47 (2019) 1270–1334.
2019 | Published | Journal Article | IST-REx-ID: 6513 |
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
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.
2019 | Published | Journal Article | IST-REx-ID: 6515 |
Simplices modelled on spaces of constant curvature
R. Dyer, G. Vegter, M. Wintraecken, Journal of Computational Geometry 10 (2019) 223–256.
[Published Version]
View
| Files available
| DOI
R. Dyer, G. Vegter, M. Wintraecken, Journal of Computational Geometry 10 (2019) 223–256.
2019 | Published | Journal Article | IST-REx-ID: 6521 |
Targeting microglia with lentivirus and AAV: Recent advances and remaining challenges
M.E. Maes, G. Colombo, R. Schulz, S. Siegert, Neuroscience Letters 707 (2019).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
M.E. Maes, G. Colombo, R. Schulz, S. Siegert, Neuroscience Letters 707 (2019).
2019 | Published | Conference Paper | IST-REx-ID: 6528 |
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.)
K.Z. Pietrzak, in:, 10th Innovations in Theoretical Computer Science Conference, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019.
2019 | Published | Thesis | IST-REx-ID: 6546 |
The role of a highly conserved major facilitator superfamily member in Drosophila embryonic macrophage migration
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
K. Valosková, The Role of a Highly Conserved Major Facilitator Superfamily Member in Drosophila Embryonic Macrophage Migration, Institute of Science and Technology Austria, 2019.
2019 | Published | Journal Article | IST-REx-ID: 6552 |
Social immunity in insects
S. Cremer, Current Biology 29 (2019) R458–R463.
[Published Version]
View
| DOI
| Download Published Version (ext.)
| WoS
| PubMed | Europe PMC
S. Cremer, Current Biology 29 (2019) R458–R463.
2019 | Published | Journal Article | IST-REx-ID: 6554 |
Zero-shot learning - A comprehensive evaluation of the good, the bad and the ugly
Y. Xian, C. Lampert, B. Schiele, Z. Akata, IEEE Transactions on Pattern Analysis and Machine Intelligence 41 (2019) 2251–2265.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
Y. Xian, C. Lampert, B. Schiele, Z. Akata, IEEE Transactions on Pattern Analysis and Machine Intelligence 41 (2019) 2251–2265.
2019 | Published | Conference Paper | IST-REx-ID: 6556 |
3-manifold triangulations with small treewidth
K. Huszár, J. Spreer, in:, 35th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019, p. 44:1-44:20.
[Published Version]
View
| Files available
| DOI
| arXiv
K. Huszár, J. Spreer, in:, 35th International Symposium on Computational Geometry, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019, p. 44:1-44:20.
2019 | Published | Journal Article | IST-REx-ID: 6559
Multiscale dynamics of branching morphogenesis
E.B. Hannezo, B.D. Simons, Current Opinion in Cell Biology 60 (2019) 99–105.
View
| DOI
| WoS
| PubMed | Europe PMC
E.B. Hannezo, B.D. Simons, Current Opinion in Cell Biology 60 (2019) 99–105.
2019 | Published | Journal Article | IST-REx-ID: 6564 |
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
A.-M. Tichy, E.J. Gerrard, J.M.D. Legrand, R.M. Hobbs, H.L. Janovjak, Journal of Molecular Biology 431 (2019) 3046–3055.