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.

197 Publications


2006 | Journal Article | IST-REx-ID: 3818
Patch-clamp recording from mossy fiber terminals in hippocampal slices
J. Bischofberger, D. Engel, L. Li, J. Geiger, P.M. Jonas, Nature Protocols 1 (2006) 2075–81.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3888
Strategy improvement for stochastic Rabin and Streett games
K. Chatterjee, T.A. Henzinger, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2006, pp. 375–389.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3889
Algorithms for omega-regular games with imperfect information
K. Chatterjee, L. Doyen, T.A. Henzinger, J. Raskin, in:, Springer, 2006, pp. 287–302.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3890
The complexity of quantitative concurrent parity games
K. Chatterjee, L. De Alfaro, T.A. Henzinger, in:, SIAM, 2006, pp. 678–687.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3891
Concurrent games with tail objectives
K. Chatterjee, in:, Springer, 2006, pp. 256–270.
View | DOI
 

Filters and Search Terms

year=2006

Search

Filter Publications