To be organized
Papers on Little Engines of Proof
Papers on mobile application development
Papers on global software development
Papers on online assessment systems for computer science
PhD
PhD thesis (in French). September 1999.Journals
Basic Completion with
E-cycle Simplification, Fundamenta Informaticae, 1999 (joint work
with Dr. Christopher Lynch).
Materials development in support of mathematical thinking, ACM Press, ACM SIGCSE Bulletin, Working group reports from ITiCSE on Innovation and technology in computer science education, Volume 35, Issue 2, 2003. (Drs. Henderson, Hitchner, Fritz, Marion, Scharff, Hamer and Riedesel).
Enhancing Academic Achievement: Facilitating E-Portfolio Development, Journal of International Learning, 2004 (joint work with Dr.
Dennis Anderson and Dr. Susan Feather).
Thinking Through Computing: The Power of Learning Communities, Special issue of Computer Science Education on Import/Export Relationships to Computer Science Education Research, Swets and Zeitlinger, 2004 (joint work with Dr. Harold Brown) (To be published).
Conferences
.NET in a Programming Paradigms Course. Dr. Christelle Scharff, Viktor Geller (undergraduate student) and Dr. Anderson. (poster). (Work supported by a MSN grant)
On the Combination of Congruence Closure and Completion,
Artifical Interligence and Symbolic Computation (AISC), Austria, 2004 (joint work with Dr. Leo Bachmair). (slides). Enhancing Academic Achievement: Facilitating E-Portfolio Development. Drs. Anderson, Feather and Scharff, Learning Conference, July 2003, London (workshop session) (slides). Supporting Discrete Structures
Courses with a web-based tool. Dr. Christelle Scharff and Dr. Andrew Wildenberg, SIGCSE 2003, Reno, Nevada (poster). (Work supported by a Pace University CSIS sumer grant) Materials
Development in Support of Mathematical Thinking, Innovation and
Technology in Computer Science Education (ITiCSE), Denmark, 2002
(joint work with Dr. Peter Henderson and all). Teaching Discrete Structures with SML, Functional
and Declarative Programming in Education (FDPE), USA, 2002 (joint work
with Dr. Andrew Wildenberg) (slides). Oliver: an
OnLine Inference and VERification system, Frontier In Education (IEEE FIE),
USA, 2002 (joint work with Dr. Andrew Wildenberg). (slides). Basic
Completion modulo with Simplification, Logic in Computer Science
(IEEE LICS), USA, 2001 (joint work with Dr. Christopher Lynch).
Basic Completion
with E-cycle Simplification, Artifical Interligence and Symbolic
Computation (AISC), USA, 1998 (joint work with Dr. Christopher Lynch). Internet-based teaching and learning (INTELE), France, 1998 (poster, paper) (joint work with Dr. Bocar Diagana and Mrs. Eliane Geschier).
Fine Grained
Concurrent Completion, Rewriting Techniques and Applications
(RTA), USA, 1996 (joint work with Dr. Christopher Lynch and Dr. Claude Kirchner).Workshops
On Prototyping Deduction with Constraints and Simplification with Rewriting Languages, Strategies (workshop of IJCAR 2004) , Ireland 2004 (slides, paper) Building Bridges, Mini-Workshop on Automated Deduction, Formal Digital Libraries and Little Engines of Proof, October 2003, (slides). Direct Combination of Completion and
Congruence Closure, Unification (UNIF), Denmark, 2002 (joint work
with Dr. Leo Bachmair) (slides) (Work supported by a CSIS summer grant).
Basic Completion
with E-cycle Simplification, Unification (UNIF), France, 1997
(joint work with Dr. Christopher Lynch).
Basic Completion
with E-cycle Simplification, Construction of Computational Logic
(CCL), Germany, 1997 (joint work with Dr. Christopher Lynch).
Fine Grained
Concurrent Completion, Construction of Computational Logic (CCL),
Germany, 1995 (joint work with Dr. Christopher Lynch and Dr. Claude
Kirchner).
Talks
Talk entitled 'Integrating Mathematical Thinking Into the Computer Science Curriculum: Examples', New York University Faculty Resource Days, May 2004 (slides). Talk entitled 'Developing Software Engineering Class Projects with an Internal Client', Pace University Faculty Institute, May 2004 (slides). Talk entitled 'Formal Software Verification', Pace University DPS, May 2004. Talk entitled 'From Software Verification to Congruence Closure', Pace University Research Day, May 2003 (slides). Talk entitled 'Direct Combination of Completion and Congruence Closure' at LORIA, Nancy, France, January 9th 2003 (slides). Talk entitled 'Theorem Proving in the Computer Sicence World', Pace University Mathematics and Computer Science Seminar, April 2003 (slides). Talk entitled 'Formally Correct' at Institue of Technology of Cambodia, Phnom Penh, Cambodia, June, 2002 (slides). Pace University, Research Day, May 2002, WeBWork: A Web-based environment to deliver homeworks and more. DPS Students' talk, March 2002. Around deducing and proving. Pace University. Talk on Cambodia in the History Class of Prof. Joseph Lee. December 2001 (slides).The last movie that was filmed in Cambodia is City of Ghosts of and with Matt Dillon. Gerard Depardieu is acting in this movie too.
Reports
Rapport de DEA,
Master Thesis, Completion Concurrente sans duplication, 1995 (in
french)
Fine
Grained Completion (full version of the paper accepted at the
RTA'96 conference)