| 2006 | IDEAL | Combining Unsupervised and Supervised Approaches to Feature Selection for Multivariate Signal Compression. | Victor Eruhimov, Vladimir Martyanov, Peter Raulefs, Eugene Tuv |
| 1991 | WI | Cooperating Agent Architectures to Manage Manufacturing Processes. | Peter Raulefs |
| 1989 | IJCAI | Real-Time AI Systems: A Definition and An Architecture. | Rajendra T. Dodhiawala, N. S. Sridharan, Peter Raulefs, Cynthia Pickering |
| 1989 | KI | Computational Architectures for Computer-Integrated Engineering and Manufacturing: An Artificial Intelligence Perspective. | Peter Raulefs |
| 1987 | IJCAI | A Representation Framework for Continuous Dynamic Systems. | Peter Raulefs |
| 1982 | GI | Methoden der knstlichen Intelligenz: bersicht und Anwendungen in Expertensystemen. | Peter Raulefs |
| 1982 | KI | Der META-Beweiser fr die Zahlentheorie. | W. Benda, Gnter Hornung, Peter Raulefs, F. Vollmann |
| 1982 | KI | Expertensysteme. | Peter Raulefs |
| 1981 | IJCAI | APE: An Expert System for Automatic Programming from Abstract Specifications of Data Types and Algorithms. | Ulrich Bartels, Walter G. Olthoff, Peter Raulefs |
| 1981 | KI | An Expert System for Implementing Abstract Sorting Algorithms on Parameterized Abstract Data Types. | Ulrich Bartels, Walter G. Olthoff, Peter Raulefs |
| 1981 | KI | Expert Systems: State of the Art and Future Prospects. | Peter Raulefs |
| 1981 | KI | A Concurrent Chart Parser. | Peter Raulefs, Hans Siebenbach |
| 1980 | GI | An Expert System for Automatic Codeing of Abstract Data Type Specifications. | H. Eigemeier, Christoph Knabe, Peter Raulefs, K. Tramer |
| 1980 | ICALP | Terminal Algebra Semantics and Retractions for Abstract Data Types. | Gnter Hornung, Peter Raulefs |
| 1978 | ECAI | Dialogues in Actor Nets. | H. P. Bhm, Hans Ludwig Fischer, Peter Raulefs |
| 1978 | ECAI | Problem Solving by Hyper Planning. | Christoph F. Eick, Peter Raulefs |
| 1977 | IJCAI | Unification of Idempotent Functions. | Stefan Khner, Chris Mathis, Peter Raulefs, Jrg H. Siekmann |
| 1977 | MFCS | Semantics and Proof Rules for Coroutine Hierarchies in Block-Structured Programming Languages. | Peter Raulefs |
| 1975 | GI | On Evaluating Recursion. | Peter Raulefs |
| 1974 | GI | The D-Calculus: A System to Describe the Semantics of Programs Involving Complex Data Types (Summary). | Peter Raulefs |
| 1974 | ICALP | Monadic Program Schemes Under Restricted Classes of Free Interpretations. | Werner Dilger, Peter Raulefs |