![]() | ![]() |
| 2011 | ||
|---|---|---|
| 3 | Julian Backes, Michael Backes, Markus Dürmuth, Sebastian Gerling, Stefan Lorenz: X-pire! - A digital expiration date for images in social networks CoRR abs/1112.2649: (2011) | |
| 2 | Julian Backes, Chad E. Brown: Analytic Tableaux for Higher-Order Logic with Choice. J. Autom. Reasoning 47(4): 451-479 (2011) | |
| 2010 | ||
| 1 | Julian Backes, Chad E. Brown: Analytic Tableaux for Higher-Order Logic with Choice. IJCAR 2010: 76-90 | |
| 1 | Michael Backes | [3] |
| 2 | Chad E. Brown | [1] [2] |
| 3 | Markus Dürmuth | [3] |
| 4 | Sebastian Gerling | [3] |
| 5 | Stefan Lorenz | [3] |
Colors in the list of coauthors
Last update Sun May 27 04:04:01 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page