Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
4919 Publications
2016 | Conference Paper | IST-REx-ID: 1256 | 
From stateflow simulation to verified implementation: A verification approach and a real-time train controller design
Y. Jiang, Y. Yang, H. Liu, H. Kong, M. Gu, J. Sun, L. Sha, in:, IEEE, 2016.
[Submitted Version]
View
| Files available
| DOI
Y. Jiang, Y. Yang, H. Liu, H. Kong, M. Gu, J. Sun, L. Sha, in:, IEEE, 2016.
2016 | Journal Article | IST-REx-ID: 1257 |
A central limit theorem for products of random matrices and GOE statistics for the Anderson model on long boxes
C. Sadel, B. Virág, Communications in Mathematical Physics 343 (2016) 881–919.
[Published Version]
View
| Files available
| DOI
C. Sadel, B. Virág, Communications in Mathematical Physics 343 (2016) 881–919.
2016 | Journal Article | IST-REx-ID: 1258
DRACULA2 is a dynamic nucleoporin with a role in regulating the shade avoidance syndrome in Arabidopsis
M. Gallemi, A. Galstyan, S. Paulišić, C. Then, A. Ferrández Ayela, L. Lorenzo Orts, I. Roig Villanova, X. Wang, J. Micol, M. Ponce, P. Devlin, J. Martínez García, Development 143 (2016) 1623–1631.
View
| DOI
M. Gallemi, A. Galstyan, S. Paulišić, C. Then, A. Ferrández Ayela, L. Lorenzo Orts, I. Roig Villanova, X. Wang, J. Micol, M. Ponce, P. Devlin, J. Martínez García, Development 143 (2016) 1623–1631.
2016 | Journal Article | IST-REx-ID: 1259 |
Bogolubov–Hartree–Fock theory for strongly interacting fermions in the low density limit
G. Bräunlich, C. Hainzl, R. Seiringer, Mathematical Physics, Analysis and Geometry 19 (2016).
[Published Version]
View
| Files available
| DOI
G. Bräunlich, C. Hainzl, R. Seiringer, Mathematical Physics, Analysis and Geometry 19 (2016).
2016 | Journal Article | IST-REx-ID: 1260 |
The dual of the space of interactions in neural network models
D. De Martino, International Journal of Modern Physics C 27 (2016).
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
D. De Martino, International Journal of Modern Physics C 27 (2016).
2016 | Journal Article | IST-REx-ID: 1261 |
Long-time behavior of a finite volume discretization for a fourth order diffusion equation
J. Maas, D. Matthes, Nonlinearity 29 (2016) 1992–2023.
[Preprint]
View
| DOI
| Download Preprint (ext.)
J. Maas, D. Matthes, Nonlinearity 29 (2016) 1992–2023.
2016 | Journal Article | IST-REx-ID: 1264 |
Sorting motifs involved in the trafficking and localization of the PIN1 auxin efflux carrier
G. Sancho Andrés, E. Soriano Ortega, C. Gao, J. Bernabé Orts, M. Narasimhan, A. Müller, R. Tejos, L. Jiang, J. Friml, F. Aniento, M. Marcote, Plant Physiology 171 (2016) 1965–1982.
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
G. Sancho Andrés, E. Soriano Ortega, C. Gao, J. Bernabé Orts, M. Narasimhan, A. Müller, R. Tejos, L. Jiang, J. Friml, F. Aniento, M. Marcote, Plant Physiology 171 (2016) 1965–1982.
2016 | Journal Article | IST-REx-ID: 1265
Mapping the subcellular mechanical properties of live cells in tissues with fluorescence emission-Brillouin imaging
K. Elsayad, S. Werner, M. Gallemi, J. Kong, E. Guajardo, L. Zhang, Y. Jaillais, T. Greb, Y. Belkhadir, Science Signaling 9 (2016).
View
| DOI
K. Elsayad, S. Werner, M. Gallemi, J. Kong, E. Guajardo, L. Zhang, Y. Jaillais, T. Greb, Y. Belkhadir, Science Signaling 9 (2016).
2016 | Journal Article | IST-REx-ID: 1266 |
Neural oscillations as a signature of efficient coding in the presence of synaptic delays
M.J. Chalk, B. Gutkin, S. Denève, ELife 5 (2016).
[Published Version]
View
| Files available
| DOI
M.J. Chalk, B. Gutkin, S. Denève, ELife 5 (2016).
2016 | Journal Article | IST-REx-ID: 1269 |
Plant hormones in interactions with the environment
E. Benková, Plant Molecular Biology 91 (2016) 597.
[Published Version]
View
| Files available
| DOI
E. Benková, Plant Molecular Biology 91 (2016) 597.