Search the dblp DataBase

Publications of Author

1. 
   Invariant Synthesis for Programs Manipulating Lists with Unbounded Data. [Citation Graph (, )][DBLP]
   
   
2. 
   A Logic-Based Framework for Reasoning about Composite Data Structures. [Citation Graph (, )][DBLP]
   
   
3. 
   On Compiling Structured Interactive Programs with Registers and Voices. [Citation Graph (, )][DBLP]
   
   
4. 
   Rewriting Systems over Nested Data Words. [Citation Graph (, )][DBLP]
   
   
5. 
   A sound spatio-temporal Hoare logic for the verification of structured interactive programs with registers and voices [Citation Graph (, )][DBLP]
   
   
6. 
   A Generic Framework for Reasoning about Dynamic Networks of Infinite-State Processes [Citation Graph (, )][DBLP]
   
   
7. 
   AGAPIA v0.1: A Programming Language for Interactive Systems and Its Typing System. [Citation Graph (, )][DBLP]