| 2007 |
|---|
| 9 | EE | Silvio Ranise,
Christelle Scharff:
Building Extended Canonizers by Graph-Based Deduction.
ICTAC 2007: 440-454 |
| 8 | EE | Olly Gotel,
Christelle Scharff,
Andy Wildenberg:
Extending and contributing to an open source web-based system for the assessment of programming problems.
PPPJ 2007: 3-12 |
| 7 | EE | Olly Gotel,
Vidya Kulkarni,
Long Chrea Neak,
Christelle Scharff,
Sopheap Seng:
Introducing Global Supply Chains into Software Engineering Education.
SEAFOOD 2007: 44-58 |
| 6 | EE | Anita Wasilewska,
Ernestina Menasalvas Ruiz,
Christelle Scharff:
A Model PM for Preprocessing and Data Mining Proper Process.
T. Rough Sets 6: 397-399 (2007) |
| 2005 |
|---|
| 5 | EE | Viktor Geller,
Christelle Scharff:
Traditional and more "exotic" .NET languages: VB .NET, J#, C# and SML .NET.
ITiCSE 2005: 406 |
| 2004 |
|---|
| 4 | EE | Christelle Scharff,
Leo Bachmair:
On the Combination of Congruence Closure and Completion.
AISC 2004: 103-117 |
| 1999 |
|---|
| 3 | | Christopher Lynch,
Christelle Scharff:
Basic Completion with E-cycle Simplification.
Fundam. Inform. 39(1-2): 145-165 (1999) |
| 1998 |
|---|
| 2 | EE | Christopher Lynch,
Christelle Scharff:
Basic Completion with E-cycle Simplification.
AISC 1998: 209-221 |
| 1996 |
|---|
| 1 | | Claude Kirchner,
Christopher Lynch,
Christelle Scharff:
Fine-Grained Concurrent Completion.
RTA 1996: 3-17 |
