Ulrich Schöpp

	2009
9		Martin Hofmann, Ulrich Schöpp: Pointer Programs and Undirected Reachability. LICS 2009: 133-142
	2008
8		Martin Hofmann, Ulrich Schöpp: Pure Pointer Programs with Iteration. CSL 2008: 79-93
7		Ulrich Schöpp: A Formalised Lower Bound on Undirected Graph Reachability. LPAR 2008: 621-635
6		Ulrich Schöpp, Martin Hofmann: Pointer Programs and Undirected Reachability. Electronic Colloquium on Computational Complexity (ECCC) 15(090): (2008)
	2007
5		Ulrich Schöpp: Stratified Bounded Affine Logic for Logarithmic Space. LICS 2007: 411-420
4		Ulrich Schöpp: Modelling Generic Judgements. Electr. Notes Theor. Comput. Sci. 174(5): 19-35 (2007)
	2006
3		Ulrich Schöpp: Space-Efficient Computation by Interaction. CSL 2006: 606-621
	2004
2		Ulrich Schöpp, Ian Stark: A Dependent Type Theory with Names and Binding. CSL 2004: 235-249
	2002
1		Ulrich Schöpp, Alex K. Simpson: Verifying Temporal Properties Using Explicit Approximants: Completeness for Context-free Processes. FoSSaCS 2002: 372-386

Coauthor Index

1	Martin Hofmann	[6] [8] [9]
2	Alex K. Simpson (Alex Simpson)	[1]
3	Ian Stark	[2]

Colors in the list of coauthors