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.
4205 Publications
2016 | Conference Paper | IST-REx-ID: 1256 | 
Jiang Y, Yang Y, Liu H, Kong H, Gu M, Sun J, Sha L. 2016. From stateflow simulation to verified implementation: A verification approach and a real-time train controller design. RTAS: Real-time and Embedded Technology and Applications Symposium, 7461337.
[Submitted Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1257 |
Sadel C, Virág B. 2016. A central limit theorem for products of random matrices and GOE statistics for the Anderson model on long boxes. Communications in Mathematical Physics. 343(3), 881–919.
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1259 |
Bräunlich G, Hainzl C, Seiringer R. 2016. Bogolubov–Hartree–Fock theory for strongly interacting fermions in the low density limit. Mathematical Physics, Analysis and Geometry. 19(2), 13.
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1260 |
De Martino D. 2016. The dual of the space of interactions in neural network models. International Journal of Modern Physics C. 27(6), 1650067.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2016 | Journal Article | IST-REx-ID: 1261 |
Maas J, Matthes D. 2016. Long-time behavior of a finite volume discretization for a fourth order diffusion equation. Nonlinearity. 29(7), 1992–2023.
[Preprint]
View
| DOI
| Download Preprint (ext.)
2016 | Journal Article | IST-REx-ID: 1264 |
Sancho Andrés G, Soriano Ortega E, Gao C, Bernabé Orts J, Narasimhan M, Müller A, Tejos R, Jiang L, Friml J, Aniento F, Marcote M. 2016. Sorting motifs involved in the trafficking and localization of the PIN1 auxin efflux carrier. Plant Physiology. 171(3), 1965–1982.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2016 | Journal Article | IST-REx-ID: 1266 |
Chalk MJ, Gutkin B, Denève S. 2016. Neural oscillations as a signature of efficient coding in the presence of synaptic delays. eLife. 5(2016JULY), e13824.
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1269 |
Benková E. 2016. Plant hormones in interactions with the environment. Plant Molecular Biology. 91(6), 597.
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1267 |
Frank R, Killip R, Nam P. 2016. Nonexistence of large nuclei in the liquid drop model. Letters in Mathematical Physics. 106(8), 1033–1036.
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1271 |
Diz Muñoz A, Romanczuk P, Yu W, Bergert M, Ivanovitch K, Salbreux G, Heisenberg C-PJ, Paluch E. 2016. Steering cell migration by alternating blebs and actin-rich protrusions. BMC Biology. 14(1), 74.
[Published Version]
View
| Files available
| DOI