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 | 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: 1816 |

Topology-preserving watermarking of vector graphics
S. Huber, M. Held, P. Meerwald, R. Kwitt, International Journal of Computational Geometry and Applications 24 (2014) 61–86.

[Published Version] View | Files available | DOI

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

Bose gases, Bose-Einstein condensation, and the Bogoliubov approximation
R. Seiringer, Journal of Mathematical Physics 55 (2014).

[Submitted Version] View | Files available | DOI