Search the dblp DataBase

Publications of Author

1. Ulrich Schöpp
   Space-Efficient Computation by Interaction. [Citation Graph (0, 0)][DBLP]
   CSL, 2006, pp:606-621 [Conf]
   
2. Ulrich Schöpp, Ian Stark
   A Dependent Type Theory with Names and Binding. [Citation Graph (0, 0)][DBLP]
   CSL, 2004, pp:235-249 [Conf]
   
3. Ulrich Schöpp, Alex K. Simpson
   Verifying Temporal Properties Using Explicit Approximants: Completeness for Context-free Processes. [Citation Graph (0, 0)][DBLP]
   FoSSaCS, 2002, pp:372-386 [Conf]
   
4. Ulrich Schöpp
   Modelling Generic Judgements. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:174, n:5, pp:19-35 [Journal]
   
5. Ulrich Schöpp
   Stratified Bounded Affine Logic for Logarithmic Space. [Citation Graph (0, 0)][DBLP]
   LICS, 2007, pp:411-420 [Conf]
   
6. 
   Pure Pointer Programs with Iteration. [Citation Graph (, )][DBLP]
   
   
7. 
   Functional Programming in Sublinear Space. [Citation Graph (, )][DBLP]
   
   
8. 
   Pointer Programs and Undirected Reachability. [Citation Graph (, )][DBLP]
   
   
9. 
   A Formalised Lower Bound on Undirected Graph Reachability. [Citation Graph (, )][DBLP]
   
   
10. 
    Pointer Programs and Undirected Reachability. [Citation Graph (, )][DBLP]