sign in · help · news · about ·

BibSonomy :: author :: Kohlhase ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(130)

<< < 1 | 2 | 3 > >>

planMP: Collecting Practices for a better Design of Knowledge Management Systems
Andrea Kohlhase, and Constantin Jucovschi Working Notes of the LWA 2011 - Learning, Knowledge, Adaptation, (2011)
to 2011 LWA LWA_2011 better collecting design knowledge management planmp practices systems by lwa_2011 on Jan 11, 2012, 1:01 PM
BibTeX
MathWebSearch 0.5 - Open Formula Search Engine
Corneliu-Claudiu Prodescu, and Michael Kohlhase Working Notes of the LWA 2011 - Learning, Knowledge, Adaptation, (2011)
to 2011 LWA LWA_2011 engine formula mathwebsearch search by lwa_2011 on Jan 11, 2012, 1:01 PM
BibTeX
The LaTeXML Daemon: Editable Math on the Collaborative Web
Deyan Ginev, Heinrich Stamerjohanns, Bruce Miller, and Michael Kohlhase Working Notes of the LWA 2011 - Learning, Knowledge, Adaptation, (2011)
to 2011 LWA LWA_2011 collaborative daemon editable latexml by lwa_2011 and 1 other user on Jan 11, 2012, 1:01 PM
BibTeX
Feature Logic for Dotted Types: A Formalism for Complex Word Meanings.
Manfred Pinkal, and Michael Kohlhase ACL, ACL, (2000)
to dblp by dblp and 1 other user on Dec 23, 2011, 12:00 AM
URL | BibTeX
Higher-Order Coloured Unification and Natural Language Semantics.
Claire Gardent, and Michael Kohlhase ACL, page 1-9. Morgan Kaufmann Publishers / ACL, (1996)
to dblp by dblp and 1 other user on Dec 23, 2011, 12:00 AM
URL | BibTeX
Dimensions of Formality: A Case Study for MKM in Software Engineering
Andrea Kohlhase, Michael Kohlhase, and Christoph Lange 0002 CoRR (2010)
to dblp by dblp and 1 other user on Dec 5, 2011, 12:00 AM
URL | BibTeX
Workflows for the Management of Change in Science, Technologies, Engineering and Mathematics
Serge Autexier, Catalin David, Dominik Dietrich, Michael Kohlhase, and Vyacheslav Zholudev CoRR (2011)
to dblp by dblp and 1 other user on Dec 5, 2011, 12:00 AM
URL | BibTeX
Publishing Math Lecture Notes as Linked Data
Catalin David, Michael Kohlhase, Christoph Lange 0002, Florian Rabe, Nikita Zhiltsov, and Vyacheslav Zholudev CoRR (2010)
to dblp by dblp and 1 other user on Dec 5, 2011, 12:00 AM
URL | BibTeX
Higher-Order Coloured Unification and Natural Language Semantics
Claire Gardent, and Michael Kohlhase CoRR (1996)
to dblp by dblp and 1 other user on Dec 5, 2011, 12:00 AM
URL | BibTeX
Computing Parallelism in Discourse
Claire Gardent, and Michael Kohlhase CoRR (1997)
to dblp by dblp and 1 other user on Dec 5, 2011, 12:00 AM
URL | BibTeX
Licensing the Mizar Mathematical Library
Jesse Alama, Michael Kohlhase, Adam Naumowicz, Piotr Rudnicki, Josef Urban, and Lionel Mamane CoRR (2011)
to dblp by dblp and 1 other user on Dec 5, 2011, 12:00 AM
URL | BibTeX
Focus and Higher-Order Unification
Claire Gardent, and Michael Kohlhase CoRR (1996)
to dblp by dblp and 1 other user on Dec 5, 2011, 12:00 AM
URL | BibTeX
Corrections and Higher-Order Unification
Claire Gardent, Michael Kohlhase, and Noor van Leusen CoRR (1996)
to dblp by dblp and 1 other user on Dec 5, 2011, 12:00 AM
URL | BibTeX
sTeXIDE: An Integrated Development Environment for sTeX Collections
Constantin Jucovschi, and Michael Kohlhase CoRR (2010)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
sTeX+ - a System for Flexible Formalization of Linked Data
Andrea Kohlhase, Michael Kohlhase, and Christoph Lange 0002 CoRR (2010)
to dblp by dblp and 1 other user on Dec 5, 2011, 12:00 AM
URL | BibTeX
A Foundational View on Integration Problems
Florian Rabe, Michael Kohlhase, and Claudio Sacerdoti Coen CoRR (2011)
to dblp by dblp and 1 other user on Dec 5, 2011, 12:00 AM
URL | BibTeX
What we understand is what we get: Assessment in Spreadsheets
Andrea Kohlhase, and Michael Kohlhase CoRR (2010)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
Towards MKM in the Large: Modular Representation and Scalable Software Architecture
Michael Kohlhase, Florian Rabe, and Vyacheslav Zholudev CoRR (2010)
to dblp by dblp and 1 other user on Dec 5, 2011, 12:00 AM
URL | BibTeX
The Planetary System: Executable Science, Technology, Engineering and Math Papers
Christoph Lange 0002, Michael Kohlhase, Catalin David, Deyan Ginev, Andrea Kohlhase, Bogdan Matican, Stefan Mirea, and Vyacheslav Zholudev CoRR (2011)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX
A Scalable Module System
Florian Rabe, and Michael Kohlhase CoRR (2011)
to dblp by dblp on Dec 5, 2011, 12:00 AM
URL | BibTeX

<< < 1 | 2 | 3 > >>publications per page: 5 10 20 50 100

a gripper