EDBT 2026 Demo / reviewers in the wild / expert
Peter Raulefs
dblp:34/5846
· DBLP profile ↗
8ranked-venue papers
2as first author
0since 2021 · last 2006
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 4 · 1 first-authorGraphics, computer vision, multimedia, augmented reality and games · 4 · 1 first-authorTheory of computation · 3 · 1 first-authorApplied, interdisciplinary, general and emerging computing · 1
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Computer architecture, parallel and distributed computing, and storage systems
1 paper |
Embedded and real-time systems · 77% Hardware accelerators and domain-specific architectures · 23% | |
| Software engineering, system software, and programming languages
2 papers |
Programming languages and type systems · 64% Compilers and program optimization · 36% | |
| Artificial intelligence
2 papers |
Knowledge representation and reasoning · 100% | |
| Theoretical computer science
2 papers |
Logic in computer science · 100% |
Topics — the 9 heaviest of 11, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Embedded and real-time systems
real-time AI systems |
0.0 | 1 | 1989 | Real-Time AI Systems: A Definition and An Architecture · IJCAI 1989 |
Compilers and program optimization
code generation |
0.0 | 1 | 1981 | APE: An Expert System for Automatic Programming from Abstract Specifications of Data Types and Algorithms · IJCAI 1981 |
Hardware accelerators and domain-specific architectures
machine learning accelerator |
0.0 | 1 | 1989 | Real-Time AI Systems: A Definition and An Architecture · IJCAI 1989 |
Programming languages and type systems
abstract data types |
0.0 | 1 | 1980 | Terminal Algebra Semantics and Retractions for Abstract Data Types · ICALP 1980 |
Programming languages and type systems › language semantics › formal semantics
algebraic semantics |
0.0 | 1 | 1980 | Terminal Algebra Semantics and Retractions for Abstract Data Types · ICALP 1980 |
Logic in computer science
unification |
0.0 | 1 | 1977 | Unification of Idempotent Functions · IJCAI 1977 |
Logic in computer science › rewriting › recursion schemes
monadic recursion schemes |
0.0 | 1 | 1974 | Monadic Program Schemes Under Restricted Classes of Free Interpretations · ICALP 1974 |
Logic in computer science
program schemas |
0.0 | 1 | 1974 | Monadic Program Schemes Under Restricted Classes of Free Interpretations · ICALP 1974 |
Knowledge, reasoning and agents › Knowledge representation and reasoning
expert systems |
0.0 | 1 | 1981 | APE: An Expert System for Automatic Programming from Abstract Specifications of Data Types and Algorithms · IJCAI 1981 |
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2006 | Combining Unsupervised and Supervised Approaches to Feature Selection for Multivariate Signal Compression
Victor Eruhimov, Vladimir Martyanov, Peter Raulefs, Eugene Tuv |
IDEAL | 3 |
| 1989 | Real-Time AI Systems: A Definition and An Architecture
Rajendra T. Dodhiawala, Peter Raulefs, Cynthia Pickering |
IJCAI | 3 |
| 1987 | A Representation Framework for Continuous Dynamic Systems
Peter Raulefs |
IJCAI | 1 |
| 1981 | APE: An Expert System for Automatic Programming from Abstract Specifications of Data Types and Algorithms
Ulrich Bartels, Walter G. Olthoff, Peter Raulefs |
IJCAI | 3 |
| 1980 | Terminal Algebra Semantics and Retractions for Abstract Data Types
Günter Hornung, Peter Raulefs |
ICALP | 2 |
| 1977 | Unification of Idempotent Functions
Stefan Kühner, Chris Mathis, Peter Raulefs, Jörg H. Siekmann |
IJCAI | 3 |
| 1977 | Semantics and Proof Rules for Coroutine Hierarchies in Block-Structured Programming Languages
Peter Raulefs |
MFCS | 1 |
| 1974 | Monadic Program Schemes Under Restricted Classes of Free Interpretations
Werner Dilger, Peter Raulefs |
ICALP | 2 |