TU Darmstadt / ULB / TUbiblio

Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: No Grouping | Item Type | Date | Language
Number of items: 10.

Christin, Delphine ; Sánchez López, P. ; Reinhardt, Andreas ; Hollick, Matthias ; Kauer, Michaela
eds.: 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)
Book Section, Bibliographie

Delphine, Christin ; Sánchez López, Pablo ; Reinhardt, Andreas ; Hollick, Matthias ; Kauer, Michaela
eds.: 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.
Book Section, 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
Book Section, 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)
Conference or Workshop Item, Bibliographie

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

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

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

eds.: Baumgartner, Peter ; Hähnle, Reiner ; Posegga, Joachim (1995)
Theorem Proving with Analytic Tableaux and Related Methods, 4th International Workshop, St. Goar, Germany.
Conference or Workshop Item, Bibliographie

eds.: 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.
Conference or Workshop Item, Bibliographie

eds.: 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.
Conference or Workshop Item, Bibliographie

This list was generated on Tue Feb 20 01:32:53 2024 CET.