dblp.uni-trier.dewww.uni-trier.de

Edward Ochmanski

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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
24EEJoanna Jólkowska, Edward Ochmanski: On Trace-Expressible Behaviour of Petri Nets. Fundam. Inform. 85(1-4): 281-295 (2008)
2007
23EEEdward Ochmanski, Krystyna Stawikowska: A Star Operation for Star-Free Trace Languages. Developments in Language Theory 2007: 337-345
22EEEdward Ochmanski, Joanna Pieckowska: On Ethics of Mazurkiewicz Traces. Fundam. Inform. 80(1-3): 259-272 (2007)
2006
21EEEdward Ochmanski, Joanna Pieckowska: Trace Nets and Conflict-free Computations. Fundam. Inform. 72(1-3): 311-321 (2006)
20EEEdward Ochmanski, Krystyna Stawikowska: Star-free Star and Trace Languages. Fundam. Inform. 72(1-3): 323-331 (2006)
2005
19EEBarbara Klunder, Edward Ochmanski, Krystyna Stawikowska: On Star-Connected Flat Languages. Fundam. Inform. 67(1-3): 93-105 (2005)
2004
18EEEdward Ochmanski: Covering Fairness against Conspiracies. ICATPN 2004: 312-330
17EEEdward 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)

Coauthor Index

1Volker Diekert [12] [16]
2Paul Gastin [13]
3Joanna Jólkowska [24]
4Barbara Klunder [19]
5Antoni W. Mazurkiewicz [7]
6Yves Métivier [2]
7Wojciech Penczek [7] [9]
8Antoine Petit [13]
9Joanna Pieckowska [21] [22]
10Klaus Reinhardt [12] [16]
11Brigitte Rozoy [13]
12Krystyna Stawikowska [19] [20] [23]
13Jerzy Tyszkiewicz [25]
14Pierre-André Wacrenier [15]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)