dblp.uni-trier.dewww.uni-trier.de

Peter Raulefs Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2006
29EEVictor Eruhimov, Vladimir Martyanov, Peter Raulefs, Eugene Tuv: Combining Unsupervised and Supervised Approaches to Feature Selection for Multivariate Signal Compression. IDEAL 2006: 480-487
2002
28 Peter Raulefs: Technologische Entwicklungsrichtungen in Intellektik und Mikro/Nanokomponentenindustrie. KI 16(1): 56-57 (2002)
1994
27 Peter Raulefs: The Virtual Factory. IFIP Congress (2) 1994: 18-30
1991
26 Peter Raulefs: Cooperating Agent Architectures to Manage Manufacturing Processes. Wissensbasierte Systeme 1991: 6-17
1989
25 Peter Raulefs: Computational Architectures for Computer-Integrated Engineering and Manufacturing: An Artificial Intelligence Perspective. GWAI 1989: 455-471
24 Rajendra T. Dodhiawala, N. S. Sridharan, Peter Raulefs, Cynthia Pickering: Real-Time AI Systems: A Definition and An Architecture. IJCAI 1989: 256-264
1987
23 Peter Raulefs: A Representation Framework for Continuous Dynamic Systems. IJCAI 1987: 466-471
22 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
21 Peter Raulefs: Methoden der künstlichen Intelligenz: Übersicht und Anwendungen in Expertensystemen. GI Jahrestagung 1982: 170-187
20 W. Benda, Günter Hornung, Peter Raulefs, F. Vollmann: Der META-Beweiser für die Zahlentheorie. GWAI 1982: 142-153
19 Peter Raulefs: Expertensysteme. KIFS 1982: 61-98
18 Peter Raulefs: Knowledge Engineering - Das aktuelle Schlagwort. Informatik Spektrum 5(1): 50-51 (1982)
1981
17EEGünter Hornung, Peter Raulefs: Initial and Terminal Algebra Semantics of Parameterized Abstract Data Type Specifications With Inequalities. CAAP 1981: 224-237
16 Ulrich Bartels, Walter G. Olthoff, Peter Raulefs: An Expert System for Implementing Abstract Sorting Algorithms on Parameterized Abstract Data Types. GWAI 1981: 112-123
15 Peter Raulefs, Hans Siebenbach: A Concurrent Chart Parser. GWAI 1981: 156-159
14 Peter Raulefs: Expert Systems: State of the Art and Future Prospects. GWAI 1981: 98-111
13 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
12 Hans Ludwig Fischer, Peter Raulefs: Design Rationale for the Interactive Programming Language CSSA. Fachtagung über Programmiersprachen 1980: 111-124
11 H. Eigemeier, Christoph Knabe, Peter Raulefs, K. Tramer: An Expert System for Automatic Codeing of Abstract Data Type Specifications. GI Jahrestagung 1980: 431-441
10EEGünter Hornung, Peter Raulefs: Terminal Algebra Semantics and Retractions for Abstract Data Types. ICALP 1980: 310-323
9 Peter Raulefs: Denotationale Semantik von Programmiersprachen - Das aktuelle Schlagwort. Informatik Spektrum 3(4): 261-262 (1980)
1978
8 Christoph F. Eick, Peter Raulefs: Problem Solving by Hyper Planning. AISB/GI (ECAI) 1978: 103-104
7 H. P. Böhm, Hans Ludwig Fischer, Peter Raulefs: Dialogues in Actor Nets. AISB/GI (ECAI) 1978: 33-34
6 Peter Raulefs: The connection between axiomatic and denotational semantics of programming languages. Fachtagung über Programmiersprachen 1978: 169-177
1977
5 Stefan Kühner, Chris Mathis, Peter Raulefs, Jörg H. Siekmann: Unification of Idempotent Functions. IJCAI 1977: 528
4EEPeter 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
1EEWerner Dilger, Peter Raulefs: Monadic Program Schemes Under Restricted Classes of Free Interpretations. ICALP 1974: 547-561

Coauthor Index

1Ulrich Bartels [13] [16]
2W. Benda [20]
3H. P. Böhm [7]
4Bruce D'Ambrosio [22]
5Werner Dilger [1]
6Rajendra T. Dodhiawala [24]
7Christoph F. Eick [8]
8H. Eigemeier [11]
9Victor Eruhimov [29]
10Michael R. Fehling [22]
11Hans Ludwig Fischer [7] [12]
12Stephanie Forrest [22]
13Günter Hornung [10] [17] [20]
14Christoph Knabe [11]
15Stefan Kühner [5]
16Vladimir Martyanov [29]
17Chris Mathis [5]
18Walter G. Olthoff [13] [16]
19Cynthia Pickering [24]
20Hans Siebenbach [15]
21Jörg H. Siekmann [5]
22N. S. Sridharan [24]
23K. Tramer [11]
24Eugene Tuv [29]
25F. Vollmann [20]
26B. Michael Wilber [22]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)