2008 | ||
---|---|---|
55 | EE | Eray Gencay, Carsten Sinz, Wolfgang Küchlin: Towards SLA-based optimal workload distribution in SANs. NOMS 2008: 755-758 |
2007 | ||
54 | EE | Hendrik Post, Wolfgang Küchlin: Integrated Static Analysis for Linux Device Driver Verification. IFM 2007: 518-537 |
53 | EE | Eray Gencay, Wolfgang Küchlin, Thorsten Schafer: SANchk: An SQL-Based Validation System for SAN Confiuration. Integrated Network Management 2007: 333-342 |
2006 | ||
52 | EE | 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 | ||
51 | EE | Wolfgang Blochinger, W. Westje, Wolfgang Küchlin, Sebastian Wedeniwski: ZetaSAT - Boolean SATisfiability solving on Desktop Grids. CCGRID 2005: 1079-1086 |
50 | Michael Grossmann, Wolfgang Küchlin: MIN-Multimediale Module für Mathematik in Informatik und Naturwissenschaften. DeLFI 2005: 201-212 | |
2004 | ||
49 | EE | Carsten Sinz, Wolfgang Küchlin: Verifying the On-line Help System of SIEMENS Magnetic Resonance Tomographs. ICFEM 2004: 391-402 |
48 | 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 | |
47 | EE | Carsten Sinz, Wolfgang Küchlin: Verifying the On-Line Help System of SIEMENS Magnetic Resonance Tomographs using SAT (Extended Abstract) SAT 2004 |
2003 | ||
46 | EE | Wolfgang Blochinger, Wolfgang Küchlin: The Design of an API for Strict Multithreading in C++. Euro-Par 2003: 722-731 |
45 | Wolfgang Blochinger, Carsten Sinz, Wolfgang Küchlin: A Universal Parallel SAT Checking Kernel. PDPTA 2003: 1720-1725 | |
44 | EE | Carsten Sinz, Amir Khosravizadeh, Wolfgang Küchlin, Viktor Mihajlovski: Verifying CIM Models of Apache Web-Server Configurations. QSIC 2003: 290-297 |
43 | Carsten Sinz, Andreas Kaiser, Wolfgang Küchlin: Formal methods for the validation of automotive product configuration data. AI EDAM 17(1): 75-97 (2003) | |
42 | EE | Wolfgang Blochinger, Carsten Sinz, Wolfgang Küchlin: Parallel propositional satisfiability checking with distributed dynamic learning. Parallel Computing 29(7): 969-994 (2003) |
2002 | ||
41 | EE | Ralf-Dieter Schimkat, Wolfgang Küchlin: Living Documents - Micro Servers for Documents. EDBT Workshops 2002: 512-525 |
40 | EE | Michael Friedrich, Gerd Nusser, Wolfgang Küchlin: Maintenance of Distributed Systems with Mobile Agents. ICSM 2002: 659-666 |
39 | EE | Ralf-Dieter Schimkat, Wolfgang Küchlin, Frank Nestel: Living Hypertext - Web Retrieval Techniques for Traditional Database-Centric Information. IICS 2002: 1-14 |
38 | 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 | ||
37 | EE | 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 |
36 | EE | Ralf-Dieter Schimkat, Michael Friedrich, Wolfgang Küchlin: Deploying Distributed State Information in Mobile Agent Systems. CoopIS 2001: 80-94 |
35 | 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 | |
34 | EE | Dieter Bühler, Wolfgang Küchlin: Flexible Similarity Assessment for XML Documents Based on XQL and Java Reflection. IEA/AIE 2001: 175-186 |
33 | EE | Andreas Kaiser, Wolfgang Küchlin: Automotive Product Documentation. IEA/AIE 2001: 465-475 |
32 | EE | Dieter Bühler, Wolfgang Küchlin, Gerd Nusser, Gerhard Gruhler: The Java Fieldbus Control Framework-Object Oriented Control of Fieldbus Devices. ISORC 2001: 153- |
31 | EE | Carsten Sinz, Jörg Denzinger, Jürgen Avenhaus, Wolfgang Küchlin: Combining Parallel and Distributed Search in Automated Equational Deduction. PPAM 2001: 819-832 |
30 | EE | 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 | ||
29 | EE | 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 |
28 | EE | 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 |
27 | Ralf-Dieter Schimkat, Stefan Müller, Wolfgang Küchlin: A Lightweight, Message-Oriented Application Server for the WWW. SAC (2) 2000: 934-941 | |
26 | Wolfgang Küchlin, Carsten Sinz: Proving Consistency Assertions for Automotive Product Data Management. J. Autom. Reasoning 24(1/2): 145-163 (2000) | |
1998 | ||
25 | Alfons Geser, Wolfgang Küchlin: Structured Formal Verification of a Fragment of the IBM S/390 Clock Chip FM-Trends 1998: 92-106 | |
24 | Wolfgang Blochinger, Wolfgang Küchlin, Andreas Weber: The Distributed Object-Oriented Threads System DOTS. IRREGULAR 1998: 206-217 | |
23 | 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 | ||
22 | Wolfgang Küchlin, Gerhard Gruhler, Andreas Speck, Thomas Lumpp: HighRobot: Distributed Objekt-Oriented Real-Time Systems. ARCS 1997: 95-104 | |
21 | EE | Wolfgang Küchlin, Gerhard Gruhler, Thomas Lumpp, Andreas Speck: HighRobot: a high-performance universal robot control on parallel workstations. ECBS 1997: 444-451 |
20 | EE | 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 | EE | Reinhard Bündgen, Wolfgang Küchlin, Werner Lauterbach: Verification of the Sparrow Processor. ECBS 1996: 86- |
16 | EE | 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 | EE | 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 | EE | Wolfgang Küchlin: A space-efficient parallel garbage compaction algorithm. ICS 1991: 40-46 |
7 | EE | 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 |