-
Band 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.
Inhaltalles ausklappen
- 2021
-
2019
-
Band 1904: SCCharts : The Mindstorms Report
-
2018
-
Band 1805: Time in SCCharts
-
Band 1803: Wrapping layered graphs
-
2017
-
Band 1701: Minimum-width graph layering revisited
-
2016
-
Band 1602: On Comments in Visual Languages
-
2015
-
Band 1510: SCCharts : The Railway Project Report
-
-
2014
-
Band 1404: Drawing Layered Hypergraphs
-
Band 1403: Generalised Lyndon-Schützenberger Equations
-
Band 1402: k-Abelian Pattern Matching
-
Band 1401: Evolutionary Meta Layout of Graphs
-
2013
-
Band 1306: Kiel Declarative Programming Days 2013
-
Band 1304: Adding plural arguments to Curry programs
-
2012
-
Band 1215: The WCET Tool Challenge 2011
-
Band 1208: Finding Pseudo-Repetitions
-
Band 1207: SAT Solving mit GPU Unterstützung
-
Band 1206: Transient View Generation in Eclipse
-
2011
-
Band 1109: Scheduling on Uniform Processors Revisited
-
Band 1105: A (5/3 + ε)-Approximation for Strip Packing
-
2010
-
Band 1010: Programmiersprachen und Rechenkonzepte
-
Band 1006: Compiling SyncCharts to Synchronous C
-
Band 1003: Taming Graphical Modeling
-
2009
-
Band 0915: Programmiersprachen und Rechenkonzepte
-
Band 0913: On the Pragmatics of Model-Based Design
-
Band 0910: SyncCharts in C
-
Band 0904: A 2-approximation for 2D bin packing
-
2008
-
Band 0811: Programmiersprachen und Rechenkonzepte
-
Band 0802: The 2D Analytic Signal
-
2007
-
Band 0713: Local Learning for Visual Robotic Systems
-
Band 0712: Intention-Driven Screenography
-
Band 0704: Exceptions in Information Systems
-
Band 0701: An Approach to Conceptual Schema Evolution
-
-
2006
-
Band 0614: Markovianity of Trabecular networks
-
Band 0605: Content Warehouses
-
-
2005
-
Band 0507: Semantic Issues in UML 2.0 State Machines
-
Band 0502: Removing Cycles in Esterel Programs
-
2004
-
Band 0407: The Twist Representation of Shape
-
2003
-
Band 0312: An Elementary Introduction to Lie Groups
-
Band 0308: Pose Estimation Revisited
-
2002
-
Band 0207: Pose Estimation 3D Free-form Contours
-
2001
-
Band 2016: The Monogenic Signal
- 2000
-
1999
-
Band 9909: Kiel Interactive Evaluation Laboratory
-
-
1998
-
1997
- 1996
- 1995
-
1994
-
Band 9415: A Lie group approach to steerable filters
-
Band 9413: Basic functions for early vision
- 1993
- 1992