A Theorem-Proving Approach to the Knuth-Bendix Completion Algorithm. - Wolfgang Küchlin (EUROCAM, 1982)

Some reduction strategies for algebraic term rewriting. - Wolfgang Küchlin (SIGSAM Bull., 1982)

A Confluence Criterion Based on the Generalised Neman Lemma. - Wolfgang Küchlin (European Conference on Computer Algebra (2), 1985)

Equational completion by poof transformation. - Wolfgang Küchlin (1986)

Public key encryption. - Wolfgang Küchlin (SIGSAM Bull., 1987)

Computing Ground Reducability and Inductively Complete Positions. - Reinhard Bündgen; Wolfgang Küchlin (RTA, 1989)

PARSAC-2: A Parallel SAC-2 Based on Threads. - Wolfgang Küchlin (AAECC, 1990)

Parallel Real Root Isolation Using the Coefficient Sign Variation Method. - George E. Collins; Jeremy R. Johnson; Wolfgang Küchlin (CAP, 1990)

The S-Threads Environment for Parallel Symbolic Computation. - Wolfgang Küchlin (CAP, 1990)

Integer Multiplication in PARSAC-2 on Stock Microprocessors. - Wolfgang Küchlin; David Raymond Lutz; Nicholas J. Nevin (AAECC, 1991)

On the Multi-Threaded Computation of Modular Polynomial Greatest Common Divisors. - Wolfgang Küchlin (ACPC, 1991)

A space-efficient parallel garbage compaction algorithm. - Wolfgang Küchlin (ICS, 1991)

On the Multi-Threaded Computation of Integral Polynomial Greatest Common Divisors. - Wolfgang Küchlin (ISSAC, 1991)

On multi-threaded list-processing and garbage collection. - Wolfgang Küchlin; Nicholas J. Nevin (SPDP, 1991)

Experiments with Virtual C Threads. - Wolfgang Küchlin; Jeffrey A. Ward (SPDP, 1992)

A Fine-Grained Parallel Completion Procedure. - Reinhard Bündgen; Manfred Göbel; Wolfgang Küchlin (ISSAC, 1994)

Multi-Threaded AC Term Rewriting. - Reinhard Bündgen; Manfred Göbel; Wolfgang Küchlin (PASCO, 1994)

Distributed Symbolic Computation with DTS. - Till Bubeck; M. Hiller; Wolfgang Küchlin; Wolfgang Rosenstiel (IRREGULAR, 1995)

Symmetric Distributed Computing with Dynamic Load Balancing and Fault Tolerance. - Till Bubeck; Wolfgang Küchlin; Wolfgang Rosenstiel (LCR, 1995)

Parallel ReDuX -> PaReDuX. - Reinhard Bündgen; Manfred Göbel; Wolfgang Küchlin (RTA, 1995)

Walking Faster. - Beatrice Amrhein; Oliver Gloor; Wolfgang Küchlin (DISCO, 1996)

A Master-Slave Approach to Parallel Term Rewriting on a Hierarchical Multiprocessor. - Reinhard Bündgen; Manfred Göbel; Wolfgang Küchlin (DISCO, 1996)

Verification of the Sparrow Processor. - Reinhard Bündgen; Wolfgang Küchlin; Werner Lauterbach (ECBS, 1996)

A Case Study of Multi-Threaded Gröbner Basis Completion. - Beatrice Amrhein; Oliver Gloor; Wolfgang Küchlin (ISSAC, 1996)

Strategy Compliant Multi-Threaded Term Completion. - Reinhard Bündgen; Manfred Göbel; Wolfgang Küchlin (J. Symb. Comput., 1996)

HighRobot: Distributed Objekt-Oriented Real-Time Systems. - Wolfgang Küchlin; Gerhard Gruhler; Andreas Speck; Thomas Lumpp (ARCS, 1997)

HighRobot: a high-performance universal robot control on parallel workstations. - Wolfgang Küchlin; Gerhard Gruhler; Thomas Lumpp; Andreas Speck (ECBS, 1997)

On the Walk. - Beatrice Amrhein; Oliver Gloor; Wolfgang Küchlin (Theor. Comput. Sci., 1997)

Structured Formal Verification of a Fragment of the IBM S/390 Clock Chip - Alfons Geser; Wolfgang Küchlin (FM-Trends, 1998)

The Distributed Object-Oriented Threads System DOTS. - Wolfgang Blochinger; Wolfgang Küchlin; Andreas Weber 004 (IRREGULAR, 1998)

Parallel Computer Algebra Software as a Web Component. - Andreas Weber 004; Wolfgang Küchlin; Bernhard Eggers (Concurr. Pract. Exp., 1998)

Extending a Java Based Framework for Scientific Software-Components. - Manfred Göbel; Wolfgang Küchlin; Stefan Müller 010; Andreas Weber 004 (CASC, 1999)

Einführung in die Informatik - objektorientiert mit Java. - Wolfgang Küchlin; Andreas Weber 004 (Springer, 2000)

The Virtual Automation Lab - Web Based Teaching of Automation Engineering Concepts. - Dieter Bühler; Wolfgang Küchlin; Gerhard Gruhler; Gerd Nusser (ECBS, 2000)

A Service-Based Agent Framework for Distributed Symbolic Computation. - Ralf-Dieter Schimkat; Wolfgang Blochinger; Carsten Sinz; Michael Friedrich 002; Wolfgang Küchlin (HPCN Europe, 2000)

A Lightweight, Message-Oriented Application Server for the WWW. - Ralf-Dieter Schimkat; Stefan Müller 010; Wolfgang Küchlin (SAC (2), 2000)

Proving Consistency Assertions for Automotive Product Data Management. - Wolfgang Küchlin; Carsten Sinz (J. Autom. Reason., 2000)

Towards a Verification of the Rule-Based Expert System of the IBM SA for OS/390 Automation Manager. - Carsten Sinz; Wolfgang Küchlin; Thomas Lumpp (APAQS, 2001)

Deploying Distributed State Information in Mobile Agent Systems. - Ralf-Dieter Schimkat; Michael Friedrich 002; Wolfgang Küchlin (CoopIS, 2001)

Detection of Inconsistencies in Complex Product Configuration Data Using Extended Propositional SAT-Checking. - Carsten Sinz; Andreas Kaiser; Wolfgang Küchlin (FLAIRS, 2001)

Flexible Similarity Assessment for XML Documents Based on XQL and Java Reflection. - Dieter Bühler; Wolfgang Küchlin (IEA/AIE, 2001)

Automotive Product Documentation. - Andreas Kaiser; Wolfgang Küchlin (IEA/AIE, 2001)

The Java Fieldbus Control Framework-Object Oriented Control of Fieldbus Devices. - Dieter Bühler; Wolfgang Küchlin; Gerd Nusser; Gerhard Gruhler (ISORC, 2001)

Combining Parallel and Distributed Search in Automated Equational Deduction. - Carsten Sinz; Jörg Denzinger; Jürgen Avenhaus; Wolfgang Küchlin (PPAM, 2001)

PaSAT - Parallel SAT-Checking with Lemma Exchange: Implementation and Applications. - Carsten Sinz; Wolfgang Blochinger; Wolfgang Küchlin (Electron. Notes Discret. Math., 2001)

Living Documents - Micro Servers for Documents. - Ralf-Dieter Schimkat; Wolfgang Küchlin (EDBT Workshops, 2002)

Maintenance of Distributed Systems with Mobile Agents. - Michael Friedrich 002; Gerd Nusser; Wolfgang Küchlin (ICSM, 2002)

Living Hypertext - Web Retrieval Techniques for Traditional Database-Centric Information. - Ralf-Dieter Schimkat; Wolfgang Küchlin; Frank Nestel (IICS, 2002)

Detection of dynamic execution errors in IBM system automation's rule-based expert system. - Carsten Sinz; Thomas Lumpp; Jürgen M. Schneider; Wolfgang Küchlin (Inf. Softw. Technol., 2002)

Einführung in die Informatik - objektorientiert mit Java, 2. Auflage. - Wolfgang Küchlin; Andreas Weber 004 (Springer, 2003)

The Design of an API for Strict Multithreading in C++. - Wolfgang Blochinger; Wolfgang Küchlin (Euro-Par, 2003)

A Universal Parallel SAT Checking Kernel. - Wolfgang Blochinger; Carsten Sinz; Wolfgang Küchlin (PDPTA, 2003)

Verifying CIM Models of Apache Web-Server Configurations. - Carsten Sinz; Amir Khosravizadeh; Wolfgang Küchlin; Viktor Mihajlovski (QSIC, 2003)

Formal methods for the validation of automotive product configuration data. - Carsten Sinz; Andreas Kaiser; Wolfgang Küchlin (Artif. Intell. Eng. Des. Anal. Manuf., 2003)

Parallel propositional satisfiability checking with distributed dynamic learning. - Wolfgang Blochinger; Carsten Sinz; Wolfgang Küchlin (Parallel Comput., 2003)

Mathematik für Informatik und BioInformatik. - Manfred P. H. Wolff; Peter Hauck; Wolfgang Küchlin (Springer, 2004)

Mobile Agents: A Construction Kit for Mobile Device Applications. - Michael Friedrich 002; Kirsten Terfloth; Gerd Nusser; Wolfgang Küchlin (International Conference on Internet Computing, 2004)

Verifying the On-line Help System of SIEMENS Magnetic Resonance Tomographs. - Carsten Sinz; Wolfgang Küchlin (ICFEM, 2004)

Verifying the On-Line Help System of SIEMENS Magnetic Resonance Tomographs using SAT (Extended Abstract) - Carsten Sinz; Wolfgang Küchlin (SAT, 2004)

Einführung in die Informatik - objektorientiert mit Java, 3. überarbeitete Auflage. - Wolfgang Küchlin; Andreas Weber 004 (Springer, 2005)

Canonical Hardware Representation Using Gröbner Bases. - Wolfgang Küchlin (Algorithmic Algebra and Logic, 2005)

ZetaSAT - Boolean SATisfiability solving on Desktop Grids. - Wolfgang Blochinger; W. Westje; Wolfgang Küchlin; Sebastian Wedeniwski (CCGRID, 2005)

MIN-Multimediale Module für Mathematik in Informatik und Naturwissenschaften. - Michael Grossmann; Wolfgang Küchlin (DeLFI, 2005)

Automatic data environment construction for static device drivers analysis. - Hendrik Post; Wolfgang Küchlin (SAVCBS@FSE, 2006)

Checking Consistency and Completeness of On-Line Product Manuals. - Carsten Sinz; Wolfgang Küchlin; Dieter Feichtinger; Georg Görtler (J. Autom. Reason., 2006)

Integrated Static Analysis for Linux Device Driver Verification. - Hendrik Post; Wolfgang Küchlin (IFM, 2007)

SANchk: An SQL-Based Validation System for SAN Confiuration. - Eray Gençay; Wolfgang Küchlin; Thorsten Schäfer (Integrated Network Management, 2007)

Towards SLA-based optimal workload distribution in SANs. - Eray Gençay; Carsten Sinz; Wolfgang Küchlin (NOMS, 2008)

SANchk: SQL-based SAN configuration checking. - Eray Gençay; Carsten Sinz; Wolfgang Küchlin; Thorsten Schäfer (IEEE Trans. Netw. Serv. Manag., 2008)

Towards automatic software model checking of thousands of Linux modules - a case study with Avinux. - Hendrik Post; Carsten Sinz; Wolfgang Küchlin (Softw. Test. Verification Reliab., 2009)

Extending Clause Learning of SAT Solvers with Boolean Gröbner Bases. - Christoph Zengler; Wolfgang Küchlin (CASC, 2010)

MoBiFlow - ein Web-2.0 basiertes Workflowsystem für die Mikrobiologie. - Wolfgang Küchlin; Markus Held (GI Jahrestagung (1), 2010)

Model Counting in Product Configuration - Andreas Kübler; Christoph Zengler; Wolfgang Küchlin (LoCoCo, 2010)

Boolean Gröbner bases in SAT solving. - Christoph Zengler; Wolfgang Küchlin (ACM Commun. Comput. Algebra, 2011)

New approaches to boolean quantifier elimination. - Christoph Zengler; Andreas Kübler; Wolfgang Küchlin (ACM Commun. Comput. Algebra, 2011)

MoBiFlow: Principles and Design of a Workflow System for Molecular Biology. - Markus Held; Wolfgang Küchlin; Wolfgang Blochinger (Int. J. Serv. Sci. Manag. Eng. Technol., 2011)

An Improved Constraint Ordering Heuristics for Compiling Configuration Problems. - Benjamin Matthes; Christoph Zengler; Wolfgang Küchlin (Configuration Workshop, 2012)

Applications of MaxSAT in Automotive Configuration. - Rouven Walter; Christoph Zengler; Wolfgang Küchlin (Configuration Workshop, 2013)

Boolean Quantifier Elimination for Automotive Configuration - A Case Study. - Christoph Zengler; Wolfgang Küchlin (FMICS, 2013)

ReMax - A MaxSAT aided Product (Re-)Configurator. - Rouven Walter; Wolfgang Küchlin (Configuration Workshop, 2014)

Different solving strategies on PBO Problems from automotive industry. - Thore Kübart; Rouven Walter; Wolfgang Küchlin (Configuration Workshop, 2015)

Formal analysis of the Linux kernel configuration with SAT solving. - Martin Walch; Rouven Walter; Wolfgang Küchlin (Configuration Workshop, 2015)

Inverse QuickXplain vs. MaxSAT - a comparison in theory and practice. - Rouven Walter; Alexander Felfernig; Wolfgang Küchlin (Configuration Workshop, 2015)

Optimal Coverage in Automotive Configuration. - Rouven Walter; Thore Kübart; Wolfgang Küchlin (MACIS, 2015)

Adapting Binary Decision Diagrams for Visualizing Product Configuration Data. - Daniel Bischoff 002; Wolfgang Küchlin (GI-Jahrestagung, 2017)

Constraint-based and SAT-based diagnosis of automotive configuration problems. - Rouven Walter; Alexander Felfernig; Wolfgang Küchlin (J. Intell. Inf. Syst., 2017)

Cost-Optimized Parallel Computations Using Volatile Cloud Resources. - Jens Haussmann; Wolfgang Blochinger; Wolfgang Küchlin (GECON, 2019)

Cost-efficient parallel processing of irregularly structured problems in cloud computing environments. - Jens Haussmann; Wolfgang Blochinger; Wolfgang Küchlin (Clust. Comput., 2019)

An Elasticity Description Language for Task-parallel Cloud Applications. - Jens Haussmann; Wolfgang Blochinger; Wolfgang Küchlin (CLOSER, 2020)

POSEIDON: A Graphical Editor for Item Selection Rules Within Feature Combination Rule Contexts. - Daniel Bischoff 002; Wolfgang Küchlin; Oliver Kopp (PLM, 2022)