Christoph Lingenfelder

	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

Coauthor Index

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