| Stratified bounded affine logic for logarithmic space U Schopp 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007), 411-420, 2007 | 59 | 2007 |
| A dependent type theory with names and binding U Schöpp, I Stark International Workshop on Computer Science Logic, 235-249, 2004 | 50 | 2004 |
| Functional programming in sublinear space U Dal Lago, U Schöpp European Symposium on Programming, 205-225, 2010 | 44 | 2010 |
| Computation by interaction for space-bounded functional programming U Dal Lago, U Schöpp Information and Computation 248, 150-194, 2016 | 23 | 2016 |
| Names and binding in type theory U Schöpp University of Edinburgh. School of Informatics., 2006 | 23 | 2006 |
| Type inference for sublinear space functional programming U Dal Lago, U Schöpp Asian Symposium on Programming Languages and Systems, 376-391, 2010 | 18 | 2010 |
| Pure pointer programs with iteration M Hofmann, U Schöpp ACM Transactions on Computational Logic (TOCL) 11 (4), 1-23, 2010 | 18 | 2010 |
| Verifying temporal properties using explicit approximants: Completeness for context-free processes U Schöpp, A Simpson International Conference on Foundations of Software Science and Computation …, 2002 | 18 | 2002 |
| Call-by-value in a basic logic for interaction U Schöpp Asian Symposium on Programming Languages and Systems, 428-448, 2014 | 14 | 2014 |
| On the relation of interaction semantics to continuations and defunctionalization U Schöpp Logical Methods in Computer Science 10 (4), 2014 | 14 | 2014 |
| Space-efficient computation by interaction U Schöpp International Workshop on Computer Science Logic, 606-621, 2006 | 14 | 2006 |
| Computation-by-interaction with effects U Schöpp Asian Symposium on Programming Languages and Systems, 305-321, 2011 | 11 | 2011 |
| Pointer programs and undirected reachability M Hofmann, U Schopp 2009 24th Annual IEEE Symposium on Logic In Computer Science, 133-142, 2009 | 11 | 2009 |
| Organising low-level programs using higher types U Schöpp Proceedings of the 16th International Symposium on Principles and Practice …, 2014 | 9 | 2014 |
| On interaction, continuations and defunctionalization U Schöpp International Conference on Typed Lambda Calculi and Applications, 205-220, 2013 | 9 | 2013 |
| From call-by-value to interaction by typed closure conversion U Schöpp Asian Symposium on Programming Languages and Systems, 251-270, 2015 | 8 | 2015 |
| Pure pointer programs and tree isomorphism M Hofmann, R Ramyaa, U Schöpp International Conference on Foundations of Software Science and …, 2013 | 8 | 2013 |
| Modelling generic judgements U Schöpp Electronic Notes in Theoretical Computer Science 174 (5), 19-35, 2007 | 7 | 2007 |
| Pointer programs and undirected reachability U Schöpp, M Hofmann Electronic Colloquium on Computational Complexity (ECCC) 15 (090), 2008 | 6 | 2008 |
| Pure pointer programs with iteration M Hofmann, U Schöpp International Workshop on Computer Science Logic, 79-93, 2008 | 6 | 2008 |
Martin HofmannProfessor for Informatics, University of MunichVerified email at ifi.lmu.de
