Wolfgang Küchlin

91 papers A 2B 10C 6Misc 3Journal 18Unranked 47

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