| 2020 | CLOSER | An Elasticity Description Language for Task-parallel Cloud Applications. | Jens Haussmann, Wolfgang Blochinger, Wolfgang Kchlin |
| 2017 | GI | Adapting Binary Decision Diagrams for Visualizing Product Configuration Data. | Daniel Bischoff, Wolfgang Kchlin |
| 2013 | FMICS | Boolean Quantifier Elimination for Automotive Configuration - A Case Study. | Christoph Zengler, Wolfgang Kchlin |
| 2010 | CASC | Extending Clause Learning of SAT Solvers with Boolean Grbner Bases. | Christoph Zengler, Wolfgang Kchlin |
| 2010 | GI | MoBiFlow - ein Web-2.0 basiertes Workflowsystem fr die Mikrobiologie. | Wolfgang Kchlin, Markus Held |
| 2008 | NOMS | Towards SLA-based optimal workload distribution in SANs. | Eray Genay, Carsten Sinz, Wolfgang Kchlin |
| 2007 | IM | SANchk: An SQL-Based Validation System for SAN Confiuration. | Eray Genay, Wolfgang Kchlin, Thorsten Schfer |
| 2007 | IFM | Integrated Static Analysis for Linux Device Driver Verification. | Hendrik Post, Wolfgang Kchlin |
| 2005 | CCGRID | ZetaSAT - Boolean SATisfiability solving on Desktop Grids. | Wolfgang Blochinger, W. Westje, Wolfgang Kchlin, Sebastian Wedeniwski |
| 2004 | ICFEM | Verifying the On-line Help System of SIEMENS Magnetic Resonance Tomographs. | Carsten Sinz, Wolfgang Kchlin |
| 2004 | SAT | Verifying the On-Line Help System of SIEMENS Magnetic Resonance Tomographs using SAT (Extended Abstract) | Carsten Sinz, Wolfgang Kchlin |
| 2003 | EuroPar | The Design of an API for Strict Multithreading in C++. | Wolfgang Blochinger, Wolfgang Kchlin |
| 2003 | PDPTA | A Universal Parallel SAT Checking Kernel. | Wolfgang Blochinger, Carsten Sinz, Wolfgang Kchlin |
| 2001 | CoopIS | Deploying Distributed State Information in Mobile Agent Systems. | Ralf-Dieter Schimkat, Michael Friedrich, Wolfgang Kchlin |
| 2001 | FlAIRS | Detection of Inconsistencies in Complex Product Configuration Data Using Extended Propositional SAT-Checking. | Carsten Sinz, Andreas Kaiser, Wolfgang Kchlin |
| 2001 | ISORC | The Java Fieldbus Control Framework-Object Oriented Control of Fieldbus Devices. | Dieter Bhler, Wolfgang Kchlin, Gerd Nusser, Gerhard Gruhler |
| 2001 | PPAM | Combining Parallel and Distributed Search in Automated Equational Deduction. | Carsten Sinz, Jrg Denzinger, Jrgen Avenhaus, Wolfgang Kchlin |
| 2000 | SAC | A Lightweight, Message-Oriented Application Server for the WWW. | Ralf-Dieter Schimkat, Stefan Mller, Wolfgang Kchlin |
| 1999 | CASC | Extending a Java Based Framework for Scientific Software-Components. | Manfred Gbel, Wolfgang Kchlin, Stefan Mller, Andreas Weber |
| 1998 | FM | Structured Formal Verification of a Fragment of the IBM S/390 Clock Chip | Alfons Geser, Wolfgang Kchlin |
| 1996 | ISSAC | A Case Study of Multi-Threaded Grbner Basis Completion. | Beatrice Amrhein, Oliver Gloor, Wolfgang Kchlin |
| 1994 | ISSAC | A Fine-Grained Parallel Completion Procedure. | Reinhard Bndgen, Manfred Gbel, Wolfgang Kchlin |
| 1991 | ICS | A space-efficient parallel garbage compaction algorithm. | Wolfgang Kchlin |
| 1991 | ISSAC | On the Multi-Threaded Computation of Integral Polynomial Greatest Common Divisors. | Wolfgang Kchlin |