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
Supporting Senior Citizen Using Tablet Computers.
Proceedings of the Computers Helping People with Special Needs, 2014
Spezifikationen, Normen und Standards zur Unterstützung des kollaborativen Lernens.
Proceedings of the CSCL-Kompendium 2.0: Lehr- und Handbuch zum computerunterstützten, 2012
Application Profiles and Tailor-Made Conformance Test Systems.
Int. J. IT Stand. Stand. Res., 2010
Aggregating policies in user centric, real-time and distributed applications.
Proceedings of the 4th International Conference for Internet Technology and Secured Transactions, 2009
eEDS - open specifications facilitate European academic exchange.
Elektrotech. Informationstechnik, 2005
An Open Abstract Framework for Modeling Interoperability of Mobile Learning Services.
Proceedings of the EDUTECH, 2004
Proceedings of the 4th International Workshop on First-Order Theorem Proving, 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
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
Automated Deduction: a Technological Point of View.
Künstliche Intell., 1998
Interpretation of a Mizar-Like Logic in First-Order Logic.
Proceedings of the Automated Deduction in Classical and Non-Classical Logics, 1998
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
Natural Language Presentation and Combination of Automatically Generated Proofs.
Proceedings of the Frontiers of Combining Systems, 1996
A Calculus Supporting Structured Proofs.
J. Inf. Process. Cybern., 1994
Boolean Valued Models and Incomplete Specifications.
J. Log. Program., 1992
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 CSL '89, 1989
Ordered Fields with Several exponential Functions.
Math. Log. Q., 1984
On the Theory of exponential Fields.
Math. Log. Q., 1983
First Order Logics for Metric Structures.
Math. Log. Q., 1980