Christian Horn

According to our database, Christian Horn authored at least 13 papers between 1986 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

A privacy-aware distributed software architecture for automation services in compliance with GDPR.

Tom Kittmann, Jens Lambrecht, Christian Horn

Proceedings of the 23rd IEEE International Conference on Emerging Technologies and Factory Automation, 2018

2016

Feasibility of connecting machinery and robots to industrial control services in the cloud.

Christian Horn, Jörg Krüger

Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation, 2016

2015

Control of robots and machine tools with an extended factory cloud.

Axel Vick, Christian Horn, Martin Rudorfer, Jörg Krüger

Proceedings of the IEEE World Conference on Factory Communication Systems, 2015

2014

PRoCeeD: Process State Prediction for CRITIS Using Process Inherent Causal Data and Discrete Event Models.

Christian Horn, Jörg Krüger

Proceedings of the Critical Information Infrastructures Security, 2014

2013

Enhanced infrastructure security through inter-level anomaly detection.

Christian Horn, Jörg Krüger

Proceedings of the IEEE 32nd International Performance Computing and Communications Conference, 2013

2012

Guest Editors' Preface.

Christian Horn, Sebastian Löbner, Markus Werning

J. Semant., 2012

2011

Nominal Associative Anaphors - A Text-Based Analysis at the Semantics-Pragmatics Interface.

Nicolas Kimm, Christian Horn

Proceedings of the Anaphora Processing and Applications, 2011

1992

Oyster-2: Bringing Type Theory into Practice.

Christian Horn

Proceedings of the Algorithms, Software, Architecture, 1992

1990

The Oyster-Clam System.

Alan Bundy, Frank van Harmelen, Christian Horn, Alan Smaill

Proceedings of the 10th International Conference on Automated Deduction, 1990

1989

Übersetzung zwischen höheren Programmiersprachen: eine Lösung des UNCOL-Problems?

Klaus Bothe, Christian Horn

Angew. Inform., 1989

A portable high-speed PASCAL to C Translator.

Klaus Bothe, B. Hohberg, Christian Horn, O. Wikarski

ACM SIGPLAN Notices, 1989

1988

Deduktive Programmierung.

Christian Horn

PhD thesis, 1988

1986

Die Theorie der Softwarespezifikation, angewandt auf Probleme der Softwarewartung.

Christian Horn

PhD thesis, 1986