Abstraction for Model Checking Modular Interpreted Systems over ATL. - Michael Köster; Peter Lohmann (ProMAS, 2011)

Model Checking for Modal Intuitionistic Dependence Logic. - Johannes Ebbing; Peter Lohmann; Fan Yang 004 (TbiLLC, 2011)

Towards Detecting Swath Events in TerraSAR-X Time Series to Establish NATURA 2000 Grassland Habitat Swath Management as Monitoring Parameter. - Christian Schuster; Iftikhar Ali; Peter Lohmann; Annett Frick; Michael Förster; Birgit Kleinschmit (Remote. Sens., 2011)

Complexity of Model Checking for Modal Dependence Logic. - Johannes Ebbing; Peter Lohmann (SOFSEM, 2012)

Computational Aspects of Dependence Logic - Peter Lohmann (CoRR, 2012)

Correction on "Towards Detecting Swath Events in TerraSAR-X Time Series to Establish NATURA 2000 Grassland Habitat Swath Management as Monitoring Parameter". - Christian Schuster; Iftikhar Ali; Peter Lohmann; Annett Frick; Michael Förster; Birgit Kleinschmit (Remote. Sens., 2012)

Complexity Results for Modal Dependence Logic. - Peter Lohmann; Heribert Vollmer (Stud Logica, 2013)

Complexity of two-variable dependence logic and IF-logic. - Juha Kontinen; Antti Kuusisto; Peter Lohmann; Jonni Virtema (Inf. Comput., 2014)

Boolean dependence logic and partially-ordered connectives. - Johannes Ebbing; Lauri Hella; Peter Lohmann; Jonni Virtema (J. Comput. Syst. Sci., 2017)