Christian-Albrechts-Universität zu Kiel
Technische Fakultät
Institut für Informatik
Technische Berichte
| Nummer | Autoren / Titel | erschienen |
| TR_0701 | Gunar Fiedler, Bernhard Thalheim
An Approach to Conceptual Schema Evolution | Januar 2007 |
| TR_0702 | Detlef Kähler, Ralf Kuesters, Tomasz Truderung
Infinite State AMC-Model Checking for Cryptographic Protocols | Februar 2007 |
| TR_0703 | Oliver Matz
A Kleene Theorem for Regular Picture Languages | Februar 2007 |
| TR_0704 | Alfs Berztiss, Bernhard Thalheim
Exceptions in Information Systems | April 2007 |
| TR_0705 | Di Zang
Signal Modeling for Two-Dimensional Image Structures and Scale-Space Based Image Analysis | Mai 2007 |
| TR_0707 | Bernd Brassel, Michael Hanus
Programmiersprachen und Rechenkonzepte : 24. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte", Bad Honnef, 2.-4. Mai 2007 | August 2007 |
| TR_0709 | Klaas Ole Kürtz
Selecting Theories and Nonce Generation for Recursive Protocols | September 2007 |
| TR_0711 | Bernd Brassel, Jan Christiansen
Denotation by Transformation - Towards Obtaining a Denotational Semantics by Transformation to Point-free Style | Dezember 2007 |
| TR_0712 | René Noack, Bernhard Thalheim
Intention-Driven Screenography | Dezember 2007 |
| TR_0713 | Florian Hoppe
Local Learning for Visual Robotic Systems | Dezember 2007 |
| Statische URL | https://www.uni-kiel.de/journals/receive/jportal_jpvolume_00000559 | |