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.

1940 Publications

Search / Filter

2011 | Published | Conference Paper | IST-REx-ID: 3343 |

Faster and dynamic algorithms for maximal end-component decomposition and related graph problems in probabilistic verification
K. Chatterjee, M.H. Henzinger, in:, SIAM, 2011, pp. 1318–1336.

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

2011 | Published | Conference Paper | IST-REx-ID: 3344

Graph games with reachability objectives
K. Chatterjee, in:, G. Delzanno, I. Potapov (Eds.), Springer, 2011, pp. 1–1.

View | DOI

2011 | Published | Conference Paper | IST-REx-ID: 3345 |

Energy and mean-payoff parity Markov Decision Processes
K. Chatterjee, L. Doyen, in:, Springer, 2011, pp. 206–218.

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

2011 | Published | Conference Paper | IST-REx-ID: 3347 |

Finitary languages
K. Chatterjee, N. Fijalkow, in:, Springer, 2011, pp. 216–226.

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

2011 | Published | Conference Paper | IST-REx-ID: 3348 |

Synthesis of memory efficient real time controllers for safety objectives
K. Chatterjee, V. Prabhu, in:, Springer, 2011, pp. 221–230.

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

2011 | Published | Conference Paper | IST-REx-ID: 3350

Minimum attention controller synthesis for omega regular objectives
K. Chatterjee, R. Majumdar, in:, U. Fahrenberg, S. Tripakis (Eds.), Springer, 2011, pp. 145–159.

View | DOI

2011 | Published | Conference Paper | IST-REx-ID: 3351 |

On memoryless quantitative objectives
K. Chatterjee, L. Doyen, R. Singh, in:, O. Owe, M. Steffen, J.A. Telle (Eds.), Springer, 2011, pp. 148–159.

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

2011 | Published | Conference Paper | IST-REx-ID: 3357

The complexity of request-response games
K. Chatterjee, T.A. Henzinger, F. Horn, in:, A.-H. Dediu, S. Inenaga, C. Martín-Vide (Eds.), Springer, 2011, pp. 227–237.

View | DOI

2011 | Published | Conference Paper | IST-REx-ID: 3362 |

Dynamic reactive modules
J. Fisher, T.A. Henzinger, D. Nickovic, N. Piterman, A. Singh, M. Vardi, in:, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2011, pp. 404–418.

[Submitted Version] View | Files available | DOI

2011 | Published | Conference Paper | IST-REx-ID: 3365 |

QUASY: quantitative synthesis tool
K. Chatterjee, T.A. Henzinger, B. Jobstmann, R. Singh, in:, Springer, 2011, pp. 267–271.

[Submitted Version] View | Files available | DOI

2011 | Published | Conference Paper | IST-REx-ID: 3326 |

What’s decidable about weighted automata
S. Almagor, U. Boker, O. Kupferman, in:, Springer, 2011, pp. 482–491.

[Submitted Version] View | Files available | DOI

2011 | Published | Book Chapter | IST-REx-ID: 3796 |

Covering and packing with spheres by diagonal distortion in R^n
H. Edelsbrunner, M. Kerber, in:, C. Calude, G. Rozenberg, A. Salomaa (Eds.), Rainbow of Computer Science, Springer, 2011, pp. 20–35.

[Submitted Version] View | Files available | DOI

2011 | Published | Conference Paper | IST-REx-ID: 3264

Solving recursion-free Horn clauses over LI+UIF
A. Gupta, C. Popeea, A. Rybalchenko, in:, H. Yang (Ed.), Springer, 2011, pp. 188–203.

View | DOI

2011 | Published | Conference Paper | IST-REx-ID: 3366 |

Quantitative synthesis for concurrent programs
P. Cerny, K. Chatterjee, T.A. Henzinger, A. Radhakrishna, R. Singh, in:, G. Gopalakrishnan, S. Qadeer (Eds.), Springer, 2011, pp. 243–259.

[Submitted Version] View | Files available | DOI

2011 | Published | Conference Paper | IST-REx-ID: 3342 |

Symbolic algorithms for qualitative analysis of Markov decision processes with Büchi objectives
K. Chatterjee, M.H. Henzinger, M. Joglekar, S. Nisarg, in:, G. Gopalakrishnan, S. Qadeer (Eds.), Springer, 2011, pp. 260–276.

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

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

Mechanisms for the marriage and the assignment game
P. Dütting, M.H. Henzinger, in:, 7th International Conference on Algorithms and Complexity, Springer Nature, 2010, pp. 6–12.

View | DOI

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

Sponsored search, market equilibria, and the Hungarian Method
P. Dütting, M.H. Henzinger, I. Weber, in:, 27th International Symposium on Theoretical Aspects of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2010, pp. 287–298.

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

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

Role of ClC-5 in renal endocytosis is unique among ClC exchangers and does not require PY-motif-dependent ubiquitylation
G. Rickheit, L. Wartosch, S. Schaffer, S. Stobrawa, G. Novarino, S. Weinert, T. Jentsch, Journal of Biological Chemistry 285 (2010) 17595–17603.

View | DOI

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

Localization of NK1 receptors and roles of substance-P in subepithelial fibroblasts of rat intestinal villi
S. Furuya, K. Furuya, R. Shigemoto, M. Sokabe, Cell and Tissue Research 342 (2010) 243–259.

View | DOI

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

Subcellular distribution of α1G subunit of T-type calcium channel in the mouse dorsal lateral geniculate nucleus
L. Parajuli, Y. Fukazawa, M. Watanabe, R. Shigemoto, Journal of Comparative Neurology 518 (2010) 4362–4374.

View | DOI