| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| 3 |      | Benedikt Bollig, Aiswarya Cyriac, Paul Gastin, K. Narayan Kumar: Model Checking Languages of Data Words. FoSSaCS 2012: 391-405 |
| 2011 | ||
| 2 | | Benedikt Bollig, Aiswarya Cyriac, Paul Gastin, Marc Zeitoun: Temporal Logics for Concurrent Recursive Programs: Satisfiability and Model Checking. MFCS 2011: 132-144 |
| 2008 | ||
| 1 | | Aiswarya Cyriac, K. Murali Krishnan: Lower Bound for the Communication Complexity of the Russian Cards Problem CoRR abs/0805.1974: (2008) |
| 1 | Benedikt Bollig | [2] [3] |
| 2 | Paul Gastin | [2] [3] |
| 3 | K. Murali Krishnan | [1] |
| 4 | K. Narayan Kumar | [3] |
| 5 | Marc Zeitoun | [2] |
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