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.
4935 Publications
2016 | Journal Article | IST-REx-ID: 1255 | 
Peuß R, Wensing K, Woestmann L, Eggert H, Milutinovic B, Sroka M, Scharsack J, Kurtz J, Armitage S. 2016. Down syndrome cell adhesion molecule 1: Testing for a role in insect immunity, behaviour and reproduction. Royal Society Open Science. 3(4), 160138.
[Published Version]
View
| Files available
| DOI
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: 1258
Gallemi M, Galstyan A, Paulišić S, Then C, Ferrández Ayela A, Lorenzo Orts L, Roig Villanova I, Wang X, Micol J, Ponce M, Devlin P, Martínez García J. 2016. DRACULA2 is a dynamic nucleoporin with a role in regulating the shade avoidance syndrome in Arabidopsis. Development. 143(9), 1623–1631.
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. 19(2), 13.
[Published Version]
View
| Files available
| DOI