2008 | ||
---|---|---|
4 | EE | Michael Leuschel, Marc Fontaine: Probing the Depths of CSP-M: A New fdr-Compliant Validation Tool. ICFEM 2008: 278-297 |
2006 | ||
3 | EE | Michael Leuschel, Daniel Elphick, Mauricio Varea, Stephen-John Craig, Marc Fontaine: The Ecce and Logen partial evaluators and their web interfaces. PEPM 2006: 88-94 |
2005 | ||
2 | EE | Marc Fontaine, Stefan Burkhardt, Juha Kärkkäinen: Bdd-based analysis of gapped q-gram Filters. Int. J. Found. Comput. Sci. 16(6): 1121-1134 (2005) |
2004 | ||
1 | EE | Marc Fontaine, Stefan Burkhardt, Juha Kärkkäinen: BDD-Based Analysis of Gapped q-Gram Filters. Stringology 2004: 56-68 |
1 | Stefan Burkhardt | [1] [2] |
2 | Stephen-John Craig | [3] |
3 | Daniel Elphick | [3] |
4 | Juha Kärkkäinen | [1] [2] |
5 | Michael Leuschel | [3] [4] |
6 | Mauricio Varea | [3] |