Peter Raulefs Coauthor index pubzone.org

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

DBLP keys2006
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVictor Eruhimov, Vladimir Martyanov, Peter Raulefs, Eugene Tuv: Combining Unsupervised and Supervised Approaches to Feature Selection for Multivariate Signal Compression. IDEAL 2006: 480-487
2002
28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Raulefs: Technologische Entwicklungsrichtungen in Intellektik und Mikro/Nanokomponentenindustrie. KI 16(1): 56-57 (2002)
1994
27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Raulefs: The Virtual Factory. IFIP Congress (2) 1994: 18-30
1991
26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Raulefs: Cooperating Agent Architectures to Manage Manufacturing Processes. Wissensbasierte Systeme 1991: 6-17
1989
25no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Raulefs: Computational Architectures for Computer-Integrated Engineering and Manufacturing: An Artificial Intelligence Perspective. GWAI 1989: 455-471
24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRajendra T. Dodhiawala, N. S. Sridharan, Peter Raulefs, Cynthia Pickering: Real-Time AI Systems: A Definition and An Architecture. IJCAI 1989: 256-264
1987
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Raulefs: A Representation Framework for Continuous Dynamic Systems. IJCAI 1987: 466-471
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBruce 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
21no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Raulefs: Methoden der künstlichen Intelligenz: Übersicht und Anwendungen in Expertensystemen. GI Jahrestagung 1982: 170-187
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLW. Benda, Günter Hornung, Peter Raulefs, F. Vollmann: Der META-Beweiser für die Zahlentheorie. GWAI 1982: 142-153
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Raulefs: Expertensysteme. KIFS 1982: 61-98
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Raulefs: Knowledge Engineering - Das aktuelle Schlagwort. Informatik Spektrum 5(1): 50-51 (1982)
1981
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGünter Hornung, Peter Raulefs: Initial and Terminal Algebra Semantics of Parameterized Abstract Data Type Specifications With Inequalities. CAAP 1981: 224-237
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUlrich Bartels, Walter G. Olthoff, Peter Raulefs: An Expert System for Implementing Abstract Sorting Algorithms on Parameterized Abstract Data Types. GWAI 1981: 112-123
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Raulefs, Hans Siebenbach: A Concurrent Chart Parser. GWAI 1981: 156-159
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Raulefs: Expert Systems: State of the Art and Future Prospects. GWAI 1981: 98-111
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUlrich 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
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHans Ludwig Fischer, Peter Raulefs: Design Rationale for the Interactive Programming Language CSSA. Fachtagung über Programmiersprachen 1980: 111-124
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLH. Eigemeier, Christoph Knabe, Peter Raulefs, K. Tramer: An Expert System for Automatic Codeing of Abstract Data Type Specifications. GI Jahrestagung 1980: 431-441
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGünter Hornung, Peter Raulefs: Terminal Algebra Semantics and Retractions for Abstract Data Types. ICALP 1980: 310-323
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Raulefs: Denotationale Semantik von Programmiersprachen - Das aktuelle Schlagwort. Informatik Spektrum 3(4): 261-262 (1980)
1978
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristoph F. Eick, Peter Raulefs: Problem Solving by Hyper Planning. AISB/GI (ECAI) 1978: 103-104
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLH. P. Böhm, Hans Ludwig Fischer, Peter Raulefs: Dialogues in Actor Nets. AISB/GI (ECAI) 1978: 33-34
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Raulefs: The connection between axiomatic and denotational semantics of programming languages. Fachtagung über Programmiersprachen 1978: 169-177
1977
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Kühner, Chris Mathis, Peter Raulefs, Jörg H. Siekmann: Unification of Idempotent Functions. IJCAI 1977: 528
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Raulefs: Semantics and Proof Rules for Coroutine Hierarchies in Block-Structured Programming Languages. MFCS 1977: 451-459
1975
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Raulefs: On Evaluating Recursion. GI Jahrestagung 1975: 680-690
1974
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeter Raulefs: The D-Calculus: A System to Describe the Semantics of Programs Involving Complex Data Types (Summary). GI Jahrestagung 1974: 140-152
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWerner 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

Last update Sat May 26 02:31:23 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page