Search the dblp DataBase

Publications of Author

1. Christopher Lynch, Christelle Scharff
   Basic Completion with E-cycle Simplification. [Citation Graph (0, 0)][DBLP]
   AISC, 1998, pp:209-221 [Conf]
   
2. Christelle Scharff, Leo Bachmair
   On the Combination of Congruence Closure and Completion. [Citation Graph (0, 0)][DBLP]
   AISC, 2004, pp:103-117 [Conf]
   
3. Claude Kirchner, Christopher Lynch, Christelle Scharff
   Fine-Grained Concurrent Completion. [Citation Graph (0, 0)][DBLP]
   RTA, 1996, pp:3-17 [Conf]
   
4. Christopher Lynch, Christelle Scharff
   Basic Completion with E-cycle Simplification. [Citation Graph (0, 0)][DBLP]
   Fundam. Inform., 1999, v:39, n:1-2, pp:145-165 [Journal]
   
5. Silvio Ranise, Christelle Scharff
   Building Extended Canonizers by Graph-Based Deduction. [Citation Graph (0, 0)][DBLP]
   ICTAC, 2007, pp:440-454 [Conf]
   
6. Viktor Geller, Christelle Scharff
   Traditional and more "exotic" .NET languages: VB .NET, J#, C# and SML .NET. [Citation Graph (0, 0)][DBLP]
   ITiCSE, 2005, pp:406- [Conf]
   
7. Olly Gotel, Vidya Kulkarni, Long Chrea Neak, Christelle Scharff, Sopheap Seng
   Introducing Global Supply Chains into Software Engineering Education. [Citation Graph (0, 0)][DBLP]
   SEAFOOD, 2007, pp:44-58 [Conf]
   
8. Olly Gotel, Christelle Scharff, Andy Wildenberg
   Extending and contributing to an open source web-based system for the assessment of programming problems. [Citation Graph (0, 0)][DBLP]
   PPPJ, 2007, pp:3-12 [Conf]
   
9. Anita Wasilewska, Ernestina Menasalvas Ruiz, Christelle Scharff
   A Model PM for Preprocessing and Data Mining Proper Process. [Citation Graph (0, 0)][DBLP]
   T. Rough Sets, 2007, v:6, n:, pp:397-399 [Journal]
   
10. 
    A Global and Competition-Based Model for Fostering Technical and Soft Skills in Software Engineering Education. [Citation Graph (, )][DBLP]
    
    
11. 
    Working Across Borders: Overcoming Culturally-Based Technology Challenges in Student Global Software Development. [Citation Graph (, )][DBLP]
    
    
12. 
    Teaching software quality assurance by encouraging student contributions to an open source web-based system for the assessment of programming assignments. [Citation Graph (, )][DBLP]
    
    
13. 
    Students as Partners and Students as Mentors: An Educational Model for Quality Assurance in Global Software Development. [Citation Graph (, )][DBLP]
    
    
14. 
    Evolving an infrastructure for student global software development projects: lessons for industry. [Citation Graph (, )][DBLP]
    
    
15. 
    Mobile applications for informal economies. [Citation Graph (, )][DBLP]
    
    
16. 
    A model for teaching mobile application development for social changes: Implementation and lessons learned in senegal. [Citation Graph (, )][DBLP]