|
[1]
|
Carsten Sinz and Wolfgang Küchlin.
Verifying the on-line help system of SIEMENS magnetic resonance
tomographs.
In Jim Davies, Wolfram Schulte, and Mike Barnett, editors,
Proc. of the 6th Intl. Conf. on Formal Engineering Methods (ICFEM'2004),
volume 3308 of LNCS, Seattle, WA, November 2004.
[ bib ]
|
|
[2]
|
Wolfgang Küchlin and Andreas Weber.
Einführung in die Informatik.
eXamen.press. Springer-Verlag, 3rd edition, October 2004.
(Dritte, überarbeitete Auflage).
[ bib ]
|
|
[3]
|
Manfred Wolff, Peter Hauck, and Wolfgang Küchlin.
Mathematik für Informatik und BioInformatik.
Springer-Verlag, June 2004.
[ bib ]
|
|
[4]
|
Carsten Sinz and Wolfgang Küchlin.
Verifying the on-line help system of SIEMENS magnetic resonance
tomographs using SAT (extended abstract).
In Proc. of the 7th Intl. Conf. on Theory and Applications of
Satisfiability Testing (SAT 2004), Vancouver, Canada, May 2004.
[ bib ]
|
|
[5]
|
Carsten Sinz, Amir Khosravizadeh, Wolfgang Küchlin, and Viktor Mihajlovski.
Verifying CIM models of Apache Web server configurations.
In Proc. of the 3rd Intl. Conf. on Quality Software (QSIC
2003), pages 290-297, Dallas, TX, November 2003. IEEE Computer Society.
[ bib ]
|
|
[6]
|
Wolfgang Blochinger and Wolfgang Küchlin.
The design of an API for strict multi-threading in C++.
In H. Kosch, L. Böszörményi, and H. Hallwagner, editors,
Proc. of the 9th Intl. Conf. Euro-Par 2003, volume 2790 of LNCS,
pages 722-731, Klagenfurt, Austria, August 2003. Springer-Verlag.
[ bib ]
|
|
[7]
|
Wolfgang Küchlin.
PARSAC.
In Johannes Grabmeier, Erich Kaltofen, and Volker Weispfenning,
editors, Computer Algebra Handbook, pages 434-436. Springer-Verlag,
Berlin, 2003.
[ bib ]
|
|
[8]
|
Wolfgang Blochinger, Carsten Sinz, and Wolfgang Küchlin.
A universal parallel SAT-checking kernel.
In H. R. Arabnia and Y. Mun, editors, Proc. of the Intl. Conf. on Parallel and Distributed Processing Techniques and Applications
(PDPTA´03), volume 4, pages 1720-1725, Las Vegas, NV, June 2003. CSREA
Press.
[ bib ]
|
|
[9]
|
Wolfgang Blochinger, Carsten Sinz, and Wolfgang Küchlin.
Parallel propositional satisfiability checking with dynamic learning.
Parallel Computing, 29(7):969-994, 2003.
[ bib ]
|
|
[10]
|
Carsten Sinz, Andreas Kaiser, and Wolfgang Küchlin.
Formal methods for the validation of automotive product configuration
data.
Artificial Intelligence for Engineering Design, Analysis and
Manufacturing, 17(1):75-97, January 2003.
Special issue on configuration.
[ bib ]
|
|
[11]
|
Carsten Sinz, Thomas Lumpp, Jürgen Schneider, and Wolfgang Küchlin.
Detection of dynamic execution errors in IBM System
Automation's rule-based expert system.
Information and Software Technology, 44(14):857-873, November
2002.
[ bib ]
|
|
[12]
|
M. Friedrich, G. Nusser, and W. Küchlin.
Maintenance of distributed systems with mobile agents.
In Proceedings of 2002 International Conference on Software
Maintenance (ICSM 2002), Montreal, Canada, October 2002. IEEE.
[ bib ] |
|
[13]
|
Wolfgang Küchlin and Andreas Weber.
Einführung in die Informatik.
Springer-Verlag, 2nd edition, September 2002.
(Zweite, überarbeitete und erweiterte Auflage).
[ bib ]
|
|
[14]
|
M. Friedrich, R.-D. Schimkat, and W. Küchlin.
Information retrieval in distributed environments based on
context-aware, proactive documents.
In Proc. 6th Intl. Conf. on Current Research Information
Systems (CRIS 2002), Kassel, Germany, August 2002. Kassel University
Press.
[ bib] |
|
[15]
|
M. Friedrich and W. Küchlin.
WWW-Based Integrated Software Development Courses.
In Proceedings 2nd Workshop on Tele-Education in Engineering
Using Virtual Laboratories, Sherbrooke, Canada, August 2002.
[ bib |
.pdf ]
|
|
[16]
|
Jörg Denzinger, Carsten Sinz, Jürgen Avenhaus, and Wolfgang
Küchlin.
Teamwork-PaReDuX: Knowledge-based search with multiple parallel
agents.
In Proc. 4th Intl. Euromicro Conf. on Massively Parallel
Computing Systems (MPCS'2002), Ischia, Italy, April 2002. Euromicro.
[ bib ]
|
|
[17]
|
Ralf-Dieter Schimkat and Wolfgang Küchlin.
Living documents - micro servers for documents.
In A. B. Chaudhri, R. Unland, C. Djeraba, and W. Lindner, editors,
XML-Based Data Management and Multimedia Engineering - EDBT 2002,
volume 2490 of LNCS, pages 512-525, Prague, Czech Republic, March
24-28 2002. Springer-Verlag.
[ bib ]
|
|
[18]
|
Gerd Nusser, Gerhard Gruhler, and Wolfgang Küchlin.
Automatic generation of control software components for CAN devices
by using Java and XML.
In Proc. 8th Intl. CAN Conf. (ICC 2002), Las Vegas, NV,
USA, February 2002. CAN in Automation (CIA).
[ bib ]
|
|
[19]
|
Wolfgang Blochinger, Carsten Sinz, and Wolfgang Küchlin.
Parallel consistency checking of automotive product data.
In G. R. Joubert, A. Murli, F. J. Peters, and M. Vanneschi, editors,
Proc. of the Intl. Conf. ParCo 2001: Parallel Computing -
Advances and Current Issues, pages 50-57, Naples, Italy, 2002. Imperial
College Press.
[ bib ]
|
|
[20]
|
Carsten Sinz, Thomas Lumpp, and Wolfgang Küchlin.
Towards a verification of the rule-based expert system of the IBM
SA for OS/390 automation manager.
In Proc. of the 2nd Asia-Pacific Conf. on Quality Software
(APAQS 2001), pages 367-374, Hong Kong, December 2001. IEEE Computer
Society.
[ bib ]
|
|
[21]
|
Andreas Kaiser and Wolfgang Küchlin.
Explaining inconsistencies in combinatorial automotive product data.
In Proc. 2nd Intl. Conf. on Intelligent Technologies (InTech
2001), pages 198-204, Bangkok, Thailand, November 2001. Assumption
University.
[ bib ]
|
|
[22]
|
Carsten Sinz, Jörg Denzinger, Jürgen Avenhaus, and Wolfgang
Küchlin.
Combining parallel and distributed search in automated equational
deduction.
In Parallel Processing and Applied Mathematics PPAM 2001,
volume 2328 of LNCS, pages 819-832, Naleczow, Poland, September 2001.
Springer-Verlag.
[ bib ]
|
|
[33]
|
Ralf-Dieter Schimkat, Michael Friedrich, and Wolfgang Küchlin.
Deploying distributed state information in mobile agents systems.
In Proc. 9th Intl. Conf. on Cooperative Information Systems
(CoopIS 2001), volume 2172 of LNCS, pages 80-94, Trento, Italy,
September 2001. Springer-Verlag.
[ bib ]
|
|
[24]
|
Wolfgang Blochinger, Carsten Sinz, and Wolfgang Küchlin.
Distributed parallel SAT checking with dynamic learning using
DOTS.
In T. Gonzales, editor, Proc. of the IASTED Intl. Conf. on
Parallel and Distributed Computing and Systems (PDCS'2001), pages
396-401, Anaheim, CA, August 2001. ACTA Press.
[ bib ]
|
|
[25]
|
Carsten Sinz and Wolfgang Küchlin.
Dealing with temporal change in product documentation for
manufacturing.
In Configuration Workshop Proceedings, 17th International Joint
Conference on Artificial Intelligence (IJCAI-2001), pages 71-77, Seattle,
WA, August 2001.
[ bib ]
|
|
[26]
|
Gerd Nusser, Dieter Bühler, Gerhard Gruhler, and Wolfgang Küchlin.
Reality-driven visualization of automation systems via the Internet
based on Java and XML.
In Proc. 1st IFAC Conf. Telematics Applications in Automation
and Robotics, pages 407-412, Weingarten, Germany, July 2001. Elsevier
Science Ltd.
[ bib ]
|
|
[27]
|
Gerhard Gruhler, Wolfgang Küchlin, Dieter Bühler, and Gerd Nusser.
Internet-based lab assignments in Automation Engineering and
Computer Science.
In Proc. 1st Intl. Workshop on Tele-Education in Mechatronics
based on Virtual Laboratories (WS 2001), Weingarten, Germany, July 2001.
[ bib ]
|
|
[28]
|
Carsten Sinz, Wolfgang Blochinger, and Wolfgang Küchlin.
PaSAT - parallel SAT-checking with lemma exchange: Implementation
and applications.
In H. Kautz and B. Selman, editors, LICS'2001 Workshop on
Theory and Applications of Satisfiability Testing (SAT'2001), volume 9 of
Electronic Notes in Discrete Mathematics, Boston, MA, June 2001.
Elsevier Science Publishers.
[ bib ]
|
|
[29]
|
Dieter Bühler and Wolfgang Küchlin.
A flexible similarity assessment framework for XML documents based
on XQL and Java Reflection.
In Engineering of Intelligent Systems. Proc. 14th Intl. Conf. on Industrial and Engineering Applications of Artificial Intelligence and
Expert Systems (IEA/AIE 2001), volume 2070 of LNAI, pages 175-186,
Budapest, Hungary, June 2001. Springer-Verlag.
[ bib ]
|
|
[30]
|
Andreas Kaiser and Wolfgang Küchlin.
Detecting inadmissible and necessary variables in large propositional
formulae.
In Proc. Intl. Joint Conf. on Automated Reasoning: IJCAR 2001
- Short Papers, number 11/01 in Technical Report DII, pages 96-102, Siena,
Italy, June 2001. University of Siena.
[ bib ]
|
|
[31]
|
Andreas Kaiser and Wolfgang Küchlin.
Automotive product documentation.
In Engineering of Intelligent Systems. Proc. 14th Intl. Conf. on Industrial and Engineering Applications of Artificial Intelligence and
Expert Systems (IEA/AIE 2001), volume 2070 of LNAI, pages 465-475,
Budapest, Hungary, June 2001. Springer-Verlag.
[ bib ]
|
|
[32]
|
Carsten Sinz, Andreas Kaiser, and Wolfgang Küchlin.
Detection of inconsistencies in complex product model data using
extended propositional SAT-checking.
In I. Russell and J. Kolen, editors, Proc. 14th Intl. FLAIRS
Conf., pages 645-649, Key West, FL, May 2001. AAAI Press.
[ bib ]
|
|
[33]
|
Ralf-Dieter Schimkat, Michael Friedrich, and Wolfgang Küchlin.
Deploying distributed state information in mobile agents systems.
In Proc. 9th Intl. Conf. on Cooperative Information Systems
(CoopIS 2001), volume 2172 of LNCS, pages 80-94, Trento, Italy,
September 2001. Springer-Verlag.
[ bib ]
|
|
[34]
|
Dieter Bühler, Gerd Nusser, Wolfgang Küchlin, and Gerhard Gruhler.
The Java Fieldbus Control Framework-object oriented control
of fieldbus devices.
In Proc. 4th IEEE Intl. Symp. Object-Oriented Real-Time
Distributed Computing (ISORC'2001), pages 153-160, Magdeburg, Germany, May
2001. IEEE Computer Society Press.
[ bib ]
|
|
[35]
|
J. Denzinger, C. Sinz, J. Avenhaus, and W. Küchlin.
Teamwork-PaReDuX: Knowledge-based search with multiple parallel
agents applied to automated deduction, 2001.
(submitted).
[ bib ]
|
|
[36]
|
Wolfgang Küchlin and Carsten Sinz.
Proving consistency assertions for automotive product data
management.
In I. Gent, H. van Maaren, and T. Walsh, editors, SAT2000 -
Highlights of Satisfiability Research in the Year 2000, volume 63 of
Frontiers in Artificial Intelligence and Applications. IOS Press, 2000.
[ bib ]
|
|
[37]
|
Dieter Bühler and Wolfgang Küchlin.
Remote fieldbus system management with Java and XML.
In Proc. 2000 IEEE Intl. Symp. on Industrial Electronics
(ISIE'2000), pages 1-6, Puebla, Mexico, December 2000. IEEE.
[ bib ]
|
|
[38]
|
Ralf-Dieter Schimkat, Michael Häusser, Wolfgang Küchlin, and Rainer
Krautter.
Web application middleware to support XML-based monitoring in
distributed systems.
In N. Debnath, editor, Proc. 13th Intl. Conf. on Computers
and their Applications in Industry and Engineering (CAINE 2000), pages
203-207, Hawaii, USA, November 2000. International Society for Computers and
their Applications.
[ bib ]
|
|
[39]
|
Andreas Weber, Gabor Simon, Wolfgang Küchlin, and Jörg Hoss.
Lessons learned from using CORBA for components in scientific
computing.
In Victor G. Ganzha, Ernst W. Mayr, and Evgenii V. Vorozhtsov,
editors, Computer Algebra in Scientific Computing (CASC'2000), pages
409-422, Samarkand, Uzbekistan, October 2000. Springer-Verlag.
[ bib ]
|
|
[40]
|
Dieter Bühler, Corinne Chauvin, and Wolfgang Küchlin.
Plotting functions and singularities with Maple and Java on a
component-based Web architecture.
In Victor G. Ganzha, Ernst W. Mayr, and Evgenii V. Vorozhtsov,
editors, Computer Algebra in Scientific Computing (CASC'2000), pages
69-79, Samarkand, Uzbekistan, October 5-9 2000. Springer-Verlag.
[ bib ]
|
|
[41]
|
Ralf-Dieter Schimkat, Martin Schmidt-Dannert, Wolfgang Küchlin, and Rainer
Krautter.
Tempto-an object-oriented test framework and test management
infrastructure based on fine-grained XML-documents.
In Net.ObjectDays 2000, pages 274-287, Erfurt, Germany,
October 2000. Net.ObjectDays-Forum.
[ bib ]
|
|
[42]
|
Wolfgang Küchlin and Andreas Weber.
Einführung in die Informatik.
Springer-Verlag, October 2000.
[ bib ]
|
|
[43]
|
Carsten Sinz, Andreas Kaiser, and Wolfgang Küchlin.
SAT-based consistency checking of automotive electronic product
data.
In Configuration Workshop Proc., 14th European Conf. on
Artificial Intelligence (ECAI 2000), pages 74-78, Berlin, Germany, August
2000.
[ bib ]
|
|
[44]
|
Ralf-Dieter Schimkat, Wolfgang Blochinger, Carsten Sinz, Michael Friedrich, and
Wolfgang Küchlin.
A service-based agent framework for distributed Symbolic
Computation.
In M. Bubak, R. Williams, H. Afsarmanesh, and B. Hertzberger,
editors, Proc. 8th Intl. Conf. on High Performance Computing and
Networking Europe, HPCN 2000, volume 1823 of LNCS, pages 644-656,
Amsterdam, Netherlands, May 2000. Springer-Verlag.
[ bib ]
|
|
[45]
|
Dieter Bühler, Wolfgang Küchlin, Gerhard Gruhler, and Gerd Nusser.
The Virtual Automation Lab: Web based teaching of automation
engineering concepts.
In Proc. 7th IEEE Intl. Conf. and Workshop on Engineering of
Computer-Based Systems, pages 156-164, Edinburgh, Scotland, April 2000.
IEEE Computer Society Press.
[ bib ]
|
|
[46]
|
Ralf-Dieter Schimkat, Stefan Müller, Wolfgang Küchlin, and Rainer
Krautter.
A lightweight, message-oriented application server for the WWW.
In J. Carroll, E. Damiani, H. Haddad, and D. Oppenheim, editors,
Proc. SAC'2000: 15th ACM Symp. on Applied Computing, pages 934-941, Como,
Italy, March 2000. ACM Press.
[ bib ]
|
|
[47]
|
Reinhard Bündgen and Wolfgang Küchlin.
RISC verification with ReDuX: A rewrite based approach to
hardware verification, 2000.
(Formal Methods in Systems Design. Conditionally accepted.).
[ bib ]
|
|
[48]
|
Wolfgang Küchlin and Carsten Sinz.
Proving consistency assertions for automotive product data
management.
J. Automated Reasoning, 24(1-2):145-163, February 2000.
(Special issue: Satisfiability in the Year 2000).
[ bib ]
|
|
[49]
|
Gerhard Gruhler, Gerd Nusser, Dieter Bühler, and Wolfgang Küchlin.
Teleservice of CAN systems via Internet.
In Proc. 6th Intl. CAN Conf. (ICC 1999), Torino,
Italy, November 1999. CAN in Automation (CIA).
[ bib ]
|
|
[50]
|
Manfred Göbel, Wolfgang Küchlin, Stefan Müller, and Andreas Weber.
Extending a Java based framework for scientific software
components.
In Computer Algebra in Scientific Computing (CASC'99), pages
207-222, Munich, Germany, June 1999. Springer-Verlag.
[ bib ]
|
|
[51]
|
Dieter Bühler, Gerd Nusser, Gerhard Gruhler, and Wolfgang Küchlin.
A Java Client/Server system for accessing arbitrary CANopen
fieldbus devices via the Internet.
South African Computer J., (24):239-243, November 1999.
(Special Issue SAICSIT'99).
[ bib ]
|
|
[52]
|
Ralf-Dieter Schimkat, Wolfgang Küchlin, and Rainer Krautter.
An Object-oriented framework for rapid client-side integration of
information management systems.
South African Computer J., (24):244-248, November 1999.
(Special Issue SAICSIT'99).
[ bib ]
|
|
[53]
|
Andreas Weber and Wolfgang Küchlin.
A framework for internet accessible software components for
scientific computing.
In Internet Accessible Mathematical Computation, Vancouver,
Canada, July 1999.
http://symbolicnet.mcs.kent.edu/icm/research/iamc99proceedings.html.
[ bib ]
|
|
[54]
|
Wolfgang Blochinger, Wolfgang Küchlin, Christoph Ludwig, and Andreas Weber.
An object-oriented platform for distributed high-performance symbolic
computation.
Mathematics and Computers in Simulation, 49:161-178, 1999.
[ bib ]
|
|
[55]
|
Wolfgang Blochinger, Wolfgang Küchlin, and Andreas Weber.
The distributed object-oriented threads system DOTS.
In Fifth Intl. Symp. on Solving Irregularly Structured
Problems in Parallel (IRREGULAR '98), number 1457 in LNCS, pages 206-217,
Berkeley, CA, U.S.A., August 1998. Springer-Verlag.
[ bib ]
|
|
[56]
|
Alfons Geser and Wolfgang Küchlin.
Structured formal verification of a fragment of the IBM/390 clock
chip.
In Dieter Hutter, Werner Stephan, Paolo Traverso, and Markus Ullmann,
editors, Applied Formal Methods - FM-Trends 98, volume 1641 of
LNCS, pages 92-106. Springer-Verlag, 1999.
[ bib ]
|
|
[57]
|
Gerhard Gruhler, Wolfgang Küchlin, and Thomas Lumpp.
Accessing CAN-based Automation Systems via the Internet.
CAN Newsletter, 1:24-28, March 1998.
[ bib ]
|
|
[58]
|
Jörg Hoss, Wolfgang Küchlin, and Andreas Weber.
Wrapping computer-algebra-systems as software components-the
CORBA/ILU approach.
In Proceedings Sixth Rhine Workshop on Computer Algebra, St. Augustin, Germany, 1998.
[ bib ]
|
|
[59]
|
Gerhard Gruhler, Thomas Lumpp, and Wolfgang Küchlin.
Zugriffskonzepte auf CANopen-Geräte über
Internet/Intranet.
In VDI Berichte 1410 der VDI/VDE und CiA Fachtagung
CAN in der Automatisierungstechnik, pages 77-89, Mai 1998.
[ bib ]
|
|
[60]
|
Wolfgang Küchlin.
Parallel inference systems: Introduction.
In Wolfgang Bibel and Peter H. Schmitt, editors, Automated
Deduction-A Basis for Applications, Volume II: Systems and Implementation
Techniques, volume 9 of Applied Logic Series, pages 223-230. Kluwer
Academic Publishers, Dordrecht, Boston, London, 1998.
[ bib ]
|
|
[61]
|
Reinhard Bündgen, Manfred Göbel, Wolfgang Küchlin, and Andreas
Weber.
Parallel term rewriting with PaReDuX.
In Wolfgang Bibel and Peter H. Schmitt, editors, Automated
Deduction-A Basis for Applications, Volume II: Systems and Implementation
Techniques, volume 9 of Applied Logic Series, chapter 9, pages
231-260. Kluwer Academic Publishers, Dordrecht, Boston, London, 1998.
[ bib ]
|
|
[62]
|
Thomas Lumpp, Gerhard Gruhler, and Wolfgang Küchlin.
Virtual Java devices-integration of fieldbus based systems in the
Internet.
In Proc. 24th Ann. Conf. IEEE Industrial Electronics
Society (IECON'98), pages 176-181. IEEE, September 1998.
[ bib ]
|
|
[63]
|
A. Speck, G. Gruhler, and W. Küchlin.
Object-Oriented Robot Control Framework.
In Proceedings of IECON'98, pages 1663-1666, Aachen, Germany,
1998. IEEE.
[ bib ]
|
|
[64]
|
Andreas Weber, Wolfgang Küchlin, and Bernhard Eggers.
Parallel computer algebra software as a web component.
Concurrency: Practice and Experience, 10(11-13):1179-1188,
1998.
[ bib ]
|
|
[65]
|
Andreas Weber, Wolfgang Küchlin, Bernhard Eggers, and Volker Simonis.
A parallel Gröbner solver as a Web component.
In N. N. Vassiliev, editor, Computer Algebra in Scientific
Computing (CASC-98)-Extended Abstracts, page 133, St. Petersburg, Russia,
April 1998.
[ bib ]
|
|
[66]
|
Andreas Weber, Wolfgang Küchlin, Bernhard Eggers, and Volker Simonis.
Parallel computer algebra software as a web component.
In Siamak Hassanzadeh and Klaus Schauser, editors, ACM 1998
Workshop on Java for High-Performance Network Computing, pages 261-264,
Palo Alto, CA, U.S.A., March 1998. Association for Computing Machinery.
http://[2]www.cs.ucsb.edu/[2]conferences/[2]java98.
[ bib ]
|
|
[67]
|
Andreas Weber, Wolfgang Küchlin, and Jörg Hoss.
Connecting and reusing computer algebra software via CORBA-a case
study.
Unpublished manuscript presented at 1998 Dagstuhl Seminar on Generic
Software. Extended version published in Proc. CASC-2000.
[ bib ]
|
|
[68]
|
Beatrice Amrhein, Reinhard Bündgen, and Wolfgang Küchlin.
Parallel completion techniques.
In Manuel Bronstein, Johannes Grabmeier, and Volker Weispfenning,
editors, Symbolic Rewriting Techniques, volume 15 of Progress in
Computer Science and Applied Logic, pages 1-34, Basel, Boston, Berlin,
1998. Birkhäuser.
(Proc. 1995 Workshop on Symbolic Rewriting Techniques, Monte
Verità, Ascona, Switzerland).
[ bib ]
|
|
[69]
|
Beatrice Amrhein, Oliver Gloor, and Wolfgang Küchlin.
On the Walk.
Theoretical Computer Science, 187(187):179-202, 1997.
[ bib ]
|
|
[70]
|
Beatrice Amrhein, Oliver Gloor, Wolfgang Küchlin, Christoph Richard, and
Manfred Wolff.
Analysis Alive-an integrated learning environment for higher
mathematics.
In Bob Gilbert, editor, Proc. ISAAC'97. Kluwer Academic
Publishers, 1997.
[ bib ]
|
|
[71]
|
Jörg Hoss, Wolfgang Küchlin, and Andreas Weber.
Wrapping computer-algebra-systems as software components-the
CORBA/ILU approach.
In Proceedings Sixth Rhine Workshop on Computer Algebra, 1998.
[ bib ]
|
|
[72]
|
Wolfgang Küchlin, Gerhard Gruhler, Thomas Lumpp, and Andreas Speck.
HighRobot: A high-performance universal robot control on
parallel workstations.
In Proc. 1997 IEEE Symp. and Workshop on Engineering of
Computer-Based Systems, pages 444-451, Monterey, CA, March 1997. IEEE
Computer Society Press.
[ bib ]
|
|
[73]
|
Wolfgang Küchlin, Gerhard Gruhler, Thomas Lumpp, Andreas Speck, and Axel
Rupp.
HighRobot: Telerobotics in the Internet.
In ETFA'97-IEEE 6th Intl. Conf. on Emerging Technologies and
Factory Automation Proceedings, pages 115-120, Los Angeles, CA, Sept. 9-12 1997. IEEE Press.
[ bib ]
|
|
[74]
|
Wolfgang Küchlin, Gerhard Gruhler, Andreas Speck, and Thomas Lumpp.
HighRobot: Distributed object-oriented real-time systems.
In D. Tavangarian, editor, Architektur von Rechensystemen
(ARCS'97), pages 95-104, Rostock, Germany, September 1997. VDE Verlag.
(Proc. 14th ITG/GI Conf. Architecture of Computer Systems).
[ bib ]
|
|
[75]
|
Beatrice Amrhein, Oliver Gloor, and Wolfgang Küchlin.
Experiments with the Gröbner Walk.
Technical Report WSI-96-15, W.-Schickard-Institut für
Informatik, Universität Tübingen, 1996.
[ bib ]
|
|
[76]
|
Beatrice Amrhein, Oliver Gloor, and Wolfgang Küchlin.
Walking faster.
In Jacques Calmet and Carla Limongelli, editors, Design and
Implementation of Symbolic Computation Systems, volume 1128 of LNCS,
pages 150-161, Karlsruhe, Germany, September 1996. Springer-Verlag.
[ bib ]
|
|
[77]
|
Beatrice Amrhein, Oliver Gloor, and Wolfgang Küchlin.
How fast does the Walk run?
In A. Carrière and L. R. Oudin, editors, 5th Rhine Workshop
on Computer Algebra, pages 8.1-8.9, Saint-Louis, France, April 1996. ISL.
[ bib ]
|
|
[78]
|
Beatrice Amrhein, Oliver Gloor, and Wolfgang Küchlin.
A case study of multi-threaded Gröbner basis completion.
pages 95-102, 1996.
[ bib ]
|
|
[79]
|
Reinhard Bündgen, Manfred Göbel, and Wolfgang Küchlin.
A master-slave approach to parallel term rewriting on a hierarchical
multiprocessor.
In Jacques Calmet and Carla Limongelli, editors, Design and
Implementation of Symbolic Computation Systems, volume 1128 of LNCS,
pages 183-194, Karlsruhe, Germany, September 1996. Springer-Verlag.
[ bib ]
|
|
[80]
|
Reinhard Bündgen, Manfred Göbel, and Wolfgang Küchlin.
Strategy compliant multi-threaded term completion.
J. Symbolic Computation, 21(4-6):475-505, 1996.
[ bib ]
|
|
[81]
|
Reinhard Bündgen, Wolfgang Küchlin, and Werner Lauterbach.
Verification of the Sparrow processor.
In Proc. 1996 IEEE Symp. and Workshop on Engineering of
Computer-Based Systems, pages 86-93, Friedrichshafen, Germany, March 1996.
IEEE Computer Society Press.
[ bib ]
|
|
[82]
|
Tilmann Bubeck, Martin Hiller, Wolfgang Küchlin, and Wolfgang Rosenstiel.
Distributed symbolic computation with DTS.
In Afonso Ferreira and José Rolim, editors, Parallel
Algorithms for Irregularly Structured Problems, 2nd Intl. Workshop,
IRREGULAR'95, volume 980 of LNCS, pages 231-248, Lyon, France,
September 1995.
[ bib ]
|
|
[83]
|
Tilmann Bubeck, Wolfgang Küchlin, and Wolfgang Rosenstiel.
Symmetric distributed computing with dynamic load balancing and fault
tolerance.
pages 325-328, 1995.
[ bib ]
|
|
[84]
|
Reinhard Bündgen, Manfred Göbel, and Wolfgang Küchlin.
Parallel ReDuX -> PaReDuX.
pages 408-413, 1995.
[ bib ]
|
|
[85]
|
Reinhard Bündgen and Wolfgang Küchlin.
Term rewriting as a tool for hardware and software design.
In J. Rozenblit and K. Buchenrieder, editors, Codesign:
Computer-Aided Software / Hardware Engineering, chapter 1, pages 19-40.
IEEE Press, 1995.
(Proc. 1992 IFIP Hardware Software Codesign Workshop, Grassau,
Germany, May 1992).
[ bib ]
|
|
[86]
|
Wolfgang Küchlin and Beatrice Amrhein.
Parallel computer algebra on the desk-top.
In Electronic Proc. IMACS'95, Albuquerque, NM, 1995.
http://math.unm.edu/ACA/1995/Proceedings.
[ bib ]
|
|
[87]
|
Wolfgang W. Küchlin.
PARSAC-2: Parallel computer algebra on the desk-top.
In Fleischer et al. [88], pages 24-43.
Proc. of a ZiF workshop, Bielefeld, Germany, Aug. 28-31, 1994.
[ bib ]
|
|
[88]
|
J. Fleischer, J. Grabmeier, F. Hehl, and W. Küchlin, editors.
Computer Algebra in Science and Engineering, Singapore, 1995.
World Scientific.
Proc. of a ZiF workshop, Bielefeld, Germany, Aug. 28-31, 1994.
[ bib ]
|
|
[89]
|
Reinhard Bündgen, Manfred Göbel, and Wolfgang Küchlin.
Parallele Knuth-Bendix Vervollständigung.
In W. Bibel, editor, Beiträge zum DFG-Kolloquium im Rahmen des
Schwerpunktprogramms ``Deduktion'', 1994.
[ bib ]
|
|
[90]
|
Reinhard Bündgen, Manfred Göbel, and Wolfgang Küchlin.
Multi-threaded AC term rewriting.
pages 84-93.
[ bib ]
|
|
[91]
|
Reinhard Bündgen, Manfred Göbel, and Wolfgang Küchlin.
Experiments with multi-threaded Knuth-Bendix completion.
Technical Report 94-05, Wilhelm-Schickard-Institut, Universität
Tübingen, D-72076 Tübingen, 1994.
[ bib ]
|
|
[92]
|
Reinhard Bündgen, Manfred Göbel, and Wolfgang Küchlin.
A fine-grained parallel completion procedure.
pages 269-277, 1994.
[ bib ]
|
|
[93]
|
Reinhard Bündgen and Wolfgang Küchlin.
Term rewriting as a tool for hardware and software design.
In J. Rozenblit and K. Buchenrieder, editors, Codesign:
Computer-Aided Software / Hardware Engineering, chapter 1, pages 19-40.
IEEE Press, 1995.
(Proc. 1992 IFIP Hardware Software Codesign Workshop, Grassau,
Germany, May 1992).
[ bib ]
|
|
[94]
|
Wolfgang W. Küchlin and Jeffrey A. Ward.
Experiments with virtual C Threads.
In Proc. Fourth IEEE Symp. on Parallel and Distributed
Processing, pages 50-55, Dallas, TX, December 1992. IEEE Press.
[ bib ]
|
|
[95]
|
Wolfgang W. Küchlin.
On the multi-threaded computation of modular polynomial greatest
common divisors.
pages 369-384.
[ bib ]
|
|
[96]
|
Wolfgang W. Küchlin.
A space-efficient parallel garbage compaction algorithm.
In Proc. Fifth ACM International Conference on Supercomputing,
pages 40-46, Cologne, Germany, June 1991. ACM Press.
[ bib ]
|
|
[97]
|
Wolfgang W. Küchlin.
On the multi-threaded computation of integral polynomial greatest
common divisors.
In Proc. 1991 Internatl. Symp. on Symbolic and Algebraic
Computation: ISSAC'91, pages 333-342.
(Also OSU-CISRC-1/91-TR2).
[ bib ]
|
|
[98]
|
Wolfgang W. Küchlin, David Lutz, and Nicholas J. Nevin.
Integer multiplication in PARSAC-2 on stock microprocessors.
In Applied Algebra, Algebraic Algorithms, and Error-Correcting
Codes: 9th International Symposium, AAECC-9, pages 206-217, 1991.
[ bib ]
|
|
[99]
|
Wolfgang W. Küchlin and Nicholas J. Nevin.
On multi-threaded list-processing and garbage collection.
In Proc. Third IEEE Symp. on Parallel and Distributed
Processing, pages 894-897, Dallas, TX, December 1991. IEEE Press.
[ bib ]
|
|
[100]
|
Wolfgang W. Küchlin and Nicholas J. Nevin.
Parallel garbage collection in the S-threads environment.
In Proc. Second Annual OSU Workshop on Parallel Computing,
Columbus, OH, March 1991. CIS Department, Ohio State University.
(To appear).
[ bib ]
|
|
[101]
|
Wolfgang W. Küchlin and Nicholas J. Nevin.
On multi-threaded list-processing and garbage collection.
Technical Report OSU-CISRC-3/91-TR11, Computer and Information
Science Research Center, The Ohio State University, Columbus, OH 43210-1277,
March 1991.
[ bib ]
|
|
[102]
|
George E. Collins, Jeremy Johnson, and Wolfgang Kuechlin.
PARSAC-2: A multi-threaded system for Symbolic and Algebraic
Computation.
Technical Report OSU-CISRC-12/90-TR38, Computer and Information
Science Research Center, The Ohio State University, Columbus, OH 43210-1277,
December 1990.
[ bib ]
|
|
[103]
|
George E. Collins, Jeremy Johnson, and Wolfgang Kuechlin.
Parallel real root isolation using the coefficient sign variation
method.
In Richard Zippel, editor, Computer Algebra and Parallelism,
volume 584 of LNCS, pages 71-88, Ithaca, NY, March 1992.
Springer-Verlag.
(Proc. CAP'90, Ithaca, NY, May 1990).
[ bib ]
|
|
[104]
|
Wolfgang W. Küchlin.
A space-efficient parallel garbage compaction algorithm, November
1990.
(To appear in Proc. Fifth ACM International Conference on
Supercomputing, Cologne, Germany, June 1991.).
[ bib ]
|
|
[105]
|
Wolfgang W. Küchlin.
The S-threads environment for parallel symbolic computation.
In Richard Zippel, editor, Computer Algebra and Parallelism,
volume 584 of LNCS, pages 1-18, Ithaca, NY, March 1992.
Springer-Verlag.
(Proc. CAP'90, Ithaca, NY, May 1990).
[ bib ]
|
|
[106]
|
Wolfgang W. Küchlin.
PARSAC-2: A parallel SAC-2 based on threads.
In Applied Algebra, Algebraic Algorithms, and Error-Correcting
Codes: 8th International Conference, AAECC-8, pages 341-353, 1990.
[ bib ]
|
|
[107]
|
Reinhard Bündgen and Wolfgang Küchlin.
Computing ground reducibility and inductively complete positions.
In Rewriting Techniques and Applications, pages 59-75.
[ bib ]
|
|
[108]
|
Wolfgang Küchlin.
Inductive completion by ground proof transformation.
chapter 7, pages 211-244.
[ bib ]
|
|
[109]
|
Wolfgang Küchlin.
A confluence criterion based on the generalised Newman Lemma.
pages 390-399, 1985.
[ bib ]
|
|
[110]
|
Wolfgang Küchlin.
Some reduction strategies for algebraic term rewriting.
ACM SIGSAM Bull., 16(4):13-23, November 1982.
[ bib ]
|
|
[111]
|
Wolfgang Küchlin.
A theorem-proving approach to the Knuth-Bendix completion
algorithm.
pages 101-108, 1982.
[ bib ]
|
|
