| 2009 | ||
|---|---|---|
| 12 | Michael Zeller, Robert Grossman, Christoph Lingenfelder, Michael R. Berthold, Erik Marcade, Rick Pechter, Mike Hoskins, Wayne Thompson, Rich Holada: Open standards and cloud computing: KDD-2009 panel report. KDD 2009: 11-18 | |
| 2008 | ||
| 11 | Liangzhao Zeng, Christoph Lingenfelder, Hui Lei, Henry Chang: Event-Driven Quality of Service Prediction. ICSOC 2008: 147-161 | |
| 2007 | ||
| 10 | Sarabjot S. Anand, Marko Grobelnik, Frank Herrmann, Mark F. Hornick, Christoph Lingenfelder, Niall Rooney, Dietrich Wettschereck: Knowledge discovery standards. Artif. Intell. Rev. 27(1): 21-56 (2007) | |
| 2000 | ||
| 9 | Erika F. de Lima, Christoph Lingenfelder: Presentation of proofs in modal natural deduction. J. Log. Comput. 10(4): 527-572 (2000) | |
| 1996 | ||
| 8 | Erika F. de Lima, Christoph Lingenfelder: Optimizing the Presentation of Modal Natural Deduction Proofs. ECAI 1996: 365-369 | |
| 1994 | ||
| 7 | Stefan Decker, Christoph Lingenfelder: Überprüfung von Integritätsbedingungen in deduktiven Datenbanken durch SLDNF-Beweisanalyse und -strukturierung. WLP 1994: 61-64 | |
| 1993 | ||
| 6 | Christoph Lingenfelder, Sven Lorenz: Knowledge-based security administration in a distributed environment. CASCON 1993: 648-660 | |
| 1992 | ||
| 5 | Stefan Decker, Christoph Lingenfelder: Universally Quantified Queries in Language with Order-Sorted Logics. GWAI 1992: 267-271 | |
| 4 | Christoph Lingenfelder, Astrid Schmücker-Schend: Using Knowledge-Based Methods to Administrate an Access Control System IWBS Report 222: (1992) | |
| 3 | 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. Informatik Spektrum 15(2): 89-100 (1992) | |
| 1991 | ||
| 2 | Christoph Lingenfelder, Axel Präcklein: Proof Transformation with Built-in Equality Predicate. IJCAI 1991: 165-171 | |
| 1989 | ||
| 1 | Christoph Lingenfelder: Structuring Computer Generated Proofs. IJCAI 1989: 378-383 | |
| 1 | Sarabjot S. Anand (Sarabjot Singh Anand, Sarab S. Anand) | [10] |
| 2 | Michael R. Berthold | [12] |
| 3 | Freimut Bodendorf | [3] |
| 4 | Manfred Broy | [3] |
| 5 | Herbert Burkert | [3] |
| 6 | Henry Chang | [11] |
| 7 | Stefan Decker | [5] [7] |
| 8 | Albert Endres | [3] |
| 9 | Herbert Fiedler | [3] |
| 10 | Marko Grobelnik | [10] |
| 11 | Robert Grossman | [12] |
| 12 | Frank Herrmann | [10] |
| 13 | Rich Holada | [12] |
| 14 | Mark F. Hornick | [10] |
| 15 | Mike Hoskins | [12] |
| 16 | V. Ilzhöfer | [3] |
| 17 | H. Kappus | [3] |
| 18 | Hui Lei | [11] |
| 19 | Erika F. de Lima | [8] [9] |
| 20 | Sven Lorenz | [6] |
| 21 | Erik Marcade | [12] |
| 22 | C. Müller | [3] |
| 23 | Rick Pechter | [12] |
| 24 | Axel Präcklein | [2] |
| 25 | Niall Rooney | [10] |
| 26 | Astrid Schmücker-Schend | [4] |
| 27 | Franz Stetter | [3] |
| 28 | Wayne Thompson | [12] |
| 29 | Dietrich Wettschereck | [10] |
| 30 | Michael Zeller | [12] |
| 31 | Liangzhao Zeng | [11] |
Colors in the list of coauthors
Last update Fri May 25 01:42:58 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page