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 | OA
Y. Jiang et al., “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, 2016.
[Submitted Version] View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1257 | OA
C. Sadel and B. Virág, “A central limit theorem for products of random matrices and GOE statistics for the Anderson model on long boxes,” Communications in Mathematical Physics, vol. 343, no. 3. Springer, pp. 881–919, 2016.
[Published Version] View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1258
M. Gallemi et al., “DRACULA2 is a dynamic nucleoporin with a role in regulating the shade avoidance syndrome in Arabidopsis,” Development, vol. 143, no. 9. Company of Biologists, pp. 1623–1631, 2016.
View | DOI
 
2016 | Journal Article | IST-REx-ID: 1259 | OA
G. Bräunlich, C. Hainzl, and R. Seiringer, “Bogolubov–Hartree–Fock theory for strongly interacting fermions in the low density limit,” Mathematical Physics, Analysis and Geometry, vol. 19, no. 2. Springer, 2016.
[Published Version] View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1260 | OA
D. De Martino, “The dual of the space of interactions in neural network models,” International Journal of Modern Physics C, vol. 27, no. 6. World Scientific Publishing, 2016.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
2016 | Journal Article | IST-REx-ID: 1261 | OA
J. Maas and D. Matthes, “Long-time behavior of a finite volume discretization for a fourth order diffusion equation,” Nonlinearity, vol. 29, no. 7. IOP Publishing Ltd., pp. 1992–2023, 2016.
[Preprint] View | DOI | Download Preprint (ext.)
 
2016 | Journal Article | IST-REx-ID: 1264 | OA
G. Sancho Andrés et al., “Sorting motifs involved in the trafficking and localization of the PIN1 auxin efflux carrier,” Plant Physiology, vol. 171, no. 3. American Society of Plant Biologists, pp. 1965–1982, 2016.
[Submitted Version] View | DOI | Download Submitted Version (ext.)
 
2016 | Journal Article | IST-REx-ID: 1265
K. Elsayad et al., “Mapping the subcellular mechanical properties of live cells in tissues with fluorescence emission-Brillouin imaging,” Science Signaling, vol. 9, no. 435. American Association for the Advancement of Science, 2016.
View | DOI
 
2016 | Journal Article | IST-REx-ID: 1266 | OA
M. J. Chalk, B. Gutkin, and S. Denève, “Neural oscillations as a signature of efficient coding in the presence of synaptic delays,” eLife, vol. 5, no. 2016JULY. eLife Sciences Publications, 2016.
[Published Version] View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1269 | OA
E. Benková, “Plant hormones in interactions with the environment,” Plant Molecular Biology, vol. 91, no. 6. Springer, p. 597, 2016.
[Published Version] View | Files available | DOI
 

Search

Filter Publications