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 and Sánchez López, P. and Reinhardt, Andreas and Hollick, Matthias and Kauer, Michaela
Askoxylakis, Ioannis and Pöhls, Henrich and Posegga, Joachim (eds.) (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), Springer, pp. 71-86, [Book Section]

Delphine, Christin and Sánchez López, Pablo and Reinhardt, Andreas and Hollick, Matthias and Kauer, Michaela
Askoxylakis, Ioannis and Pöhls, Henrich C. and Posegga, Joachim (eds.) (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., Springer, pp. 71-86, [Online-Edition: http://www.springerlink.com/content/978-3-642-30954-0/#secti...],
[Book Section]

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

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

Kehr, Roger and Posegga, Joachim and Vogt, Harald (1999):
PCA: Jini-based Personal Card Assistant.
In: Secure Networking - CQRE (Secure) '99: International Exhibition and Congress, Springer-Verlag, pp. 64-76, [Book Section]

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

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

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

Baumgartner, Peter and Hähnle, Reiner and 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 and Fronhöfer, Bertram and Hähnle, Reiner and Posegga, Joachim and 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 Tue Oct 15 01:29:19 2019 CEST.