2008 |
25 | | Edward Ochmanski,
Jerzy Tyszkiewicz:
Mathematical Foundations of Computer Science 2008, 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008, Proceedings
Springer 2008 |
24 | EE | Joanna Jólkowska,
Edward Ochmanski:
On Trace-Expressible Behaviour of Petri Nets.
Fundam. Inform. 85(1-4): 281-295 (2008) |
2007 |
23 | EE | Edward Ochmanski,
Krystyna Stawikowska:
A Star Operation for Star-Free Trace Languages.
Developments in Language Theory 2007: 337-345 |
22 | EE | Edward Ochmanski,
Joanna Pieckowska:
On Ethics of Mazurkiewicz Traces.
Fundam. Inform. 80(1-3): 259-272 (2007) |
2006 |
21 | EE | Edward Ochmanski,
Joanna Pieckowska:
Trace Nets and Conflict-free Computations.
Fundam. Inform. 72(1-3): 311-321 (2006) |
20 | EE | Edward Ochmanski,
Krystyna Stawikowska:
Star-free Star and Trace Languages.
Fundam. Inform. 72(1-3): 323-331 (2006) |
2005 |
19 | EE | Barbara Klunder,
Edward Ochmanski,
Krystyna Stawikowska:
On Star-Connected Flat Languages.
Fundam. Inform. 67(1-3): 93-105 (2005) |
2004 |
18 | EE | Edward Ochmanski:
Covering Fairness against Conspiracies.
ICATPN 2004: 312-330 |
17 | EE | Edward Ochmanski:
Best Fairness Hierarchy in Elementary Nets.
Fundam. Inform. 60(1-4): 237-250 (2004) |
1994 |
16 | | Volker Diekert,
Edward Ochmanski,
Klaus Reinhardt:
On Confluent Semi-commutations: Decidability and Complexity Results
Inf. Comput. 110(1): 164-182 (1994) |
1993 |
15 | | Edward Ochmanski,
Pierre-André Wacrenier:
On Regular Compatibility of Semi-Commutations.
ICALP 1993: 445-456 |
1992 |
14 | | Edward Ochmanski:
Modelling Concurrency with Semi-Commutations.
MFCS 1992: 412-420 |
13 | | Paul Gastin,
Edward Ochmanski,
Antoine Petit,
Brigitte Rozoy:
Decidability of the Star Problem in A* x {b}*.
Inf. Process. Lett. 44(2): 65-71 (1992) |
1991 |
12 | | Volker Diekert,
Edward Ochmanski,
Klaus Reinhardt:
On Confluent Semi-Commutations - Decidability and Complexity Results.
ICALP 1991: 229-241 |
1990 |
11 | | Edward Ochmanski:
Semi-Commutation and Deterministic Petri Nets.
MFCS 1990: 430-438 |
10 | | Edward Ochmanski:
Notes on a star mystery.
Bulletin of the EATCS 40: 252-256 (1990) |
9 | | Edward Ochmanski,
Wojciech Penczek:
Inevitability in diamond processes.
ITA 24: 37-46 (1990) |
1989 |
8 | | Edward Ochmanski:
Semi-commutation for P-T Systems.
Bulletin of the EATCS 38: 191-198 (1989) |
7 | | Antoni W. Mazurkiewicz,
Edward Ochmanski,
Wojciech Penczek:
Concurrent Systems and Inevitability.
Theor. Comput. Sci. 64(3): 281-304 (1989) |
1988 |
6 | | Edward Ochmanski:
On Morphisms of Trace Monoids.
STACS 1988: 346-355 |
1987 |
5 | | Edward Ochmanski:
Occurrence Traces: Processes of Elementary Net Systems.
European Workshop on Applications and Theory of Petri Nets 1987: 331-342 |
4 | | Edward Ochmanski:
A non-invertible PCF language.
Bulletin of the EATCS 33: 83-84 (1987) |
3 | | Edward Ochmanski:
Inevitability in Concurrent Systems.
Inf. Process. Lett. 25(4): 221-225 (1987) |
2 | | Yves Métivier,
Edward Ochmanski:
On Lexicographic Semi-Commutations.
Inf. Process. Lett. 26(2): 55-59 (1987) |
1985 |
1 | | Edward Ochmanski:
Regular behaviour of concurrent systems.
Bulletin of the EATCS 27: 56-67 (1985) |