Demo Data from VLDB 2026 / reviewers in the wild / expert
Edward Ochmanski
dblp:32/6716
· DBLP profile ↗
20ranked-venue papers
10as first author
0since 2021 · last 2013
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 20 · 10 first-authorDatabases, data management, data science and information retrieval · 3 · 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
4 papers |
Automata and formal languages · 63% Logic in computer science · 35% Computational complexity · 2% |
Topics — the 5 heaviest of 5, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Automata and formal languages
petri nets |
0.2 | 1 | 2013 | On persistent reachability in Petri nets · Inf. Comput. 2013 |
Logic in computer science
concurrency theory |
0.0 | 1 | 2013 | On persistent reachability in Petri nets · Inf. Comput. 2013 |
Logic in computer science › concurrency theory
semi-commutations |
0.0 | 3 | 1994 | On Confluent Semi-commutations: Decidability and Complexity Results · Inf. Comput. 1994 On Regular Compatibility of Semi-Commutations · ICALP 1993 On Confluent Semi-Commutations - Decidability and Complexity Results · ICALP 1991 |
Logic in computer science › term rewriting
confluence |
0.0 | 1 | 1994 | On Confluent Semi-commutations: Decidability and Complexity Results · Inf. Comput. 1994 |
Computational complexity
decidability |
0.0 | 2 | 1994 | On Confluent Semi-commutations: Decidability and Complexity Results · Inf. Comput. 1994 On Confluent Semi-Commutations - Decidability and Complexity Results · ICALP 1991 |
Methods — techniques the papers use, named apart from their topics
petri net theory · 0.2
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2013 | On persistent reachability in Petri nets
Kamila Barylska, Lukasz Mikulski, Edward Ochmanski |
Inf. Comput. | 3 |
| 2009 | Levels of Persistency in Place/Transition NetsabstractThe notion of persistency, based on the rule "no action can disable another one" is one of the classical notions in concurrency theory. We propose two ways of generalization of this notion: the first is "no action can kill another one" and the second "no action can kill another enabled one". We study the three notions in the context of place/transition nets, the fundamental class of Petri nets. We prove that the three classes of persistency form an increased strict hierarchy. The final section of the paper deals with decision problems about persistency. We show that the set reachability problem is decidable for rational convex sets, and using this result we prove that all kinds of persistency are decidable in the class place/transition nets. Kamila Barylska, Edward Ochmanski |
Fundam. Informaticae | 2 |
| 2008 | On Trace-Expressible Behaviour of Petri Nets
Joanna Jólkowska, Edward Ochmanski |
Fundam. Informaticae | 2 |
| 2007 | A Star Operation for Star-Free Trace Languages
Edward Ochmanski, Krystyna Stawikowska |
Developments in Language Theory | 1 |
| 2007 | On Star-Free Trace Languages and their Lexicographic Representations
Krystyna Stawikowska, Edward Ochmanski |
LATA | 2 |
| 2007 | On Ethics of Mazurkiewicz Traces
Edward Ochmanski, Joanna Pieckowska |
Fundam. Informaticae | 1 |
| 2006 | Trace Nets and Conflict-free Computations
Edward Ochmanski, Joanna Pieckowska |
Fundam. Informaticae | 1 |
| 2006 | Star-free Star and Trace Languages
Edward Ochmanski, Krystyna Stawikowska |
Fundam. Informaticae | 1 |
| 2005 | On Star-Connected Flat Languages
Barbara Klunder, Edward Ochmanski, Krystyna Stawikowska |
Fundam. Informaticae | 2 |
| 2004 | Best Fairness Hierarchy in Elementary Nets
Edward Ochmanski |
Fundam. Informaticae | 1 |
| 1994 | On Confluent Semi-commutations: Decidability and Complexity Results
Volker Diekert, Edward Ochmanski, Klaus Reinhardt |
Inf. Comput. | 2 |
| 1993 | On Regular Compatibility of Semi-Commutations
Edward Ochmanski, Pierre-André Wacrenier |
ICALP | 1 |
| 1992 | Modelling Concurrency with Semi-Commutations
Edward Ochmanski |
MFCS | 1 |
| 1992 | Decidability of the Star Problem in A* x {b}*
Paul Gastin, Edward Ochmanski, Antoine Petit 0001, Brigitte Rozoy |
Inf. Process. Lett. | 2 |
| 1991 | On Confluent Semi-Commutations - Decidability and Complexity Results
Volker Diekert, Edward Ochmanski, Klaus Reinhardt |
ICALP | 2 |
| 1990 | Semi-Commutation and Deterministic Petri Nets
Edward Ochmanski |
MFCS | 1 |
| 1989 | Concurrent Systems and Inevitability
Antoni W. Mazurkiewicz, Edward Ochmanski, Wojciech Penczek |
Theor. Comput. Sci. | 2 |
| 1988 | On Morphisms of Trace Monoids
Edward Ochmanski |
STACS | 1 |
| 1987 | On Lexicographic Semi-Commutations
Yves Métivier, Edward Ochmanski |
Inf. Process. Lett. | 2 |
| 1987 | Inevitability in Concurrent Systems
Edward Ochmanski |
Inf. Process. Lett. | 1 |