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.
541 Publications
2016 | Published | Journal Article | IST-REx-ID: 1370 |

Phonon Josephson junction with nanomechanical resonators
S. Barzanjeh, D. Vitali, Physical Review A - Atomic, Molecular, and Optical Physics 93 (2016).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
S. Barzanjeh, D. Vitali, Physical Review A - Atomic, Molecular, and Optical Physics 93 (2016).
2016 | Published | Journal Article | IST-REx-ID: 1380 |

On the complexity of the orbit problem
V.K. Chonev, J. Ouaknine, J. Worrell, Journal of the ACM 63 (2016).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
V.K. Chonev, J. Ouaknine, J. Worrell, Journal of the ACM 63 (2016).
2016 | Published | Journal Article | IST-REx-ID: 1242 |

Extending the dynamic range of transcription factor action by translational regulation
T.R. Sokolowski, A. Walczak, W. Bialek, G. Tkačik, Physical Review E Statistical Nonlinear and Soft Matter Physics 93 (2016).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
T.R. Sokolowski, A. Walczak, W. Bialek, G. Tkačik, Physical Review E Statistical Nonlinear and Soft Matter Physics 93 (2016).
2016 | Published | Journal Article | IST-REx-ID: 1286 |

Rotation of cold molecular ions inside a Bose-Einstein condensate
B. Midya, M. Tomza, R. Schmidt, M. Lemeshko, Physical Review A - Atomic, Molecular, and Optical Physics 94 (2016).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
B. Midya, M. Tomza, R. Schmidt, M. Lemeshko, Physical Review A - Atomic, Molecular, and Optical Physics 94 (2016).
2016 | Published | Journal Article | IST-REx-ID: 1282 |

On eigenvalues of random complexes
A. Gundert, U. Wagner, Israel Journal of Mathematics 216 (2016) 545–582.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
A. Gundert, U. Wagner, Israel Journal of Mathematics 216 (2016) 545–582.
2016 | Published | Journal Article | IST-REx-ID: 1254 |

Uniform expansivity outside a critical neighborhood in the quadratic family
A. Golmakani, S. Luzzatto, P. Pilarczyk, Experimental Mathematics 25 (2016) 116–124.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
A. Golmakani, S. Luzzatto, P. Pilarczyk, Experimental Mathematics 25 (2016) 116–124.
2016 | Published | Journal Article | IST-REx-ID: 1248 |

Information processing in living systems
G. Tkačik, W. Bialek, Annual Review of Condensed Matter Physics 7 (2016) 89–117.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
G. Tkačik, W. Bialek, Annual Review of Condensed Matter Physics 7 (2016) 89–117.
2016 | Published | Journal Article | IST-REx-ID: 1280 |

Fixed energy universality for generalized wigner matrices
P. Bourgade, L. Erdös, H. Yau, J. Yin, Communications on Pure and Applied Mathematics 69 (2016) 1815–1881.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
P. Bourgade, L. Erdös, H. Yau, J. Yin, Communications on Pure and Applied Mathematics 69 (2016) 1815–1881.
2016 | Published | Journal Article | IST-REx-ID: 1219 |

Bulk universality for deformed wigner matrices
J. Lee, K. Schnelli, B. Stetler, H. Yau, Annals of Probability 44 (2016) 2349–2425.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
J. Lee, K. Schnelli, B. Stetler, H. Yau, Annals of Probability 44 (2016) 2349–2425.
2016 | Published | Journal Article | IST-REx-ID: 1223 |

Localization for transversally periodic random potentials on binary trees
R. Froese, D. Lee, C. Sadel, W. Spitzer, G. Stolz, Journal of Spectral Theory 6 (2016) 557–600.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
R. Froese, D. Lee, C. Sadel, W. Spitzer, G. Stolz, Journal of Spectral Theory 6 (2016) 557–600.
2016 | Published | Journal Article | IST-REx-ID: 1222 |

Optimal packings of congruent circles on a square flat torus
O. Musin, A. Nikitenko, Discrete & Computational Geometry 55 (2016) 1–20.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
O. Musin, A. Nikitenko, Discrete & Computational Geometry 55 (2016) 1–20.
2016 | Published | Journal Article | IST-REx-ID: 1170 |

Modular parameter identification of biomolecular networks
M. Lang, J. Stelling, SIAM Journal on Scientific Computing 38 (2016) B988–B1008.
[Submitted Version]
View
| Files available
| DOI
M. Lang, J. Stelling, SIAM Journal on Scientific Computing 38 (2016) B988–B1008.
2016 | Published | Conference Paper | IST-REx-ID: 1166 |

A symbolic SAT based algorithm for almost sure reachability with small strategies in POMDPs
K. Chatterjee, M. Chmelik, J. Davies, in:, Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, AAAI Press, 2016, pp. 3225–3232.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, M. Chmelik, J. Davies, in:, Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, AAAI Press, 2016, pp. 3225–3232.
2016 | Published | Journal Article | IST-REx-ID: 1283 |

Seedlings’ strategy to overcome a soil barrier
Q. Zhu, E. Benková, Trends in Plant Science 21 (2016) 809–811.
[Submitted Version]
View
| Files available
| DOI
| PubMed | Europe PMC
Q. Zhu, E. Benková, Trends in Plant Science 21 (2016) 809–811.
2016 | Published | Conference Paper | IST-REx-ID: 1320 |

Scale-invariant systems realize nonlinear differential operators
M. Lang, E. Sontag, in:, IEEE, 2016.
[Submitted Version]
View
| Files available
| DOI
M. Lang, E. Sontag, in:, IEEE, 2016.
2016 | Published | Thesis | IST-REx-ID: 1130 |

Automatic synthesis of synchronisation primitives for concurrent programs
T. Tarrach, Automatic Synthesis of Synchronisation Primitives for Concurrent Programs, Institute of Science and Technology Austria, 2016.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
T. Tarrach, Automatic Synthesis of Synchronisation Primitives for Concurrent Programs, Institute of Science and Technology Austria, 2016.
2016 | Published | Journal Article | IST-REx-ID: 1321 |

Diversified actin protrusions promote environmental exploration but are dispensable for locomotion of leukocytes
A.F. Leithner, A. Eichner, J. Müller, A. Reversat, M. Brown, J. Schwarz, J. Merrin, D. De Gorter, F.K. Schur, J. Bayerl, I. de Vries, S. Wieser, R. Hauschild, F. Lai, M. Moser, D. Kerjaschki, K. Rottner, V. Small, T. Stradal, M.K. Sixt, Nature Cell Biology 18 (2016) 1253–1259.
[Submitted Version]
View
| Files available
| DOI
A.F. Leithner, A. Eichner, J. Müller, A. Reversat, M. Brown, J. Schwarz, J. Merrin, D. De Gorter, F.K. Schur, J. Bayerl, I. de Vries, S. Wieser, R. Hauschild, F. Lai, M. Moser, D. Kerjaschki, K. Rottner, V. Small, T. Stradal, M.K. Sixt, Nature Cell Biology 18 (2016) 1253–1259.
2016 | Published | Journal Article | IST-REx-ID: 1183 |

Impaired amino acid transport at the blood brain barrier is a cause of autism spectrum disorder
Tarlungeanu D-C, Deliu E, Dotter C, Kara M, Janiesch P, Scalise M, Galluccio M, Tesulov M, Morelli E, Sönmez F, Bilgüvar K, Ohgaki R, Kanai Y, Johansen A, Esharif S, Ben Omran T, Topcu M, Schlessinger A, Indiveri C, Duncan K, Caglayan A, Günel M, Gleeson J, Novarino G. 2016. Impaired amino acid transport at the blood brain barrier is a cause of autism spectrum disorder. Cell. 167(6), 1481–1494.
[Submitted Version]
View
| Files available
| DOI
Tarlungeanu D-C, Deliu E, Dotter C, Kara M, Janiesch P, Scalise M, Galluccio M, Tesulov M, Morelli E, Sönmez F, Bilgüvar K, Ohgaki R, Kanai Y, Johansen A, Esharif S, Ben Omran T, Topcu M, Schlessinger A, Indiveri C, Duncan K, Caglayan A, Günel M, Gleeson J, Novarino G. 2016. Impaired amino acid transport at the blood brain barrier is a cause of autism spectrum disorder. Cell. 167(6), 1481–1494.
2016 | Published | Conference Paper | IST-REx-ID: 1437 |

Algorithms for algebraic path properties in concurrent systems of constant treewidth components
K. Chatterjee, A.K. Goharshady, R. Ibsen-Jensen, A. Pavlogiannis, in:, ACM, 2016, pp. 733–747.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, A.K. Goharshady, R. Ibsen-Jensen, A. Pavlogiannis, in:, ACM, 2016, pp. 733–747.
2016 | Published | Conference Paper | IST-REx-ID: 1386 |

Termination analysis of probabilistic programs through Positivstellensatz's
K. Chatterjee, H. Fu, A.K. Goharshady, in:, Springer, 2016, pp. 3–22.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
K. Chatterjee, H. Fu, A.K. Goharshady, in:, Springer, 2016, pp. 3–22.