Please note that IST 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.

2595 Publications


2012 | Conference Paper | IST-REx-ID: 496   OA
Interpretations in trees with countably many branches
A. Rabinovich, S. Rubin, in:, IEEE, 2012.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2949
The medial entorhinal cortex keeps Up
D. Dupret, J.L. Csicsvari, Nature Neuroscience 15 (2012) 1471–1472.
View | DOI | Download (ext.)
 

2012 | Conference Paper | IST-REx-ID: 2937   OA
Full proof cryptography: Verifiable compilation of efficient zero-knowledge protocols
J. Almeida, M. Barbosa, E. Bangerter, G. Barthe, S. Krenn, S. Béguelin, in:, Proceedings of the 2012 ACM Conference on Computer and Communications Security, ACM, 2012, pp. 488–500.
View | DOI | Download (ext.)
 

2012 | Journal Article | IST-REx-ID: 2951
Adhesion functions in cell sorting by mechanically coupling the cortices of adhering cells
J.-L. Maître, H. Berthoumieux, G. Krens, G. Salbreux, F. Julicher, E. Paluch, C.-P.J. Heisenberg, Science 338 (2012) 253–256.
View | DOI
 

2012 | Journal Article | IST-REx-ID: 2968   OA
A likelihood based comparison of population histories in a parasitoid guild
K. Lohse, N.H. Barton, G. Melika, G. Stone, Molecular Ecology 21 (2012) 4605–4617.
View | Files available | DOI
 

Filters and Search Terms

extern<>1

Search

Filter Publications

Display / Sort

Citation Style: Default

Export / Embed