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.
4929 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. Presented at the RTAS: Real-time and Embedded Technology and Applications Symposium, Vienna, Austria: IEEE. https://doi.org/10.1109/RTAS.2016.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. Springer. https://doi.org/10.1007/s00220-016-2600-4
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1258
Gallemi, M., Galstyan, A., Paulišić, S., Then, C., Ferrández Ayela, A., Lorenzo Orts, L., … Martínez García, J. (2016). DRACULA2 is a dynamic nucleoporin with a role in regulating the shade avoidance syndrome in Arabidopsis. Development. Company of Biologists. https://doi.org/10.1242/dev.130211
View
| 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. Springer. https://doi.org/10.1007/s11040-016-9209-x
[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. World Scientific Publishing. https://doi.org/10.1142/S0129183116500674
[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. IOP Publishing Ltd. https://doi.org/10.1088/0951-7715/29/7/1992
[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., … Marcote, M. (2016). Sorting motifs involved in the trafficking and localization of the PIN1 auxin efflux carrier. Plant Physiology. American Society of Plant Biologists. https://doi.org/10.1104/pp.16.00373
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2016 | Journal Article | IST-REx-ID: 1265
Elsayad, K., Werner, S., Gallemi, M., Kong, J., Guajardo, E., Zhang, L., … Belkhadir, Y. (2016). Mapping the subcellular mechanical properties of live cells in tissues with fluorescence emission-Brillouin imaging. Science Signaling. American Association for the Advancement of Science. https://doi.org/10.1126/scisignal.aaf6326
View
| DOI
2016 | Journal Article | IST-REx-ID: 1266 |
Chalk, M. J., Gutkin, B., & Denève, S. (2016). Neural oscillations as a signature of efficient coding in the presence of synaptic delays. ELife. eLife Sciences Publications. https://doi.org/10.7554/eLife.13824
[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. Springer. https://doi.org/10.1007/s11103-016-0501-8
[Published Version]
View
| Files available
| DOI