Krishnendu Chatterjee

	2012
152		Krishnendu Chatterjee: Robustness of Structurally Equivalent Concurrent Parity Games. FoSSaCS 2012: 270-285
151		Krishnendu Chatterjee, Monika Henzinger: An O(n2) time algorithm for alternating Büchi games. SODA 2012: 1386-1399
150		Krishnendu Chatterjee, Vishwanath Raman: Synthesizing Protocols for Digital Contract Signing. VMCAI 2012: 152-168
149		Krishnendu Chatterjee, Yaron Velner: Mean-Payoff Pushdown Games CoRR abs/1201.2829: (2012)
148		Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger: Strategy Improvement for Concurrent Reachability and Safety Games CoRR abs/1201.2834: (2012)
147		Krishnendu Chatterjee, Siddhesh Chaubal, Pritish Kamath: Faster Algorithms for Alternating Refinement Relations CoRR abs/1201.4449: (2012)
146		Krishnendu Chatterjee, Mickael Randour, Jean-François Raskin: Strategy Synthesis for Multi-dimensional Quantitative Objectives CoRR abs/1201.5073: (2012)
145		Tomás Brázdil, Krishnendu Chatterjee, Antonín Kucera, Petr Novotný: Efficient Controller Synthesis for Consumption Games with Multiple Resource Types CoRR abs/1202.0796: (2012)
144		Krishnendu Chatterjee, Martin Chmelik, Rupak Majumdar: Equivalence of Games with Probabilistic Uncertainty and Partial-observation Games CoRR abs/1202.4140: (2012)
143		Krishnendu Chatterjee, Manas Joglekar, Nisarg Shah: Average Case Analysis of the Classical Algorithm for Markov Decision Processes with Büchi Objectives CoRR abs/1202.4175: (2012)
142		Krishnendu Chatterjee, Suneet Tuli: Image Enhancement in Transient Lock-In Thermography Through Time Series Reconstruction and Spatial Slope Correction. IEEE T. Instrumentation and Measurement 61(4): 1079-1089 (2012)
141		Krishnendu Chatterjee: The complexity of stochastic Müller games. Inf. Comput. 211: 29-48 (2012)
140		Krishnendu Chatterjee, Thomas A. Henzinger: A survey of stochastic ω-regular games. J. Comput. Syst. Sci. 78(2): 394-413 (2012)
	2011
139		Pavol Cerný, Krishnendu Chatterjee, Thomas A. Henzinger, Arjun Radhakrishna, Rohit Singh: Quantitative Synthesis for Concurrent Programs. CAV 2011: 243-259
138		Krishnendu Chatterjee, Monika Henzinger, Manas Joglekar, Nisarg Shah: Symbolic Algorithms for Qualitative Analysis of Markov Decision Processes with Büchi Objectives. CAV 2011: 260-276
137		Pavol Cerný, Krishnendu Chatterjee, Thomas A. Henzinger: The Complexity of Quantitative Information Flow Problems. CSF 2011: 205-217
136		Krishnendu Chatterjee, Laurent Doyen, Rohit Singh: On Memoryless Quantitative Objectives. FCT 2011: 148-159
135		Krishnendu Chatterjee, Rupak Majumdar: Minimum Attention Controller Synthesis for Omega-Regular Objectives. FORMATS 2011: 145-159
134		Krishnendu Chatterjee, Nathanaël Fijalkow: A reduction from parity games to simple stochastic games GandALF 2011: 74-86
133		Krishnendu Chatterjee, Vinayak S. Prabhu: Synthesis of memory-efficient "real-time" controllers for safety objectives. HSCC 2011: 221-230
132		Krishnendu Chatterjee, Nathanaël Fijalkow: Finitary Languages. LATA 2011: 216-226
131		Krishnendu Chatterjee, Thomas A. Henzinger, Florian Horn: The Complexity of Request-Response Games. LATA 2011: 227-237
130		Tomás Brázdil, Václav Brozek, Krishnendu Chatterjee, Vojtech Forejt, Antonín Kucera: Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes. LICS 2011: 33-42
129		Udi Boker, Krishnendu Chatterjee, Thomas A. Henzinger, Orna Kupferman: Temporal Specifications with Accumulative Values. LICS 2011: 43-52
128		Krishnendu Chatterjee, Laurent Doyen: Games and Markov Decision Processes with Mean-Payoff Parity and Energy Parity Objectives. MEMICS 2011: 37-46
127		Krishnendu Chatterjee, Laurent Doyen: Energy and Mean-Payoff Parity Markov Decision Processes. MFCS 2011: 206-218
126		Krishnendu Chatterjee: Graph Games with Reachability Objectives - (Invited Talk). RP 2011: 1
125		Roderick Bloem, Krishnendu Chatterjee, Karin Greimel, Thomas A. Henzinger, Barbara Jobstmann: Specification-centered robustness. SIES 2011: 176-185
124		Krishnendu Chatterjee, Monika Henzinger: Faster and Dynamic Algorithms for Maximal End-Component Decomposition and Related Graph Problems in Probabilistic Verification. SODA 2011: 1318-1336
123		Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Rohit Singh: QUASY: Quantitative Synthesis Tool. TACAS 2011: 267-271
122		Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger: Qualitative concurrent parity games. ACM Trans. Comput. Log. 12(4): 28 (2011)
121		Krishnendu Chatterjee, Nathanaël Fijalkow: Finitary languages CoRR abs/1101.1727: (2011)
120		Krishnendu Chatterjee, Vinayak S. Prabhu: Synthesis of Memory-Efficient Real-Time Controllers for Safety Objectives (Full Version) CoRR abs/1101.5842: (2011)
119		Krishnendu Chatterjee, Thomas A. Henzinger, Mathieu Tracol: The Decidability Frontier for Probabilistic Automata on Infinite Words CoRR abs/1104.0127: (2011)
118		Krishnendu Chatterjee, Laurent Doyen: Energy and Mean-Payoff Parity Markov Decision Processes CoRR abs/1104.2909: (2011)
117		Krishnendu Chatterjee, Laurent Doyen, Rohit Singh: On Memoryless Quantitative Objectives CoRR abs/1104.3211: (2011)
116		Krishnendu Chatterjee, Monika Henzinger, Manas Joglekar, Nisarg Shah: Symbolic Algorithms for Qualitative Analysis of Markov Decision Processes with Büchi Objectives CoRR abs/1104.3348: (2011)
115		Tomás Brázdil, Václav Brozek, Krishnendu Chatterjee, Vojtech Forejt, Antonín Kucera: Two Views on Multiple Mean-Payoff Objectives in Markov Decision Processes CoRR abs/1104.3489: (2011)
114		Pavol Cerný, Krishnendu Chatterjee, Thomas A. Henzinger, Arjun Radhakrishna, Rohit Singh: Quantitative Synthesis for Concurrent Programs CoRR abs/1104.4306: (2011)
113		Krishnendu Chatterjee: Robustness of Structurally Equivalent Concurrent Parity Games CoRR abs/1107.2009: (2011)
112		Krishnendu Chatterjee, Mathieu Tracol: Decidable Problems for Probabilistic Automata on Infinite Words CoRR abs/1107.2091: (2011)
111		Krishnendu Chatterjee, Luca de Alfaro, Pritam Roy: Magnifying Lens Abstraction for Stochastic Games with Discounted and Long-run Average Objectives CoRR abs/1107.2132: (2011)
110		Krishnendu Chatterjee, Laurent Doyen: Partial-Observation Stochastic Games: How to Win when Belief Fails CoRR abs/1107.2141: (2011)
109		Krishnendu Chatterjee: Bounded Rationality in Concurrent Parity Games CoRR abs/1107.2146: (2011)
108		Krishnendu Chatterjee, Monika Henzinger: An O(n^2) Time Algorithm for Alternating Büchi Games CoRR abs/1109.5018: (2011)
107		Krishnendu Chatterjee, Thomas A. Henzinger, Vinayak S. Prabhu: Timed Parity Games: Complexity and Robustness Logical Methods in Computer Science 7(4): (2011)
	2010
106		Krishnendu Chatterjee, Thomas A. Henzinger: Formal Modeling and Analysis of Timed Systems - 8th International Conference, FORMATS 2010, Klosterneuburg, Austria, September 8-10, 2010. Proceedings Springer 2010
105		Krishnendu Chatterjee, Thomas A. Henzinger: Probabilistic Automata on Infinite Words: Decidability and Undecidability Results. ATVA 2010: 1-16
104		Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Rohit Singh: Measuring and Synthesizing Systems in Probabilistic Environments. CAV 2010: 380-395
103		Roderick Bloem, Krishnendu Chatterjee, Karin Greimel, Thomas A. Henzinger, Barbara Jobstmann: Robustness in the Presence of Liveness. CAV 2010: 410-424
102		Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Arjun Radhakrishna: Gist: A Solver for Probabilistic Games. CAV 2010: 665-669
101		Krishnendu Chatterjee, Laurent Doyen, Herbert Edelsbrunner, Thomas A. Henzinger, Philippe Rannou: Mean-Payoff Automaton Expressions. CONCUR 2010: 269-283
100		Krishnendu Chatterjee, Florian Horn, Christof Löding: Obliging Games. CONCUR 2010: 284-296
99		Krishnendu Chatterjee, Luca de Alfaro, Vishwanath Raman, César Sánchez: Analyzing the Impact of Change in Multi-threaded Programs. FASE 2010: 293-307
98		Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin: Generalized Mean-payoff and Energy Games. FSTTCS 2010: 505-516
97		Krishnendu Chatterjee, Rupak Majumdar: Discounting in Games across Time Scales GANDALF 2010: 22-29
96		Krishnendu Chatterjee, Laurent Doyen: Energy Parity Games. ICALP (2) 2010: 599-610
95		Krishnendu Chatterjee, Laurent Doyen: The Complexity of Partial-Observation Parity Games. LPAR (Yogyakarta) 2010: 1-14
94		Krishnendu Chatterjee, Laurent Doyen, Hugo Gimbert, Thomas A. Henzinger: Randomness for Free. MFCS 2010: 246-257
93		Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger: Qualitative Analysis of Partially-Observable Markov Decision Processes. MFCS 2010: 258-269
92		Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger: Quantitative languages. ACM Trans. Comput. Log. 11(4): (2010)
91		Yashdeep Godhal, Krishnendu Chatterjee, Thomas A. Henzinger: Synthesis of AMBA AHB from Formal Specification CoRR abs/1001.2811: (2010)
90		Krishnendu Chatterjee, Laurent Doyen: Energy Parity Games CoRR abs/1001.5183: (2010)
89		Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Rohit Singh: Measuring and Synthesizing Systems in Probabilistic Environments CoRR abs/1004.0739: (2010)
88		Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Arjun Radhakrishna: GIST: A Solver for Probabilistic Games CoRR abs/1004.2367: (2010)
87		Krishnendu Chatterjee, Vishwanath Raman: Assume-Guarantee Synthesis for Digital Contract Signing CoRR abs/1004.2697: (2010)
86		Krishnendu Chatterjee, Laurent Doyen, Hugo Gimbert, Thomas A. Henzinger: Randomness for Free CoRR abs/1006.0673: (2010)
85		Krishnendu Chatterjee, Laurent Doyen, Herbert Edelsbrunner, Thomas A. Henzinger, Philippe Rannou: Mean-payoff Automaton Expressions CoRR abs/1006.1492: (2010)
84		Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin: Generalized Mean-payoff and Energy Games CoRR abs/1007.1669: (2010)
83		Dietmar Berwanger, Krishnendu Chatterjee, Martin De Wulf, Laurent Doyen, Thomas A. Henzinger: Strategy construction for parity games with imperfect information. Inf. Comput. 208(10): 1206-1220 (2010)
82		Krishnendu Chatterjee, Thomas A. Henzinger, Nir Piterman: Strategy logic. Inf. Comput. 208(6): 677-693 (2010)
81		Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar, Vishwanath Raman: Algorithms for Game Metrics (Full Version) Logical Methods in Computer Science 6(3): (2010)
80		Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger: Expressiveness and Closure Properties for Quantitative Languages Logical Methods in Computer Science 6(3): (2010)
	2009
79		Roderick Bloem, Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann: Better Quality in Synthesis through Quantitative Objectives. CAV 2009: 140-156
78		Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger: Probabilistic Weighted Automata. CONCUR 2009: 244-258
77		Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger: Alternating Weighted Automata. FCT 2009: 3-13
76		Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger: A Survey of Stochastic Games with Limsup and Liminf Objectives. ICALP (2) 2009: 1-15
75		Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger: Expressiveness and Closure Properties for Quantitative Languages. LICS 2009: 199-208
74		Krishnendu Chatterjee, Thomas A. Henzinger, Florian Horn: Stochastic Games with Finitary Objectives. MFCS 2009: 34-54
73		Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger: Termination criteria for solving concurrent safety and reachability games. SODA 2009: 197-206
72		Dietmar Berwanger, Krishnendu Chatterjee, Martin De Wulf, Laurent Doyen, Thomas A. Henzinger: Alpaga: A Tool for Solving Parity Games with Imperfect Information. TACAS 2009: 58-61
71		Krishnendu Chatterjee, Thomas A. Henzinger, Florian Horn: Finitary winning in omega-regular games. ACM Trans. Comput. Log. 11(1): (2009)
70		Dietmar Berwanger, Krishnendu Chatterjee, Martin De Wulf, Laurent Doyen, Thomas A. Henzinger: Alpaga: A Tool for Solving Parity Games with Imperfect Information CoRR abs/0901.4728: (2009)
69		Roderick Bloem, Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann: Better Quality in Synthesis through Quantitative Objectives CoRR abs/0904.2638: (2009)
68		Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger: Expressiveness and Closure Properties for Quantitative Languages CoRR abs/0905.2195: (2009)
67		Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger: Qualitative Analysis of Partially-observable Markov Decision Processes CoRR abs/0909.1645: (2009)
66		Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger: Probabilistic Weighted Automata CoRR abs/0909.1647: (2009)
65		Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Axel Legay: Qualitative Logics and Equivalences for Probabilistic Systems Logical Methods in Computer Science 5(2): (2009)
	2008
64		Krishnendu Chatterjee, Thomas A. Henzinger: Value Iteration. 25 Years of Model Checking 2008: 107-138
63		Krishnendu Chatterjee, Luca de Alfaro, Ian Pye: Robust content-driven reputation. AISec 2008: 33-42
62		Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar: The Complexity of Coverage. APLAS 2008: 91-106
61		Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann: Environment Assumptions for Synthesis. CONCUR 2008: 147-161
60		Dietmar Berwanger, Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Sangram Raje: Strategy Construction for Parity Games with Imperfect Information. CONCUR 2008: 325-339
59		Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger: Quantitative Languages. CSL 2008: 385-400
58		Krishnendu Chatterjee, Arkadeb Ghosal, Thomas A. Henzinger, Daniel T. Iercan, Christoph M. Kirsch, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli: Logical Reliability of Interacting Real-Time Tasks. DATE 2008: 909-914
57		Krishnendu Chatterjee, Thomas A. Henzinger, Vinayak S. Prabhu: Timed Parity Games: Complexity and Robustness. FORMATS 2008: 124-140
56		Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar, Vishwanath Raman: Algorithms for Game Metrics. FSTTCS 2008: 107-118
55		Krishnendu Chatterjee, Koushik Sen, Thomas A. Henzinger: Model-Checking omega-Regular Properties of Interval Markov Chains. FoSSaCS 2008: 302-317
54		Krishnendu Chatterjee, Rupak Majumdar, Thomas A. Henzinger: Controller Synthesis with Budget Constraints. HSCC 2008: 72-86
53		Krishnendu Chatterjee, Thomas A. Henzinger, Vinayak S. Prabhu: Trading Infinite Memory for Uniform Randomness in Timed Games. HSCC 2008: 87-100
52		B. Thomas Adler, Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Ian Pye, Vishwanath Raman: Assigning trust to Wikipedia content. Int. Sym. Wikis 2008
51		Krishnendu Chatterjee, Luca de Alfaro, Rupak Majumdar: The Complexity of Coverage CoRR abs/0804.4525: (2008)
50		Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger: Strategy Improvement for Concurrent Safety Games CoRR abs/0804.4530: (2008)
49		Krishnendu Chatterjee: Linear Time Algorithm for Weak Parity Games CoRR abs/0805.1391: (2008)
48		Krishnendu Chatterjee, Thomas A. Henzinger, Nir Piterman: Algorithms for Büchi Games CoRR abs/0805.2620: (2008)
47		Krishnendu Chatterjee, Rupak Majumdar, Thomas A. Henzinger: Stochastic Limit-Average Games are in EXPTIME CoRR abs/0805.2622: (2008)
46		Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann: Environment Assumptions for Synthesis CoRR abs/0805.4167: (2008)
45		Krishnendu Chatterjee, Thomas A. Henzinger, Vinayak S. Prabhu: Timed Parity Games: Complexity and Robustness CoRR abs/0807.1165: (2008)
44		Krishnendu Chatterjee, Thomas A. Henzinger: Probabilistic Systems with LimSup and LimInf Objectives CoRR abs/0809.1465: (2008)
43		Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger: Termination Criteria for Solving Concurrent Safety and Reachability Games CoRR abs/0809.4017: (2008)
42		Krishnendu Chatterjee, Thomas A. Henzinger: Reduction of stochastic parity to stochastic mean-payoff games. Inf. Process. Lett. 106(1): 1-7 (2008)
41		Krishnendu Chatterjee, Rupak Majumdar, Thomas A. Henzinger: Stochastic limit-average games are in EXPTIME. Int. J. Game Theory 37(2): 219-234 (2008)
	2007
40		Krishnendu Chatterjee, Thomas A. Henzinger, Nir Piterman: Strategy Logic. CONCUR 2007: 59-73
39		Krishnendu Chatterjee: Stochastic Müller Games are PSPACE-Complete. FSTTCS 2007: 436-448
38		Krishnendu Chatterjee: Markov Decision Processes with Multiple Long-Run Average Objectives. FSTTCS 2007: 473-484
37		Krishnendu Chatterjee: Optimal Strategy Synthesis in Stochastic Müller Games. FoSSaCS 2007: 138-152
36		Krishnendu Chatterjee, Thomas A. Henzinger, Nir Piterman: Generalized Parity Games. FoSSaCS 2007: 153-167
35		Krishnendu Chatterjee, Thomas A. Henzinger: Probabilistic Systems with LimSup and LimInf Objectives. ILC 2007: 32-45
34		Luca de Alfaro, Krishnendu Chatterjee, Marco Faella, Axel Legay: Qualitative Logics and Equivalences for Probabilistic Systems. QEST 2007: 237-248
33		Krishnendu Chatterjee, Thomas A. Henzinger: Assume-Guarantee Synthesis. TACAS 2007: 261-275
32		Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin: Algorithms for Omega-Regular Games with Imperfect Information CoRR abs/0706.2619: (2007)
31		Jean-François Raskin, Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger: Algorithms for Omega-Regular Games with Imperfect Information. Logical Methods in Computer Science 3(3): (2007)
30		Krishnendu Chatterjee: Concurrent games with tail objectives. Theor. Comput. Sci. 388(1-3): 181-198 (2007)
	2006
29		Krishnendu Chatterjee, Thomas A. Henzinger: Strategy Improvement for Stochastic Rabin and Streett Games. CONCUR 2006: 375-389
28		Krishnendu Chatterjee, Radha Jagadeesan, Corin Pitcher: Games for Controls. CSFW 2006: 70-84
27		Krishnendu Chatterjee: Concurrent Games with Tail Objectives. CSL 2006: 256-270
26		Krishnendu Chatterjee: Nash Equilibrium for Upward-Closed Objectives. CSL 2006: 271-286
25		Krishnendu Chatterjee, Laurent Doyen, Thomas A. Henzinger, Jean-François Raskin: Algorithms for Omega-Regular Games with Imperfect Information, . CSL 2006: 287-302
24		Krishnendu Chatterjee, Luca de Alfaro, Marco Faella, Thomas A. Henzinger, Rupak Majumdar, Mariëlle Stoelinga: Compositional Quantitative Reasoning. QEST 2006: 179-188
23		Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger: Strategy Improvement for Concurrent Reachability Games. QEST 2006: 291-300
22		Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger: The complexity of quantitative concurrent parity games. SODA 2006: 678-687
21		Krishnendu Chatterjee, Rupak Majumdar, Thomas A. Henzinger: Markov Decision Processes with Multiple Objectives. STACS 2006: 325-336
20		Krishnendu Chatterjee, Thomas A. Henzinger: Strategy Improvement and Randomized Subexponential Algorithms for Stochastic Parity Games. STACS 2006: 512-523
19		Krishnendu Chatterjee, Thomas A. Henzinger: Finitary Winning in omega-Regular Games. TACAS 2006: 257-271
18		Krishnendu Chatterjee, Thomas A. Henzinger, Marcin Jurdzinski: Games with secure equilibria. Theor. Comput. Sci. 365(1-2): 67-82 (2006)
	2005
17		Arindam Chakrabarti, Krishnendu Chatterjee, Thomas A. Henzinger, Orna Kupferman, Rupak Majumdar: Verifying Quantitative Properties Using Bound Functions. CHARME 2005: 50-64
16		Krishnendu Chatterjee: Two-Player Nonzero-Sum omega-Regular Games. CONCUR 2005: 413-427
15		Krishnendu Chatterjee, Thomas A. Henzinger: Semiperfect-Information Games. FSTTCS 2005: 1-18
14		Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger: The Complexity of Stochastic Rabin and Streett Games'. ICALP 2005: 878-890
13		Krishnendu Chatterjee, Thomas A. Henzinger, Marcin Jurdzinski: Mean-Payoff Parity Games. LICS 2005: 178-187
12		Krishnendu Chatterjee, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar: Counterexample-guided Planning. UAI 2005: 104-111
	2004
11		Krishnendu Chatterjee, Rupak Majumdar, Marcin Jurdzinski: On Nash Equilibria in Stochastic Games. CSL 2004: 26-40
10		Krishnendu Chatterjee, Thomas A. Henzinger, Marcin Jurdzinski: Games with Secure Equilibria. FMCO 2004: 141-161
9		Krishnendu Chatterjee, Pallab Dasgupta, P. P. Chakrabarti: Complexity of Compositional Model Checking of Computation Tree Logic on Simple Structures. IWDC 2004: 102-113
8		Krishnendu Chatterjee, Thomas A. Henzinger, Marcin Jurdzinski: Games with Secure Equilibria. LICS 2004: 160-169
7		Krishnendu Chatterjee, Luca de Alfaro, Thomas A. Henzinger: Trading Memory for Randomness. QEST 2004: 206-217
6		Krishnendu Chatterjee, Marcin Jurdzinski, Thomas A. Henzinger: Quantitative stochastic parity games. SODA 2004: 121-130
5		Krishnendu Chatterjee, Di Ma, Rupak Majumdar, Tian Zhao, Thomas A. Henzinger, Jens Palsberg: Stack size analysis for interrupt-driven programs. Inf. Comput. 194(2): 144-174 (2004)
4		Krishnendu Chatterjee, Pallab Dasgupta, P. P. Chakrabarti: The power of first-order quantification over states in branching and linear time temporal logics. Inf. Process. Lett. 91(5): 201-210 (2004)
	2003
3		Krishnendu Chatterjee, Marcin Jurdzinski, Thomas A. Henzinger: Simple Stochastic Parity Games. CSL 2003: 100-113
2		Krishnendu Chatterjee, Di Ma, Rupak Majumdar, Tian Zhao, Thomas A. Henzinger, Jens Palsberg: Stack Size Analysis for Interrupt-Driven Programs. SAS 2003: 109-126
1		Krishnendu Chatterjee, Pallab Dasgupta, P. P. Chakrabarti: A Branching Time Temporal Framework for Quantitative Reasoning. J. Autom. Reasoning 30(2): 205-232 (2003)

Coauthor Index

1	B. Thomas Adler	[52]
2	Luca de Alfaro	[7] [14] [22] [23] [24] [34] [43] [50] [51] [52] [56] [62] [63] [65] [73] [81] [99] [111] [122] [148]
3	Dietmar Berwanger	[60] [70] [72] [83]
4	Roderick Bloem (Roderick Paul Bloem)	[69] [79] [103] [125]
5	Udi Boker	[129]
6	Tomás Brázdil	[115] [130] [145]
7	Václav Brozek	[115] [130]
8	Pavol Cerný	[114] [137] [139]
9	Arindam Chakrabarti	[17]
10	P. P. Chakrabarti (Partha Pratim Chakrabarti)	[1] [4] [9]
11	Siddhesh Chaubal	[147]
12	Martin Chmelik	[144]
13	Pallab Dasgupta	[1] [4] [9]
14	Laurent Doyen	[25] [31] [32] [59] [60] [66] [67] [68] [70] [72] [75] [76] [77] [78] [80] [83] [84] [85] [86] [90] [92] [93] [94] [95] [96] [98] [101] [110] [117] [118] [127] [128] [136]
15	Herbert Edelsbrunner	[85] [101]
16	Marco Faella	[24] [34] [52] [65]
17	Nathanaël Fijalkow	[121] [132] [134]
18	Vojtech Forejt	[115] [130]
19	Arkadeb Ghosal	[58]
20	Hugo Gimbert	[86] [94]
21	Yashdeep Godhal	[91]
22	Karin Greimel	[103] [125]
23	Monika Rauch Henzinger (Monika Henzinger, Monika Rauch)	[108] [116] [124] [138] [151]
24	Thomas A. Henzinger	[2] [3] [5] [6] [7] [8] [10] [12] [13] [14] [15] [17] [18] [19] [20] [21] [22] [23] [24] [25] [29] [31] [32] [33] [35] [36] [40] [41] [42] [43] [44] [45] [46] [47] [48] [50] [53] [54] [55] [57] [58] [59] [60] [61] [64] [66] [67] [68] [69] [70] [71] [72] [73] [74] [75] [76] [77] [78] [79] [80] [82] [83] [84] [85] [86] [88] [89] [91] [92] [93] [94] [98] [101] [102] [103] [104] [105] [106] [107] [114] [119] [122] [123] [125] [129] [131] [137] [139] [140] [148]
25	Florian Horn	[71] [74] [100] [131]
26	Daniel T. Iercan	[58]
27	Radha Jagadeesan	[28]
28	Ranjit Jhala	[12]
29	Barbara Jobstmann	[46] [61] [69] [79] [88] [89] [102] [103] [104] [123] [125]
30	Manas Joglekar	[116] [138] [143]
31	Marcin Jurdzinski	[3] [6] [8] [10] [11] [13] [18]
32	Pritish Kamath	[147]
33	Christoph M. Kirsch (Christoph Meyer)	[58]
34	Antonín Kucera	[115] [130] [145]
35	Orna Kupferman	[17] [129]
36	Axel Legay	[34] [65]
37	Christof Löding	[100]
38	Di Ma	[2] [5]
39	Rupak Majumdar	[2] [5] [11] [12] [17] [21] [24] [41] [47] [51] [54] [56] [62] [81] [97] [135] [144]
40	Petr Novotný	[145]
41	Jens Palsberg	[2] [5]
42	Claudio Pinello	[58]
43	Corin Pitcher	[28]
44	Nir Piterman	[36] [40] [48] [82]
45	Vinayak S. Prabhu	[45] [53] [57] [107] [120] [133]
46	Ian Pye	[52] [63]
47	Arjun Radhakrishna	[88] [102] [114] [139]
48	Sangram Raje	[60]
49	Vishwanath Raman	[52] [56] [81] [87] [99] [150]
50	Mickael Randour	[146]
51	Philippe Rannou	[85] [101]
52	Jean-François Raskin	[25] [31] [32] [84] [98] [146]
53	Pritam Roy	[111]
54	César Sánchez	[99]
55	Alberto L. Sangiovanni-Vincentelli	[58]
56	Koushik Sen	[55]
57	Nisarg Shah	[116] [138] [143]
58	Rohit Singh	[89] [104] [114] [117] [123] [136] [139]
59	Mariëlle Stoelinga	[24]
60	Mathieu Tracol	[112] [119]
61	Suneet Tuli	[142]
62	Yaron Velner	[149]
63	Martin De Wulf	[70] [72] [83]
64	Tian Zhao	[2] [5]

Colors in the list of coauthors

Last update Tue May 29 01:28:40 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page