Solving Language Equations Using Flanked Automata
Silvano Dal Zilio, Florent Avellaneda, Jean-Baptiste Raclet In ATVA 2016 — 14th International Symposium on Automated Technology for Verification and Analysis, oct 2016.
Automata
On the Complexity of Flanked Finite State Automata
Silvano Dal Zilio, Jean-Baptiste Raclet, Florent Avellaneda Research Report 15357, LAAS, oct 2015.
TraLaLa
·473 words
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.
XML schema, tree logic and sheaves automata
Silvano Dal Zilio, Denis Lugiez Applicable Algebra in Engineering, Communication and Computing 17(5):337—377, oct 2006.
A Concurrent Calculus with Atomic Transactions
Lucia Acciai, Michele Boreale, Silvano Dal Zilio preprint, oct 2006.
A Logic you Can Count On
Silvano Dal Zilio, Denis Lugiez, Charles Meyssonnier In POPL 2004 — 31st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, jan 2004.
XML Schema, Tree Logic and Sheaves Automata
Silvano Dal Zilio, Denis Lugiez In RTA 2003 — 14th International Conference on Rewriting Techniques and Applications, jun 2003.
Multitrees Automata, Presburger's Constraints and Tree Logics
Silvano Dal Zilio, Denis Lugiez Research Report 08-2002, LIF, jun 2002.