Peter Raulefs

Publication Activity (10 Years)

Years Active: 1974-2006
Publications (10 Years): 0

Publications

Victor Eruhimov, Vladimir Martyanov, Peter Raulefs, Eugene Tuv
Combining Unsupervised and Supervised Approaches to Feature Selection for Multivariate Signal Compression. IDEAL (2006)
Victor Eruhimov, Vladimir Martyanov, Peter Raulefs, Eugene Tuv
Supervised compression of multivariate time series data. EUSIPCO (2006)
Peter Raulefs
Technologische Entwicklungsrichtungen in Intellektik und Mikro/Nanokomponentenindustrie. Künstliche Intell. 16 (1) (2002)
Peter Raulefs
The Virtual Factory. IFIP Congress (2) (1994)
Peter Raulefs
Cooperating Agent Architectures to Manage Manufacturing Processes. Wissensbasierte Systeme (1991)
Peter Raulefs
Computational Architectures for Computer-Integrated Engineering and Manufacturing: An Artificial Intelligence Perspective. GWAI (1989)
Rajendra T. Dodhiawala, N. S. Sridharan, Peter Raulefs, Cynthia Pickering
Real-Time AI Systems: A Definition and An Architecture. IJCAI (1989)
Peter Raulefs
A Representation Framework for Continuous Dynamic Systems. IJCAI (1987)
Bruce D'Ambrosio, Michael R. Fehling, Stephanie Forrest, Peter Raulefs, B. Michael Wilber
Real-Time Process Management for Materials Composition in Chemical Manufacturing. IEEE Expert 2 (2) (1987)
Peter Raulefs
Knowledge Engineering - Das aktuelle Schlagwort. Inform. Spektrum 5 (1) (1982)
W. Benda, Günter Hornung, Peter Raulefs, F. Vollmann
Der META-Beweiser für die Zahlentheorie. GWAI (1982)
Peter Raulefs
Methoden der künstlichen Intelligenz: Übersicht und Anwendungen in Expertensystemen. GI Jahrestagung (1982)
Peter Raulefs
Expertensysteme. KIFS (1982)
Peter Raulefs, Hans Siebenbach
A Concurrent Chart Parser. GWAI (1981)
Ulrich Bartels, Walter G. Olthoff, Peter Raulefs
An Expert System for Implementing Abstract Sorting Algorithms on Parameterized Abstract Data Types. GWAI (1981)
Peter Raulefs
Expert Systems: State of the Art and Future Prospects. GWAI (1981)
Ulrich Bartels, Walter G. Olthoff, Peter Raulefs
APE: An Expert System for Automatic Programming from Abstract Specifications of Data Types and Algorithms. IJCAI (1981)
Günter Hornung, Peter Raulefs
Initial and Terminal Algebra Semantics of Parameterized Abstract Data Type Specifications With Inequalities. CAAP (1981)
Günter Hornung, Peter Raulefs
Terminal Algebra Semantics and Retractions for Abstract Data Types. ICALP (1980)
H. Eigemeier, Christoph Knabe, Peter Raulefs, K. Tramer
An Expert System for Automatic Codeing of Abstract Data Type Specifications. GI Jahrestagung (1980)
Hans Ludwig Fischer, Peter Raulefs
Design Rationale for the Interactive Programming Language CSSA for Asynchronous Multiprocessor Systems Fachtagung über Programmiersprachen (1980)
Peter Raulefs
Denotationale Semantik von Programmiersprachen - Das aktuelle Schlagwort. Inform. Spektrum 3 (4) (1980)
Peter Raulefs, Jörg H. Siekmann, Peter Szabó, E. Unvericht
A short survey on the state of the art in matching and unification problems. SIGSAM Bull. 13 (2) (1979)
Christoph F. Eick, Peter Raulefs
Problem Solving by Hyper Planning. AISB/GI (ECAI) (1978)
H. P. Böhm, Hans Ludwig Fischer, Peter Raulefs
Dialogues in Actor Nets. AISB/GI (ECAI) (1978)
Peter Raulefs
The connection between axiomatic and denotational semantics of programming languages. Fachtagung über Programmiersprachen (1978)
H. P. Böhm, Hans Ludwig Fischer, Peter Raulefs
CSSA: Language concepts and programming methodology. Artificial Intelligence and Programming Languages (1977)
Peter Raulefs
Semantics and Proof Rules for Coroutine Hierarchies in Block-Structured Programming Languages. MFCS (1977)
Stefan Kühner, Chris Mathis, Peter Raulefs, Jörg H. Siekmann
Unification of Idempotent Functions. IJCAI (1977)
Peter Raulefs
On Evaluating Recursion. GI Jahrestagung (1975)
Peter Raulefs
The D-Calculus: A System to Describe the Semantics of Programs Involving Complex Data Types (Summary). GI Jahrestagung (1974)
Werner Dilger, Peter Raulefs
Monadic Program Schemes Under Restricted Classes of Free Interpretations. ICALP (1974)