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 |