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 |