A Note on Enumerable Grammars - Antoni W. Mazurkiewicz (Inf. Control., 1969)

Proving Algorithms by Tail Functions - Antoni W. Mazurkiewicz (Inf. Control., 1971)

Parallel Recursive Program Schemes. - Antoni W. Mazurkiewicz (MFCS, 1975)

Concurrent algorithms schemata. - Antoni W. Mazurkiewicz (Algorithms in Modern Mathematics and Computer Science, 1979)

Semantics of concurrent systems: a modular fixed-point trace approach. - Antoni W. Mazurkiewicz (European Workshop on Applications and Theory in Petri Nets, 1984)

Traces, Histories, Graphs: Instances of a Process Monoid. - Antoni W. Mazurkiewicz (MFCS, 1984)

Trace Theory. - Antoni W. Mazurkiewicz (Advances in Petri Nets, 1986)

Net Representation of Sentences in Natural Languages. - Violetta Koseska-Toszewa; Antoni W. Mazurkiewicz (European Workshop on Applications and Theory of Petri Nets, 1987)

Compositional Semantics of Pure Place/ Transition Systems. - Antoni W. Mazurkiewicz (European Workshop on Applications and Theory of Petri Nets, 1987)

Basic notions of trace theory. - Antoni W. Mazurkiewicz (REX Workshop, 1988)

Solvability of the Asynchronous Ranking Problem. - Antoni W. Mazurkiewicz (Inf. Process. Lett., 1988)

Concurrency, Modularity, and Synchronization. - Antoni W. Mazurkiewicz (MFCS, 1989)

Concurrent Systems and Inevitability. - Antoni W. Mazurkiewicz; Edward Ochmanski; Wojciech Penczek (Theor. Comput. Sci., 1989)

Connectedness and Synchronization. - Antoni W. Mazurkiewicz; Alexander Moshe Rabinovich; Boris A. Trakhtenbrot (Theor. Comput. Sci., 1991)

Distributed Disassembly of Mosaics. - Antoni W. Mazurkiewicz (Inf. Process. Lett., 1993)

Introduction to Trace Theory. - Antoni W. Mazurkiewicz (The Book of Traces, 1995)

True versus artificial concurrency. - Antoni W. Mazurkiewicz (PSTV, 1995)

Prefix function view of states and events. - Antoni W. Mazurkiewicz (Partial Order Methods in Verification, 1996)

Locally Computable Enumerations. - Antoni W. Mazurkiewicz (FCT, 1997)

Distributed Enumeration. - Antoni W. Mazurkiewicz (Inf. Process. Lett., 1997)

Messages, Clocks, and Gravitation. - Antoni W. Mazurkiewicz; Dobieslaw Wróblewski (CEEMAS, 2001)

Competition, Cooperation, and Authorization. - Antoni W. Mazurkiewicz (ESAW, 2003)

Bilateral Ranking Negotiations. - Antoni W. Mazurkiewicz (Fundam. Informaticae, 2004)

Multilateral Ranking Negotiations. - Antoni W. Mazurkiewicz (Fundam. Informaticae, 2004)

Petri Nets Without Tokens. - Antoni W. Mazurkiewicz (ICATPN, 2007)

Romanian Academy Calea Victoriei 125, Bucharest, Romania Locally Derivable Graphs. - Antoni W. Mazurkiewicz (Fundam. Informaticae, 2007)

Compositional Systems over Reducible Networks. - Antoni W. Mazurkiewicz (Fundam. Informaticae, 2007)

Local Properties of Triangular Graphs. - Antoni W. Mazurkiewicz (Fundam. Informaticae, 2007)

Token-Free Petri Nets. - Antoni W. Mazurkiewicz (Pillars of Computer Science, 2008)

Labelled (Hyper)Graphs, Negotiations and the Naming Problem. - Jérémie Chalopin; Antoni W. Mazurkiewicz; Yves Métivier (ICGT, 2008)

Local Computations on Triangular Graphs. - Antoni W. Mazurkiewicz (Fundam. Informaticae, 2010)

Petri net languages revisited. - Antoni W. Mazurkiewicz (Theor. Comput. Sci., 2012)

Towards Partial Order Reductions for Strategic Ability. - Wojciech Jamroga; Wojciech Penczek; Piotr Dembinski; Antoni W. Mazurkiewicz (AAMAS, 2018)

Towards Partial Order Reductions for Strategic Ability. - Wojciech Jamroga; Wojciech Penczek; Teofil Sidoruk; Piotr Dembinski; Antoni W. Mazurkiewicz (J. Artif. Intell. Res., 2020)