2003

Berichte

TR_0301 Ralf Kuesters
Tree Transducer-based Analysis of Cryptographic Protocols Januar 2003

Rudolf Berghammer, Markus Mueller-Olm

Formal Derivation and Verification of Approximation Algorithms Using Auxiliary Variables

Februar 2003

TR_0303 Kai Neckels
Multidimensional Wavelets and Computer Vision Mai 2003

Yannick Chevalier, Ralf Kuesters, Michaël Rusinowitch, Mathieu Turuani

Deciding the Security of Protocols with Diffie-Hellman Exponentiation and Products in Exponents

Juni 2003

Erika Ábrahám, Frank S. de Boer, Marcello M. Bonsangue, Martin Steffen

A structural operational semantics of a concurrent class calculus

August 2003

TR_0308 Bodo Rosenhahn
Pose Estimation Revisited September 2003

Yohannes Kassahun, Gerald Sommer

Learning and Adaption: A Comparison of Methods in Case of Navigation in an Artificial Robot World

November 2003

Christian B.U. Perwass, Dietmar Hildenbrand

Aspects of Geometric Algebra in Euclidean, Projective and Conformal Space

September 2003

TR_0311 Ralf Kuesters, Thomas Wilke
Automata-based Analysis of Recursive Cryptographic Protocols September 2003
TR_0312 Dieter Betten, Elisa Montanucci
An Elementary Introduction to Lie Groups Dezember 2003

Martin Steffen, Erika Ábrahám, Frank S. de Boer, Willem-Paul de Roever

A Deductive Proof System for Multithreaded Java with Exceptions

Dezember 2003

Statische URL

https://www.uni-kiel.de/journals/receive/jportal_jpvolume_00000565