Johannes Ebbing

11 papers B 1C 2Journal 6Unranked 2
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
2015 J jnl
Dependence Logic with a Majority Quantifier.
J. Log. Lang. Inf.
Arnaud Durand, Johannes Ebbing, Juha Kontinen, Heribert Vollmer
2014 J jnl
A Fragment of Dependence Logic Capturing Polynomial Time
Log. Methods Comput. Sci.
Johannes Ebbing, Juha Kontinen, Julian-Steffen Müller, Heribert Vollmer
2014 J jnl
Boolean Dependence Logic and Partially-Ordered Connectives.
CoRR
Johannes Ebbing, Lauri Hella, Peter Lohmann, Jonni Virtema
2013 C conf
Boolean Dependence Logic and Partially-Ordered Connectives.
WoLLIC
Johannes Ebbing, Lauri Hella, Peter Lohmann, Jonni Virtema
2013 C conf
Extended Modal Dependence Logic.
WoLLIC
Johannes Ebbing, Lauri Hella, Arne Meier, Julian-Steffen Müller, Jonni Virtema, Heribert Vollmer
2012 B conf
Complexity of Model Checking for Modal Dependence Logic.
SOFSEM
Johannes Ebbing, Peter Lohmann
2011 J jnl
Complexity of Model Checking for Modal Dependence Logic
CoRR
Johannes Ebbing, Peter Lohmann
2011 J jnl
Dependence logic with a majority quantifier
CoRR
Arnaud Durand, Johannes Ebbing, Juha Kontinen, Heribert Vollmer
2011 — conf
Dependence logic with a majority quantifier.
FSTTCS
Arnaud Durand, Johannes Ebbing, Juha Kontinen, Heribert Vollmer
2011 — conf
Model Checking for Modal Intuitionistic Dependence Logic.
TbiLLC
Johannes Ebbing, Peter Lohmann, Fan Yang