| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| 4 |      | Pierre Ganty, Rupak Majumdar, Benjamin Monmege: Bounded underapproximations. Formal Methods in System Design 40(2): 206-231 (2012) |
| 2010 | ||
| 3 | | Pierre Ganty, Rupak Majumdar, Benjamin Monmege: Bounded Underapproximations. CAV 2010: 600-614 |
| 2 | | Benedikt Bollig, Paul Gastin, Benjamin Monmege, Marc Zeitoun: Pebble Weighted Automata and Transitive Closure Logics. ICALP (2) 2010: 587-598 |
| 2008 | ||
| 1 | | Pierre Ganty, Rupak Majumdar, Benjamin Monmege: Parikh-Equivalent Bounded Underapproximations CoRR abs/0809.1236: (2008) |
| 1 | Benedikt Bollig | [2] |
| 2 | Pierre Ganty | [1] [3] [4] |
| 3 | Paul Gastin | [2] |
| 4 | Rupak Majumdar | [1] [3] [4] |
| 5 | Marc Zeitoun | [2] |
Colors in the list of coauthors
Last update Mon Jun 4 20:40:43 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page