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.
7117 Publications
2017 | Published | Journal Article | IST-REx-ID: 1407 | 
Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games
M. Svoreňová, J. Kretinsky, M. Chmelik, K. Chatterjee, I. Cěrná, C. Belta, Nonlinear Analysis: Hybrid Systems 23 (2017) 230–253.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
M. Svoreňová, J. Kretinsky, M. Chmelik, K. Chatterjee, I. Cěrná, C. Belta, Nonlinear Analysis: Hybrid Systems 23 (2017) 230–253.
2017 | Published | Journal Article | IST-REx-ID: 1433 |
Phat - Persistent homology algorithms toolbox
U. Bauer, M. Kerber, J. Reininghaus, H. Wagner, Journal of Symbolic Computation 78 (2017) 76–90.
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| WoS
U. Bauer, M. Kerber, J. Reininghaus, H. Wagner, Journal of Symbolic Computation 78 (2017) 76–90.
2017 | Published | Journal Article | IST-REx-ID: 603
Structure of a transcribing RNA polymerase II-DSIF complex reveals a multidentate DNA-RNA clamp
C. Bernecky, J. Plitzko, P. Cramer, Nature Structural and Molecular Biology 24 (2017) 809–815.
View
| DOI
C. Bernecky, J. Plitzko, P. Cramer, Nature Structural and Molecular Biology 24 (2017) 809–815.
2017 | Published | Book Chapter | IST-REx-ID: 604 |
Molecular impurities interacting with a many-particle environment: From ultracold gases to helium nanodroplets
M. Lemeshko, R. Schmidt, in:, O. Dulieu, A. Osterwalder (Eds.), Cold Chemistry: Molecular Scattering and Reactivity Near Absolute Zero , The Royal Society of Chemistry, 2017, pp. 444–495.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
M. Lemeshko, R. Schmidt, in:, O. Dulieu, A. Osterwalder (Eds.), Cold Chemistry: Molecular Scattering and Reactivity Near Absolute Zero , The Royal Society of Chemistry, 2017, pp. 444–495.
2017 | Published | Conference Paper | IST-REx-ID: 605 |
Position based cryptography and multiparty communication complexity
J. Brody, S. Dziembowski, S. Faust, K.Z. Pietrzak, in:, Y. Kalai, L. Reyzin (Eds.), Springer, 2017, pp. 56–81.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
J. Brody, S. Dziembowski, S. Faust, K.Z. Pietrzak, in:, Y. Kalai, L. Reyzin (Eds.), Springer, 2017, pp. 56–81.
2017 | Published | Journal Article | IST-REx-ID: 6059
Qualitative and quantitative analysis of PMN/T-cell interactions by InFlow and super-resolution microscopy
E. Balta, J.A. Stopp, L. Castelletti, H. Kirchgessner, Y. Samstag, G.H. Wabnitz, Methods 112 (2017) 25–38.
View
| Files available
| DOI
| PubMed | Europe PMC
E. Balta, J.A. Stopp, L. Castelletti, H. Kirchgessner, Y. Samstag, G.H. Wabnitz, Methods 112 (2017) 25–38.
2017 | Published | Conference Paper | IST-REx-ID: 609 |
Moderately hard functions: Definition, instantiations, and applications
J.F. Alwen, B. Tackmann, in:, Y. Kalai, L. Reyzin (Eds.), Springer, 2017, pp. 493–526.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
J.F. Alwen, B. Tackmann, in:, Y. Kalai, L. Reyzin (Eds.), Springer, 2017, pp. 493–526.
2017 | Published | Journal Article | IST-REx-ID: 610 |
On generalized Heawood inequalities for manifolds: A van Kampen–Flores type nonembeddability result
X. Goaoc, I. Mabillard, P. Paták, Z. Patakova, M. Tancer, U. Wagner, Israel Journal of Mathematics 222 (2017) 841–866.
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
X. Goaoc, I. Mabillard, P. Paták, Z. Patakova, M. Tancer, U. Wagner, Israel Journal of Mathematics 222 (2017) 841–866.
2017 | Published | Journal Article | IST-REx-ID: 611
Evolution of flower color pattern through selection on regulatory small RNAs
D. Bradley, P. Xu, I. Mohorianu, A. Whibley, D. Field, H. Tavares, M. Couchman, L. Copsey, R. Carpenter, M. Li, Q. Li, Y. Xue, T. Dalmay, E. Coen, Science 358 (2017) 925–928.
View
| DOI
D. Bradley, P. Xu, I. Mohorianu, A. Whibley, D. Field, H. Tavares, M. Couchman, L. Copsey, R. Carpenter, M. Li, Q. Li, Y. Xue, T. Dalmay, E. Coen, Science 358 (2017) 925–928.
2017 | Published | Journal Article | IST-REx-ID: 6113 |
Modulation of sensory information processing by a neuroglobin in Caenorhabditis elegans
S. Oda, Y. Toyoshima, M. de Bono, Proceedings of the National Academy of Sciences 114 (2017) E4658–E4665.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
S. Oda, Y. Toyoshima, M. de Bono, Proceedings of the National Academy of Sciences 114 (2017) E4658–E4665.
2017 | Published | Journal Article | IST-REx-ID: 6115 |
Memory of recent oxygen experience switches pheromone valence inCaenorhabditis elegans
L.A. Fenk, M. de Bono, Proceedings of the National Academy of Sciences 114 (2017) 4195–4200.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
L.A. Fenk, M. de Bono, Proceedings of the National Academy of Sciences 114 (2017) 4195–4200.
2017 | Published | Journal Article | IST-REx-ID: 6117 |
IL-17 is a neuromodulator of Caenorhabditis elegans sensory responses
C. Chen, E. Itakura, G.M. Nelson, M. Sheng, P. Laurent, L.A. Fenk, R.A. Butcher, R.S. Hegde, M. de Bono, Nature 542 (2017) 43–48.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
| PubMed | Europe PMC
C. Chen, E. Itakura, G.M. Nelson, M. Sheng, P. Laurent, L.A. Fenk, R.A. Butcher, R.S. Hegde, M. de Bono, Nature 542 (2017) 43–48.
2017 | Published | Journal Article | IST-REx-ID: 613 |
Shaping bacterial population behavior through computer interfaced control of individual cells
R.P. Chait, J. Ruess, T. Bergmiller, G. Tkačik, C.C. Guet, Nature Communications 8 (2017).
[Published Version]
View
| Files available
| DOI
R.P. Chait, J. Ruess, T. Bergmiller, G. Tkačik, C.C. Guet, Nature Communications 8 (2017).
2017 | Published | Journal Article | IST-REx-ID: 615 |
Universality for random matrix flows with time dependent density
L. Erdös, K. Schnelli, Annales de l’institut Henri Poincare (B) Probability and Statistics 53 (2017) 1606–1656.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
L. Erdös, K. Schnelli, Annales de l’institut Henri Poincare (B) Probability and Statistics 53 (2017) 1606–1656.
2017 | Published | Journal Article | IST-REx-ID: 618 |
Environmental temperature variation influences fitness trade-offs in a fish-tapeworm association
F. Franke, S. Armitage, M. Kutzer, J. Kurtz, J. Scharsack, Parasites & Vectors 10 (2017).
[Published Version]
View
| Files available
| DOI
F. Franke, S. Armitage, M. Kutzer, J. Kurtz, J. Scharsack, Parasites & Vectors 10 (2017).
2017 | Published | Journal Article | IST-REx-ID: 6196 |
The exact security of PMAC
P. Gazi, K.Z. Pietrzak, M. Rybar, IACR Transactions on Symmetric Cryptology 2016 (2017) 145–161.
[Published Version]
View
| Files available
| DOI
P. Gazi, K.Z. Pietrzak, M. Rybar, IACR Transactions on Symmetric Cryptology 2016 (2017) 145–161.
2017 | Published | Journal Article | IST-REx-ID: 621 |
Mechanisms of radial glia progenitor cell lineage progression
R.J. Beattie, S. Hippenmeyer, FEBS Letters 591 (2017) 3993–4008.
[Published Version]
View
| Files available
| DOI
| PubMed | Europe PMC
R.J. Beattie, S. Hippenmeyer, FEBS Letters 591 (2017) 3993–4008.
2017 | Published | Book Chapter | IST-REx-ID: 623
Extracerebral dysfunction in animal models of autism spectrum disorder
E. Hill Yardin, S. Mckeown, G. Novarino, A. Grabrucker, in:, M. Schmeisser, T. Boekers (Eds.), Translational Anatomy and Cell Biology of Autism Spectrum Disorder, Springer, 2017, pp. 159–187.
View
| DOI
E. Hill Yardin, S. Mckeown, G. Novarino, A. Grabrucker, in:, M. Schmeisser, T. Boekers (Eds.), Translational Anatomy and Cell Biology of Autism Spectrum Disorder, Springer, 2017, pp. 159–187.
2017 | Published | Journal Article | IST-REx-ID: 624 |
MazF activation promotes translational heterogeneity of the grcA mRNA in Escherichia coli populations
N. Nikolic, Z. Didara, I. Moll, PeerJ 2017 (2017).
[Published Version]
View
| Files available
| DOI
N. Nikolic, Z. Didara, I. Moll, PeerJ 2017 (2017).
2017 | Published | Journal Article | IST-REx-ID: 626 |
The infinitesimal model: Definition derivation and implications
N.H. Barton, A. Etheridge, A. Véber, Theoretical Population Biology 118 (2017) 50–73.
[Published Version]
View
| Files available
| DOI
N.H. Barton, A. Etheridge, A. Véber, Theoretical Population Biology 118 (2017) 50–73.