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.

2706 Publications

2011 | Journal Article | IST-REx-ID: 469   OA
Vyleta N, Smith S. 2011. Spontaneous glutamate release is independent of calcium influx and tonically activated by the calcium-sensing receptor. European Journal of Neuroscience. 31(12), 4593–4606.
View | DOI | Download (ext.)

2011 | Technical Report | IST-REx-ID: 5383   OA
Wies T, Muñiz M, Kuncak V. 2011. On an efficient decision procedure for imperative tree data structures, IST Austria, 25p.
View | Files available | DOI

2011 | Preprint | IST-REx-ID: 3363   OA
Chatterjee K, Henzinger TA, Tracol M. The decidability frontier for probabilistic automata on infinite words.
View | Download (ext.) | arXiv

2011 | Conference Paper | IST-REx-ID: 3349   OA
Chatterjee K, Fijalkow N. 2011. A reduction from parity games to simple stochastic games. GandALF: Games, Automata, Logic, and Formal Verification, EPTCS, vol. 54. 74–86.
View | DOI | Download (ext.)

2011 | Conference Paper | IST-REx-ID: 3351   OA
Chatterjee K, Doyen L, Singh R. 2011. On memoryless quantitative objectives. FCT: Fundamentals of Computation Theory, LNCS, vol. 6914. 148–159.
View | DOI | Download (ext.)

Filters and Search Terms



Filter Publications

Display / Sort

Citation Style: IST Annual Report

Export / Embed