Joachim Posegga profile picture

Joachim Posegga

Is this your author profile? Create an account to customize it!

Stand Alone

Theorem Proving with Analytic Tableaux and Related Methods 4th International Workshop, TABLEAUX-95, Schloß Rheinfels, St. Goar, Germany, May 7 - 10, 1995. Proceedings
Handbook of Tableau Methods
Services and Visualization: Towards User-Friendly Design ACos'98, VISUAL'98, AIN'97, Selected Papers
Services and Visualization: Towards User-Friendly Design ACos'98, VISUAL'98, AIN'97, Selected Papers
Handbook of Tableau Methods
Smart Card Research and Advanced Applications 7th IFIP WG 8.8/11.2 International Conference, CARDIS 2006, Tarragona, Spain, April 19-21, 2006, Proceedings
Information Security Theory and Practices: Security and Privacy of Pervasive Systems and Smart Devices 4th IFIP WG 11.2 International Workshop, WISTP 2010, Passau, Germany, April 12-14, 2010, Proceedings
Data Privacy Management, Autonomous Spontaneous Security, and Security Assurance 9th International Workshop, DPM 2014, 7th International Workshop, SETOP 2014, and 3rd International Workshop, QASA 2014, Wroclaw, Poland, September 10-11, 2014. Revised Selected Papers