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.




3457 Publications

2016 | Conference Paper | IST-REx-ID: 1256 | OA
Jiang, Yu, Yixiao Yang, Han Liu, Hui Kong, Ming Gu, Jiaguang Sun, and Lui Sha. “From Stateflow Simulation to Verified Implementation: A Verification Approach and a Real-Time Train Controller Design.” IEEE, 2016. https://doi.org/10.1109/RTAS.2016.7461337.
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1257 | OA
Sadel, Christian, and Bálint 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. Springer, 2016. https://doi.org/10.1007/s00220-016-2600-4.
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1258
Gallemi, Marçal, Anahit Galstyan, Sandi Paulišić, Christiane Then, Almudena Ferrández Ayela, Laura Lorenzo Orts, Irma Roig Villanova, et al. “DRACULA2 Is a Dynamic Nucleoporin with a Role in Regulating the Shade Avoidance Syndrome in Arabidopsis.” Development. Company of Biologists, 2016. https://doi.org/10.1242/dev.130211.
View | DOI
 
2016 | Journal Article | IST-REx-ID: 1259 | OA
Bräunlich, Gerhard, Christian Hainzl, and Robert Seiringer. “Bogolubov–Hartree–Fock Theory for Strongly Interacting Fermions in the Low Density Limit.” Mathematical Physics, Analysis and Geometry. Springer, 2016. https://doi.org/10.1007/s11040-016-9209-x.
View | Files available | DOI
 
2016 | Journal Article | IST-REx-ID: 1260 | OA
De Martino, Daniele. “The Dual of the Space of Interactions in Neural Network Models.” International Journal of Modern Physics C. World Scientific Publishing, 2016. https://doi.org/10.1142/S0129183116500674.
View | DOI | Download Preprint (ext.) | arXiv
 

Search

Filter Publications