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.

7692 Publications

2010 | Published | Conference Paper | IST-REx-ID: 3847 |

SABRE: A tool for the stochastic analysis of biochemical reaction networks
F. Didier, T.A. Henzinger, M. Mateescu, V. Wolf, in:, IEEE, 2010, pp. 193–194.

[Submitted Version] View | Files available | DOI

2010 | Published | Conference Paper | IST-REx-ID: 3849 |

Persistent homology under non-uniform error
P. Bendich, H. Edelsbrunner, M. Kerber, A. Patel, in:, Springer, 2010, pp. 12–23.

[Submitted Version] View | Files available | DOI

2010 | Published | Journal Article | IST-REx-ID: 385 |

STM imaging of electronic waves on the surface of Bi2Te3 Topologically protected surface states and hexagonal warping effects
Z. Alpichshev, J. Analytis, J. Chu, I. Fisher, Y. Chen, Z. Shen, A. Fang, A. Kapitulnik, Physical Review Letters 104 (2010).

View | DOI | Download None (ext.)

2010 | Published | Conference Paper | IST-REx-ID: 3851 |

Energy parity games
K. Chatterjee, L. Doyen, in:, Springer, 2010, pp. 599–610.

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

2010 | Published | Conference Paper | IST-REx-ID: 3852 |

Discounting in games across time scales
K. Chatterjee, R. Majumdar, in:, EPTCS, 2010, pp. 22–29.

[Published Version] View | Files available | DOI | arXiv

2010 | Published | Conference Paper | IST-REx-ID: 3853 |

Mean-payoff automaton expressions
K. Chatterjee, L. Doyen, H. Edelsbrunner, T.A. Henzinger, P. Rannou, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 269–283.

[Submitted Version] View | Files available | DOI

2010 | Published | Conference Paper | IST-REx-ID: 3855 |

Qualitative analysis of partially-observable Markov Decision Processes
K. Chatterjee, L. Doyen, T.A. Henzinger, in:, Springer, 2010, pp. 258–269.

[Submitted Version] View | Files available | DOI

2010 | Published | Conference Paper | IST-REx-ID: 3856 |

Randomness for free
K. Chatterjee, L. Doyen, H. Gimbert, T.A. Henzinger, in:, Springer, 2010, pp. 246–257.

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

2010 | Published | Conference Paper | IST-REx-ID: 3858 |

The complexity of partial-observation parity games
K. Chatterjee, L. Doyen, in:, Springer, 2010, pp. 1–14.

[Submitted Version] View | Files available | DOI | WoS

2010 | Published | Conference Paper | IST-REx-ID: 3860 |

Generalized mean-payoff and energy games
K. Chatterjee, L. Doyen, T.A. Henzinger, J. Raskin, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 505–516.

[Submitted Version] View | Files available | DOI | WoS

2010 | Published | Journal Article | IST-REx-ID: 3861 |

Strategy logic
K. Chatterjee, T.A. Henzinger, N. Piterman, Information and Computation 208 (2010) 677–693.

[Submitted Version] View | Files available | DOI | WoS

2010 | Published | Journal Article | IST-REx-ID: 3862 |

Quantitative languages
K. Chatterjee, L. Doyen, T.A. Henzinger, ACM Transactions on Computational Logic (TOCL) 11 (2010).

[Submitted Version] View | Files available | DOI | WoS

2010 | Published | Journal Article | IST-REx-ID: 3863 |

Strategy construction for parity games with imperfect information
D. Berwanger, K. Chatterjee, M. De Wulf, L. Doyen, T.A. Henzinger, Information and Computation 208 (2010) 1206–1220.

[Submitted Version] View | Files available | DOI | WoS

2010 | Published | Conference Paper | IST-REx-ID: 3864 |

Measuring and synthesizing systems in probabilistic environments
K. Chatterjee, T.A. Henzinger, B. Jobstmann, R. Singh, in:, Springer, 2010, pp. 380–395.

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

2010 | Published | Conference Paper | IST-REx-ID: 3866 |

Robustness in the presence of liveness
R. Bloem, K. Chatterjee, K. Greimel, T.A. Henzinger, B. Jobstmann, in:, T. Touili, B. Cook, P. Jackson (Eds.), Springer, 2010, pp. 410–424.

[Submitted Version] View | Files available | DOI

2010 | Published | Journal Article | IST-REx-ID: 3867 |

Expressiveness and closure properties for quantitative languages
K. Chatterjee, L. Doyen, T.A. Henzinger, Logical Methods in Computer Science 6 (2010) 1–23.

[Published Version] View | Files available | DOI | WoS

2010 | Published | Journal Article | IST-REx-ID: 3868 |

Algorithms for game metrics
K. Chatterjee, L. De Alfaro, R. Majumdar, V. Raman, Logical Methods in Computer Science 6 (2010) 1–27.

[Published Version] View | Files available | DOI | WoS

2010 | Published | Journal Article | IST-REx-ID: 3901 |

Computing robustness and persistence for images
P. Bendich, H. Edelsbrunner, M. Kerber, IEEE Transactions of Visualization and Computer Graphics 16 (2010) 1251–1260.

[Submitted Version] View | Files available | DOI | WoS

2010 | Published | Journal Article | IST-REx-ID: 3904 |

Rapid anti-pathogen response in ant societies relies on high genetic diversity
L.V. Ugelvig, D. Kronauer, A. Schrempf, J. Heinze, S. Cremer, Proceedings of the Royal Society of London Series B Biological Sciences 277 (2010) 2821–2828.

View | DOI | Download None (ext.)

2010 | Published | Journal Article | IST-REx-ID: 3960 |

MEK signalling tunes actin treadmilling for interstitial lymphocyte migration
M. Weber, M.K. Sixt, EMBO Journal 29 (2010) 2861–2863.

View | DOI | Download (ext.)

ISTA Research Explorer

Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

7692 Publications

Filters and Search Terms

Search

Filter Publications

Display / Sort

Export / Embed

ISTA Research Explorer

Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).

7692 Publications

Filters and Search Terms

Search

Filter Publications

Research Group

Display / Sort

Export / Embed

Export Options