Julian Backes

Publication Activity (10 Years)

Years Active: 2010-2011
Publications (10 Years): 0

Publications

Julian Backes, Michael Backes, Markus Dürmuth, Sebastian Gerling, Stefan Lorenz
X-pire! - A digital expiration date for images in social networks CoRR (2011)
Julian Backes, Chad E. Brown
Analytic Tableaux for Higher-Order Logic with Choice. J. Autom. Reason. 47 (4) (2011)
Julian Backes, Chad E. Brown
Analytic Tableaux for Higher-Order Logic with Choice. IJCAR (2010)