Edward Ochmanski

Publication Activity (10 Years)

Years Active: 1985-2015
Publications (10 Years): 0

Top Topics

Concurrent Systems

Sequence Diagrams

Top Venues

Publications

Kamila Barylska, Edward Ochmanski
Hierarchy of persistence with respect to the length of action's disability. CoRR (2015)
Kamila Barylska, Lukasz Mikulski, Edward Ochmanski
On persistent reachability in Petri nets. Inf. Comput. 223 (2013)
Kamila Agata Barylska, Edward Ochmanski
Hierarchy of persistency with respect to the length of actions disability. PNSE (2012)
Kamila Barylska, Lukasz Mikulski, Edward Ochmanski
On Persistent Reachability in Petri Nets. ACSD/Petri Nets Workshops (2010)
Kamila Barylska, Edward Ochmanski
Levels of Persistency in Place/Transition Nets. Fundam. Informaticae 93 (1-3) (2009)
Joanna Jólkowska, Edward Ochmanski
On Trace-Expressible Behaviour of Petri Nets. Fundam. Informaticae 85 (1-4) (2008)
Krystyna Stawikowska, Edward Ochmanski
On Star-Free Trace Languages and their Lexicographic Representations. LATA (2007)
Edward Ochmanski, Joanna Pieckowska
On Ethics of Mazurkiewicz Traces. Fundam. Informaticae 80 (1-3) (2007)
Edward Ochmanski, Krystyna Stawikowska
A Star Operation for Star-Free Trace Languages. Developments in Language Theory (2007)
Edward Ochmanski, Krystyna Stawikowska
Star-free Star and Trace Languages. Fundam. Informaticae 72 (1-3) (2006)
Edward Ochmanski, Joanna Pieckowska
Trace Nets and Conflict-free Computations. Fundam. Informaticae 72 (1-3) (2006)
Barbara Klunder, Edward Ochmanski, Krystyna Stawikowska
On Star-Connected Flat Languages. Fundam. Informaticae 67 (1-3) (2005)
Edward Ochmanski
Covering Fairness against Conspiracies. ICATPN (2004)
Edward Ochmanski
Best Fairness Hierarchy in Elementary Nets. Fundam. Informaticae 60 (1-4) (2004)
Volker Diekert, Edward Ochmanski, Klaus Reinhardt
On Confluent Semi-commutations: Decidability and Complexity Results Inf. Comput. 110 (1) (1994)
Edward Ochmanski, Pierre-André Wacrenier
On Regular Compatibility of Semi-Commutations. ICALP (1993)
Paul Gastin, Edward Ochmanski, Antoine Petit, Brigitte Rozoy
Decidability of the Star Problem in A* x {b}*. Inf. Process. Lett. 44 (2) (1992)
Edward Ochmanski
Modelling Concurrency with Semi-Commutations. MFCS (1992)
Volker Diekert, Edward Ochmanski, Klaus Reinhardt
On Confluent Semi-Commutations - Decidability and Complexity Results. ICALP (1991)
Volker Diekert, Edward Ochmanski, Klaus Reinhardt
On confluent semi-commutations: decidability and complexity results Forschungsberichte, TU Munich (1990)
Edward Ochmanski, Wojciech Penczek
Inevitability in diamond processes. RAIRO Theor. Informatics Appl. 24 (1990)
Edward Ochmanski
Semi-Commutation and Deterministic Petri Nets. MFCS (1990)
Edward Ochmanski
Notes on a star mystery. Bull. EATCS 40 (1990)
Antoni W. Mazurkiewicz, Edward Ochmanski, Wojciech Penczek
Concurrent Systems and Inevitability. Theor. Comput. Sci. 64 (3) (1989)
Edward Ochmanski
Semi-commutation for P-T Systems. Bull. EATCS 38 (1989)
Edward Ochmanski
On Morphisms of Trace Monoids. STACS (1988)
Yves Métivier, Edward Ochmanski
On Lexicographic Semi-Commutations. Inf. Process. Lett. 26 (2) (1987)
Edward Ochmanski
Inevitability in Concurrent Systems. Inf. Process. Lett. 25 (4) (1987)
Edward Ochmanski
Occurrence Traces: Processes of Elementary Net Systems. European Workshop on Applications and Theory of Petri Nets (1987)
Edward Ochmanski
A non-invertible PCF language. Bull. EATCS 33 (1987)
Edward Ochmanski
Regular behaviour of concurrent systems. Bull. EATCS 27 (1985)