Wolfgang Küchlin

Publication Activity (10 Years)

Years Active: 1982-2022
Publications (10 Years): 10

Top Venues

Configuration Workshop

PLM

MACIS

Clust. Comput.

ETH Zurich, Zürich, Switzerland (PHD)

Education History

ETH Zurich, Zürich, Switzerland

PHD

Publications

Daniel Bischoff, Wolfgang Küchlin, Oliver Kopp
POSEIDON: A Graphical Editor for Item Selection Rules Within Feature Combination Rule Contexts. PLM (2022)
Jens Haussmann, Wolfgang Blochinger, Wolfgang Küchlin
An Elasticity Description Language for Task-parallel Cloud Applications. CLOSER (2020)
Jens Haussmann, Wolfgang Blochinger, Wolfgang Küchlin
Cost-Optimized Parallel Computations Using Volatile Cloud Resources. GECON (2019)
Jens Haussmann, Wolfgang Blochinger, Wolfgang Küchlin
Cost-efficient parallel processing of irregularly structured problems in cloud computing environments. Clust. Comput. 22 (3) (2019)
Rouven Walter, Alexander Felfernig, Wolfgang Küchlin
Constraint-based and SAT-based diagnosis of automotive configuration problems. J. Intell. Inf. Syst. 49 (1) (2017)
Daniel Bischoff, Wolfgang Küchlin
Adapting Binary Decision Diagrams for Visualizing Product Configuration Data. GI-Jahrestagung (2017)
Martin Walch, Rouven Walter, Wolfgang Küchlin
Formal analysis of the Linux kernel configuration with SAT solving. Configuration Workshop (2015)
Rouven Walter, Thore Kübart, Wolfgang Küchlin
Optimal Coverage in Automotive Configuration. MACIS (2015)
Thore Kübart, Rouven Walter, Wolfgang Küchlin
Different solving strategies on PBO Problems from automotive industry. Configuration Workshop (2015)
Rouven Walter, Alexander Felfernig, Wolfgang Küchlin
Inverse QuickXplain vs. MaxSAT - a comparison in theory and practice. Configuration Workshop (2015)
Rouven Walter, Wolfgang Küchlin
ReMax - A MaxSAT aided Product (Re-)Configurator. Configuration Workshop (2014)
Rouven Walter, Christoph Zengler, Wolfgang Küchlin
Applications of MaxSAT in Automotive Configuration. Configuration Workshop (2013)
Christoph Zengler, Wolfgang Küchlin
Boolean Quantifier Elimination for Automotive Configuration - A Case Study. FMICS (2013)
Benjamin Matthes, Christoph Zengler, Wolfgang Küchlin
An Improved Constraint Ordering Heuristics for Compiling Configuration Problems. Configuration Workshop (2012)
Christoph Zengler, Wolfgang Küchlin
Boolean Gröbner bases in SAT solving. ACM Commun. Comput. Algebra 45 (1/2) (2011)
Christoph Zengler, Andreas Kübler, Wolfgang Küchlin
New approaches to boolean quantifier elimination. ACM Commun. Comput. Algebra 45 (1/2) (2011)
Markus Held, Wolfgang Küchlin, Wolfgang Blochinger
MoBiFlow: Principles and Design of a Workflow System for Molecular Biology. Int. J. Serv. Sci. Manag. Eng. Technol. 2 (4) (2011)
Christoph Zengler, Wolfgang Küchlin
Extending Clause Learning of SAT Solvers with Boolean Gröbner Bases. CASC (2010)
Wolfgang Küchlin, Markus Held
MoBiFlow - ein Web-2.0 basiertes Workflowsystem für die Mikrobiologie. GI Jahrestagung (1) (2010)
Andreas Kübler, Christoph Zengler, Wolfgang Küchlin
Model Counting in Product Configuration LoCoCo (2010)
Hendrik Post, Carsten Sinz, Wolfgang Küchlin
Towards automatic software model checking of thousands of Linux modules - a case study with Avinux. Softw. Test. Verification Reliab. 19 (2) (2009)
Eray Gençay, Carsten Sinz, Wolfgang Küchlin
Towards SLA-based optimal workload distribution in SANs. NOMS (2008)
Eray Gençay, Carsten Sinz, Wolfgang Küchlin, Thorsten Schäfer
SANchk: SQL-based SAN configuration checking. IEEE Trans. Netw. Serv. Manag. 5 (2) (2008)
Eray Gençay, Wolfgang Küchlin, Thorsten Schäfer
SANchk: An SQL-Based Validation System for SAN Confiuration. Integrated Network Management (2007)
Hendrik Post, Wolfgang Küchlin
Integrated Static Analysis for Linux Device Driver Verification. IFM (2007)
Hendrik Post, Wolfgang Küchlin
Automatic data environment construction for static device drivers analysis. SAVCBS@FSE (2006)
Carsten Sinz, Wolfgang Küchlin, Dieter Feichtinger, Georg Görtler
Checking Consistency and Completeness of On-Line Product Manuals. J. Autom. Reason. 37 (1-2) (2006)
Wolfgang Küchlin
Canonical Hardware Representation Using Gröbner Bases. Algorithmic Algebra and Logic (2005)
Wolfgang Blochinger, W. Westje, Wolfgang Küchlin, Sebastian Wedeniwski
ZetaSAT - Boolean SATisfiability solving on Desktop Grids. CCGRID (2005)
Michael Grossmann, Wolfgang Küchlin
MIN-Multimediale Module für Mathematik in Informatik und Naturwissenschaften. DeLFI (2005)
Carsten Sinz, Wolfgang Küchlin
Verifying the On-line Help System of SIEMENS Magnetic Resonance Tomographs. ICFEM (2004)
Michael Friedrich, Kirsten Terfloth, Gerd Nusser, Wolfgang Küchlin
Mobile Agents: A Construction Kit for Mobile Device Applications. International Conference on Internet Computing (2004)
Carsten Sinz, Wolfgang Küchlin
Verifying the On-Line Help System of SIEMENS Magnetic Resonance Tomographs using SAT (Extended Abstract) SAT (2004)
Carsten Sinz, Amir Khosravizadeh, Wolfgang Küchlin, Viktor Mihajlovski
Verifying CIM Models of Apache Web-Server Configurations. QSIC (2003)
Wolfgang Blochinger, Carsten Sinz, Wolfgang Küchlin
A Universal Parallel SAT Checking Kernel. PDPTA (2003)
Wolfgang Blochinger, Carsten Sinz, Wolfgang Küchlin
Parallel propositional satisfiability checking with distributed dynamic learning. Parallel Comput. 29 (7) (2003)
Wolfgang Blochinger, Wolfgang Küchlin
The Design of an API for Strict Multithreading in C++. Euro-Par (2003)
Carsten Sinz, Andreas Kaiser, Wolfgang Küchlin
Formal methods for the validation of automotive product configuration data. Artif. Intell. Eng. Des. Anal. Manuf. 17 (1) (2003)
Michael Friedrich, Gerd Nusser, Wolfgang Küchlin
Maintenance of Distributed Systems with Mobile Agents. ICSM (2002)
Ralf-Dieter Schimkat, Wolfgang Küchlin
Living Documents - Micro Servers for Documents. EDBT Workshops (2002)
Carsten Sinz, Thomas Lumpp, Jürgen M. Schneider, Wolfgang Küchlin
Detection of dynamic execution errors in IBM system automation's rule-based expert system. Inf. Softw. Technol. 44 (14) (2002)
Ralf-Dieter Schimkat, Wolfgang Küchlin, Frank Nestel
Living Hypertext - Web Retrieval Techniques for Traditional Database-Centric Information. IICS (2002)
Carsten Sinz, Andreas Kaiser, Wolfgang Küchlin
Detection of Inconsistencies in Complex Product Configuration Data Using Extended Propositional SAT-Checking. FLAIRS Conference (2001)
Carsten Sinz, Wolfgang Blochinger, Wolfgang Küchlin
PaSAT - Parallel SAT-Checking with Lemma Exchange: Implementation and Applications. Electron. Notes Discret. Math. 9 (2001)
Carsten Sinz, Wolfgang Küchlin, Thomas Lumpp
Towards a Verification of the Rule-Based Expert System of the IBM SA for OS/390 Automation Manager. APAQS (2001)
Andreas Kaiser, Wolfgang Küchlin
Automotive Product Documentation. IEA/AIE (2001)
Carsten Sinz, Jörg Denzinger, Jürgen Avenhaus, Wolfgang Küchlin
Combining Parallel and Distributed Search in Automated Equational Deduction. PPAM (2001)
Dieter Bühler, Wolfgang Küchlin
Flexible Similarity Assessment for XML Documents Based on XQL and Java Reflection. IEA/AIE (2001)
Dieter Bühler, Wolfgang Küchlin, Gerd Nusser, Gerhard Gruhler
The Java Fieldbus Control Framework-Object Oriented Control of Fieldbus Devices. ISORC (2001)
Ralf-Dieter Schimkat, Michael Friedrich, Wolfgang Küchlin
Deploying Distributed State Information in Mobile Agent Systems. CoopIS (2001)
Ralf-Dieter Schimkat, Stefan Müller, Wolfgang Küchlin
A Lightweight, Message-Oriented Application Server for the WWW. SAC (2) (2000)
Ralf-Dieter Schimkat, Wolfgang Blochinger, Carsten Sinz, Michael Friedrich, Wolfgang Küchlin
A Service-Based Agent Framework for Distributed Symbolic Computation. HPCN Europe (2000)
Dieter Bühler, Wolfgang Küchlin, Gerhard Gruhler, Gerd Nusser
The Virtual Automation Lab - Web Based Teaching of Automation Engineering Concepts. ECBS (2000)
Wolfgang Küchlin, Carsten Sinz
Proving Consistency Assertions for Automotive Product Data Management. J. Autom. Reason. 24 (1/2) (2000)
Manfred Göbel, Wolfgang Küchlin, Stefan Müller, Andreas Weber
Extending a Java Based Framework for Scientific Software-Components. CASC (1999)
Alfons Geser, Wolfgang Küchlin
Structured Formal Verification of a Fragment of the IBM S/390 Clock Chip FM-Trends (1998)
Andreas Weber, Wolfgang Küchlin, Bernhard Eggers
Parallel Computer Algebra Software as a Web Component. Concurr. Pract. Exp. 10 (11-13) (1998)
Wolfgang Blochinger, Wolfgang Küchlin, Andreas Weber
The Distributed Object-Oriented Threads System DOTS. IRREGULAR (1998)
Beatrice Amrhein, Oliver Gloor, Wolfgang Küchlin
On the Walk. Theor. Comput. Sci. 187 (1-2) (1997)
Wolfgang Küchlin, Gerhard Gruhler, Andreas Speck, Thomas Lumpp
HighRobot: Distributed Objekt-Oriented Real-Time Systems. ARCS (1997)
Wolfgang Küchlin, Gerhard Gruhler, Thomas Lumpp, Andreas Speck
HighRobot: a high-performance universal robot control on parallel workstations. ECBS (1997)
Reinhard Bündgen, Wolfgang Küchlin, Werner Lauterbach
Verification of the Sparrow Processor. ECBS (1996)
Beatrice Amrhein, Oliver Gloor, Wolfgang Küchlin
A Case Study of Multi-Threaded Gröbner Basis Completion. ISSAC (1996)
Reinhard Bündgen, Manfred Göbel, Wolfgang Küchlin
Strategy Compliant Multi-Threaded Term Completion. J. Symb. Comput. 21 (4) (1996)
Reinhard Bündgen, Manfred Göbel, Wolfgang Küchlin
A Master-Slave Approach to Parallel Term Rewriting on a Hierarchical Multiprocessor. DISCO (1996)
Beatrice Amrhein, Oliver Gloor, Wolfgang Küchlin
Walking Faster. DISCO (1996)
Till Bubeck, Wolfgang Küchlin, Wolfgang Rosenstiel
Symmetric Distributed Computing with Dynamic Load Balancing and Fault Tolerance. LCR (1995)
Till Bubeck, M. Hiller, Wolfgang Küchlin, Wolfgang Rosenstiel
Distributed Symbolic Computation with DTS. IRREGULAR (1995)
Reinhard Bündgen, Manfred Göbel, Wolfgang Küchlin
Parallel ReDuX -> PaReDuX. RTA (1995)
Reinhard Bündgen, Manfred Göbel, Wolfgang Küchlin
Multi-Threaded AC Term Rewriting. PASCO (1994)
Reinhard Bündgen, Manfred Göbel, Wolfgang Küchlin
A Fine-Grained Parallel Completion Procedure. ISSAC (1994)
Wolfgang Küchlin, Jeffrey A. Ward
Experiments with Virtual C Threads. SPDP (1992)
Wolfgang Küchlin
On the Multi-Threaded Computation of Modular Polynomial Greatest Common Divisors. ACPC (1991)
Wolfgang Küchlin, David Raymond Lutz, Nicholas J. Nevin
Integer Multiplication in PARSAC-2 on Stock Microprocessors. AAECC (1991)
Wolfgang Küchlin
On the Multi-Threaded Computation of Integral Polynomial Greatest Common Divisors. ISSAC (1991)
Wolfgang Küchlin
A space-efficient parallel garbage compaction algorithm. ICS (1991)
Wolfgang Küchlin, Nicholas J. Nevin
On multi-threaded list-processing and garbage collection. SPDP (1991)
George E. Collins, Jeremy R. Johnson, Wolfgang Küchlin
Parallel Real Root Isolation Using the Coefficient Sign Variation Method. CAP (1990)
Wolfgang Küchlin
The S-Threads Environment for Parallel Symbolic Computation. CAP (1990)
Wolfgang Küchlin
PARSAC-2: A Parallel SAC-2 Based on Threads. AAECC (1990)
Reinhard Bündgen, Wolfgang Küchlin
Computing Ground Reducability and Inductively Complete Positions. RTA (1989)
Wolfgang Küchlin
Public key encryption. SIGSAM Bull. 21 (3) (1987)
Wolfgang Küchlin
A Confluence Criterion Based on the Generalised Neman Lemma. European Conference on Computer Algebra (2) (1985)
Wolfgang Küchlin
Some reduction strategies for algebraic term rewriting. SIGSAM Bull. 16 (4) (1982)
Wolfgang Küchlin
A Theorem-Proving Approach to the Knuth-Bendix Completion Algorithm. EUROCAM (1982)

Wolfgang Küchlin.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Wolfgang Küchlin