Christian Horn - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 13 from 13

2018

A privacy-aware distributed software architecture for automation services in compliance with GDPRTom Kittmann, Jens Lambrecht, Christian Horn. etfa 2018: 1067-1070 [doi]

2016

Feasibility of connecting machinery and robots to industrial control services in the cloudChristian Horn, Jörg Krüger. etfa 2016: 1-4 [doi]

2015

Control of robots and machine tools with an extended factory cloudAxel Vick, Christian Horn, Martin Rudorfer, Jorg Krüger. wfcs 2015: 1-4 [doi]

2014

PRoCeeD: Process State Prediction for CRITIS Using Process Inherent Causal Data and Discrete Event ModelsChristian Horn, Jörg Krüger. critis 2016: 314-325 [doi]

2013

Enhanced infrastructure security through inter-level anomaly detectionChristian Horn, Jörg Krüger. ipccc 2013: 1-2 [doi]

2012

Guest Editors' PrefaceChristian Horn, Sebastian Löbner, Markus Werning. jsemantics, 29(4):439-443, 2012. [doi]

2011

Nominal Associative Anaphors - A Text-Based Analysis at the Semantics-Pragmatics InterfaceNicolas Kimm, Christian Horn. daarc 2011: 108-118 [doi]

1992

Oyster-2: Bringing Type Theory into PracticeChristian Horn. ifip 1992: 49-56

1990

The Oyster-Clam SystemAlan Bundy, Frank van Harmelen, Christian Horn, Alan Smaill. cade 1990: 647-648

1989

A portable high-speed PASCAL to C TranslatorKlaus Bothe, B. Hohberg, Christian Horn, O. Wikarski. SIGPLAN, 24(9):60-65, 1989. [doi]

Übersetzung zwischen höheren Programmiersprachen: eine Lösung des UNCOL-Problems?Klaus Bothe, Christian Horn. wi, 31(7):283-286, 1989.

1988

Deduktive ProgrammierungChristian Horn. PhD thesis, Humboldt University of Berlin, Unter den Linden, Germany, 1988. [doi]

1986

Die Theorie der Softwarespezifikation, angewandt auf Probleme der SoftwarewartungChristian Horn. PhD thesis, Humboldt University of Berlin, Unter den Linden, Germany, 1986. [doi]

Sign in or sign up to see more results.

runs on WebDSL