Peter Lohmann
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2010–2013
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | WoLLIC | Boolean Dependence Logic and Partially-Ordered Connectives. | Johannes Ebbing, Lauri Hella, Peter Lohmann, Jonni Virtema |
| 2012 | SOFSEM | Complexity of Model Checking for Modal Dependence Logic. | Johannes Ebbing, Peter Lohmann |
| 2011 | LICS | Complexity of Two-Variable Dependence Logic and IF-Logic. | Juha Kontinen, Antti Kuusisto, Peter Lohmann, Jonni Virtema |
| 2010 | CSL | Complexity Results for Modal Dependence Logic. | Peter Lohmann, Heribert Vollmer |