Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Ulrich Schöpp" ( http://dblp.L3S.de/Authors/Ulrich_Schöpp )

  Author page on DBLP  Author page in RDF  Community of Ulrich Schöpp in ASPL-2

Publication years (Num. hits)
2002-2011 (13)
Publication types (Num. hits)
article(3) inproceedings(10)
Venues (Conferences, Journals, ...)
CSL(3) APLAS(2) LICS(2) ACM Trans. Comput. Log.(1) Electr. Notes Theor. Comput. S...(1) Electronic Colloquium on Compu...(1) ESOP(1) FoSSaCS(1) LPAR(1)
Authors
Ulrich Schöpp(13) Martin Hofmann(4) Ugo Dal Lago(2) Alex K. Simpson(1) Ian Stark(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.
Results
Found 13 publication records. Showing 13 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Ulrich Schöpp Computation-by-Interaction with Effects. Search on Bibsonomy APLAS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Martin Hofmann, Ulrich Schöpp Pure pointer programs with iteration. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Ugo Dal Lago, Ulrich Schöpp Type Inference for Sublinear Space Functional Programming. Search on Bibsonomy APLAS The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Ugo Dal Lago, Ulrich Schöpp Functional Programming in Sublinear Space. Search on Bibsonomy ESOP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Martin Hofmann, Ulrich Schöpp Pointer Programs and Undirected Reachability. Search on Bibsonomy LICS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Ulrich Schöpp, Martin Hofmann Pointer Programs and Undirected Reachability. Search on Bibsonomy Electronic Colloquium on Computational Complexity (ECCC) The full citation details ... 2008 DBLP  BibTeX  RDF
1Ulrich Schöpp A Formalised Lower Bound on Undirected Graph Reachability. Search on Bibsonomy LPAR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Martin Hofmann, Ulrich Schöpp Pure Pointer Programs with Iteration. Search on Bibsonomy CSL The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Ulrich Schöpp Modelling Generic Judgements. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Ulrich Schöpp Stratified Bounded Affine Logic for Logarithmic Space. Search on Bibsonomy LICS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Ulrich Schöpp Space-Efficient Computation by Interaction. Search on Bibsonomy CSL The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Ulrich Schöpp, Ian Stark A Dependent Type Theory with Names and Binding. Search on Bibsonomy CSL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Ulrich Schöpp, Alex K. Simpson Verifying Temporal Properties Using Explicit Approximants: Completeness for Context-free Processes. Search on Bibsonomy FoSSaCS The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #13 of 13 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.