Matthias Neubauer
Matthias Neubauer
SICK AG
Adresse e-mail validée de informatik.uni-freiburg.de - Page d'accueil
Titre
Citée par
Citée par
Année
An implementation of session types
M Neubauer, P Thiemann
International Symposium on Practical Aspects of Declarative Languages, 56-70, 2004
1062004
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
592005
Discriminative sum types locate the source of type errors
M Neubauer, P Thiemann
Proceedings of the eighth ACM SIGPLAN international conference on Functional …, 2003
352003
Functional logic overloading
M Neubauer, P Thiemann, M Gasbichler, M Sperber
ACM SIGPLAN Notices 37 (1), 233-244, 2002
332002
A functional notation for functional dependencies
M Neubauer, P Thiemann, M Gasbichler, M Sperber
Proceedings of 2001 Haskell Workshop, 101-120, 2001
262001
Session types for asynchronous communication
M Neubauer, P Thiemann
Universität Freiburg, 2004
222004
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
102008
Haskell type browser
M Neubauer, P Thiemann
Proceedings of the 2004 ACM SIGPLAN workshop on Haskell, 92-93, 2004
82004
Placement inference for a client-server calculus
M Neubauer, P Thiemann
International Colloquium on Automata, Languages, and Programming, 75-86, 2008
72008
Multi-tier programming.
M Neubauer
University of Freiburg, 2007
62007
Parameterized LR parsing
P Thiemann, M Neubauer
Electronic Notes in Theoretical Computer Science 110, 115-132, 2004
62004
Down with Emacs Lisp: dynamic scope analysis
M Neubauer, M Sperber
ACM SIGPLAN Notices 36 (10), 38-49, 2001
62001
Sensor for securing a machine
M Neubauer, A Hornung
US Patent App. 16/007,000, 2019
52019
Protocol specialization
M Neubauer, P Thiemann
Asian Symposium on Programming Languages and Systems, 246-261, 2004
52004
Optoelectronic apparatus for securing a source of danger
J Gebauer, C Hofmann, M Neubauer
US Patent App. 15/419,388, 2017
22017
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
12021
Method of securing a hazard zone
I Braune, A Hornung, M Neubauer
US Patent 10,726,538, 2020
12020
3d sensor and method of monitoring a monitored zone
A Hornung, M Neubauer, L Müller
US Patent App. 16/502,335, 2020
2020
Method for a Safe Transmission of Image Data and Safe Optoelectronic Sensor
L Müller, M Neubauer, C Maier
US Patent App. 16/441,778, 2019
2019
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20