Follow
Matthias Neubauer
Matthias Neubauer
SICK AG
Verified email at informatik.uni-freiburg.de - Homepage
Title
Cited by
Cited by
Year
An implementation of session types
M Neubauer, P Thiemann
Practical Aspects of Declarative Languages: 6th International Symposium …, 2004
1122004
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
672005
Discriminative sum types locate the source of type errors
M Neubauer, P Thiemann
Proceedings of the eighth ACM SIGPLAN international conference on Functional …, 2003
432003
Functional logic overloading
M Neubauer, P Thiemann, M Gasbichler, M Sperber
ACM SIGPLAN Notices 37 (1), 233-244, 2002
322002
A functional notation for functional dependencies
M Neubauer, P Thiemann, M Gasbichler, M Sperber
Proceedings of 2001 Haskell Workshop, 101-120, 2001
272001
Session types for asynchronous communication
M Neubauer, P Thiemann
Universität Freiburg, 2004
212004
Type classes with more higher-order polymorphism
M Neubauer, P Thiemann
ACM SIGPLAN Notices 37 (9), 179-190, 2002
152002
Macros for context-free grammars
P Thiemann, M Neubauer
Proceedings of the 10th international ACM SIGPLAN conference on Principles …, 2008
112008
Haskell type browser
M Neubauer, P Thiemann
Proceedings of the 2004 ACM SIGPLAN workshop on Haskell, 92-93, 2004
92004
Parameterized LR parsing
P Thiemann, M Neubauer
Electronic Notes in Theoretical Computer Science 110, 115-132, 2004
82004
Sensor for securing a machine
M Neubauer, A Hornung
US Patent App. 16/007,000, 2019
72019
Multi-tier programming.
M Neubauer
University of Freiburg, 2007
72007
Down with Emacs Lisp: dynamic scope analysis
M Neubauer, M Sperber
ACM SIGPLAN Notices 36 (10), 38-49, 2001
62001
Method of securing a hazard zone
I Braune, A Hornung, M Neubauer
US Patent 10,726,538, 2020
52020
Placement inference for a client-server calculus
M Neubauer, P Thiemann
International Colloquium on Automata, Languages, and Programming, 75-86, 2008
52008
Protocol specialization
M Neubauer, P Thiemann
Programming Languages and Systems: Second Asian Symposium, APLAS 2004 …, 2004
52004
3D sensor and method of monitoring a monitored zone
A Hornung, M Neubauer, L Müller
US Patent 11,512,940, 2022
32022
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
32021
Method for the three-dimensional detection of objects
A Hornung, M Neubauer
US Patent 10,331,977, 2019
22019
Optoelectronic apparatus for securing a source of danger
J Gebauer, C Hofmann, M Neubauer
US Patent App. 15/419,388, 2017
22017
The system can't perform the operation now. Try again later.
Articles 1–20