default search action
Peter Raulefs
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2000 – 2009
- 2006
- [c27]Victor Eruhimov, Vladimir Martyanov, Peter Raulefs, Eugene Tuv:
Supervised compression of multivariate time series data. EUSIPCO 2006: 1-5 - [c26]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
- [j5]Peter Raulefs:
Technologische Entwicklungsrichtungen in Intellektik und Mikro/Nanokomponentenindustrie. Künstliche Intell. 16(1): 56-57 (2002)
1990 – 1999
- 1994
- [c25]Peter Raulefs:
The Virtual Factory. IFIP Congress (2) 1994: 18-30 - 1991
- [c24]Peter Raulefs:
Cooperating Agent Architectures to Manage Manufacturing Processes. Wissensbasierte Systeme 1991: 6-17
1980 – 1989
- 1989
- [c23]Rajendra T. Dodhiawala, N. S. Sridharan, Peter Raulefs, Cynthia Pickering:
Real-Time AI Systems: A Definition and An Architecture. IJCAI 1989: 256-264 - [c22]Peter Raulefs:
Computational Architectures for Computer-Integrated Engineering and Manufacturing: An Artificial Intelligence Perspective. GWAI 1989: 455-471 - 1987
- [j4]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) - [c21]Peter Raulefs:
A Representation Framework for Continuous Dynamic Systems. IJCAI 1987: 466-471 - 1982
- [j3]Peter Raulefs:
Knowledge Engineering - Das aktuelle Schlagwort. Inform. Spektrum 5(1): 50-51 (1982) - [c20]Peter Raulefs:
Methoden der künstlichen Intelligenz: Übersicht und Anwendungen in Expertensystemen. GI Jahrestagung 1982: 170-187 - [c19]Peter Raulefs:
Expertensysteme. KIFS 1982: 61-98 - [c18]W. Benda, Günter Hornung, Peter Raulefs, F. Vollmann:
Der META-Beweiser für die Zahlentheorie. GWAI 1982: 142-153 - 1981
- [c17]Günter Hornung, Peter Raulefs:
Initial and Terminal Algebra Semantics of Parameterized Abstract Data Type Specifications With Inequalities. CAAP 1981: 224-237 - [c16]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 - [c15]Peter Raulefs:
Expert Systems: State of the Art and Future Prospects. GWAI 1981: 98-111 - [c14]Ulrich Bartels, Walter G. Olthoff, Peter Raulefs:
An Expert System for Implementing Abstract Sorting Algorithms on Parameterized Abstract Data Types. GWAI 1981: 112-123 - [c13]Peter Raulefs, Hans Siebenbach:
A Concurrent Chart Parser. GWAI 1981: 156-159 - 1980
- [j2]Peter Raulefs:
Denotationale Semantik von Programmiersprachen - Das aktuelle Schlagwort. Inform. Spektrum 3(4): 261-262 (1980) - [c12]H. Eigemeier, Christoph Knabe, Peter Raulefs, K. Tramer:
An Expert System for Automatic Codeing of Abstract Data Type Specifications. GI Jahrestagung 1980: 431-441 - [c11]Günter Hornung, Peter Raulefs:
Terminal Algebra Semantics and Retractions for Abstract Data Types. ICALP 1980: 310-323 - [c10]Hans Ludwig Fischer, Peter Raulefs:
Design Rationale for the Interactive Programming Language CSSA for Asynchronous Multiprocessor Systems. Fachtagung über Programmiersprachen 1980: 111-124
1970 – 1979
- 1979
- [j1]Peter Raulefs, Jörg H. Siekmann, Peter Szabó, E. Unvericht:
A short survey on the state of the art in matching and unification problems. SIGSAM Bull. 13(2): 14-20 (1979) - 1978
- [c9]H. P. Böhm, Hans Ludwig Fischer, Peter Raulefs:
Dialogues in Actor Nets. AISB/GI (ECAI) 1978: 33-34 - [c8]Christoph F. Eick, Peter Raulefs:
Problem Solving by Hyper Planning. AISB/GI (ECAI) 1978: 103-104 - [c7]Peter Raulefs:
The connection between axiomatic and denotational semantics of programming languages. Fachtagung über Programmiersprachen 1978: 169-177 - 1977
- [c6]Stefan Kühner, Chris Mathis, Peter Raulefs, Jörg H. Siekmann:
Unification of Idempotent Functions. IJCAI 1977: 528 - [c5]Peter Raulefs:
Semantics and Proof Rules for Coroutine Hierarchies in Block-Structured Programming Languages. MFCS 1977: 451-459 - [c4]H. P. Böhm, Hans Ludwig Fischer, Peter Raulefs:
CSSA: Language concepts and programming methodology. Artificial Intelligence and Programming Languages 1977: 100-108 - 1975
- [c3]Peter Raulefs:
On Evaluating Recursion. GI Jahrestagung 1975: 680-690 - 1974
- [c2]Peter Raulefs:
The D-Calculus: A System to Describe the Semantics of Programs Involving Complex Data Types (Summary). GI Jahrestagung 1974: 140-152 - [c1]Werner Dilger, Peter Raulefs:
Monadic Program Schemes Under Restricted Classes of Free Interpretations. ICALP 1974: 547-561
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 22:57 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: