Peter Lohmann

According to our database, Peter Lohmann authored at least 9 papers between 2011 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Boolean dependence logic and partially-ordered connectives.

Johannes Ebbing, Lauri Hella, Peter Lohmann, Jonni Virtema

J. Comput. Syst. Sci., 2017

2014

Complexity of two-variable dependence logic and IF-logic.

Juha Kontinen, Antti Kuusisto, Peter Lohmann, Jonni Virtema

Inf. Comput., 2014

2013

Complexity Results for Modal Dependence Logic.

Peter Lohmann, Heribert Vollmer

Stud Logica, 2013

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

Computational Aspects of Dependence Logic

Peter Lohmann

CoRR, 2012

Complexity of Model Checking for Modal Dependence Logic.

Johannes Ebbing, Peter Lohmann

Proceedings of the SOFSEM 2012: Theory and Practice of Computer Science, 2012

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

Model Checking for Modal Intuitionistic Dependence Logic.

Johannes Ebbing, Peter Lohmann, Fan Yang

Proceedings of the Logic, Language, and Computation, 2011

Abstraction for Model Checking Modular Interpreted Systems over ATL.

Michael Köster, Peter Lohmann

Proceedings of the Programming Multi-Agent Systems - 9th International Workshop, 2011