dblp.uni-trier.de Peter Raulefs Online Version of this page: ACM SIGMOD -VLDB Endowment - Uni Trier ________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________ Query the "Home Page Search" Engine 1994 19 Peter Raulefs: The Virtual Factory. IFIP Congress (2) 1994: 18-30 1989 18 Peter Raulefs: Computational Architectures for Computer-Integrated Engineering and Manufacturing: An Artificial Intelligence Perspective. GWAI 1989: 455-471 17 Rajendra T. Dodhiawala, N. S. Sridharan, Peter Raulefs, Cynthia Pickering: Real-Time AI Systems: A Definition and An Architecture. IJCAI 1989: 256-264 1987 16 Peter Raulefs: A Representation Framework for Continuous Dynamic Systems. IJCAI 1987: 466-471 15 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): 80-93 (1987) 1982 14 Peter Raulefs: Methoden der künstlichen Intelligenz: Übersicht und Anwendungen in Expertensystemen. GI Jahrestagung 1982: 170-187 13 Peter Raulefs: Expertensysteme. KIFS 1982: 61-98 12 Peter Raulefs: Knowledge Engineering - Das aktuelle Schlagwort. Informatik Spektrum 5(1): 50-51 (1982) 1981 11 Günter Hornung, Peter Raulefs: Initial and Terminal Algebra Semantics of Parameterized Abstract Data Type Specifications With Inequalities. CAAP 1981: 224-237 10 Ulrich Bartels, Walter G. Olthoff, Peter Raulefs: APE: An Expert System for Automatic Programming from Abstract Specifications of Data Types and Algorithms. IJCAI 1981: 1037-1043 1980 9 H. Eigemeier, Christoph Knabe, Peter Raulefs, K. Tramer: An Expert System for Automatic Codeing of Abstract Data Type Specifications. GI Jahrestagung 1980: 431-441 8 Günter Hornung, Peter Raulefs: Terminal Algebra Semantics and Retractions for Abstract Data Types. ICALP 1980: 310-323 7 Peter Raulefs: Denotationale Semantik von Programmiersprachen - Das aktuelle Schlagwort. Informatik Spektrum 3(4): 261-262 (1980) 1978 6 Christoph F. Eick, Peter Raulefs: Problem Solving by Hyper Planning. AISB/GI (ECAI) 1978: 103-104 5 H. P. Böhm, H. L. Fischer, Peter Raulefs: Dialogues in Actor Nets. AISB/GI (ECAI) 1978: 33-34 1977 4 Peter Raulefs: Semantics and Proof Rules for Coroutine Hierarchies in Block-Structured Programming Languages. MFCS 1977: 451-459 1975 3 Peter Raulefs: On Evaluating Recursion. GI Jahrestagung 1975: 680-690 1974 2 Peter Raulefs: The D-Calculus: A System to Describe the Semantics of Programs Involving Complex Data Types (Summary). GI Jahrestagung 1974: 140-152 1 Werner Dilger, Peter Raulefs: Monadic Program Schemes Under Restricted Classes of Free Interpretations. ICALP 1974: 547-561 ________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________________ DBLP: [Home | Search: Author, Title | Conferences | Journals] Michael Ley (ley@uni-trier.de) Thu Jan 17 08:20:43 2002