Thomas Kleemann
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2004–2007
Best venue rank
National
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2007 | FlAIRS | Towards the Verification of Ontologies with Rules. | Joachim Baumeister, Thomas Kleemann, Dietmar Seipel |
| 2005 | CADE | KRHyper - In Your Pocket. | Alex Sinner, Thomas Kleemann |
| 2005 | ICLP | Decision Support for Personalization on Mobile Devices. | Thomas Kleemann, Alex Sinner |
| 2004 | KI | Model Based Deduction for Database Schema Reasoning. | Peter Baumgartner, Ulrich Furbach, Margret Gro-Hardt, Thomas Kleemann |