Bernd I. Dahn
List of publications from the DBLP Bibliography Server - FAQ
- CSB - MetaPress - Google - Bing - Yahoo
 | 2010 | |
|---|---|---|
| j6 |      | 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 | ||
| c13 | | Thomas Kirkham, Ingo Dahn, David W. Chadwick, Marc Santos, Sandra Winfield: Aggregating policies in user centric, real-time and distributed applications. ICITST 2009: 1-6 |
| 2005 | ||
| j5 | | Ingo Dahn: eEDS - open specifications facilitate European academic exchange. Elektrotechnik und Informationstechnik 122(12): 482-484 (2005) |
| 2004 | ||
| c12 |  | 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 | ||
| j4 | | |
| c11 | | Ingo Dahn: Developing a Service Based Architecture in the Mobilearn E-Learning Project. LeGE-WG 3 2003 |
| c10 | | |
| 2002 | ||
| c9 | | Ingo Dahn: Management of Informal Mathematical Knowledge ? Lessons Learned from the Trial-Solution Project. Electronic Information and Communication in Mathematics 2002: 29-43 |
| 1998 | ||
| j3 | | 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) |
| c8 | | Ingo Dahn: Interpretation of a Mizar-Like Logic in First-Order Logic. FTP (LNCS Selection) 1998: 137-151 |
| 1997 | ||
| c7 | | Bernd I. Dahn, Jürgen Gehne, Th. Honigmann, Andreas Wolf: Integration of Automated and Interactive Theorem Proving in ILP. CADE 1997: 57-60 |
| c6 | | Ingo Dahn: Publikation mathematischer Texte im Internet. Herausforderungen an die Wissensorganisation (ISKO Tagung) 1997: 181-192 |
| 1996 | ||
| c5 | | Bernd I. Dahn, Andreas Wolf: Natural Language Presentation and Combination of Automatically Generated Proofs. FroCoS 1996: 175-192 |
| 1994 | ||
| j2 | | Bernd I. Dahn, Andreas Wolf: A Calculus Supporting Structured Proofs. Elektronische Informationsverarbeitung und Kybernetik 30(5/6): 261-276 (1994) |
| 1992 | ||
| j1 | | Bernd I. Dahn: Boolean Valued Models and Incomplete Specifications. J. Log. Program. 12(3&4): 225-236 (1992) |
| 1991 | ||
| i1 | | |
| 1989 | ||
| c4 | | |
| c3 | | Bernd I. Dahn: On Test Classes for Universal Theories. Easter Conference on Model Theory 1989: 67-74 |
| c2 | | Bernd I. Dahn, Wolfgang Lenski: Universally Generic Ordered Abelian Groups with Two Generators. Easter Conference on Model Theory 1989: 75-80 |
| 1988 | ||
| c1 | | |
Colors in the list of coauthors
Last update Mon May 20 01:18:12 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page