Wolfgang Küchlin

	2011
64		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
63		Christoph Zengler, Wolfgang Küchlin: Extending Clause Learning of SAT Solvers with Boolean Gröbner Bases. CASC 2010: 293-302
62		Wolfgang Küchlin, Markus Held: MoBiFlow - ein Web-2.0 basiertes Workflowsystem für die Mikrobiologie. GI Jahrestagung (1) 2010: 347-352
61		Andreas Kübler, Christoph Zengler, Wolfgang Küchlin: Model Counting in Product Configuration LoCoCo 2010: 44-53
	2009
60		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
59		Eray Gençay, Carsten Sinz, Wolfgang Küchlin: Towards SLA-based optimal workload distribution in SANs. NOMS 2008: 755-758
58		Eray Gençay, Carsten Sinz, Wolfgang Küchlin, Thorsten Schäfer: SANchk: SQL-based SAN configuration checking. IEEE Transactions on Network and Service Management 5(2): 91-104 (2008)
	2007
57		Hendrik Post, Wolfgang Küchlin: Integrated Static Analysis for Linux Device Driver Verification. IFM 2007: 518-537
56		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
55		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
54		Wolfgang Küchlin: Canonical Hardware Representation Using Gröbner Bases. Algorithmic Algebra and Logic 2005: 147-154
53		Wolfgang Blochinger, W. Westje, Wolfgang Küchlin, Sebastian Wedeniwski: ZetaSAT - Boolean SATisfiability solving on Desktop Grids. CCGRID 2005: 1079-1086
52		Michael Grossmann, Wolfgang Küchlin: MIN-Multimediale Module für Mathematik in Informatik und Naturwissenschaften. DeLFI 2005: 201-212
	2004
51		Carsten Sinz, Wolfgang Küchlin: Verifying the On-line Help System of SIEMENS Magnetic Resonance Tomographs. ICFEM 2004: 391-402
50		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
49		Carsten Sinz, Wolfgang Küchlin: Verifying the On-Line Help System of SIEMENS Magnetic Resonance Tomographs using SAT (Extended Abstract) SAT 2004
	2003
48		Wolfgang Küchlin, Andreas Weber: Einführung in die Informatik - objektorientiert mit Java (2. Aufl.). Springer 2003: I-XVIII, 1-440
47		Wolfgang Blochinger, Wolfgang Küchlin: The Design of an API for Strict Multithreading in C++. Euro-Par 2003: 722-731
46		Wolfgang Blochinger, Carsten Sinz, Wolfgang Küchlin: A Universal Parallel SAT Checking Kernel. PDPTA 2003: 1720-1725
45		Carsten Sinz, Amir Khosravizadeh, Wolfgang Küchlin, Viktor Mihajlovski: Verifying CIM Models of Apache Web-Server Configurations. QSIC 2003: 290-297
44		Carsten Sinz, Andreas Kaiser, Wolfgang Küchlin: Formal methods for the validation of automotive product configuration data. AI EDAM 17(1): 75-97 (2003)
43		Wolfgang Blochinger, Carsten Sinz, Wolfgang Küchlin: Parallel propositional satisfiability checking with distributed dynamic learning. Parallel Computing 29(7): 969-994 (2003)
	2002
42		Ralf-Dieter Schimkat, Wolfgang Küchlin: Living Documents - Micro Servers for Documents. EDBT Workshops 2002: 512-525
41		Michael Friedrich, Gerd Nusser, Wolfgang Küchlin: Maintenance of Distributed Systems with Mobile Agents. ICSM 2002: 659-666
40		Ralf-Dieter Schimkat, Wolfgang Küchlin, Frank Nestel: Living Hypertext - Web Retrieval Techniques for Traditional Database-Centric Information. IICS 2002: 1-14
39		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)
	2001
38		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
37		Ralf-Dieter Schimkat, Michael Friedrich, Wolfgang Küchlin: Deploying Distributed State Information in Mobile Agent Systems. CoopIS 2001: 80-94
36		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
35		Dieter Bühler, Wolfgang Küchlin: Flexible Similarity Assessment for XML Documents Based on XQL and Java Reflection. IEA/AIE 2001: 175-186
34		Andreas Kaiser, Wolfgang Küchlin: Automotive Product Documentation. IEA/AIE 2001: 465-475
33		Dieter Bühler, Wolfgang Küchlin, Gerd Nusser, Gerhard Gruhler: The Java Fieldbus Control Framework-Object Oriented Control of Fieldbus Devices. ISORC 2001: 153-
32		Carsten Sinz, Jörg Denzinger, Jürgen Avenhaus, Wolfgang Küchlin: Combining Parallel and Distributed Search in Automated Equational Deduction. PPAM 2001: 819-832
31		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)
	2000
30		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
29		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
28		Ralf-Dieter Schimkat, Stefan Müller, Wolfgang Küchlin: A Lightweight, Message-Oriented Application Server for the WWW. SAC (2) 2000: 934-941
27		Wolfgang Küchlin, Carsten Sinz: Proving Consistency Assertions for Automotive Product Data Management. J. Autom. Reasoning 24(1/2): 145-163 (2000)
	1998
26		Alfons Geser, Wolfgang Küchlin: Structured Formal Verification of a Fragment of the IBM S/390 Clock Chip FM-Trends 1998: 92-106
25		Wolfgang Blochinger, Wolfgang Küchlin, Andreas Weber: The Distributed Object-Oriented Threads System DOTS. IRREGULAR 1998: 206-217
24		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)
	1997
23		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
22		Wolfgang Küchlin, Gerhard Gruhler, Andreas Speck, Thomas Lumpp: HighRobot: Distributed Objekt-Oriented Real-Time Systems. ARCS 1997: 95-104
21		Wolfgang Küchlin, Gerhard Gruhler, Thomas Lumpp, Andreas Speck: HighRobot: a high-performance universal robot control on parallel workstations. ECBS 1997: 444-451
20		Beatrice Amrhein, Oliver Gloor, Wolfgang Küchlin: On the Walk. Theor. Comput. Sci. 187(1-2): 179-202 (1997)
	1996
19		Beatrice Amrhein, Oliver Gloor, Wolfgang Küchlin: Walking Faster. DISCO 1996: 150-161
18		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
17		Reinhard Bündgen, Wolfgang Küchlin, Werner Lauterbach: Verification of the Sparrow Processor. ECBS 1996: 86-
16		Beatrice Amrhein, Oliver Gloor, Wolfgang Küchlin: A Case Study of Multi-Threaded Gröbner Basis Completion. ISSAC 1996: 95-102
15		Reinhard Bündgen, Manfred Göbel, Wolfgang Küchlin: Strategy Compliant Multi-Threaded Term Completion. J. Symb. Comput. 21(4): 475-505 (1996)
	1995
14		Till Bubeck, M. Hiller, Wolfgang Küchlin, Wolfgang Rosenstiel: Distributed Symbolic Computation with DTS. IRREGULAR 1995: 231-248
13		Reinhard Bündgen, Manfred Göbel, Wolfgang Küchlin: Parallel ReDuX -> PaReDuX. RTA 1995: 408-413
	1994
12		Reinhard Bündgen, Manfred Göbel, Wolfgang Küchlin: A Fine-Grained Parallel Completion Procedure. ISSAC 1994: 269-277
	1992
11		Wolfgang Küchlin, Jeffrey A. Ward: Experiments with Virtual C Threads. SPDP 1992: 50-55
	1991
10		Wolfgang Küchlin, David Lutz, Nicholas Nevin: Integer Multiplication in PARSAC-2 on Stock Microprocessors. AAECC 1991: 206-217
9		Wolfgang Küchlin: On the Multi-Threaded Computation of Modular Polynomial Greatest Common Divisors. ACPC 1991: 369-384
8		Wolfgang Küchlin: A space-efficient parallel garbage compaction algorithm. ICS 1991: 40-46
7		Wolfgang Küchlin: On the Multi-Threaded Computation of Integral Polynomial Greatest Common Divisors. ISSAC 1991: 333-342
	1990
6		Wolfgang Küchlin: PARSAC-2: A Parallel SAC-2 Based on Threads. AAECC 1990: 341-353
5		Wolfgang Küchlin: The S-Threads Environment for Parallel Symbolic Computation. CAP 1990: 1-18
4		George E. Collins, Jeremy R. Johnson, Wolfgang Küchlin: Parallel Real Root Isolation Using the Coefficient Sign Variation Method. CAP 1990: 71-87
	1989
3		Reinhard Bündgen, Wolfgang Küchlin: Computing Ground Reducability and Inductively Complete Positions. RTA 1989: 59-75
	1985
2		Wolfgang Küchlin: A Confluence Criterion Based on the Generalised Neman Lemma. European Conference on Computer Algebra (2) 1985: 390-399
	1982
1		Wolfgang Küchlin: A Theorem-Proving Approach to the Knuth-Bendix Completion Algorithm. EUROCAM 1982: 101-108

Coauthor Index

1	Beatrice Amrhein	[16] [19] [20]
2	Jürgen Avenhaus	[32]
3	Wolfgang Blochinger	[25] [29] [31] [43] [46] [47] [53] [64]
4	Till Bubeck	[14]
5	Dieter Bühler	[30] [33] [35]
6	Reinhard Bündgen	[3] [12] [13] [15] [17] [18]
7	Bruce W. Char	[23]
8	George E. Collins	[4]
9	Jörg Denzinger	[32]
10	Bernhard Eggers	[24]
11	Dieter Feichtinger	[55]
12	Michael Friedrich	[29] [37] [41] [50]
13	Eray Gençay	[56] [58] [59]
14	Alfons Geser	[26]
15	Oliver Gloor	[16] [19] [20]
16	Manfred Göbel	[12] [13] [15] [18]
17	Georg Görtler	[55]
18	Michael Grossmann	[52]
19	Gerhard Gruhler	[21] [22] [30] [33]
20	Markus Held	[62] [64]
21	M. Hiller	[14]
22	Jeremy R. Johnson	[4]
23	Andreas Kaiser	[34] [36] [44]
24	Amir Khosravizadeh	[45]
25	Andreas Kübler	[61]
26	Werner Lauterbach	[17]
27	Thomas Lumpp	[21] [22] [38] [39]
28	David Lutz	[10]
29	Viktor Mihajlovski	[45]
30	Stefan Müller	[28]
31	Frank Nestel	[40]
32	Nicholas Nevin	[10]
33	Gerd Nusser	[30] [33] [41] [50]
34	Hendrik Post	[57] [60]
35	Wolfgang Rosenstiel	[14]
36	Thorsten Schäfer	[56] [58]
37	Ralf-Dieter Schimkat	[28] [29] [37] [40] [42]
38	Jürgen M. Schneider	[39]
39	Carsten Sinz	[27] [29] [31] [32] [36] [38] [39] [43] [44] [45] [46] [49] [51] [55] [58] [59] [60]
40	Andreas Speck	[21] [22]
41	Kirsten Terfloth	[50]
42	Paul S. Wang	[23]
43	Jeffrey A. Ward	[11]
44	Andreas Weber	[24] [25] [48]
45	Sebastian Wedeniwski	[53]
46	W. Westje	[53]
47	Christoph Zengler	[61] [63]

Colors in the list of coauthors

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page