Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic ScholarWolfgang Küchlin
Person information
- affiliation: University of Tübingen, Germany
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2010 – today
- 2017
[j17]Rouven Walter, Alexander Felfernig, Wolfgang Küchlin:
Constraint-based and SAT-based diagnosis of automotive configuration problems. J. Intell. Inf. Syst. 49(1): 87-118 (2017)- [c60]Daniel Bischoff, Wolfgang Küchlin:
Adapting Binary Decision Diagrams for Visualizing Product Configuration Data. GI-Jahrestagung 2017: 1499-1509 - 2015
- [c59]Thore Kübart, Rouven Walter, Wolfgang Küchlin:
Different solving strategies on PBO Problems from automotive industry. Configuration Workshop 2015: 67-72 - [c58]Rouven Walter, Alexander Felfernig, Wolfgang Küchlin:
Inverse QuickXplain vs. MaxSAT - a comparison in theory and practice. Configuration Workshop 2015: 97-104 - [c57]Martin Walch, Rouven Walter, Wolfgang Küchlin:
Formal analysis of the Linux kernel configuration with SAT solving. Configuration Workshop 2015: 131-138 - [c56]Rouven Walter, Thore Kübart, Wolfgang Küchlin:
Optimal Coverage in Automotive Configuration. MACIS 2015: 611-626 - 2014
- [c55]Rouven Walter, Wolfgang Küchlin:
ReMax - A MaxSAT aided Product (Re-)Configurator. Configuration Workshop 2014: 59-66 - 2013
- [c54]Rouven Walter, Christoph Zengler, Wolfgang Küchlin:
Applications of MaxSAT in Automotive Configuration. Configuration Workshop 2013: 21-28 - [c53]Christoph Zengler, Wolfgang Küchlin:
Boolean Quantifier Elimination for Automotive Configuration - A Case Study. FMICS 2013: 48-62 - 2012
- [c52]Benjamin Matthes, Christoph Zengler, Wolfgang Küchlin:
An Improved Constraint Ordering Heuristics for Compiling Configuration Problems. Configuration Workshop 2012: 36-40 - 2011
- [j16]Christoph Zengler, Andreas Kübler, Wolfgang Küchlin:
New approaches to boolean quantifier elimination. ACM Comm. Computer Algebra 45(1/2): 139-140 (2011) - [j15]Christoph Zengler, Wolfgang Küchlin:
Boolean Gröbner bases in SAT solving. ACM Comm. Computer Algebra 45(1/2): 141-142 (2011) - [j14]Markus Held, Wolfgang Küchlin, Wolfgang Blochinger:
MoBiFlow: Principles and Design of a Workflow System for Molecular Biology. IJSSMET 2(4): 67-78 (2011) - 2010
- [c51]Christoph Zengler, Wolfgang Küchlin:
Extending Clause Learning of SAT Solvers with Boolean Gröbner Bases. CASC 2010: 293-302 - [c50]Wolfgang Küchlin, Markus Held:
MoBiFlow - ein Web-2.0 basiertes Workflowsystem für die Mikrobiologie. GI Jahrestagung (1) 2010: 347-352 - [c49]Andreas Kübler, Christoph Zengler, Wolfgang Küchlin:
Model Counting in Product Configuration. LoCoCo 2010: 44-53
2000 – 2009
- 2009
- [j13]Hendrik Post, Carsten Sinz, Wolfgang Küchlin:
Towards automatic software model checking of thousands of Linux modules - a case study with Avinux. Softw. Test., Verif. Reliab. 19(2): 155-172 (2009) - 2008
- [j12]Eray Gençay, Carsten Sinz, Wolfgang Küchlin, Thorsten Schäfer:
SANchk: SQL-based SAN configuration checking. IEEE Trans. Network and Service Management 5(2): 91-104 (2008) - [c48]Eray Gençay, Carsten Sinz, Wolfgang Küchlin:
Towards SLA-based optimal workload distribution in SANs. NOMS 2008: 755-758 - 2007
- [c47]Hendrik Post, Wolfgang Küchlin:
Integrated Static Analysis for Linux Device Driver Verification. IFM 2007: 518-537 - [c46]Eray Gençay, Wolfgang Küchlin, Thorsten Schäfer:
SANchk: An SQL-Based Validation System for SAN Confiuration. Integrated Network Management 2007: 333-342 - 2006
- [j11]Carsten Sinz, Wolfgang Küchlin, Dieter Feichtinger, Georg Görtler:
Checking Consistency and Completeness of On-Line Product Manuals. J. Autom. Reasoning 37(1-2): 45-66 (2006) - 2005
- [c45]Wolfgang Küchlin:
Canonical Hardware Representation Using Gröbner Bases. Algorithmic Algebra and Logic 2005: 147-154 - [c44]Wolfgang Blochinger, W. Westje, Wolfgang Küchlin, Sebastian Wedeniwski:
ZetaSAT - Boolean SATisfiability solving on Desktop Grids. CCGRID 2005: 1079-1086 - [c43]Michael Grossmann, Wolfgang Küchlin:
MIN-Multimediale Module für Mathematik in Informatik und Naturwissenschaften. DeLFI 2005: 201-212 - 2004
- [b3]Manfred P. H. Wolff, Peter Hauck, Wolfgang Küchlin:
Mathematik für Informatik und BioInformatik. Springer 2004, ISBN 978-3-540-20521-0, pp. I-XVIII, 1-516 - [c42]Michael Friedrich, Kirsten Terfloth, Gerd Nusser, Wolfgang Küchlin:
Mobile Agents: A Construction Kit for Mobile Device Applications. International Conference on Internet Computing 2004: 186-194 - [c41]Carsten Sinz, Wolfgang Küchlin:
Verifying the On-line Help System of SIEMENS Magnetic Resonance Tomographs. ICFEM 2004: 391-402 - [c40]Carsten Sinz, Wolfgang Küchlin:
Verifying the On-Line Help System of SIEMENS Magnetic Resonance Tomographs using SAT (Extended Abstract). SAT 2004 - 2003
- [b2]Wolfgang Küchlin, Andreas Weber:
Einführung in die Informatik - objektorientiert mit Java (2. Aufl.). Springer-Lehrbuch, Springer 2003, ISBN 978-3-540-43608-9, pp. I-XVIII, 1-440 - [j10]Carsten Sinz, Andreas Kaiser, Wolfgang Küchlin:
Formal methods for the validation of automotive product configuration data. AI EDAM 17(1): 75-97 (2003) - [j9]Wolfgang Blochinger, Carsten Sinz, Wolfgang Küchlin:
Parallel propositional satisfiability checking with distributed dynamic learning. Parallel Computing 29(7): 969-994 (2003) - [c39]Wolfgang Blochinger, Wolfgang Küchlin:
The Design of an API for Strict Multithreading in C++. Euro-Par 2003: 722-731 - [c38]Wolfgang Blochinger, Carsten Sinz, Wolfgang Küchlin:
A Universal Parallel SAT Checking Kernel. PDPTA 2003: 1720-1725 - [c37]Carsten Sinz, Amir Khosravizadeh, Wolfgang Küchlin, Viktor Mihajlovski:
Verifying CIM Models of Apache Web-Server Configurations. QSIC 2003: 290-297 - 2002
- [j8]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. Information & Software Technology 44(14): 857-873 (2002) - [c36]Ralf-Dieter Schimkat, Wolfgang Küchlin:
Living Documents - Micro Servers for Documents. EDBT Workshops 2002: 512-525 - [c35]Michael Friedrich, Gerd Nusser, Wolfgang Küchlin:
Maintenance of Distributed Systems with Mobile Agents. ICSM 2002: 659-666 - [c34]Ralf-Dieter Schimkat, Wolfgang Küchlin, Frank Nestel:
Living Hypertext - Web Retrieval Techniques for Traditional Database-Centric Information. IICS 2002: 1-14 - 2001
- [j7]Carsten Sinz, Wolfgang Blochinger, Wolfgang Küchlin:
PaSAT - Parallel SAT-Checking with Lemma Exchange: Implementation and Applications. Electronic Notes in Discrete Mathematics 9: 205-216 (2001) - [c33]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: 367-374 - [c32]Ralf-Dieter Schimkat, Michael Friedrich, Wolfgang Küchlin:
Deploying Distributed State Information in Mobile Agent Systems. CoopIS 2001: 80-94 - [c31]Carsten Sinz, Andreas Kaiser, Wolfgang Küchlin:
Detection of Inconsistencies in Complex Product Configuration Data Using Extended Propositional SAT-Checking. FLAIRS Conference 2001: 645-649 - [c30]Dieter Bühler, Wolfgang Küchlin:
Flexible Similarity Assessment for XML Documents Based on XQL and Java Reflection. IEA/AIE 2001: 175-186 - [c29]
- [c28]Dieter Bühler, Wolfgang Küchlin, Gerd Nusser, Gerhard Gruhler:
The Java Fieldbus Control Framework-Object Oriented Control of Fieldbus Devices. ISORC 2001: 153- - [c27]Carsten Sinz, Jörg Denzinger, Jürgen Avenhaus, Wolfgang Küchlin:
Combining Parallel and Distributed Search in Automated Equational Deduction. PPAM 2001: 819-832 - 2000
- [j6]Wolfgang Küchlin, Carsten Sinz:
Proving Consistency Assertions for Automotive Product Data Management. J. Autom. Reasoning 24(1/2): 145-163 (2000) - [c26]Dieter Bühler, Wolfgang Küchlin, Gerhard Gruhler, Gerd Nusser:
The Virtual Automation Lab - Web Based Teaching of Automation Engineering Concepts. ECBS 2000: 156-164 - [c25]Ralf-Dieter Schimkat, Wolfgang Blochinger, Carsten Sinz, Michael Friedrich, Wolfgang Küchlin:
A Service-Based Agent Framework for Distributed Symbolic Computation. HPCN Europe 2000: 644-656 - [c24]Ralf-Dieter Schimkat, Stefan Müller, Wolfgang Küchlin:
A Lightweight, Message-Oriented Application Server for the WWW. SAC (2) 2000: 934-941
1990 – 1999
- 1998
- [j5]Andreas Weber, Wolfgang Küchlin, Bernhard Eggers:
Parallel Computer Algebra Software as a Web Component. Concurrency - Practice and Experience 10(11-13): 1179-1188 (1998) - [c23]Alfons Geser, Wolfgang Küchlin:
Structured Formal Verification of a Fragment of the IBM S/390 Clock Chip. FM-Trends 1998: 92-106 - [c22]Wolfgang Blochinger, Wolfgang Küchlin, Andreas Weber:
The Distributed Object-Oriented Threads System DOTS. IRREGULAR 1998: 206-217 - 1997
- [j4]Beatrice Amrhein, Oliver Gloor, Wolfgang Küchlin:
On the Walk. Theor. Comput. Sci. 187(1-2): 179-202 (1997) - [c21]Wolfgang Küchlin, Gerhard Gruhler, Andreas Speck, Thomas Lumpp:
HighRobot: Distributed Objekt-Oriented Real-Time Systems. ARCS 1997: 95-104 - [c20]Wolfgang Küchlin, Gerhard Gruhler, Thomas Lumpp, Andreas Speck:
HighRobot: a high-performance universal robot control on parallel workstations. ECBS 1997: 444-451 - [e1]Bruce W. Char, Paul S. Wang, Wolfgang Küchlin:
Proceedings of the 1997 International Symposium on Symbolic and Algebraic Computation, ISSAC '97, Maui, Hawaii, USA, July 21-23, 1997. ACM 1997, ISBN 0-89791-875-4 [contents] - 1996
- [j3]Reinhard Bündgen, Manfred Göbel, Wolfgang Küchlin:
Strategy Compliant Multi-Threaded Term Completion. J. Symb. Comput. 21(4): 475-505 (1996) - [c19]
- [c18]Reinhard Bündgen, Manfred Göbel, Wolfgang Küchlin:
A Master-Slave Approach to Parallel Term Rewriting on a Hierarchical Multiprocessor. DISCO 1996: 183-194 - [c17]Reinhard Bündgen, Wolfgang Küchlin, Werner Lauterbach:
Verification of the Sparrow Processor. ECBS 1996: 86- - [c16]Beatrice Amrhein, Oliver Gloor, Wolfgang Küchlin:
A Case Study of Multi-Threaded Gröbner Basis Completion. ISSAC 1996: 95-102 - 1995
- [c15]Till Bubeck, M. Hiller, Wolfgang Küchlin, Wolfgang Rosenstiel:
Distributed Symbolic Computation with DTS. IRREGULAR 1995: 231-248 - [c14]
- 1994
- [c13]Reinhard Bündgen, Manfred Göbel, Wolfgang Küchlin:
A Fine-Grained Parallel Completion Procedure. ISSAC 1994: 269-277 - 1992
- [c12]
- 1991
- [c11]Wolfgang Küchlin, David Lutz, Nicholas J. Nevin:
Integer Multiplication in PARSAC-2 on Stock Microprocessors. AAECC 1991: 206-217 - [c10]Wolfgang Küchlin:
On the Multi-Threaded Computation of Modular Polynomial Greatest Common Divisors. ACPC 1991: 369-384 - [c9]
- [c8]Wolfgang Küchlin:
On the Multi-Threaded Computation of Integral Polynomial Greatest Common Divisors. ISSAC 1991: 333-342 - [c7]Wolfgang Küchlin, Nicholas J. Nevin:
On multi-threaded list-processing and garbage collection. SPDP 1991: 894-897 - 1990
- [c6]
- [c5]
- [c4]George E. Collins, Jeremy R. Johnson, Wolfgang Küchlin:
Parallel Real Root Isolation Using the Coefficient Sign Variation Method. CAP 1990: 71-87
1980 – 1989
- 1989
- [c3]Reinhard Bündgen, Wolfgang Küchlin:
Computing Ground Reducability and Inductively Complete Positions. RTA 1989: 59-75 - 1987
- [j2]
- 1986
- [b1]Wolfgang Küchlin:
Equational completion by poof transformation. ETH Zurich, Zürich, Switzerland 1986, pp. 1-40 - 1985
- [c2]Wolfgang Küchlin:
A Confluence Criterion Based on the Generalised Neman Lemma. European Conference on Computer Algebra (2) 1985: 390-399 - 1982
- [j1]Wolfgang Küchlin:
Some reduction strategies for algebraic term rewriting. ACM SIGSAM Bulletin 16(4): 13-23 (1982) - [c1]Wolfgang Küchlin:
A Theorem-Proving Approach to the Knuth-Bendix Completion Algorithm. EUROCAM 1982: 101-108
Coauthor Index
maintained by 
, founded at 
, founded at 
last updated on 2018-11-07 22:26 CET by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
the dblp computer science bibliography is funded by:
