Deutsch

Hrsg.: D'Agostino, Marcello ; Gabbay, Dov ; Hähnle, Reiner ; Posegga, Joachim (1999)
Handbook of Tableau Methods.
Buch, Bibliographie

Hähnle, Reiner
Hrsg.: D'Agostino, Marcello ; Gabbay, Dov ; Hähnle, Reiner ; Posegga, Joachim (1999)
Tableaux for Many-Valued Logics.
In: Handbook of Tableau Methods
Buchkapitel, Bibliographie

Hrsg.: Baumgartner, Peter ; Hähnle, Reiner ; Posegga, Joachim (1995)
Theorem Proving with Analytic Tableaux and Related Methods, 4th International Workshop, St. Goar, Germany.
Konferenzveröffentlichung, Bibliographie

Hrsg.: Baumgartner, Peter ; Hähnle, Reiner ; Posegga, Joachim (1995)
Theorem Proving with Analytic Tableaux and Related Methods, 4th International Workshop, St. Goar, Germany. Poster Session and Short Papers.
Konferenzveröffentlichung, Bibliographie

Hrsg.: Basin, David ; Fronhöfer, Bertram ; Hähnle, Reiner ; Posegga, Joachim ; Schwind, Camilla (1993)
2nd Workshop on Theorem Proving with Analytic Tableaux and Related Methods, Marseille/France.
Konferenzveröffentlichung, Bibliographie

Englisch

Christin, Delphine ; Sánchez López, P. ; Reinhardt, Andreas ; Hollick, Matthias ; Kauer, Michaela
Hrsg.: Askoxylakis, Ioannis ; Pöhls, Henrich ; Posegga, Joachim (2012)
Information Security Theory and Practice -- Security, Privacy and Trust in Computing Systems and Ambient Intelligent Ecosystems.
In: Proceedings of the 6th Workshop in Information Security Theory and Practice (WISTP)
Buchkapitel, Bibliographie

Delphine, Christin ; Sánchez López, Pablo ; Reinhardt, Andreas ; Hollick, Matthias ; Kauer, Michaela
Hrsg.: Askoxylakis, Ioannis ; Pöhls, Henrich C. ; Posegga, Joachim (2012)
Privacy Bubbles: User-Centered Privacy Control for Mobile Content Sharing Applications.
In: Information Security Theory and Practice. Security , Privacy and Trust in Computing Systems and Ambient Intelligent Ecosystems.
Buchkapitel, Bibliographie

Kehr, Roger ; Schmitz, Roland ; Posegga, Joachim ; Windirsch, Peter (2001)
Mobile security for internet applications.
In: Kommunikationssicherheit im Zeichen des Internet
doi: 10.1007/978-3-322-89557-8_9
Buchkapitel, Bibliographie

Guthery, Scott ; Kehr, Roger ; Posegga, Joachim ; Vogt, Holger (2000)
GSM SIMs as web servers.
7th International Conference on Intelligence in Services and Networks. Athens, Greece (Februar 2000)
Konferenzveröffentlichung, Bibliographie

Kehr, Roger ; Posegga, Joachim ; Vogt, Harald (1999)
PCA: Jini-based Personal Card Assistant.
In: Secure Networking - CQRE (Secure) '99: International Exhibition and Congress
Buchkapitel, Bibliographie