| Denotational semantics with nominal scott domains S Lösch, AM Pitts Journal of the ACM (JACM) 61 (4), 1-46, 2014 | 9 | 2014 |
| Relating two semantics of locally scoped names S Lösch, AM Pitts Computer Science Logic (CSL'11)-25th International Workshop/20th Annual …, 2011 | 6 | 2011 |
| Depth from blur combining image deblurring and depth estimation S Losch Bachelor's Thesis. Saarland University: Homburg, 2009 | 6 | 2009 |
| Full abstraction for nominal Scott domains S Lösch, AM Pitts ACM SIGPLAN Notices 48 (1), 3-14, 2013 | 5 | 2013 |
| Depth from Blur S Lösch Saarland University, 2009 | 2 | 2009 |
| Program equivalence in functional metaprogramming via nominal Scott domains S Loesch University of Cambridge, Computer Laboratory, 2014 | 1 | 2014 |
| Computer Science Logic (CSL'11)-25th International Workshop/20th Annual Conference of the EACSL T Ehrhard, M Otto, MY Vardi, F Wolter, J Adamek, S Milius, LS Moss, ... Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2011 | | 2011 |
| The Semantics of Functions with Locally Scoped Names S Lösch | | 2010 |
| 3.12 Concurrent Domain Theory with Nominal Sets S Loesch, U Montanari Nominal Computation Theory, 67, 0 | | |
| Relating Two Semantics of Locally Scoped Names AM Pitts, S Lösch | | |
