-
Volume 2101: Complexity Bounds for Block-IPs
Bericht des Instituts für Informatik
The Department of Computer Science is doing research in Algorithm and Systems Engineering.
Algorithm Engineering addresses design, implementation and mathematical analysis of algorithms based on close links between theory and practice.
Systems Engineering deals with modelling, realization and operation of reliable complex hardware, software, information and communication systems.
In the interaction of these two fields, we create new computational solutions - together with other sciences, the economy, and in responsibility for our society. We teach and research interdisciplinarily.
Department members publish research results, conference articles and dissertations as "Technische Berichte des Instituts für Informatik der CAU Kiel" (Technical Reports of the Department of Computer Science at Kiel University) since 1992.
Some of the early technical reports are not available as digital editions but a print edition can be found in the stock of the Kiel University Library.
Contentshow all
- 2021
-
2019
-
Volume 1904: SCCharts : The Mindstorms Report
-
2018
-
Volume 1805: Time in SCCharts
-
Volume 1803: Wrapping layered graphs
-
Volume 1802: Edge Label Placement in Layered Graph Drawing
-
2017
-
Volume 1701: Minimum-width graph layering revisited
-
2016
-
Volume 1602: On Comments in Visual Languages
-
2015
-
Volume 1510: SCCharts : The Railway Project Report
-
-
2014
-
Volume 1406: Faster Sorting Networks for 17, 19 and 20 Inputs
-
Volume 1405: Efficient Computation of Descriptive Patterns
-
Volume 1404: Drawing Layered Hypergraphs
-
Volume 1403: Generalised Lyndon-Schützenberger Equations
-
Volume 1402: k-Abelian Pattern Matching
-
Volume 1401: Evolutionary Meta Layout of Graphs
-
-
2013
-
Volume 1306: Kiel Declarative Programming Days 2013
-
Volume 1304: Adding plural arguments to Curry programs
-
2012
-
Volume 1215: The WCET Tool Challenge 2011
-
Volume 1208: Finding Pseudo-Repetitions
-
Volume 1207: SAT Solving mit GPU Unterstützung
-
Volume 1206: Transient View Generation in Eclipse
-
2011
-
Volume 1109: Scheduling on Uniform Processors Revisited
-
Volume 1105: A (5/3 + ε)-Approximation for Strip Packing
-
Volume 1103: Declarative Processing of Semistructured Web Data
-
Volume 1101: Bipartite Matching in the Semi-Streaming Model
-
2010
-
Volume 1010: Programmiersprachen und Rechenkonzepte
-
Volume 1006: Compiling SyncCharts to Synchronous C
-
Volume 1003: Taming Graphical Modeling
-
2009
-
Volume 0923: Semantics and Execution of Domain Specific Models
-
Volume 0918: Probabilistic ATL with Incomplete Information
-
Volume 0915: Programmiersprachen und Rechenkonzepte
-
Volume 0913: On the Pragmatics of Model-Based Design
-
Volume 0912: Tight WCRT Analysis for Synchronous C Programs
-
Volume 0910: SyncCharts in C
-
Volume 0904: A 2-approximation for 2D bin packing
-
2008
-
Volume 0811: Programmiersprachen und Rechenkonzepte
-
Volume 0803: Call Pattern Analysis for Functional Logic Programs
-
Volume 0802: The 2D Analytic Signal
-
2007
-
Volume 0713: Local Learning for Visual Robotic Systems
-
Volume 0712: Intention-Driven Screenography
-
Volume 0707: Programmiersprachen und Rechenkonzepte
-
Volume 0704: Exceptions in Information Systems
-
Volume 0703: A Kleene Theorem for Regular Picture Languages
-
Volume 0701: An Approach to Conceptual Schema Evolution
-
-
2006
-
Volume 0614: Markovianity of Trabecular networks
-
Volume 0607: A Dolev-Yao-based Definition of Abuse-free Protocols
-
Volume 0605: Content Warehouses
-
-
2005
-
Volume 0513: Programmiersprachen und Rechenkonzepte
-
Volume 0510: The Price of Anarchy in Selfish Multicast Routing
-
Volume 0507: Semantic Issues in UML 2.0 State Machines
-
Volume 0502: Removing Cycles in Esterel Programs
-
-
2004
-
Volume 0410: Programmiersprachen und Rechenkonzepte
-
Volume 0409: Deciding Properties of Contract-Signing Protocols
-
Volume 0407: The Twist Representation of Shape
-
Volume 0402: Efficient Compilation of Cyclic Synchronous Programs
-
-
2003
-
Volume 0312: An Elementary Introduction to Lie Groups
-
Volume 0308: Pose Estimation Revisited
-
Volume 0303: Multidimensional Wavelets and Computer Vision
-
2002
-
Volume 0207: Pose Estimation 3D Free-form Contours
-
Volume 0206: Pose Estimation in Conformal Geometric Algebra
-
Volume 0201: On the Decidability of Cryptographic Group Protocols
-
2001
-
Volume 2019: Simulation Relations for Alternating Büchi Automata
-
Volume 2016: The Monogenic Signal
-
- 2000
-
1999
-
Volume 9909: Kiel Interactive Evaluation Laboratory
-
-
1998
-
Volume 9808: Singleton Acceptance Conditions in ω-Automata
-
1997
- 1996
- 1995
-
1994
-
Volume 9415: A Lie group approach to steerable filters
-
Volume 9413: Basic functions for early vision
- 1993
- 1992