Christian Horn

13 papers A 1C 5Journal 3Unranked 2

Year	Rank	Type	Title / Venue / Authors
2018	C	`conf`	A privacy-aware distributed software architecture for automation services in compliance with GDPR. ETFA Tom Kittmann, Jens Lambrecht, Christian Horn
2016	C	`conf`	Feasibility of connecting machinery and robots to industrial control services in the cloud. ETFA Christian Horn, Jörg Krüger
2015	C	`conf`	Control of robots and machine tools with an extended factory cloud. WFCS Axel Vick, Christian Horn, Martin Rudorfer, Jörg Krüger
2014	C	`conf`	PRoCeeD: Process State Prediction for CRITIS Using Process Inherent Causal Data and Discrete Event Models. CRITIS Christian Horn, Jörg Krüger
2013	C	`conf`	Enhanced infrastructure security through inter-level anomaly detection. IPCCC Christian Horn, Jörg Krüger
2012	J	`jnl`	Guest Editors' Preface. J. Semant. Christian Horn, Sebastian Löbner, Markus Werning
2011	—	`conf`	Nominal Associative Anaphors - A Text-Based Analysis at the Semantics-Pragmatics Interface. DAARC Nicolas Kimm, Christian Horn
1992	—	`conf`	Oyster-2: Bringing Type Theory into Practice. IFIP Congress (1) Christian Horn
1990	A	`conf`	The Oyster-Clam System. CADE Alan Bundy, Frank van Harmelen, Christian Horn, Alan Smaill
1989	J	`jnl`	A portable high-speed PASCAL to C Translator. ACM SIGPLAN Notices Klaus Bothe, B. Hohberg, Christian Horn, O. Wikarski
1989	J	`jnl`	Übersetzung zwischen höheren Programmiersprachen: eine Lösung des UNCOL-Problems? Angew. Inform. Klaus Bothe, Christian Horn
1988	—	`—`	Deduktive Programmierung. Christian Horn
1986	—	`—`	Die Theorie der Softwarespezifikation, angewandt auf Probleme der Softwarewartung. Christian Horn