Ingo Dahn

According to our database, Ingo Dahn authored at least 25 papers between 1980 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Institutionenübergreifende Zusammenarbeit im Netzwerk Online - Mathematik - NetMath.

Ingo Dahn, Konrad Faber

Proceedings of DeLFI Workshops 2015 co-located with 13th e-Learning Conference of the German Computer Society (DeLFI 2015), 2015

2014

Supporting Senior Citizen Using Tablet Computers.

Ingo Dahn, Peter Ferdinand, Pablo Lachmann

Proceedings of the Computers Helping People with Special Needs, 2014

2012

Spezifikationen, Normen und Standards zur Unterstützung des kollaborativen Lernens.

Ingo Dahn

Proceedings of the CSCL-Kompendium 2.0: Lehr- und Handbuch zum computerunterstützten, 2012

2010

Application Profiles and Tailor-Made Conformance Test Systems.

Ingo Dahn, Sascha Zimmermann

Int. J. IT Stand. Stand. Res., 2010

2009

Aggregating policies in user centric, real-time and distributed applications.

Thomas Kirkham, Ingo Dahn, David W. Chadwick, Marc Santos, Sandra Winfield

Proceedings of the 4th International Conference for Internet Technology and Secured Transactions, 2009

2005

eEDS - open specifications facilitate European academic exchange.

Ingo Dahn

Elektrotech. Informationstechnik, 2005

2004

An Open Abstract Framework for Modeling Interoperability of Mobile Learning Services.

Giorgio Da Bormida, Marco Di Girolamo, Ingo Dahn, Elena Murelli

Proceedings of the EDUTECH, 2004

2003

Preface.

Ingo Dahn, Laurent Vigneron

Proceedings of the 4th International Workshop on First-Order Theorem Proving, 2003

Software Interoperability Problems and E-Learning.

Ingo Dahn

Proceedings of the 2nd International LeGE-WG Workshop on e-Learning and Grid Technologies: A Fundamental Challenge for Europe, 2003

Developing a Service Based Architecture in the Mobilearn E-Learning Project.

Ingo Dahn

Proceedings of the 3rd International LeGE-WG Workshop: GRID Infrastructure to Support Future Technology Enhanced Learning, 2003

2002

Management of Informal Mathematical Knowledge ? Lessons Learned from the Trial-Solution Project.

Ingo Dahn

Proceedings of the Electronic Information and Communication in Mathematics, 2002

Personalizing Textbooks with Slicing Technologies - Concept, Tools, Architecture, Collaboration Use.

Ingo Dahn, Gerhard Schwabe

Proceedings of the 35th Hawaii International Conference on System Sciences (HICSS-35 2002), 2002

1998

Automated Deduction: a Technological Point of View.

Peter Baumgartner, Ingo Dahn, Jürgen Dix, Ulrich Furbach, Michael Kühn, Frieder Stolzenburg, Bernd Thomas

Künstliche Intell., 1998

Interpretation of a Mizar-Like Logic in First-Order Logic.

Ingo Dahn

Proceedings of the Automated Deduction in Classical and Non-Classical Logics, 1998

1997

Publikation mathematischer Texte im Internet.

Ingo Dahn

Proceedings of the Herausforderungen an die Wissensorganisation: Visualisierung, 1997

Integration of Automated and Interactive Theorem Proving in ILP.

Bernd I. Dahn, Jürgen Gehne, Th. Honigmann, Andreas Wolf

Proceedings of the Automated Deduction, 1997

1996

Natural Language Presentation and Combination of Automatically Generated Proofs.

Bernd I. Dahn, Andreas Wolf

Proceedings of the Frontiers of Combining Systems, 1996

1994

A Calculus Supporting Structured Proofs.

Bernd I. Dahn, Andreas Wolf

J. Inf. Process. Cybern., 1994

1992

Boolean Valued Models and Incomplete Specifications.

Bernd I. Dahn

J. Log. Program., 1992

1991

ILFA Interface Concept

Bernd I. Dahn, Theodor Lettmann, Wolfgang Schönfeld

IWBS Report, 1991

1989

Universally Generic Ordered Abelian Groups with Two Generators.

Bernd I. Dahn, Wolfgang Lenski

Proceedings of the 7th Easter Conference on Model Theory, 1989

On Test Classes for Universal Theories.

Bernd I. Dahn

Proceedings of the 7th Easter Conference on Model Theory, 1989

1984

Ordered Fields with Several exponential Functions.

Bernd I. Dahn, Helmut Wolter

Math. Log. Q., 1984

1983

On the Theory of exponential Fields.

Bernd I. Dahn, Helmut Wolter

Math. Log. Q., 1983

1980

First Order Logics for Metric Structures.

Bernd I. Dahn

Math. Log. Q., 1980