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 | Conference Paper | IST-REx-ID: 3499
Chatterjee, Krishnendu. Nash Equilibrium for Upward-Closed Objectives. Vol. 4207, Springer, 2006, pp. 271–86, doi:10.1007/11874683_18.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 3500
Chatterjee, Krishnendu, et al. Algorithms for Büchi Games. ACM, 2006.
View | Download (ext.)
 

2006 | Conference Paper | IST-REx-ID: 4549
Chatterjee, Krishnendu, et al. Compositional Quantitative Reasoning. IEEE, 2006, pp. 179–88, doi:10.1109/QEST.2006.11.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 4550
Chatterjee, Krishnendu, et al. “Games with Secure Equilibria.” Theoretical Computer Science, vol. 365, no. 1–2, Elsevier, 2006, pp. 67–82, doi:10.1016/j.tcs.2006.07.032.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4551
Chatterjee, Krishnendu, et al. Markov Decision Processes with Multiple Objectives. Vol. 3884, Springer, 2006, pp. 325–36, doi:10.1007/11672142_26.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4552
Chatterjee, Krishnendu, et al. Strategy Improvement for Concurrent Reachability Games. IEEE, 2006, pp. 291–300, doi:10.1109/QEST.2006.48.
View | DOI
 

2006 | Conference Paper | IST-REx-ID: 4574
Beyer, Dirk, et al. Lazy Shape Analysis. Vol. 4144, Springer, 2006, pp. 532–46, doi:10.1007/11817963_48.
View | DOI
 

2006 | Book Chapter | IST-REx-ID: 3722
Janovjak, Harald L., and Daniel Mueller. “Rastersondenmikroskopie.” Bioanalytik, Spektrum Akademischer Verlag, 2006.
View
 

2006 | Journal Article | IST-REx-ID: 3728
Cieplak, Marek, et al. “Pulling Single Bacteriorhodopsin out of a Membrane: Comparison of Simulation and Experiment.” Biochimica et Biophysica Acta (BBA) - Biomembranes, vol. 1758, no. 4, Elsevier, 2006, pp. 537–44, doi:10.1016/j.bbamem.2006.03.028.
View | DOI
 

2006 | Journal Article | IST-REx-ID: 3729
Bippes, Christian, et al. “Direct Measurement of Single-Molecule Visco-Elasticity in Atomic Force Microscope Force-Extension Experiments.” European Biophysics Journal, vol. 35, no. 3, Springer, 2006, pp. 287–92, doi:10.1007/s00249-005-0023-9.
View | DOI
 

Filters and Search Terms

year=2006

Search

Filter Publications