Johannes Ebbing

According to our database, Johannes Ebbing authored at least 6 papers between 2011 and 2014.

Collaborative distances:

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

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

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

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

Dependence logic with a majority quantifier.

Arnaud Durand, Johannes Ebbing, Juha Kontinen, Heribert Vollmer

Proceedings of the IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2011