Peter Lohmann

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

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


  Loading...