Ingo Dahn

Bernd I. Dahn

2005
18		Ingo Dahn: eEDS - open specifications facilitate European academic exchange. Elektrotechnik und Informationstechnik 122(12): 482-484 (2005)
2004
17		Giorgio Da Bormida, Marco Di Girolamo, Ingo Dahn, Elena Murelli: An Open Abstract Framework for Modeling Interoperability of Mobile Learning Services. EDUTECH 2004: 113-120
2003
16	EE	Ingo Dahn: Software Interoperability Problems and E-Learning. LeGE-WG 2 2003
15	EE	Ingo Dahn: Developing a Service Based Architecture in the Mobilearn E-Learning Project. LeGE-WG 3 2003
14	EE	Ingo Dahn, Laurent Vigneron: Preface. Electr. Notes Theor. Comput. Sci. 86(1): (2003)
2002
13	EE	Ingo Dahn: Management of Informal Mathematical Knowledge ? Lessons Learned from the Trial-Solution Project. Electronic Information and Communication in Mathematics 2002: 29-43
1998
12	EE	Ingo Dahn: Interpretation of a Mizar-Like Logic in First-Order Logic. FTP (LNCS Selection) 1998: 137-151
11		Peter Baumgartner, Ingo Dahn, Jürgen Dix, Ulrich Furbach, Michael Kühn, Frieder Stolzenburg, Bernd Thomas: Automated Deduction: a Technological Point of View. KI 12(4): 7-14 (1998)
1997
10		Bernd I. Dahn, Jürgen Gehne, Th. Honigmann, Andreas Wolf: Integration of Automated and Interactive Theorem Proving in ILP. CADE 1997: 57-60
9		Ingo Dahn: Publikation mathematischer Texte im Internet. Herausforderungen an die Wissensorganisation (ISKO Tagung) 1997: 181-192
1996
8		Bernd I. Dahn, Andreas Wolf: Natural Language Presentation and Combination of Automatically Generated Proofs. Frontiers of Combining Systems (FroCos) 1996: 175-192
1994
7		Bernd I. Dahn, Andreas Wolf: A Calculus Supporting Structured Proofs. Elektronische Informationsverarbeitung und Kybernetik 30(5/6): 261-276 (1994)
1992
6		Bernd I. Dahn: Boolean Valued Models and Incomplete Specifications. J. Log. Program. 12(3&4): 225-236 (1992)
1991
5		Bernd I. Dahn, Theodor Lettmann, Wolfgang Schönfeld: ILFA Interface Concept IWBS Report 193: (1991)
1989
4		Bernd I. Dahn: On Test Classes for Universal Theories. CSL 1989: 90-97
3		Bernd I. Dahn: On Test Classes for Universal Theories. Easter Conference on Model Theory 1989: 67-74
2		Bernd I. Dahn, Wolfgang Lenski: Universally Generic Ordered Abelian Groups with Two Generators. Easter Conference on Model Theory 1989: 75-80
1988
1		Bernd I. Dahn: Boolean Valued Models and Incomplete Specifications. ALP 1988: 119-126

Coauthor Index

1	Peter Baumgartner	[11]
2	Giorgio Da Bormida	[17]
3	Jürgen Dix	[11]
4	Ulrich Furbach	[11]
5	Jürgen Gehne	[10]
6	Marco Di Girolamo	[17]
7	Th. Honigmann	[10]
8	Michael Kühn	[11]
9	Wolfgang Lenski	[2]
10	Theodor Lettmann	[5]
11	Elena Murelli	[17]
12	Wolfgang Schönfeld	[5]
13	Frieder Stolzenburg	[11]
14	Bernd Thomas	[11]
15	Laurent Vigneron	[14]
16	Andreas Wolf	[7] [8] [10]

Colors in the list of coauthors