Nummer | Autoren / Titel | erschienen |
TR_0301 | Ralf Kuesters
Tree Transducer-based Analysis of Cryptographic Protocols | Januar 2003 |
TR_0302 | 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 |
TR_0305 | Yannick Chevalier, Ralf Kuesters, Michaël Rusinowitch, Mathieu Turuani
Deciding the Security of Protocols with Diffie-Hellman Exponentiation and Products in Exponents | Juni 2003 |
TR_0307 | 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 |
TR_0309 | Yohannes Kassahun, Gerald Sommer
Learning and Adaption: A Comparison of Methods in Case of Navigation in an Artificial Robot World | November 2003 |
TR_0310 | 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 |
TR_0313 | 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 |