Demo Data from VLDB 2026 / reviewers in the wild / expert
Pavel Spacek
dblp:45/4355
· DBLP profile ↗
1ranked-venue papers
1as first author
0since 2021 · last 1996
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 1 · 1 first-authorSystems, architecture and hardware · 1 · 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 |
Automated reasoning and model checking · 77% Mathematical optimization · 23% |
Topics — the 1 heaviest of 2, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Automated reasoning and model checking
discrete event systems |
0.0 | 1 | 1996 | Control of nonautonomous discrete event systems using dioid algebra · ICRA 1996 |
Methods — techniques the papers use, named apart from their topics
timed event petri net · 0.0max algebra · 0.0dioid algebra · 0.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 1996 | Control of nonautonomous discrete event systems using dioid algebraabstractIn this article, finite nonautonomous discrete event systems are studied in the dioid of formal series. If such a system can be described by a timed event Petri net, a max algebra model of the system can be written. Furthermore, the input-output relation of the nonautonomous system appears in the dioid of formal series. The greatest subsolution of a system of linear equations in the dioid of formal series is found. This subsolution can be used to calculate the latest admissible input of the nonautonomous discrete event system, such that the output of the system is achieved. The application of the theory to an assembly line is given. Pavel Spacek, Abdellah El Moudni, Noureddine Zerhouni, Michel Ferney |
ICRA | 1 |