| An implementation of session types M Neubauer, P Thiemann Practical Aspects of Declarative Languages: 6th International Symposium …, 2004 | 117 | 2004 |
| From sequential programs to multi-tier applications by program transformation M Neubauer, P Thiemann Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of …, 2005 | 68 | 2005 |
| Discriminative sum types locate the source of type errors M Neubauer, P Thiemann Proceedings of the eighth ACM SIGPLAN international conference on Functional …, 2003 | 43 | 2003 |
| Functional logic overloading M Neubauer, P Thiemann, M Gasbichler, M Sperber ACM SIGPLAN Notices 37 (1), 233-244, 2002 | 32 | 2002 |
| A functional notation for functional dependencies M Neubauer, P Thiemann, M Gasbichler, M Sperber Proceedings of 2001 Haskell Workshop, 101-120, 2001 | 28 | 2001 |
| Session types for asynchronous communication M Neubauer, P Thiemann Universität Freiburg, 2004 | 21 | 2004 |
| Type classes with more higher-order polymorphism M Neubauer, P Thiemann ACM SIGPLAN Notices 37 (9), 179-190, 2002 | 15 | 2002 |
| Macros for context-free grammars P Thiemann, M Neubauer Proceedings of the 10th international ACM SIGPLAN conference on Principles …, 2008 | 11 | 2008 |
| Haskell type browser M Neubauer, P Thiemann Proceedings of the 2004 ACM SIGPLAN workshop on Haskell, 92-93, 2004 | 9 | 2004 |
| Parameterized LR parsing P Thiemann, M Neubauer Electronic Notes in Theoretical Computer Science 110, 115-132, 2004 | 8 | 2004 |
| Sensor for securing a machine M Neubauer, A Hornung US Patent App. 16/007,000, 2019 | 7 | 2019 |
| Multi-tier programming. M Neubauer University of Freiburg, 2007 | 7 | 2007 |
| Method of securing a hazard zone I Braune, A Hornung, M Neubauer US Patent 10,726,538, 2020 | 6 | 2020 |
| Down with Emacs Lisp: dynamic scope analysis M Neubauer, M Sperber ACM SIGPLAN Notices 36 (10), 38-49, 2001 | 6 | 2001 |
| Placement inference for a client-server calculus M Neubauer, P Thiemann International Colloquium on Automata, Languages, and Programming, 75-86, 2008 | 5 | 2008 |
| Protocol specialization M Neubauer, P Thiemann Programming Languages and Systems: Second Asian Symposium, APLAS 2004 …, 2004 | 5 | 2004 |
| Configuring a hazard zone monitored by a 3D sensor A Hornung, M Neubauer, I Braune, S MacNamara, T Neumann US Patent 10,969,762, 2021 | 4 | 2021 |
| 3D sensor and method of monitoring a monitored zone A Hornung, M Neubauer, L Müller US Patent 11,512,940, 2022 | 3 | 2022 |
| Method for the three-dimensional detection of objects A Hornung, M Neubauer US Patent 10,331,977, 2019 | 2 | 2019 |
| Optoelectronic apparatus for securing a source of danger J Gebauer, C Hofmann, M Neubauer US Patent App. 15/419,388, 2017 | 2 | 2017 |
Peter ThiemannProfessor of Computer Science, University of FreiburgVerified email at informatik.uni-Freiburg.de
