A Typed Calculus for Querying Distributed XML Documents
Lucia Acciai, Michele Boreale, Silvano Dal Zilio In NWPT 2005 — 17th Nordic Workshop on Programming Theory, oct 2005.
You can find most of the publications on my HAL account , or tracked by DBLP .
A Functional Scenario for Bytecode Verification of Resource Bounds
Roberto M. Amadio, Solange Coupet-Grimal, Silvano Dal Zilio, Line Jakubiec In CSL 2004 — 18th International Conference on Computer Science Logic, sep 2004.
Resource Control for Synchronous Cooperative Threads
Roberto M. Amadio, Silvano Dal Zilio In CONCUR 2004 — 15th International Conference on Concurrency Theory, aug 2004.
A Functional Scenario for Bytecode Verification of Resource Bounds
Roberto M. Amadio, Solange Coupet-Grimal, Silvano Dal Zilio, Line Jakubiec In SPACE 2004 — 2nd workshop on Semantics, Program Analysis, and Computing Environments for Memory Management, jan 2004.
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.
On the Dynamics of PB Systems: A Petri Net View
Silvano Dal Zilio, Enrico Formenti In WMC 2003 — Workshop on Membrane Computing, jan 2004.
Model Checking Mobile Ambients
Witold Charatonik, Silvano Dal Zilio, Andrew D. Gordon, Supratik Mukhopadhyay, Jean-Marc Talbot Theoretical Computer Science 308(1):277—331, nov 2003.
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.
Region analysis and a pi-calculus with groups
Silvano Dal Zilio, Andrew D. Gordon Journal of Functional Programming 12(3):229—292, may 2002.