Software

Research Prototype Implementations

• A system for checking XPath containment, XPath satisfiability under type constraints (DTDs, XML Schemas, Relax NG...), XPath equivalence, and all related problems. The whole system is based on a new tree logic (see our publications) and consists in:
  • compilers for translating XPath and regular tree types including DTDs into the tree logic;
  • a satisfiability solver for a μ-calculus for finite trees, specifically adapted for XML.

Before and during my undergraduate studies, I have developed some convenient software for fun, which have finally been marketed worldwide by several companies. In 1996, I first created WCK, one of the very first french web page editor. A bit later, I designed and developed Adesign: a graphic software for layered image authoring and retouching. In 1999, I founded pierresoft.com.