Conferences in DBLP

Birthday ... (birthday)
2010 (conf/birthday/2010pnueli)

1. 
   Modal and Temporal Argumentation Networks. [Citation Graph (, )][DBLP]
   
   
2. 
   Knowledge Based Scheduling of Distributed Systems. [Citation Graph (, )][DBLP]
   
   
3. 
   Quantitative Simulation Games. [Citation Graph (, )][DBLP]
   
   
4. 
   The Localization Reduction and Counterexample-Guided Abstraction Refinement. [Citation Graph (, )][DBLP]
   
   
5. 
   A Scalable Segmented Decision Tree Abstract Domain. [Citation Graph (, )][DBLP]
   
   
6. 
   Towards Component Based Design of Hybrid Systems: Safety and Stability. [Citation Graph (, )][DBLP]
   
   
7. 
   Mildly Context-Sensitive Languages via Buffer Augmented Pregroup Grammars. [Citation Graph (, )][DBLP]
   
   
8. 
   Inference Rules for Proving the Equivalence of Recursive Procedures. [Citation Graph (, )][DBLP]
   
   
9. 
   Some Thoughts on the Semantics of Biocharts. [Citation Graph (, )][DBLP]
   
   
10. 
    Unraveling a Card Trick. [Citation Graph (, )][DBLP]
    
    
11. 
    An Automata-Theoretic Approach to Infinite-State Systems. [Citation Graph (, )][DBLP]
    
    
12. 
    On the Krohn-Rhodes Cascaded Decomposition Theorem. [Citation Graph (, )][DBLP]
    
    
13. 
    Temporal Verification of Reactive Systems: Response. [Citation Graph (, )][DBLP]
    
    
14. 
    The Arrow of Time through the Lens of Computing. [Citation Graph (, )][DBLP]
    
    
15. 
    What Is in a Step: New Perspectives on a Classical Question. [Citation Graph (, )][DBLP]