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.

364 Publications

2015 | Conference Paper | IST-REx-ID: 1660   OA
Long-run average behaviour of probabilistic vector addition systems
T. Brázdil, S. Kiefer, A. Kučera, P. Novotny, in:, IEEE, 2015, pp. 44–55.
View | DOI | Download (ext.)

2015 | Journal Article | IST-REx-ID: 1615   OA
Perturbed hippocampal synaptic inhibition and γ-oscillations in a neuroligin-4 knockout mouse model of autism
M. Hammer, D. Krueger Burg, L. Tuffy, B. Cooper, H. Taschenberger, S. Goswami, H. Ehrenreich, P.M. Jonas, F. Varoqueaux, J. Rhee, N. Brose, Cell Reports 13 (2015) 516–523.
View | Files available | DOI

2015 | Conference Paper | IST-REx-ID: 1627
Design and fabrication of flexible rod meshes
J. Pérez, B. Thomaszewski, S. Coros, B. Bickel, J. Canabal, R. Sumner, M. Otaduy, in:, ACM, 2015.
View | DOI

2015 | Conference Paper | IST-REx-ID: 1634   OA View | Files available | DOI

2015 | Journal Article | IST-REx-ID: 1696   OA View | DOI | Download (ext.)

Filters and Search Terms



Filter Publications

Display / Sort

Citation Style: Default

Export / Embed