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.
5743 Publications
2018 | Conference Paper | IST-REx-ID: 160 | 
Layered Concurrent Programs
B. Kragl, S. Qadeer, in:, Springer, 2018, pp. 79–102.
[Published Version]
View
| Files available
| DOI
| WoS
B. Kragl, S. Qadeer, in:, Springer, 2018, pp. 79–102.
2018 | Journal Article | IST-REx-ID: 82 |
Leaky resistance and the conditions for the existence of lytic bacteriophage
W. Chaudhry, M. Pleska, N. Shah, H. Weiss, I. Mccall, J. Meyer, A. Gupta, C.C. Guet, B. Levin, PLoS Biology 16 (2018).
[Published Version]
View
| Files available
| DOI
| WoS
W. Chaudhry, M. Pleska, N. Shah, H. Weiss, I. Mccall, J. Meyer, A. Gupta, C.C. Guet, B. Levin, PLoS Biology 16 (2018).
2018 | Journal Article | IST-REx-ID: 4 |
Learning three-dimensional flow for interactive aerodynamic design
N. Umetani, B. Bickel, ACM Trans. Graph. 37 (2018).
[Submitted Version]
View
| Files available
| DOI
| WoS
N. Umetani, B. Bickel, ACM Trans. Graph. 37 (2018).
2018 | Journal Article | IST-REx-ID: 566 |
Local inhomogeneous circular law
J. Alt, L. Erdös, T.H. Krüger, Annals Applied Probability 28 (2018) 148–203.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
J. Alt, L. Erdös, T.H. Krüger, Annals Applied Probability 28 (2018) 148–203.
2018 | Journal Article | IST-REx-ID: 106 |
Long geodesics on convex surfaces
A. Akopyan, A. Petrunin, Mathematical Intelligencer 40 (2018) 26–31.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
A. Akopyan, A. Petrunin, Mathematical Intelligencer 40 (2018) 26–31.
2018 | Journal Article | IST-REx-ID: 275 |
Lymphatic exosomes promote dendritic cell migration along guidance cues
M. Brown, L. Johnson, D. Leone, P. Májek, K. Vaahtomeri, D. Senfter, N. Bukosza, H. Schachner, G. Asfour, B. Langer, R. Hauschild, K. Parapatics, Y. Hong, K. Bennett, R. Kain, M. Detmar, M.K. Sixt, D. Jackson, D. Kerjaschki, Journal of Cell Biology 217 (2018) 2205–2221.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
M. Brown, L. Johnson, D. Leone, P. Májek, K. Vaahtomeri, D. Senfter, N. Bukosza, H. Schachner, G. Asfour, B. Langer, R. Hauschild, K. Parapatics, Y. Hong, K. Bennett, R. Kain, M. Detmar, M.K. Sixt, D. Jackson, D. Kerjaschki, Journal of Cell Biology 217 (2018) 2205–2221.
2018 | Journal Article | IST-REx-ID: 158 |
Maternal auxin supply contributes to early embryo patterning in Arabidopsis
H. Robert, C. Park, C. Gutièrrez, B. Wójcikowska, A. Pěnčík, O. Novák, J. Chen, W. Grunewald, T. Dresselhaus, J. Friml, T. Laux, Nature Plants 4 (2018) 548–553.
[Submitted Version]
View
| Files available
| DOI
| Download Submitted Version (ext.)
| WoS
| PubMed | Europe PMC
H. Robert, C. Park, C. Gutièrrez, B. Wójcikowska, A. Pěnčík, O. Novák, J. Chen, W. Grunewald, T. Dresselhaus, J. Friml, T. Laux, Nature Plants 4 (2018) 548–553.
2018 | Journal Article | IST-REx-ID: 152 |
Mammalian mitochondrial complex I structure and disease causing mutations
K. Fiedorczuk, L.A. Sazanov, Trends in Cell Biology 28 (2018) 835–867.
[Submitted Version]
View
| Files available
| DOI
| WoS
K. Fiedorczuk, L.A. Sazanov, Trends in Cell Biology 28 (2018) 835–867.
2018 | Conference Paper | IST-REx-ID: 310 |
Lower bounds for symbolic computation on graphs: Strongly connected components, liveness, safety, and diameter
K. Chatterjee, W. Dvorák, M.H. Henzinger, V. Loitzenbauer, in:, ACM, 2018, pp. 2341–2356.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
K. Chatterjee, W. Dvorák, M.H. Henzinger, V. Loitzenbauer, in:, ACM, 2018, pp. 2341–2356.
2018 | Journal Article | IST-REx-ID: 436 |
Manipulating the flow of thermal noise in quantum devices
S. Barzanjeh, M. Aquilina, A. Xuereb, Physical Review Letters 120 (2018).
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
S. Barzanjeh, M. Aquilina, A. Xuereb, Physical Review Letters 120 (2018).