Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
4181 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: 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
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. 27(6), 1650067.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv