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
Askoxylakis, Ioannis ; Pöhls, Henrich ; Posegga, Joachim (eds.) (2012):
Information Security Theory and Practice -- Security, Privacy and Trust in Computing Systems and Ambient Intelligent Ecosystems.
In: LNCS, 7322, In: Proceedings of the 6th Workshop in Information Security Theory and Practice (WISTP), pp. 71-86, Springer, ISBN 978-3-642-30954-0,
[Book Section]

Delphine, Christin ; Sánchez López, Pablo ; Reinhardt, Andreas ; Hollick, Matthias ; Kauer, Michaela
Askoxylakis, Ioannis ; Pöhls, Henrich C. ; Posegga, Joachim (eds.) (2012):
Privacy Bubbles: User-Centered Privacy Control for Mobile Content Sharing Applications.
In: LNCS, In: Information Security Theory and Practice. Security , Privacy and Trust in Computing Systems and Ambient Intelligent Ecosystems., pp. 71-86, Springer, ISBN 978-3-642-30954-0,
[Book Section]

Kehr, Roger ; Schmitz, Roland ; Posegga, Joachim ; Windirsch, Peter (2001):
Mobile security for internet applications.
In: DuD-Fachbeiträge, In: Kommunikationssicherheit im Zeichen des Internet, pp. 110-119, Wiesbaden, Vieweg+Teubner Verlag, ISBN Online ISBN 978-3-322-89557-8 Print ISBN 978-3-322-89558-5,
DOI: 10.1007/978-3-322-89557-8_9,
[Book Section]

Guthery, Scott ; Kehr, Roger ; Posegga, Joachim ; Vogt, Holger (2000):
GSM SIMs as web servers.
In: International Conference on Intelligence in Services and Networks <7, 2000, Athens>: Short Proceedings, In: International Conference on Intelligence in Services and Networks : Short Proceedings,
7th International Conference on Intelligence in Services and Networks, Athens, Greece, Februar 2000, [Conference or Workshop Item]

Kehr, Roger ; Posegga, Joachim ; Vogt, Harald (1999):
PCA: Jini-based Personal Card Assistant.
In: Lecture Notes in Computer Science, 1740, In: Secure Networking - CQRE (Secure) '99: International Exhibition and Congress, pp. 64-76, Springer-Verlag, ISBN 978-3-540-66800-8,
[Book Section]

D'Agostino, Marcello ; Gabbay, Dov ; Hähnle, Reiner ; Posegga, Joachim (eds.) (1999):
Handbook of Tableau Methods.
Kluwer, Dordrecht, ISBN 0-7923-5627-6,
[Book]

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

Baumgartner, Peter ; Hähnle, Reiner ; Posegga, Joachim (eds.) (1995):
Theorem Proving with Analytic Tableaux and Related Methods, 4th International Workshop, St. Goar, Germany.
In: LNCS, 918, Springer-Verlag, [Conference or Workshop Item]

Baumgartner, Peter ; Hähnle, Reiner ; Posegga, Joachim (eds.) (1995):
Theorem Proving with Analytic Tableaux and Related Methods, 4th International Workshop, St. Goar, Germany. Poster Session and Short Papers.
Institute for Computer Science, University of Koblenz, Germany, [Conference or Workshop Item]

Basin, David ; Fronhöfer, Bertram ; Hähnle, Reiner ; Posegga, Joachim ; Schwind, Camilla (eds.) (1993):
2nd Workshop on Theorem Proving with Analytic Tableaux and Related Methods, Marseille/France.
Max-Planck-Institut für Informatik, Saarbrücken, {MPI}-Report, [Conference or Workshop Item]

This list was generated on Sat Nov 27 07:50:19 2021 CET.