TU Darmstadt / ULB / TUbiblio

Blättern nach Person

Ebene hoch
Exportieren als [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Gruppiere nach: Keine Gruppierung | Typ des Eintrags | Publikationsjahr | Sprache
Springe zu: 2012 | 2001 | 2000 | 1999 | 1995 | 1993
Anzahl der Einträge: 10.

2012

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

2001

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

2000

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

1999

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

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

1995

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

1993

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

Diese Liste wurde am Tue Mar 26 04:35:35 2024 CET generiert.