CSAIL MIT / IIT Bombay
List of publications from the DBLP Bibliography Server - FAQother persons with the same name:
- CSB - MetaPress - Google - Bing - Yahoo
 | 2011 | |
|---|---|---|
| c4 |      | Pavol Cerný, Krishnendu Chatterjee, Thomas A. Henzinger, Arjun Radhakrishna, Rohit Singh: Quantitative Synthesis for Concurrent Programs. CAV 2011: 243-259 |
| c3 | | Krishnendu Chatterjee, Laurent Doyen, Rohit Singh: On Memoryless Quantitative Objectives. FCT 2011: 148-159 |
| c2 | | Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Rohit Singh: QUASY: Quantitative Synthesis Tool. TACAS 2011: 267-271 |
| i3 | | Krishnendu Chatterjee, Laurent Doyen, Rohit Singh: On Memoryless Quantitative Objectives. CoRR abs/1104.3211 (2011) |
| i2 | | Pavol Cerný, Krishnendu Chatterjee, Thomas A. Henzinger, Arjun Radhakrishna, Rohit Singh: Quantitative Synthesis for Concurrent Programs. CoRR abs/1104.4306 (2011) |
| 2010 | ||
| c1 | | Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Rohit Singh: Measuring and Synthesizing Systems in Probabilistic Environments. CAV 2010: 380-395 |
| i1 | | Krishnendu Chatterjee, Thomas A. Henzinger, Barbara Jobstmann, Rohit Singh: Measuring and Synthesizing Systems in Probabilistic Environments. CoRR abs/1004.0739 (2010) |
| 1 | Pavol Cerný | |
| 2 | Krishnendu Chatterjee | |
| 3 | Laurent Doyen | |
| 4 | Thomas A. Henzinger | |
| 5 | Barbara Jobstmann | |
| 6 | Arjun Radhakrishna |
Data released under the ODC-BY 1.0 license — See also our legal information page