Peter Lohmann

18 papers A* 1A 1B 2C 1Journal 10Unranked 3
YearRankTypeTitle / Venue / Authors
2017 J jnl
Boolean dependence logic and partially-ordered connectives.
J. Comput. Syst. Sci.
Johannes Ebbing, Lauri Hella, Peter Lohmann, Jonni Virtema
2014 J jnl
Boolean Dependence Logic and Partially-Ordered Connectives.
CoRR
Johannes Ebbing, Lauri Hella, Peter Lohmann, Jonni Virtema
2014 J jnl
Complexity of two-variable dependence logic and IF-logic.
Inf. Comput.
Juha Kontinen, Antti Kuusisto, Peter Lohmann, Jonni Virtema
2013 C conf
Boolean Dependence Logic and Partially-Ordered Connectives.
WoLLIC
Johannes Ebbing, Lauri Hella, Peter Lohmann, Jonni Virtema
2013 J jnl
Complexity Results for Modal Dependence Logic.
Stud Logica
Peter Lohmann, Heribert Vollmer
2012 B conf
Complexity of Model Checking for Modal Dependence Logic.
SOFSEM
Johannes Ebbing, Peter Lohmann
2012 J jnl
Computational Aspects of Dependence Logic
CoRR
Peter Lohmann
2012 J jnl
Correction on "Towards Detecting Swath Events in TerraSAR-X Time Series to Establish NATURA 2000 Grassland Habitat Swath Management as Monitoring Parameter".
Remote. Sens.
Christian Schuster, Iftikhar Ali, Peter Lohmann, Annett Frick, Michael Förster, Birgit Kleinschmit
2011 — conf
Abstraction for Model Checking Modular Interpreted Systems over ATL.
ProMAS
Michael Köster, Peter Lohmann
2011 A conf
Abstraction for model checking modular interpreted systems over ATL.
AAMAS
Michael Köster, Peter Lohmann
2011 J jnl
Complexity Results for Modal Dependence Logic
CoRR
Peter Lohmann, Heribert Vollmer
2011 J jnl
Complexity of Model Checking for Modal Dependence Logic
CoRR
Johannes Ebbing, Peter Lohmann
2011 A* conf
Complexity of Two-Variable Dependence Logic and IF-Logic.
LICS
Juha Kontinen, Antti Kuusisto, Peter Lohmann, Jonni Virtema
2011 J jnl
Complexity of two-variable Dependence Logic and IF-Logic
CoRR
Juha Kontinen, Antti Kuusisto, Peter Lohmann, Jonni Virtema
2011 — conf
Model Checking for Modal Intuitionistic Dependence Logic.
TbiLLC
Johannes Ebbing, Peter Lohmann, Fan Yang
2011 J jnl
Towards Detecting Swath Events in TerraSAR-X Time Series to Establish NATURA 2000 Grassland Habitat Swath Management as Monitoring Parameter.
Remote. Sens.
Christian Schuster, Iftikhar Ali, Peter Lohmann, Annett Frick, Michael Förster, Birgit Kleinschmit
2010 B conf
Complexity Results for Modal Dependence Logic.
CSL
Peter Lohmann, Heribert Vollmer
2010 — conf
Complexity Results for Modal Dependence Logic.
Circuits, Logic, and Games
Peter Lohmann, Heribert Vollmer