Normen Müller

Publication Activity (10 Years)

Years Active: 2006-2018
Publications (10 Years): 2

Top Topics

Nearest Neighbor

Distributed Computation

Concurrency Control

Top Venues

J. Funct. Program.

Jacobs University (PHD)

Education History

Jacobs University

PHD

Publications

Philipp Haller, Heather Miller, Normen Müller
A programming model and foundation for lineage-based distributed computation. J. Funct. Program. 28 (2018)
Heather Miller, Philipp Haller, Normen Müller, Jocelyn Boullier
Function passing: a model for typed, distributed functional programming. Onward! (2016)
Serge Autexier, Normen Müller
Semantics-based change impact analysis for heterogeneous collections of documents. ACM Symposium on Document Engineering (2010)
Normen Müller, Michael Kohlhase
Fine-Granular Version Control & Redundancy Resolution. LWA (2008)
Normen Müller, Marc Wagner
Towards Improving Interactive Mathematical Authoring by Ontology-driven Management of Change. LWA (2007)
Normen Müller
LWA 2006. Künstliche Intell. 21 (1) (2007)
Normen Müller
An Ontology-Driven Management of Change. LWA (2006)