Search the dblp DataBase

Publications of Author

1. Hans de Nivelle, Ruzica Piskac
   Verification of an Off-Line Checker for Priority Queues. [Citation Graph (0, 0)][DBLP]
   SEFM, 2005, pp:210-219 [Conf]
   
2. 
   MUNCH - Automated Reasoner for Sets and Multisets. [Citation Graph (, )][DBLP]
   
   
3. 
   Linear Arithmetic with Stars. [Citation Graph (, )][DBLP]
   
   
4. 
   Comfusy: A Tool for Complete Functional Synthesis. [Citation Graph (, )][DBLP]
   
   
5. 
   Fractional Collections with Cardinality Bounds, and Mixed Linear Arithmetic with Stars. [Citation Graph (, )][DBLP]
   
   
6. 
   Ordered Sets in the Calculus of Data Structures. [Citation Graph (, )][DBLP]
   
   
7. 
   Combining Theories with Shared Set Operations. [Citation Graph (, )][DBLP]
   
   
8. 
   Complete functional synthesis. [Citation Graph (, )][DBLP]
   
   
9. 
   Decision Procedures for Multisets with Cardinality Constraints. [Citation Graph (, )][DBLP]
   
   
10. 
    Collections, Cardinalities, and Relations. [Citation Graph (, )][DBLP]
    
    
11. 
    Building a Calculus of Data Structures. [Citation Graph (, )][DBLP]