Conferences in DBLP

International Conference on Theorem Proving in Higher Order Logics (tphol)
2009 (conf/tphol/2009)

1. 
   Let's Get Physical: Models and Methods for Real-World Security Protocols. [Citation Graph (, )][DBLP]
   
   
2. 
   VCC: A Practical System for Verifying Concurrent C. [Citation Graph (, )][DBLP]
   
   
3. 
   Without Loss of Generality. [Citation Graph (, )][DBLP]
   
   
4. 
   HOL Light: An Overview. [Citation Graph (, )][DBLP]
   
   
5. 
   A Brief Overview of Mizar. [Citation Graph (, )][DBLP]
   
   
6. 
   A Brief Overview of Agda - A Functional Language with Dependent Types. [Citation Graph (, )][DBLP]
   
   
7. 
   The Twelf Proof Assistant. [Citation Graph (, )][DBLP]
   
   
8. 
   Hints in Unification. [Citation Graph (, )][DBLP]
   
   
9. 
   Psi-calculi in Isabelle. [Citation Graph (, )][DBLP]
   
   
10. 
    Some Domain Theory and Denotational Semantics in Coq. [Citation Graph (, )][DBLP]
    
    
11. 
    Turning Inductive into Equational Specifications. [Citation Graph (, )][DBLP]
    
    
12. 
    Formalizing the Logic-Automaton Connection. [Citation Graph (, )][DBLP]
    
    
13. 
    Extended First-Order Logic. [Citation Graph (, )][DBLP]
    
    
14. 
    Formalising Observer Theory for Environment-Sensitive Bisimulation. [Citation Graph (, )][DBLP]
    
    
15. 
    Formal Certification of a Resource-Aware Language Implementation. [Citation Graph (, )][DBLP]
    
    
16. 
    A Certified Data Race Analysis for a Java-like Language. [Citation Graph (, )][DBLP]
    
    
17. 
    Formal Analysis of Optical Waveguides in HOL. [Citation Graph (, )][DBLP]
    
    
18. 
    The HOL-Omega Logic. [Citation Graph (, )][DBLP]
    
    
19. 
    A Purely Definitional Universal Domain. [Citation Graph (, )][DBLP]
    
    
20. 
    Types, Maps and Separation Logic. [Citation Graph (, )][DBLP]
    
    
21. 
    Acyclic Preferences and Existence of Sequential Nash Equilibria: A Formal and Constructive Equivalence. [Citation Graph (, )][DBLP]
    
    
22. 
    Formalising FinFuns - Generating Code for Functions as Data from Isabelle/HOL. [Citation Graph (, )][DBLP]
    
    
23. 
    Packaging Mathematical Structures. [Citation Graph (, )][DBLP]
    
    
24. 
    Practical Tactics for Separation Logic. [Citation Graph (, )][DBLP]
    
    
25. 
    Verified LISP Implementations on ARM, x86 and PowerPC. [Citation Graph (, )][DBLP]
    
    
26. 
    Trace-Based Coinductive Operational Semantics for While. [Citation Graph (, )][DBLP]
    
    
27. 
    A Better x86 Memory Model: x86-TSO. [Citation Graph (, )][DBLP]
    
    
28. 
    Formal Verification of Exact Computations Using Newton's Method. [Citation Graph (, )][DBLP]
    
    
29. 
    Construction of Büchi Automata for LTL Model Checking Verified in Isabelle/HOL. [Citation Graph (, )][DBLP]
    
    
30. 
    A Hoare Logic for the State Monad. [Citation Graph (, )][DBLP]
    
    
31. 
    Certification of Termination Proofs Using CeTA. [Citation Graph (, )][DBLP]
    
    
32. 
    A Formalisation of Smallfoot in HOL. [Citation Graph (, )][DBLP]
    
    
33. 
    Liveness Reasoning with Isabelle/HOL. [Citation Graph (, )][DBLP]
    
    
34. 
    Mind the Gap. [Citation Graph (, )][DBLP]