![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Wolfgang Küchlin
Person information
- affiliation: University of Tübingen, Germany
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
- [c67]Daniel Bischoff, Wolfgang Küchlin, Oliver Kopp
:
POSEIDON: A Graphical Editor for Item Selection Rules Within Feature Combination Rule Contexts. PLM 2022: 3-14 - 2020
- [c66]Jens Haussmann, Wolfgang Blochinger, Wolfgang Küchlin:
An Elasticity Description Language for Task-parallel Cloud Applications. CLOSER 2020: 473-481
2010 – 2019
- 2019
- [j18]Jens Haussmann
, Wolfgang Blochinger, Wolfgang Küchlin:
Cost-efficient parallel processing of irregularly structured problems in cloud computing environments. Clust. Comput. 22(3): 887-909 (2019) - [c65]Jens Haussmann
, Wolfgang Blochinger, Wolfgang Küchlin:
Cost-Optimized Parallel Computations Using Volatile Cloud Resources. GECON 2019: 45-53 - 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) - [c64]Daniel Bischoff, Wolfgang Küchlin:
Adapting Binary Decision Diagrams for Visualizing Product Configuration Data. GI-Jahrestagung 2017: 1499-1509 - 2015
- [c63]Thore Kübart, Rouven Walter, Wolfgang Küchlin:
Different solving strategies on PBO Problems from automotive industry. Configuration Workshop 2015: 67-72 - [c62]Rouven Walter, Alexander Felfernig, Wolfgang Küchlin:
Inverse QuickXplain vs. MaxSAT - a comparison in theory and practice. Configuration Workshop 2015: 97-104 - [c61]Martin Walch, Rouven Walter, Wolfgang Küchlin:
Formal analysis of the Linux kernel configuration with SAT solving. Configuration Workshop 2015: 131-138 - [c60]Rouven Walter, Thore Kübart, Wolfgang Küchlin:
Optimal Coverage in Automotive Configuration. MACIS 2015: 611-626 - 2014
- [c59]Rouven Walter, Wolfgang Küchlin:
ReMax - A MaxSAT aided Product (Re-)Configurator. Configuration Workshop 2014: 59-66 - 2013
- [c58]Rouven Walter, Christoph Zengler, Wolfgang Küchlin:
Applications of MaxSAT in Automotive Configuration. Configuration Workshop 2013: 21-28 - [c57]Christoph Zengler, Wolfgang Küchlin:
Boolean Quantifier Elimination for Automotive Configuration - A Case Study. FMICS 2013: 48-62 - 2012
- [c56]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 Commun. Comput. Algebra 45(1/2): 139-140 (2011) - [j15]Christoph Zengler, Wolfgang Küchlin:
Boolean Gröbner bases in SAT solving. ACM Commun. Comput. 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. Int. J. Serv. Sci. Manag. Eng. Technol. 2(4): 67-78 (2011) - 2010
- [c55]Christoph Zengler, Wolfgang Küchlin:
Extending Clause Learning of SAT Solvers with Boolean Gröbner Bases. CASC 2010: 293-302 - [c54]Wolfgang Küchlin, Markus Held:
MoBiFlow - ein Web-2.0 basiertes Workflowsystem für die Mikrobiologie. GI Jahrestagung (1) 2010: 347-352 - [c53]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. Verification 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. Netw. Serv. Manag. 5(2): 91-104 (2008) - [c52]Eray Gençay, Carsten Sinz, Wolfgang Küchlin:
Towards SLA-based optimal workload distribution in SANs. NOMS 2008: 755-758 - 2007
- [c51]Hendrik Post, Wolfgang Küchlin:
Integrated Static Analysis for Linux Device Driver Verification. IFM 2007: 518-537 - [c50]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. Reason. 37(1-2): 45-66 (2006) - [c49]Hendrik Post, Wolfgang Küchlin:
Automatic data environment construction for static device drivers analysis. SAVCBS@FSE 2006: 89-92 - 2005
- [b5]Wolfgang Küchlin, Andreas Weber:
Einführung in die Informatik - objektorientiert mit Java, 3. überarbeitete Auflage. eXamen.press, Springer 2005, ISBN 978-3-540-20958-4, pp. I-VIII, 1-471 - [c48]Wolfgang Küchlin:
Canonical Hardware Representation Using Gröbner Bases. Algorithmic Algebra and Logic 2005: 147-154 - [c47]Wolfgang Blochinger, W. Westje, Wolfgang Küchlin, Sebastian Wedeniwski:
ZetaSAT - Boolean SATisfiability solving on Desktop Grids. CCGRID 2005: 1079-1086 - [c46]Michael Grossmann, Wolfgang Küchlin:
MIN-Multimediale Module für Mathematik in Informatik und Naturwissenschaften. DeLFI 2005: 201-212 - 2004
- [b4]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 - [c45]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 - [c44]Carsten Sinz, Wolfgang Küchlin:
Verifying the On-line Help System of SIEMENS Magnetic Resonance Tomographs. ICFEM 2004: 391-402 - [c43]Carsten Sinz, Wolfgang Küchlin:
Verifying the On-Line Help System of SIEMENS Magnetic Resonance Tomographs using SAT (Extended Abstract). SAT 2004 - 2003
- [b3]Wolfgang Küchlin, Andreas Weber:
Einführung in die Informatik - objektorientiert mit Java, 2. Auflage. 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. Artif. Intell. Eng. Des. Anal. Manuf. 17(1): 75-97 (2003) - [j9]Wolfgang Blochinger, Carsten Sinz, Wolfgang Küchlin:
Parallel propositional satisfiability checking with distributed dynamic learning. Parallel Comput. 29(7): 969-994 (2003) - [c42]Wolfgang Blochinger, Wolfgang Küchlin:
The Design of an API for Strict Multithreading in C++. Euro-Par 2003: 722-731 - [c41]Wolfgang Blochinger, Carsten Sinz, Wolfgang Küchlin:
A Universal Parallel SAT Checking Kernel. PDPTA 2003: 1720-1725 - [c40]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. Inf. Softw. Technol. 44(14): 857-873 (2002) - [c39]Ralf-Dieter Schimkat, Wolfgang Küchlin:
Living Documents - Micro Servers for Documents. EDBT Workshops 2002: 512-525 - [c38]Michael Friedrich, Gerd Nusser, Wolfgang Küchlin:
Maintenance of Distributed Systems with Mobile Agents. ICSM 2002: 659-666 - [c37]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. Electron. Notes Discret. Math. 9: 205-216 (2001) - [c36]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 - [c35]Ralf-Dieter Schimkat, Michael Friedrich, Wolfgang Küchlin:
Deploying Distributed State Information in Mobile Agent Systems. CoopIS 2001: 80-94 - [c34]Carsten Sinz, Andreas Kaiser, Wolfgang Küchlin:
Detection of Inconsistencies in Complex Product Configuration Data Using Extended Propositional SAT-Checking. FLAIRS 2001: 645-649 - [c33]Dieter Bühler, Wolfgang Küchlin:
Flexible Similarity Assessment for XML Documents Based on XQL and Java Reflection. IEA/AIE 2001: 175-186 - [c32]Andreas Kaiser, Wolfgang Küchlin:
Automotive Product Documentation. IEA/AIE 2001: 465-475 - [c31]Dieter Bühler, Wolfgang Küchlin, Gerd Nusser, Gerhard Gruhler:
The Java Fieldbus Control Framework-Object Oriented Control of Fieldbus Devices. ISORC 2001: 153- - [c30]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
- [b2]Wolfgang Küchlin, Andreas Weber:
Einführung in die Informatik - objektorientiert mit Java. Springer 2000, ISBN 978-3-540-67384-2, pp. I-XVI, 1-383 - [j6]Wolfgang Küchlin, Carsten Sinz:
Proving Consistency Assertions for Automotive Product Data Management. J. Autom. Reason. 24(1/2): 145-163 (2000) - [c29]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 - [c28]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 - [c27]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
- 1999
- [c26]Manfred Göbel, Wolfgang Küchlin, Stefan Müller, Andreas Weber:
Extending a Java Based Framework for Scientific Software-Components. CASC 1999: 207-222 - 1998
- [j5]Andreas Weber, Wolfgang Küchlin, Bernhard Eggers:
Parallel Computer Algebra Software as a Web Component. Concurr. Pract. Exp. 10(11-13): 1179-1188 (1998) - [c25]Alfons Geser, Wolfgang Küchlin:
Structured Formal Verification of a Fragment of the IBM S/390 Clock Chip. FM-Trends 1998: 92-106 - [c24]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) - [c23]Wolfgang Küchlin, Gerhard Gruhler, Andreas Speck, Thomas Lumpp:
HighRobot: Distributed Objekt-Oriented Real-Time Systems. ARCS 1997: 95-104 - [c22]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 1997, 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) - [c21]Beatrice Amrhein, Oliver Gloor, Wolfgang Küchlin:
Walking Faster. DISCO 1996: 150-161 - [c20]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 - [c19]Reinhard Bündgen, Wolfgang Küchlin, Werner Lauterbach:
Verification of the Sparrow Processor. ECBS 1996: 86- - [c18]Beatrice Amrhein, Oliver Gloor, Wolfgang Küchlin:
A Case Study of Multi-Threaded Gröbner Basis Completion. ISSAC 1996: 95-102 - 1995
- [c17]Till Bubeck, M. Hiller, Wolfgang Küchlin, Wolfgang Rosenstiel:
Distributed Symbolic Computation with DTS. IRREGULAR 1995: 231-248 - [c16]Till Bubeck, Wolfgang Küchlin, Wolfgang Rosenstiel:
Symmetric Distributed Computing with Dynamic Load Balancing and Fault Tolerance. LCR 1995: 325-328 - [c15]Reinhard Bündgen, Manfred Göbel, Wolfgang Küchlin:
Parallel ReDuX -> PaReDuX. RTA 1995: 408-413 - 1994
- [c14]Reinhard Bündgen, Manfred Göbel, Wolfgang Küchlin:
A Fine-Grained Parallel Completion Procedure. ISSAC 1994: 269-277 - [c13]Reinhard Bündgen, Manfred Göbel, Wolfgang Küchlin:
Multi-Threaded AC Term Rewriting. PASCO 1994: 84-93 - 1992
- [c12]Wolfgang Küchlin, Jeffrey A. Ward:
Experiments with Virtual C Threads. SPDP 1992: 50-55 - 1991
- [c11]Wolfgang Küchlin, David Raymond 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]Wolfgang Küchlin:
A space-efficient parallel garbage compaction algorithm. ICS 1991: 40-46 - [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]Wolfgang Küchlin:
PARSAC-2: A Parallel SAC-2 Based on Threads. AAECC 1990: 341-353 - [c5]Wolfgang Küchlin:
The S-Threads Environment for Parallel Symbolic Computation. CAP 1990: 1-18 - [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]Wolfgang Küchlin:
Public key encryption. SIGSAM Bull. 21(3): 69-73 (1987) - 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. SIGSAM Bull. 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
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-16 00:44 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint