Peter Lohmann

Publication Activity (10 Years)

Years Active: 2010-2017
Publications (10 Years): 1

Top Topics

Top Venues

J. Comput. Syst. Sci.

Publications

Johannes Ebbing, Lauri Hella, Peter Lohmann, Jonni Virtema
Boolean dependence logic and partially-ordered connectives. J. Comput. Syst. Sci. 88 (2017)
Juha Kontinen, Antti Kuusisto, Peter Lohmann, Jonni Virtema
Complexity of two-variable dependence logic and IF-logic. Inf. Comput. 239 (2014)
Johannes Ebbing, Lauri Hella, Peter Lohmann, Jonni Virtema
Boolean Dependence Logic and Partially-Ordered Connectives. CoRR (2014)
Peter Lohmann, Heribert Vollmer
Complexity Results for Modal Dependence Logic. Stud Logica 101 (2) (2013)
Johannes Ebbing, Lauri Hella, Peter Lohmann, Jonni Virtema
Boolean Dependence Logic and Partially-Ordered Connectives. WoLLIC (2013)
Christian Schuster, Iftikhar Ali, Peter Lohmann, Annett Frick, Michael Förster, Birgit Kleinschmit
Correction on "Towards Detecting Swath Events in TerraSAR-X Time Series to Establish NATURA 2000 Grassland Habitat Swath Management as Monitoring Parameter". Remote. Sens. 4 (8) (2012)
Peter Lohmann
Computational Aspects of Dependence Logic CoRR (2012)
Johannes Ebbing, Peter Lohmann
Complexity of Model Checking for Modal Dependence Logic. SOFSEM (2012)
Michael Köster, Peter Lohmann
Abstraction for Model Checking Modular Interpreted Systems over ATL. ProMAS (2011)
Juha Kontinen, Antti Kuusisto, Peter Lohmann, Jonni Virtema
Complexity of Two-Variable Dependence Logic and IF-Logic. LICS (2011)
Michael Köster, Peter Lohmann
Abstraction for model checking modular interpreted systems over ATL. AAMAS (2011)
Peter Lohmann, Heribert Vollmer
Complexity Results for Modal Dependence Logic CoRR (2011)
Johannes Ebbing, Peter Lohmann, Fan Yang
Model Checking for Modal Intuitionistic Dependence Logic. TbiLLC (2011)
Christian Schuster, Iftikhar Ali, Peter Lohmann, Annett Frick, Michael Förster, Birgit Kleinschmit
Towards Detecting Swath Events in TerraSAR-X Time Series to Establish NATURA 2000 Grassland Habitat Swath Management as Monitoring Parameter. Remote. Sens. 3 (7) (2011)
Juha Kontinen, Antti Kuusisto, Peter Lohmann, Jonni Virtema
Complexity of two-variable Dependence Logic and IF-Logic CoRR (2011)
Johannes Ebbing, Peter Lohmann
Complexity of Model Checking for Modal Dependence Logic CoRR (2011)
Peter Lohmann, Heribert Vollmer
Complexity Results for Modal Dependence Logic. CSL (2010)
Peter Lohmann, Heribert Vollmer
Complexity Results for Modal Dependence Logic. Circuits, Logic, and Games (2010)