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.

4854 Publications

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

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

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

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

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

[Submitted Version] View | Files available | DOI

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

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

View | DOI

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

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

[Submitted Version] View | Files available | DOI

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

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

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

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

Chatterjee K. 2012. Robustness of structurally equivalent concurrent parity games. FoSSaCS: Foundations of Software Science and Computation Structures, LNCS, vol. 7213, 270–285.

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

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

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

View | DOI

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

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

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

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

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