Antoni W. Mazurkiewicz

36 papers A 1B 7Journal 15Unranked 12
YearRankTypeTitle / Venue / Authors
2020 J jnl
Towards Partial Order Reductions for Strategic Ability.
J. Artif. Intell. Res.
Wojciech Jamroga, Wojciech Penczek, Teofil Sidoruk, Piotr Dembinski, Antoni W. Mazurkiewicz
2018 A conf
Towards Partial Order Reductions for Strategic Ability.
AAMAS
Wojciech Jamroga, Wojciech Penczek, Piotr Dembinski, Antoni W. Mazurkiewicz
2012 J jnl
Petri net languages revisited.
Theor. Comput. Sci.
Antoni W. Mazurkiewicz
2010 J jnl
Local Computations on Triangular Graphs.
Fundam. Informaticae
Antoni W. Mazurkiewicz
2008 B conf
Labelled (Hyper)Graphs, Negotiations and the Naming Problem.
ICGT
Jérémie Chalopin, Antoni W. Mazurkiewicz, Yves Métivier
2008 — conf
Token-Free Petri Nets.
Pillars of Computer Science
Antoni W. Mazurkiewicz
2007 J jnl
Compositional Systems over Reducible Networks.
Fundam. Informaticae
Antoni W. Mazurkiewicz
2007 J jnl
Local Properties of Triangular Graphs.
Fundam. Informaticae
Antoni W. Mazurkiewicz
2007 — conf
Petri Nets Without Tokens.
ICATPN
Antoni W. Mazurkiewicz
2007 J jnl
Romanian Academy Calea Victoriei 125, Bucharest, Romania Locally Derivable Graphs.
Fundam. Informaticae
Antoni W. Mazurkiewicz
2004 J jnl
Bilateral Ranking Negotiations.
Fundam. Informaticae
Antoni W. Mazurkiewicz
2004 J jnl
Multilateral Ranking Negotiations.
Fundam. Informaticae
Antoni W. Mazurkiewicz
2003 — conf
Competition, Cooperation, and Authorization.
ESAW
Antoni W. Mazurkiewicz
2001 — conf
Messages, Clocks, and Gravitation.
CEEMAS
Antoni W. Mazurkiewicz, Dobieslaw Wróblewski
1997 B ed.
CONCUR '97: Concurrency Theory, 8th International Conference, Warsaw, Poland, July 1-4, 1997, Proceedings
CONCUR
Antoni W. Mazurkiewicz, Józef Winkowski
1997 J jnl
Distributed Enumeration.
Inf. Process. Lett.
Antoni W. Mazurkiewicz
1997 B conf
Locally Computable Enumerations.
FCT
Antoni W. Mazurkiewicz
1996 — conf
Prefix function view of states and events.
Partial Order Methods in Verification
Antoni W. Mazurkiewicz
1995 — ch.
Introduction to Trace Theory.
The Book of Traces
Antoni W. Mazurkiewicz
1995 — conf
True versus artificial concurrency.
PSTV
Antoni W. Mazurkiewicz
1993 J jnl
Distributed Disassembly of Mosaics.
Inf. Process. Lett.
Antoni W. Mazurkiewicz
1991 J jnl
Connectedness and Synchronization.
Theor. Comput. Sci.
Antoni W. Mazurkiewicz, Alexander Moshe Rabinovich, Boris A. Trakhtenbrot
1989 B conf
Concurrency, Modularity, and Synchronization.
MFCS
Antoni W. Mazurkiewicz
1989 J jnl
Concurrent Systems and Inevitability.
Theor. Comput. Sci.
Antoni W. Mazurkiewicz, Edward Ochmanski, Wojciech Penczek
1988 — conf
Basic notions of trace theory.
REX Workshop
Antoni W. Mazurkiewicz
1988 J jnl
Solvability of the Asynchronous Ranking Problem.
Inf. Process. Lett.
Antoni W. Mazurkiewicz
1987 — conf
Compositional Semantics of Pure Place/ Transition Systems.
European Workshop on Applications and Theory of Petri Nets
Antoni W. Mazurkiewicz
1987 — conf
Net Representation of Sentences in Natural Languages.
European Workshop on Applications and Theory of Petri Nets
Violetta Koseska-Toszewa, Antoni W. Mazurkiewicz
1986 — conf
Trace Theory.
Advances in Petri Nets
Antoni W. Mazurkiewicz
1984 — conf
Semantics of concurrent systems: a modular fixed-point trace approach.
European Workshop on Applications and Theory in Petri Nets
Antoni W. Mazurkiewicz
1984 B conf
Traces, Histories, Graphs: Instances of a Process Monoid.
MFCS
Antoni W. Mazurkiewicz
1979 — conf
Concurrent algorithms schemata.
Algorithms in Modern Mathematics and Computer Science
Antoni W. Mazurkiewicz
1976 B ed.
Mathematical Foundations of Computer Science 1976, 5th Symposium, Gdansk, Poland, September 6-10, 1976, Proceedings
MFCS
Antoni W. Mazurkiewicz
1975 B conf
Parallel Recursive Program Schemes.
MFCS
Antoni W. Mazurkiewicz
1971 J jnl
Proving Algorithms by Tail Functions
Inf. Control.
Antoni W. Mazurkiewicz
1969 J jnl
A Note on Enumerable Grammars
Inf. Control.
Antoni W. Mazurkiewicz