Antoni W. Mazurkiewicz

Publication Activity (10 Years)

Years Active: 1969-2020
Publications (10 Years): 2

Top Topics

Lattice Structure

Partial Ordering

Top Venues

J. Artif. Intell. Res.

Theor. Comput. Sci.

Publications

Wojciech Jamroga, Wojciech Penczek, Teofil Sidoruk, Piotr Dembinski, Antoni W. Mazurkiewicz
Towards Partial Order Reductions for Strategic Ability. J. Artif. Intell. Res. 68 (2020)
Wojciech Jamroga, Wojciech Penczek, Piotr Dembinski, Antoni W. Mazurkiewicz
Towards Partial Order Reductions for Strategic Ability. AAMAS (2018)
Antoni W. Mazurkiewicz
Petri net languages revisited. Theor. Comput. Sci. 429 (2012)
Antoni W. Mazurkiewicz
Local Computations on Triangular Graphs. Fundam. Informaticae 100 (1-4) (2010)
Antoni W. Mazurkiewicz
Token-Free Petri Nets. Pillars of Computer Science (2008)
Jérémie Chalopin, Antoni W. Mazurkiewicz, Yves Métivier
Labelled (Hyper)Graphs, Negotiations and the Naming Problem. ICGT (2008)
Antoni W. Mazurkiewicz
Petri Nets Without Tokens. ICATPN (2007)
Antoni W. Mazurkiewicz
Romanian Academy Calea Victoriei 125, Bucharest, Romania Locally Derivable Graphs. Fundam. Informaticae 75 (1-4) (2007)
Antoni W. Mazurkiewicz
Local Properties of Triangular Graphs. Fundam. Informaticae 79 (3-4) (2007)
Antoni W. Mazurkiewicz
Compositional Systems over Reducible Networks. Fundam. Informaticae 79 (3-4) (2007)
Antoni W. Mazurkiewicz
Bilateral Ranking Negotiations. Fundam. Informaticae 60 (1-4) (2004)
Antoni W. Mazurkiewicz
Multilateral Ranking Negotiations. Fundam. Informaticae 63 (2-3) (2004)
Antoni W. Mazurkiewicz
Competition, Cooperation, and Authorization. ESAW (2003)
Antoni W. Mazurkiewicz, Dobieslaw Wróblewski
Messages, Clocks, and Gravitation. CEEMAS (2001)
Antoni W. Mazurkiewicz
Locally Computable Enumerations. FCT (1997)
Antoni W. Mazurkiewicz
Distributed Enumeration. Inf. Process. Lett. 61 (5) (1997)
Antoni W. Mazurkiewicz
Prefix function view of states and events. Partial Order Methods in Verification (1996)
Antoni W. Mazurkiewicz
True versus artificial concurrency. PSTV (1995)
Antoni W. Mazurkiewicz
Distributed Disassembly of Mosaics. Inf. Process. Lett. 46 (4) (1993)
Antoni W. Mazurkiewicz, Alexander Moshe Rabinovich, Boris A. Trakhtenbrot
Connectedness and Synchronization. Theor. Comput. Sci. 90 (1) (1991)
Antoni W. Mazurkiewicz
Concurrency, Modularity, and Synchronization. MFCS (1989)
Antoni W. Mazurkiewicz, Edward Ochmanski, Wojciech Penczek
Concurrent Systems and Inevitability. Theor. Comput. Sci. 64 (3) (1989)
Antoni W. Mazurkiewicz
Basic notions of trace theory. REX Workshop (1988)
Antoni W. Mazurkiewicz
Solvability of the Asynchronous Ranking Problem. Inf. Process. Lett. 28 (5) (1988)
Violetta Koseska-Toszewa, Antoni W. Mazurkiewicz
Net Representation of Sentences in Natural Languages. European Workshop on Applications and Theory of Petri Nets (1987)
Antoni W. Mazurkiewicz
Compositional Semantics of Pure Place/ Transition Systems. European Workshop on Applications and Theory of Petri Nets (1987)
Antoni W. Mazurkiewicz
Trace Theory. Advances in Petri Nets (1986)
Antoni W. Mazurkiewicz
Traces, Histories, Graphs: Instances of a Process Monoid. MFCS (1984)
Antoni W. Mazurkiewicz
Semantics of concurrent systems: a modular fixed-point trace approach. European Workshop on Applications and Theory in Petri Nets (1984)
Antoni W. Mazurkiewicz
Concurrent algorithms schemata. Algorithms in Modern Mathematics and Computer Science (1979)
Antoni W. Mazurkiewicz
Parallel Recursive Program Schemes. MFCS (1975)
Antoni W. Mazurkiewicz
Proving Algorithms by Tail Functions Inf. Control. 18 (3) (1971)
Antoni W. Mazurkiewicz
A Note on Enumerable Grammars Inf. Control. 14 (6) (1969)