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