Christoph Lingenfelder

According to our database, Christoph Lingenfelder authored at least 14 papers between 1989 and 2020.

Collaborative distances:

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

2020

Destination Prediction Based on Partial Trajectory Data.

Patrick Ebel, Ibrahim Emre Göl, Christoph Lingenfelder, Andreas Vogelsang

Proceedings of the IEEE Intelligent Vehicles Symposium, 2020

2009

Open standards and cloud computing: KDD-2009 panel report.

Michael Zeller, Robert Grossman, Christoph Lingenfelder, Michael R. Berthold, Erik Marcadé, Rick Pechter, Mike Hoskins, Wayne Thompson, Rich Holada

Proceedings of the 15th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, Paris, France, June 28, 2009

2008

Event-Driven Quality of Service Prediction.

Liangzhao Zeng, Christoph Lingenfelder, Hui Lei, Henry Chang

Proceedings of the Service-Oriented Computing, 2008

2007

Knowledge discovery standards.

Sarabjot S. Anand, Marko Grobelnik, Frank Herrmann, Mark F. Hornick, Christoph Lingenfelder, Niall Rooney, Dietrich Wettschereck

Artif. Intell. Rev., 2007

2000

Presentation of proofs in modal natural deduction.

Erika F. de Lima, Christoph Lingenfelder

J. Log. Comput., 2000

1996

Optimizing the Presentation of Modal Natural Deduction Proofs.

Erika F. de Lima, Christoph Lingenfelder

Proceedings of the 12th European Conference on Artificial Intelligence, 1996

1994

Überprüfung von Integritätsbedingungen in deduktiven Datenbanken durch SLDNF-Beweisanalyse und -strukturierung.

Stefan Decker, Christoph Lingenfelder

Proceedings of the Tenth Logic Programming Workshop, 1994

1993

Knowledge-based security administration in a distributed environment.

Christoph Lingenfelder, Sven Lorenz

Proceedings of the 1993 Conference of the Centre for Advanced Studies on Collaborative Research, 1993

1992

Using Knowledge-Based Methods to Administrate an Access Control System

Christoph Lingenfelder, Astrid Schmücker-Schend

IWBS Report, 1992

Der rechtliche Schutz von Software: Aktuelle Fragen und Probleme - Ein Diskussionspapier des GI-Arbeitskreises Software-Schutz.

Freimut Bodendorf, Manfred Broy, Herbert Burkert, Albert Endres, Herbert Fiedler, V. Ilzhöfer, H. Kappus, Christoph Lingenfelder, C. Müller, Franz Stetter

Inform. Spektrum, 1992

Universally Quantified Queries in Language with Order-Sorted Logics.

Stefan Decker, Christoph Lingenfelder

Proceedings of the GWAI-92: Advances in Artificial Intelligence, 16th German Conference on Artificial Intelligence, Bonn, Germany, August 31, 1992

1991

Proof Transformation with Built-in Equality Predicate.

Christoph Lingenfelder, Axel Präcklein

Proceedings of the 12th International Joint Conference on Artificial Intelligence. Sydney, 1991

1990

Transformation and structuring of computer generated proofs.

Christoph Lingenfelder

PhD thesis, 1990

1989

Structuring Computer Generated Proofs.

Christoph Lingenfelder

Proceedings of the 11th International Joint Conference on Artificial Intelligence. Detroit, 1989