Search the dblp DataBase

Publications of Author

1. Christoph Lingenfelder, Sven Lorenz
   Knowledge-based security administration in a distributed environment. [Citation Graph (0, 0)][DBLP]
   CASCON, 1993, pp:648-660 [Conf]
   
2. Erika F. de Lima, Christoph Lingenfelder
   Optimizing the Presentation of Modal Natural Deduction Proofs. [Citation Graph (0, 0)][DBLP]
   ECAI, 1996, pp:365-369 [Conf]
   
3. Christoph Lingenfelder
   Structuring Computer Generated Proofs. [Citation Graph (0, 0)][DBLP]
   IJCAI, 1989, pp:378-383 [Conf]
   
4. Christoph Lingenfelder, Axel Präcklein
   Proof Transformation with Built-in Equality Predicate. [Citation Graph (0, 0)][DBLP]
   IJCAI, 1991, pp:165-171 [Conf]
   
5. Stefan Decker, Christoph Lingenfelder
   Universally Quantified Queries in Language with Order-Sorted Logics. [Citation Graph (0, 0)][DBLP]
   GWAI, 1992, pp:267-271 [Conf]
   
6. Stefan Decker, Christoph Lingenfelder
   Überprüfung von Integritätsbedingungen in deduktiven Datenbanken durch SLDNF-Beweisanalyse und -strukturierung. [Citation Graph (0, 0)][DBLP]
   WLP, 1994, pp:61-64 [Conf]
   
7. Freimut Bodendorf, Manfred Broy, Herbert Burkert, Albert Endres, Herbert Fiedler, V. Ilzhöfer, H. Kappus, Christoph Lingenfelder, C. Müller, Franz Stetter
   Der rechtliche Schutz von Software: Aktuelle Fragen und Probleme - Ein Diskussionspapier des GI-Arbeitskreises Software-Schutz. [Citation Graph (0, 0)][DBLP]
   Informatik Spektrum, 1992, v:15, n:2, pp:89-100 [Journal]
   
8. Erika F. de Lima, Christoph Lingenfelder
   Presentation of proofs in modal natural deduction. [Citation Graph (0, 0)][DBLP]
   J. Log. Comput., 2000, v:10, n:4, pp:527-572 [Journal]
   
9. 
   Event-Driven Quality of Service Prediction. [Citation Graph (, )][DBLP]
   
   
10. 
    Open standards and cloud computing: KDD-2009 panel report. [Citation Graph (, )][DBLP]
    
    
11. 
    Knowledge discovery standards. [Citation Graph (, )][DBLP]