Ingo Dahn

According to our database1, Ingo Dahn authored at least 26 papers between 1980 and 2015.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2015
Institutionenübergreifende Zusammenarbeit im Netzwerk Online - Mathematik - NetMath.
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.
Proceedings of the Computers Helping People with Special Needs, 2014

2012
Spezifikationen, Normen und Standards zur Unterstützung des kollaborativen Lernens.
Proceedings of the CSCL-Kompendium 2.0: Lehr- und Handbuch zum computerunterstützten, 2012

2010
Application Profiles and Tailor-Made Conformance Test Systems.
Int. J. IT Standards and Standardization Res., 2010

2009
Aggregating policies in user centric, real-time and distributed applications.
Proceedings of the 4th International Conference for Internet Technology and Secured Transactions, 2009

2005
eEDS - open specifications facilitate European academic exchange.
Elektrotechnik und Informationstechnik, 2005

2004
An Open Abstract Framework for Modeling Interoperability of Mobile Learning Services.
Proceedings of the EDUTECH, 2004

2003
Preface.
Electr. Notes Theor. Comput. Sci., 2003

Software Interoperability Problems and E-Learning.
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.
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.
Proceedings of the Electronic Information and Communication in Mathematics, 2002

Personalizing Textbooks with Slicing Technologies - Concept, Tools, Architecture, Collaboration Use.
Proceedings of the 35th Hawaii International Conference on System Sciences (HICSS-35 2002), 2002

1998
Automated Deduction: a Technological Point of View.
KI, 1998

Interpretation of a Mizar-Like Logic in First-Order Logic.
Proceedings of the Automated Deduction in Classical and Non-Classical Logics, 1998

1997
Publikation mathematischer Texte im Internet.
Proceedings of the Herausforderungen an die Wissensorganisation: Visualisierung, 1997

Integration of Automated and Interactive Theorem Proving in ILP.
Proceedings of the Automated Deduction, 1997

1996
Natural Language Presentation and Combination of Automatically Generated Proofs.
Proceedings of the Frontiers of Combining Systems, 1996

1994
A Calculus Supporting Structured Proofs.
Elektronische Informationsverarbeitung und Kybernetik, 1994

1991
ILFA Interface Concept
IWBS Report, 1991

1989
Universally Generic Ordered Abelian Groups with Two Generators.
Proceedings of the 7th Easter Conference on Model Theory, 1989

On Test Classes for Universal Theories.
Proceedings of the 7th Easter Conference on Model Theory, 1989

On Test Classes for Universal Theories.
Proceedings of the CSL '89, 1989

1988
Boolean Valued Models and Incomplete Specifications.
Proceedings of the Algebraic and Logic Programming, 1988

1984
Ordered Fields with Several exponential Functions.
Math. Log. Q., 1984

1983
On the Theory of exponential Fields.
Math. Log. Q., 1983

1980
First Order Logics for Metric Structures.
Math. Log. Q., 1980


  Loading...