Julian Backes

According to our database, Julian Backes authored at least 2 papers in 2011.

Collaborative distances:

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

2011

Analytic Tableaux for Higher-Order Logic with Choice.

Julian Backes, Chad E. Brown

J. Autom. Reason., 2011

X-pire! - A digital expiration date for images in social networks

Julian Backes, Michael Backes, Markus Dürmuth, Sebastian Gerling, Stefan Lorenz

CoRR, 2011