ISTA Research Explorer

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

2014 | Conference Paper | IST-REx-ID: 1643 |

Constrained Verifiable Random Functions
G. Fuchsbauer, in:, M. Abdalla, R. De Prisco (Eds.), SCN 2014, Springer, 2014, pp. 95–114.

[Submitted Version] View | DOI | Download Submitted Version (ext.)

2014 | Conference Paper | IST-REx-ID: 1702 |

Generalised interpolation by solving recursion free-horn clauses
A. Gupta, C. Popeea, A. Rybalchenko, in:, Electronic Proceedings in Theoretical Computer Science, EPTCS, Open Publishing, 2014, pp. 31–38.

[Submitted Version] View | DOI | Download Submitted Version (ext.)

2014 | Conference Paper | IST-REx-ID: 1708

Spatio-temporal representations of uncertainty in spiking neural networks
C. Savin, S. Denève, in:, Neural Information Processing Systems, 2014, pp. 2024–2032.

View | Download None (ext.)

2014 | Journal Article | IST-REx-ID: 1761 |

PtSi clustering in silicon probed by transport spectroscopy
M. Mongillo, P. Spathis, G. Katsaros, S. De Franceschi, P. Gentile, R. Rurali, X. Cartoixà, Physical Review X 3 (2014).

View | DOI | Download (ext.)

2014 | Journal Article | IST-REx-ID: 1791

Off-target effect of doublecortin family shRNA on neuronal migration associated with endogenous MicroRNA dysregulation
S. Baek, G. Kerjan, S. Bielas, J. Lee, A. Fenstermaker, G. Novarino, J. Gleeson, Neuron 82 (2014) 1255–1262.

View | DOI