# Peter Lohmann

According to our database

Collaborative distances:

^{1}, Peter Lohmann authored at least 9 papers between 2011 and 2017.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2017

Boolean dependence logic and partially-ordered connectives.

J. Comput. Syst. Sci., 2017

2014

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

Inf. Comput., 2014

2013

Complexity Results for Modal Dependence Logic.

Studia 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".

Remote Sensing, 2012

Computational Aspects of Dependence Logic

CoRR, 2012

Complexity of Model Checking for Modal Dependence Logic.

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.

Remote Sensing, 2011

Model Checking for Modal Intuitionistic Dependence Logic.

Proceedings of the Logic, Language, and Computation, 2011

Abstraction for Model Checking Modular Interpreted Systems over ATL.

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