| 2006 |
|---|
| 29 | EE | Victor 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 |
|---|
| 17 | | Gü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 |
| 10 | | Gü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 |
| 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 |
