Demo Data from EDBT 2026 / reviewers in the wild / expert
John C. Warkentin
dblp:75/3189
· DBLP profile ↗
2ranked-venue papers
1as first author
0since 2021 · last 1974
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 2 · 1 first-author
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.
| Theoretical computer science
1 paper |
Computational complexity · 87% Automata and formal languages · 13% |
Topics — the 3 heaviest of 3, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Computational complexity
computational models |
0.0 | 1 | 1972 | Predecessor Machines and Regressing Functions · STOC 1972 |
Computational complexity › computational models
random access machines |
0.0 | 1 | 1972 | Predecessor Machines and Regressing Functions · STOC 1972 |
Automata and formal languages › turing machines
linear-bounded automata |
0.0 | 1 | 1972 | Predecessor Machines and Regressing Functions · STOC 1972 |
| Year | Publication | Venue | Position |
|---|---|---|---|
| 1974 | Predecessor Machines
Patrick C. Fischer, John C. Warkentin |
J. Comput. Syst. Sci. | 2 |
| 1972 | Predecessor Machines and Regressing FunctionsabstractA predecessor machine is a random-access machine with a predecessor operation (i.e., an instruction which subtracts 1 from the contents of a memory cell), but with no operation which can increase the contents of a cell. A regressing function is a total function which never yields an output larger than the maximum of its inputs and a constant. Unlike the situation for random-access machines with a successor operation, it does not matter whether or not predecessor machines with loop control also have conditional transfer instructions. Furthermore, the class of functions computable by predecessor loop machines consists of exactly those regressing functions which are computable by a deterministic linear-bounded automaton. Some generalized predecessor machines are also considered. John C. Warkentin, Patrick C. Fischer |
STOC | 1 |