XML

Mar 2006 — Dec 2008. COPS (Composition des politiques et des services / Composition of Services and Policies) is an ANR funded project studying formal methods for Service Oriented Applications.

Nov 2004 — Feb 2008. TraLaLA, XML Transformation Languages: logic and applications, is a project funded by ACI MASSES DE DONNÉES. The objectives of the project is to study the processing, querying and manipulation of data-masses (large amounts of data) available in XML format.

Lucia Acciai, Michele Boreale, Silvano Dal Zilio In TGC 2006 — 2nd symposium on Trustworthy Global Computing, jan 2007.

Silvano Dal Zilio, Denis Lugiez Applicable Algebra in Engineering, Communication and Computing 17(5):337—377, oct 2006.

Lucia Acciai, Michele Boreale, Silvano Dal Zilio preprint, oct 2006.

Lucia Acciai, Michele Boreale, Silvano Dal Zilio In NWPT 2005 — 17th Nordic Workshop on Programming Theory, oct 2005.

Silvano Dal Zilio, Denis Lugiez, Charles Meyssonnier In POPL 2004 — 31st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, jan 2004.

Silvano Dal Zilio, Denis Lugiez In RTA 2003 — 14th International Conference on Rewriting Techniques and Applications, jun 2003.

Silvano Dal Zilio, Denis Lugiez Research Report 08-2002, LIF, jun 2002.