| | |
- CSB - MetaPress - Google - Bing - Yahoo
 | 2011 | |
|---|---|---|
| 3 |      | Adam Koprowski, Henri Binsztok: TRX: A Formally Verified Parser Interpreter Logical Methods in Computer Science 7(2): (2011) |
| 2010 | ||
| 2 | | Adam Koprowski, Henri Binsztok: TRX: A Formally Verified Parser Interpreter. ESOP 2010: 345-365 |
| 2004 | ||
| 1 |  | Henri Binsztok, Thierry Artières, Patrick Gallinari: A Model-Based Approach to Sequence Clustering. ECAI 2004: 420-424 |
| 1 | Thierry Artières | [1] |
| 2 | Patrick Gallinari | [1] |
| 3 | Adam Koprowski | [2] [3] |
Colors in the list of coauthors
Last update Sun May 27 04:04:01 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page