Ingo Dahn

17 papers Journal 3Unranked 11
YearRankTypeTitle / Venue / Authors
2015 — conf
Institutionenübergreifende Zusammenarbeit im Netzwerk Online - Mathematik - NetMath.
DeLFI WOrkshops
Ingo Dahn, Konrad Faber
2014 — conf
Supporting Senior Citizen Using Tablet Computers.
ICCHP (2)
Ingo Dahn, Peter Ferdinand, Pablo Lachmann
2012 — ch.
Spezifikationen, Normen und Standards zur Unterstützung des kollaborativen Lernens.
CSCL-Kompendium 2.0
Ingo Dahn
2010 J jnl
Application Profiles and Tailor-Made Conformance Test Systems.
Int. J. IT Stand. Stand. Res.
Ingo Dahn, Sascha Zimmermann
2009 — conf
Aggregating policies in user centric, real-time and distributed applications.
ICITST
Thomas Kirkham, Ingo Dahn, David W. Chadwick, Marc Santos, Sandra Winfield
2005 J jnl
eEDS - open specifications facilitate European academic exchange.
Elektrotech. Informationstechnik
Ingo Dahn
2004 — conf
An Open Abstract Framework for Modeling Interoperability of Mobile Learning Services.
EDUTECH
Giorgio Da Bormida, Marco Di Girolamo, Ingo Dahn, Elena Murelli
2003 — ed.
4th International Workshop on First-Order Theorem Proving, FTP 2003, in connection with RDP 2003, Federated Conference on Rewriting, Deduction and Programming, Valencia, Spain, June 12-14, 2003
FTP
Ingo Dahn, Laurent Vigneron
2003 — conf
Developing a Service Based Architecture in the Mobilearn E-Learning Project.
LeGE-WG 3
Ingo Dahn
2003 — conf
Preface.
FTP
Ingo Dahn, Laurent Vigneron
2003 — conf
Software Interoperability Problems and E-Learning.
LeGE-WG 2
Ingo Dahn
2002 — conf
Management of Informal Mathematical Knowledge ? Lessons Learned from the Trial-Solution Project.
Electronic Information and Communication in Mathematics
Ingo Dahn
2002 — conf
Personalizing Textbooks with Slicing Technologies - Concept, Tools, Architecture, Collaboration Use.
HICSS (Addendum)
Ingo Dahn, Gerhard Schwabe
1998 J jnl
Automated Deduction: a Technological Point of View.
Künstliche Intell.
Peter Baumgartner, Ingo Dahn, Jürgen Dix, Ulrich Furbach, Michael Kühn, Frieder Stolzenburg, Bernd Thomas
1998 — conf
Interpretation of a Mizar-Like Logic in First-Order Logic.
FTP (LNCS Selection)
Ingo Dahn
1997 — conf
Publikation mathematischer Texte im Internet.
Herausforderungen an die Wissensorganisation (ISKO Tagung)
Ingo Dahn
1989 — ed.
Proceedings of the 7th Easter Conference on Model Theory, Wendisch-Rietz, Germany, March 27-31, 1989.
Easter Conference on Model Theory
Ingo Dahn, Helmut Wolter