Kiel Computer Science Series

VolltextReihe2011

Kiel Computer Science Series

von Hanxleden, Reinhard (Hrsg.); Domrös, Sören (Hrsg.)

The Kiel Computer Science Series (KCSS) covers dissertations, habilitation theses, lecture notes, textbooks, surveys, collections, handbooks, etc. written at the Department of Computer Science at Kiel University. It was initiated in 2011 to support authors in the dissemination of their work in electronic and printed form, without restricting their rights to their work. The series provides a unified appearance and aims at high-quality typography. The KCSS is an open access series; all series titles are electronically available free of charge at the department's website. In addition, authors are encouraged to make printed copies available at a reasonable price, typically with a print-on-demand service.

See "Hints for authors" in the navigation menu if you are considering to publish in the Series or to use the asscociated LaTeX style.

The Kiel Computer Science Series was initiated by Hauke Fuhrmann and Reinhard von Hanxleden in 2011. Its concept and the interior design were established by Hauke Fuhrmann, Reinhard von Hanxleden, Lasse Kliemann, and Christoph Daniel Schulze. The book cover design was conceived by Hauke Fuhrmann. All LaTeX implementations, the website, and the manual were originally written and maintained by Lasse Kliemann.

Inhaltalles ausklappen alles einklappen

2025
- Band 2025/2: Agile Continuous Integration Testing of Embedded Software Systems with Digital Twin Prototypes
  
  Barbie, Alexander
- Band 2024/4: Improvement of Semi-Automatic Image Classification for Plankton Research using Machine Learning
  
  Schröder, Simon-Martin
2024
- Band 2024/5: Property Estimation of Thin Cortical Bone from Clinical QCT: An Analysis by Synthesis Approach : Going beyond Nyquist
  
  Reinhold, Stefan Patrick
- Band 2024/3: Addressing the Challenge of Ambiguous Data in Deep Learning : A Strategy for Creating High-quality Image Annotations with Human Reliability and Judgement Enhancement
  
  Schmarje, Lars
- Band 2024/2: Training and Validation of Visual Perception Functions for Autonomous Driving with Synthetic Data
  
  Hagn, Korbinian
- Band 2024/1: Language Design for Reactive Systems : On Modal Models, Time, and Object Orientation in Lingua Franca and SCCharts
  
  Schulz-Rosengarten, Alexander
2023
- Band 2023/5: Exploring Methods of Explainable AI : Data-driven Attribution of Climate Events
  
  Landt-Hayen, Marco
- Band 2023/4: Development of a diffusion kernel density estimator and application on marine carbon-13 isotope data
  
  Pelz, Maria-Theresia
- Band 2023/3: Marine Data Fusion for Analyzing Spatio-Temporal Ocean Region Connectivity
  
  Trahms, Carola
- Band 2023/2: Scalability Benchmarking of Cloud-Native Applications Applied to Event-Driven Microservices
  
  Henning, Sören
- Band 2023/1: Representation Learning for Texts and Graphs : A Unified Perspective on Efficiency, Multimodality, and Adaptability
  
  Galke, Lukas Paul Achatius
2022
- Band 2022/4: Visual Detection and Tracking of Pigs : On the Use of Computer Vision in Livestock Farming
  
  Brünger, Johannes
- Band 2022/3: 32nd International Conference on Information Modelling and Knowledge Bases
  
  Tropmann-Frick, Marina; Thalheim, Bernhard; Jaakkola, Hannu; Kiyoki, Yasushi
- Band 2022/2: Vom Rechtstext zum regelkonformen Geschäftsprozess : Konstruktion und Anwendung von Prozessmodellen, die auf gesetzlichen und vertraglichen Regelungen basieren
  
  Niemand, Sven
- Band 2022/1: Light On String Solving : Approaches to Efficiently and Correctly Solving String Constraints
  
  Kulczynski, Mitja
- Band 2021/5: Efficient and Accurate Disparity Estimation from MLA-Based Plenoptic Cameras
  
  Palmieri, Luca
2021
- Band 2021/7: Tagungsband zum 21. Kolloquium Programmiersprachen und Grundlagen der Programmierung
  
  Hanus, Michael; Prott, Kai-Oliver
- Band 2021/6: 31th International Conference on Information Modelling and Knowledge Bases
  
  Tropmann-Frick, Marina; Thalheim, Bernhard; Jaakkola, Hannu; Kiyoki, Yasushi
- Band 2021/4: Collaborative Reengineering and Modularization of Software Systems
  
  Zirkelbach, Christian
- Band 2021/3: On Special k-Spectra, k-Locality, and Collapsing Prefix Normal Words
  
  Fleischmann, Pamela
- Band 2021/2: Modeling and Analysis of Automotive Cyber-physical Systems : Formal Approaches to Latency Analysis in Practice
  
  Friese, Max Jonas
- Band 2021/1: Interactive Model-Based Compilation : A Modeller-Driven Development Approach
  
  Smyth, Steven Patrick
2020
- Band 2020/2: Large-Scale Light Field Capture and Reconstruction
  
  Gao, Yuan
- Band 2020/1: 30th International Conference on Information Modelling and Knowledge Bases
  
  Kiyoki, Yasushi; Thalheim, Bernhard; Tropmann-Frick, Marina; Jaakkola, Hannu
2019
- Band 2019/4: Text in Diagrams : Challenges to and Opportunities of Automatic Layout.
  
  Schulze, Christoph Daniel
- Band 2019/3: Theoretical and Practical Aspects Related to the Avoidability of Patterns in Words
  
  Reshadi, Kamellia
- Band 2019/2: Mean Reversion-orientiertes Swing Trading : Technische Finanzmarktanalyse zur Optimierung eines Martingal-Handelssystems
  
  Grossmann, Vasco
- Band 2019/1: Robust and Accurate Detection of Mid-level Primitives for 3D Reconstruction in Man-Made Environments
  
  Wolters, Dominik
- Band 2018/3: Restoration of Coherent Images
  
  Zelenka, Claudius Anton
- Band 2018/2: Time for Reactive System Modeling
  
  Fuhrmann, Insa Marie-Ann
2018
- Band 2018/1: Sugiyama Layouts for Prescribed Drawing Areas
  
  Rüegg, Ulf
2017
- Band 2017/4: A Hybrid-parallel Architecture for Applications in Bioinformatics
  
  Kässens, Jan Christian
- Band 2017/3: SAT and CP : Parallelisation and Applications
  
  Ehlers, Thorsten
- Band 2017/2: SCCharts : Language and Interactive Incremental Compilation
  
  Motika, Christian
- Band 2017/1: Normalization and Partial Evaluation of Functional Logic Programs
  
  Peemöller, Björn
2016
- Band 2016/4: Generator-Composition for Aspect-Oriented Domain-Specific Languages
  
  Jung, Reiner
- Band 2016/3: Model-Driven Software Engineering for Computational Science Applied to a Marine Ecosystem Model
  
  Johanson, Arne Nikolai
- Band 2016/2: FPGAs in Bioinformatics : Implementation and Evaluation of Common Bioinformatics Algorithms in Reconfigurable Logic
  
  Wienbrandt, Lars
- Band 2016/1: Formal Verification of Concurrent Embedded Software
  
  Traub, Johannes Frederik Jesper
- Band 2015/7: Live Trace Visualization for System and Program Comprehension in Large Software Landscapes
  
  Fittkau, Florian
- Band 2015/6: Deformation Tracking in Depth and Color Video : An Analysis by Synthesis Approach
  
  Jordt, Andreas Stefan
2015
- Band 2015/5: Combinatorics on Words 10th International Conference
  
  Manea, Florin Silviu; Nowotka, Dirk
- Band 2015/4: Eye-to-Eye Calibration : Extrinsic Calibration of Multi-Camera Systems Using Hand-Eye Calibration Methods
  
  Esquivel, Sandro
- Band 2015/3: Unterrichtsentwicklung durch Wettbewerbe : Analyse zweier Informatikwettbewerbe für den Schulunterricht
  
  Schulmeister, Sönke
- Band 2015/2: Graph Layout Support for Model-Driven Engineering
  
  Spönemann, Miro
- Band 2015/1: Depth Image-Based Rendering for Full Parallax Displays : Rendering, Compression, and Interpolation of Content for Autostereoscopic Poster and Video Displays
  
  Jung, Daniel
- Band 2014/8: Avoiding and Enforcing Repetitive Structures in Words
  
  Müller, Mike
- Band 2014/5: Performance Benchmarking of Application Monitoring Frameworks
  
  Waller, Jan
2014
- Band 2014/7: Security via Noninterference : Analyzing Information Flows
  
  Eggert, Sebastian
- Band 2014/6: Model-Driven Online Capacity Management for Component-Based Software Systems
  
  van Hoorn, André
- Band 2014/4: 24th International Conference on Information Modelling and Knowledge Bases
  
  Thalheim, Bernhard; Jaakkola, Hannu; Kiyoki, Yasushi
- Band 2014/3: A Specialized Kalman Filter Framework for IMU Aided Stereo SLAM
  
  Petersen, Arne
- Band 2014/2: Underwater 3D Reconstruction Based on Physical Models for Refraction and Underwater Light Propagation
  
  Jordt, Anne
- Band 2014/1: Conformance Checking and Simulation-based Evolutionary Optimization for Deployment and Reconfiguration of Software in the Cloud
  
  Frey, Sören
2013
- Band 2013/3: 15. GI-Fachtagung „Informatik und Schule“ : Praxisband
  
  Breier, Norbert; Stechert, Peer; Wilke, Thomas
- Band 2013/2: A Framework for Model-Driven Scientific Workflow Engineering
  
  Scherp, Guido
- Band 2013/1: Line Primitives and Their Applications in Geometric Computer Vision
  
  Zhang, Lilian
- Band 2012/2: Domain-Specific Modelling for Coordination Engineering
  
  Gudenkauf, Stefan
2012
- Band 2012/1: Self-Adaptive Performance Monitoring for Component-Based Software Systems
  
  Ehlers, Jens
2011
- Band 2011/1: On the Pragmatics of Graphical Modeling
  
  Fuhrmann, Hauke

Weitere Angaben

abgekürzt:: KCSS
Erscheinungsverlauf:: 2011 -
ZDB-ID:: 2667373-3
OpenAlex-ID:: S4393918307
ISSN:: 2194-6639
2194-6639
Ressourcentyp:: Text
Erscheinungsort:: Kiel
Verlag:: Self-Publishing of Department of Computer Science
DDC-Sachgruppe der DNB:: 004 Informatik
Einrichtung:: Fakultäten, Technische Fakultät

auf die Merkliste

Über die Reihe

KCSS

Institut für Informatik

Zitieren

Zitierform:

von Hanxleden, R., Domrös, S. (Eds.), 2011. Kiel Computer Science Series.

Zitier-Link kopieren

Export

BibTeX, Endnote, MODS, MARCXML, RIS, ISI, PICA, DC, CSV

Kiel Computer Science Series

Inhaltalles ausklappenalles einklappen

Band 2025/2: Agile Continuous Integration Testing of Embedded Software Systems with Digital Twin Prototypes

Band 2024/4: Improvement of Semi-Automatic Image Classification for Plankton Research using Machine Learning

Band 2024/5: Property Estimation of Thin Cortical Bone from Clinical QCT: An Analysis by Synthesis Approach : Going beyond Nyquist

Band 2024/3: Addressing the Challenge of Ambiguous Data in Deep Learning : A Strategy for Creating High-quality Image Annotations with Human Reliability and Judgement Enhancement

Band 2024/2: Training and Validation of Visual Perception Functions for Autonomous Driving with Synthetic Data

Band 2024/1: Language Design for Reactive Systems : On Modal Models, Time, and Object Orientation in Lingua Franca and SCCharts

Band 2023/5: Exploring Methods of Explainable AI : Data-driven Attribution of Climate Events

Band 2023/4: Development of a diffusion kernel density estimator and application on marine carbon-13 isotope data

Band 2023/3: Marine Data Fusion for Analyzing Spatio-Temporal Ocean Region Connectivity

Band 2023/2: Scalability Benchmarking of Cloud-Native Applications Applied to Event-Driven Microservices

Band 2023/1: Representation Learning for Texts and Graphs : A Unified Perspective on Efficiency, Multimodality, and Adaptability

Band 2022/4: Visual Detection and Tracking of Pigs : On the Use of Computer Vision in Livestock Farming

Band 2022/3: 32nd International Conference on Information Modelling and Knowledge Bases

Band 2022/2: Vom Rechtstext zum regelkonformen Geschäftsprozess : Konstruktion und Anwendung von Prozessmodellen, die auf gesetzlichen und vertraglichen Regelungen basieren

Band 2022/1: Light On String Solving : Approaches to Efficiently and Correctly Solving String Constraints

Band 2021/5: Efficient and Accurate Disparity Estimation from MLA-Based Plenoptic Cameras

Band 2021/7: Tagungsband zum 21. Kolloquium Programmiersprachen und Grundlagen der Programmierung

Band 2021/6: 31th International Conference on Information Modelling and Knowledge Bases

Band 2021/4: Collaborative Reengineering and Modularization of Software Systems

Band 2021/3: On Special k-Spectra, k-Locality, and Collapsing Prefix Normal Words

Band 2021/2: Modeling and Analysis of Automotive Cyber-physical Systems : Formal Approaches to Latency Analysis in Practice

Band 2021/1: Interactive Model-Based Compilation : A Modeller-Driven Development Approach

Band 2020/2: Large-Scale Light Field Capture and Reconstruction

Band 2020/1: 30th International Conference on Information Modelling and Knowledge Bases

Band 2019/4: Text in Diagrams : Challenges to and Opportunities of Automatic Layout.

Band 2019/3: Theoretical and Practical Aspects Related to the Avoidability of Patterns in Words

Band 2019/2: Mean Reversion-orientiertes Swing Trading : Technische Finanzmarktanalyse zur Optimierung eines Martingal-Handelssystems

Band 2019/1: Robust and Accurate Detection of Mid-level Primitives for 3D Reconstruction in Man-Made Environments

Band 2018/3: Restoration of Coherent Images

Band 2018/2: Time for Reactive System Modeling

Band 2018/1: Sugiyama Layouts for Prescribed Drawing Areas

Band 2017/4: A Hybrid-parallel Architecture for Applications in Bioinformatics

Band 2017/3: SAT and CP : Parallelisation and Applications

Band 2017/2: SCCharts : Language and Interactive Incremental Compilation

Band 2017/1: Normalization and Partial Evaluation of Functional Logic Programs

Band 2016/4: Generator-Composition for Aspect-Oriented Domain-Specific Languages

Band 2016/3: Model-Driven Software Engineering for Computational Science Applied to a Marine Ecosystem Model

Band 2016/2: FPGAs in Bioinformatics : Implementation and Evaluation of Common Bioinformatics Algorithms in Reconfigurable Logic

Band 2016/1: Formal Verification of Concurrent Embedded Software

Band 2015/7: Live Trace Visualization for System and Program Comprehension in Large Software Landscapes

Band 2015/6: Deformation Tracking in Depth and Color Video : An Analysis by Synthesis Approach

Band 2015/5: Combinatorics on Words 10th International Conference

Band 2015/4: Eye-to-Eye Calibration : Extrinsic Calibration of Multi-Camera Systems Using Hand-Eye Calibration Methods

Band 2015/3: Unterrichtsentwicklung durch Wettbewerbe : Analyse zweier Informatikwettbewerbe für den Schulunterricht

Band 2015/2: Graph Layout Support for Model-Driven Engineering

Band 2015/1: Depth Image-Based Rendering for Full Parallax Displays : Rendering, Compression, and Interpolation of Content for Autostereoscopic Poster and Video Displays

Band 2014/8: Avoiding and Enforcing Repetitive Structures in Words

Band 2014/5: Performance Benchmarking of Application Monitoring Frameworks

Band 2014/7: Security via Noninterference : Analyzing Information Flows

Band 2014/6: Model-Driven Online Capacity Management for Component-Based Software Systems

Band 2014/4: 24th International Conference on Information Modelling and Knowledge Bases

Band 2014/3: A Specialized Kalman Filter Framework for IMU Aided Stereo SLAM

Band 2014/2: Underwater 3D Reconstruction Based on Physical Models for Refraction and Underwater Light Propagation

Band 2014/1: Conformance Checking and Simulation-based Evolutionary Optimization for Deployment and Reconfiguration of Software in the Cloud

Band 2013/3: 15. GI-Fachtagung „Informatik und Schule“ : Praxisband

Band 2013/2: A Framework for Model-Driven Scientific Workflow Engineering

Band 2013/1: Line Primitives and Their Applications in Geometric Computer Vision

Band 2012/2: Domain-Specific Modelling for Coordination Engineering

Band 2012/1: Self-Adaptive Performance Monitoring for Component-Based Software Systems

Band 2011/1: On the Pragmatics of Graphical Modeling

Weitere Angaben

KCSS

Zitieren

Export

Inhaltalles ausklappen alles einklappen