ISTA Research Explorer

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.

4853 Publications

Search / Filter

2012 | Published | Conference Paper | IST-REx-ID: 3280 |

Subspace LWE
K.Z. Pietrzak, in:, Springer, 2012, pp. 548–563.

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

2012 | Published | Conference Paper | IST-REx-ID: 3281

Lossy functions do not amplify well
K.Z. Pietrzak, A. Rosen, G. Segev, in:, Springer, 2012, pp. 458–475.

View | DOI | Download None (ext.)

2012 | Published | Conference Paper | IST-REx-ID: 3282 |

Message authentication, revisited
Y. Dodis, K.Z. Pietrzak, E. Kiltz, D. Wichs, in:, Springer, 2012, pp. 355–374.

[Submitted Version] View | Files available | DOI

2012 | Published | Journal Article | IST-REx-ID: 3289 |

A vaccinia virus-driven interplay between the MKK4/7-JNK1/2 pathway and cytoskeleton reorganization
A. Pereira, F. Leite, B. Brasil, J. Soares Martins, A. Torres, P. Pimenta, T. Souto Padrón, P. Tranktman, P. Ferreira, E. Kroon, C. Bonjardim, Journal of Virology 86 (2012) 172–184.

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

2012 | Published | Journal Article | IST-REx-ID: 3310 |

A point calculus for interlevel set homology
P. Bendich, S. Cabello, H. Edelsbrunner, Pattern Recognition Letters 33 (2012) 1436–1444.

[Submitted Version] View | Files available | DOI

2012 | Published | Journal Article | IST-REx-ID: 3314

Discounting and averaging in games across time scales
K. Chatterjee, R. Majumdar, International Journal of Foundations of Computer Science 23 (2012) 609–625.

View | DOI

2012 | Published | Journal Article | IST-REx-ID: 3317 |

Nanodomain coupling between Ca(2+) channels and sensors of exocytosis at fast mammalian synapses
E. Eggermann, I. Bucurenciu, S. Goswami, P.M. Jonas, Nature Reviews Neuroscience 13 (2012) 7–21.

[Submitted Version] View | Files available | DOI

2012 | Published | Journal Article | IST-REx-ID: 3331 |

A worst case bound for topology computation of algebraic curves
M. Kerber, M. Sagraloff, Journal of Symbolic Computation 47 (2012) 239–258.

[Preprint] View | DOI | Download Preprint (ext.)

2012 | Published | Conference Paper | IST-REx-ID: 3341 |

Robustness of structurally equivalent concurrent parity games
K. Chatterjee, in:, Springer, 2012, pp. 270–285.

[Preprint] View | Files available | DOI | Download Preprint (ext.) | arXiv

2012 | Published | Journal Article | IST-REx-ID: 3836

Separate compilation of hierarchical real-time programs into linear-bounded embedded machine code
A. Ghosal, D. Iercan, C. Kirsch, T.A. Henzinger, A. Sangiovanni Vincentelli, Science of Computer Programming 77 (2012) 96–112.

View | DOI

2012 | Published | Journal Article | IST-REx-ID: 3846 |

A survey of stochastic ω regular games
K. Chatterjee, T.A. Henzinger, Journal of Computer and System Sciences 78 (2012) 394–413.

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

2012 | Published | Journal Article | IST-REx-ID: 493 |

Review of the BCI competition IV
M. Tangermann, K. Müller, A. Aertsen, N. Birbaumer, C. Braun, C. Brunner, R. Leeb, C. Mehring, K. Miller, G. Müller Putz, G. Nolte, G. Pfurtscheller, H. Preissl, G. Schalk, A. Schlögl, C. Vidaurre, S. Waldert, B. Blankertz, Frontiers in Neuroscience 6 (2012).