Johannes Ebbing

According to our database, Johannes Ebbing authored at least 6 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

2015

Dependence Logic with a Majority Quantifier.

Arnaud Durand, Johannes Ebbing, Juha Kontinen, Heribert Vollmer

J. Log. Lang. Inf., 2015

2014

A Fragment of Dependence Logic Capturing Polynomial Time

Johannes Ebbing, Juha Kontinen, Julian-Steffen Müller, Heribert Vollmer

Log. Methods Comput. Sci., 2014

2013

Extended Modal Dependence Logic.

Johannes Ebbing, Lauri Hella, Arne Meier, Julian-Steffen Müller, Jonni Virtema, Heribert Vollmer

Proceedings of the Logic, Language, Information, and Computation, 2013

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

Model Checking for Modal Intuitionistic Dependence Logic.

Johannes Ebbing, Peter Lohmann, Fan Yang

Proceedings of the Logic, Language, and Computation, 2011