Ingo Dahn

Bernd I. Dahn

	2010
20		Ingo Dahn, Sascha Zimmermann: Application Profiles and Tailor-Made Conformance Test Systems. Int. J. IT Standards and Standardization Res. 8(2): 60-73 (2010)
	2009
19		Thomas Kirkham, Ingo Dahn, David Chadwick, Marc Santos, Sandra Winfield: Aggregating policies in user centric, real-time and distributed applications. ICITST 2009: 1-6
	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		Ingo Dahn: Software Interoperability Problems and E-Learning. LeGE-WG 2 2003
15		Ingo Dahn: Developing a Service Based Architecture in the Mobilearn E-Learning Project. LeGE-WG 3 2003
14		Ingo Dahn, Laurent Vigneron: Preface. Electr. Notes Theor. Comput. Sci. 86(1): 204-205 (2003)
	2002
13		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		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	David Chadwick	[19]
4	Jürgen Dix	[11]
5	Ulrich Furbach	[11]
6	Jürgen Gehne	[10]
7	Marco Di Girolamo	[17]
8	Th. Honigmann	[10]
9	Tom Kirkham (Thomas Kirkham)	[19]
10	Michael Kühn	[11]
11	Wolfgang Lenski	[2]
12	Theodor Lettmann	[5]
13	Elena Murelli	[17]
14	Marc Santos	[19]
15	Wolfgang Schönfeld	[5]
16	Frieder Stolzenburg	[11]
17	Bernd Thomas	[11]
18	Laurent Vigneron	[14]
19	Sandra Winfield	[19]
20	Andreas Wolf	[7] [8] [10]
21	Sascha Zimmermann	[20]

Colors in the list of coauthors

Last update Tue May 29 20:41:18 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page