You can find most of the publications on my HAL account , or tracked by DBLP .
A Typed Calculus for Querying Distributed XML Documents
XML
Semantics
Concurrency
Lucia Acciai, Michele Boreale, Silvano Dal Zilio
In NWPT 2005 — 17th Nordic Workshop on Programming Theory, oct 2005.
In NWPT 2005 — 17th Nordic Workshop on Programming Theory, oct 2005.
A Functional Scenario for Bytecode Verification of Resource Bounds
Complexity
Resource Control
Roberto M. Amadio, Solange Coupet-Grimal, Silvano Dal Zilio, Line Jakubiec
In CSL 2004 — 18th International Conference on Computer Science Logic, sep 2004.
In CSL 2004 — 18th International Conference on Computer Science Logic, sep 2004.
Resource Control for Synchronous Cooperative Threads
Complexity
Resource Control
Roberto M. Amadio, Silvano Dal Zilio
In CONCUR 2004 — 15th International Conference on Concurrency Theory, aug 2004.
In CONCUR 2004 — 15th International Conference on Concurrency Theory, aug 2004.
A Functional Scenario for Bytecode Verification of Resource Bounds
Complexity
Resource Control
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.
In SPACE 2004 — 2nd workshop on Semantics, Program Analysis, and Computing Environments for Memory Management, jan 2004.
A Logic you Can Count On
XML
Automata
Mobile Ambients
Silvano Dal Zilio, Denis Lugiez, Charles Meyssonnier
In POPL 2004 — 31st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, jan 2004.
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
Concurrency
Semantics
Petri
Silvano Dal Zilio, Enrico Formenti
In WMC 2003 — Workshop on Membrane Computing, jan 2004.
In WMC 2003 — Workshop on Membrane Computing, jan 2004.
Model Checking Mobile Ambients
Concurrency
Mobile Ambients
Witold Charatonik, Silvano Dal Zilio, Andrew D. Gordon, Supratik Mukhopadhyay, Jean-Marc Talbot
Theoretical Computer Science 308(1):277—331, nov 2003.
Theoretical Computer Science 308(1):277—331, nov 2003.
XML Schema, Tree Logic and Sheaves Automata
XML
Automata
Semantics
Silvano Dal Zilio, Denis Lugiez
In RTA 2003 — 14th International Conference on Rewriting Techniques and Applications, jun 2003.
In RTA 2003 — 14th International Conference on Rewriting Techniques and Applications, jun 2003.
Multitrees Automata, Presburger's Constraints and Tree Logics
XML
Automata
Semantics
Silvano Dal Zilio, Denis Lugiez
Research Report 08-2002, LIF, jun 2002.
Research Report 08-2002, LIF, jun 2002.
Region analysis and a pi-calculus with groups
Concurrency
Semantics
Pi Calculus
Silvano Dal Zilio, Andrew D. Gordon
Journal of Functional Programming 12(3):229—292, may 2002.
Journal of Functional Programming 12(3):229—292, may 2002.