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, et al. Down syndrome cell adhesion molecule 1: Testing for a role in insect immunity, behaviour and reproduction. Royal Society Open Science. 2016;3(4). doi:10.1098/rsos.160138
[Published Version]
View
| Files available
| DOI
2016 | Conference Paper | IST-REx-ID: 1256 |
Jiang Y, Yang Y, Liu H, et al. From stateflow simulation to verified implementation: A verification approach and a real-time train controller design. In: IEEE; 2016. doi:10.1109/RTAS.2016.7461337
[Submitted Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1257 |
Sadel C, Virág B. A central limit theorem for products of random matrices and GOE statistics for the Anderson model on long boxes. Communications in Mathematical Physics. 2016;343(3):881-919. doi:10.1007/s00220-016-2600-4
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1259 |
Bräunlich G, Hainzl C, Seiringer R. Bogolubov–Hartree–Fock theory for strongly interacting fermions in the low density limit. Mathematical Physics, Analysis and Geometry. 2016;19(2). doi:10.1007/s11040-016-9209-x
[Published Version]
View
| Files available
| DOI
2016 | Journal Article | IST-REx-ID: 1260 |
De Martino D. The dual of the space of interactions in neural network models. International Journal of Modern Physics C. 2016;27(6). doi:10.1142/S0129183116500674
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv