Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Edward Ochmanski

dblp:32/6716 · DBLP profile ↗
← Back
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

TopicWeightPapersLastEvidence papers
Automata and formal languages
petri nets
0.212013
On persistent reachability in Petri nets · Inf. Comput. 2013
Logic in computer science
concurrency theory
0.012013
On persistent reachability in Petri nets · Inf. Comput. 2013
Logic in computer science › concurrency theory
semi-commutations
0.031994
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.011994
On Confluent Semi-commutations: Decidability and Complexity Results · Inf. Comput. 1994
Computational complexity
decidability
0.021994
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
YearPublicationVenuePosition
2013 On persistent reachability in Petri nets
Kamila Barylska, Lukasz Mikulski, Edward Ochmanski
Inf. Comput.3
2009 Levels of Persistency in Place/Transition Nets
abstract
The 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. Informaticae2
2008 On Trace-Expressible Behaviour of Petri Nets
Joanna Jólkowska, Edward Ochmanski
Fundam. Informaticae2
2007 A Star Operation for Star-Free Trace Languages
Edward Ochmanski, Krystyna Stawikowska
Developments in Language Theory1
2007 On Star-Free Trace Languages and their Lexicographic Representations
Krystyna Stawikowska, Edward Ochmanski
LATA2
2007 On Ethics of Mazurkiewicz Traces
Edward Ochmanski, Joanna Pieckowska
Fundam. Informaticae1
2006 Trace Nets and Conflict-free Computations
Edward Ochmanski, Joanna Pieckowska
Fundam. Informaticae1
2006 Star-free Star and Trace Languages
Edward Ochmanski, Krystyna Stawikowska
Fundam. Informaticae1
2005 On Star-Connected Flat Languages
Barbara Klunder, Edward Ochmanski, Krystyna Stawikowska
Fundam. Informaticae2
2004 Best Fairness Hierarchy in Elementary Nets
Edward Ochmanski
Fundam. Informaticae1
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
ICALP1
1992 Modelling Concurrency with Semi-Commutations
Edward Ochmanski
MFCS1
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
ICALP2
1990 Semi-Commutation and Deterministic Petri Nets
Edward Ochmanski
MFCS1
1989 Concurrent Systems and Inevitability
Antoni W. Mazurkiewicz, Edward Ochmanski, Wojciech Penczek
Theor. Comput. Sci.2
1988 On Morphisms of Trace Monoids
Edward Ochmanski
STACS1
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