Claudia Obermaier
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2006–2009
Best venue rank
National
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2009 | CEC | Towards an evolved lower bound for the most circular partition of a square. | Claudia Obermaier, Markus Wagner |
| 2009 | FlAIRS | A Knowledge Compilation Technique for ALC Tboxes. | Ulrich Furbach, Heiko Gnther, Claudia Obermaier |
| 2007 | KI | Knowledge Compilation for Description Logics. | Ulrich Furbach, Claudia Obermaier |
| 2006 | KI | Applications of Automated Reasoning. | Ulrich Furbach, Claudia Obermaier |