Peter Lohmann

According to our database, Peter Lohmann authored at least 9 papers between 2010 and 2013.

Collaborative distances:

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

2013

Boolean Dependence Logic and Partially-Ordered Connectives.

Johannes Ebbing, Lauri Hella, Peter Lohmann, Jonni Virtema

Proceedings of the Logic, Language, Information, and Computation, 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

Complexity of Two-Variable Dependence Logic and IF-Logic.

Juha Kontinen, Antti Kuusisto, Peter Lohmann, Jonni Virtema

Proceedings of the 26th Annual IEEE Symposium on Logic in Computer Science, 2011

2010

Complexity Results for Modal Dependence Logic.

Peter Lohmann, Heribert Vollmer

Proceedings of the Circuits, Logic, and Games, 07.02. - 12.02.2010, 2010