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.
9096 Publications
2014 | Conference Paper | IST-REx-ID: 1702 | 
Gupta A, Popeea C, Rybalchenko A. Generalised interpolation by solving recursion free-horn clauses. In: Electronic Proceedings in Theoretical Computer Science, EPTCS. Vol 169. Open Publishing; 2014:31-38. doi:10.4204/EPTCS.169.5
[Submitted Version]
View
| DOI
| Download Submitted Version (ext.)
2014 | Conference Paper | IST-REx-ID: 1708
Savin C, Denève S. Spatio-temporal representations of uncertainty in spiking neural networks. In: Vol 3. Neural Information Processing Systems; 2014:2024-2032.
View
| Download None (ext.)
2014 | Journal Article | IST-REx-ID: 1761 |
Mongillo M, Spathis P, Katsaros G, et al. PtSi clustering in silicon probed by transport spectroscopy. Physical Review X. 2014;3(4). doi:10.1103/PhysRevX.3.041025
View
| DOI
| Download (ext.)
2014 | Journal Article | IST-REx-ID: 1791
Baek S, Kerjan G, Bielas S, et al. Off-target effect of doublecortin family shRNA on neuronal migration associated with endogenous MicroRNA dysregulation. Neuron. 2014;82(6):1255-1262. doi:10.1016/j.neuron.2014.04.036
View
| DOI
2014 | Book Chapter | IST-REx-ID: 1806
Baster P, Friml J. Auxin on the road navigated by cellular PIN polarity. In: Zažímalová E, Petrášek J, Benková E, eds. Auxin and Its Role in Plant Development. Springer; 2014:143-170. doi:10.1007/978-3-7091-1526-8_8
View
| DOI