Antoni Mazurkiewicz

Available identifiers

zbMath Open mazurkiewicz.antoni-wMaRDI QIDQ287004

List of research outcomes

Publication	Date of Publication	Type
Locally computable enumerations	2022-12-09	Paper
Towards Partial Order Reductions for Strategic Ability	2020-09-14	Paper
Distributed enumeration	2016-05-26	Paper
Petri net languages revisited	2012-05-30	Paper
Local Computations on Triangular Graphs	2011-01-03	Paper
Labelled (Hyper)Graphs, Negotiations and the Naming Problem	2008-11-20	Paper
Token-Free Petri Nets	2008-03-25	Paper
https://portal.mardi4nfdi.de/entity/Q5422292	2007-10-17	Paper
https://portal.mardi4nfdi.de/entity/Q5422275	2007-10-17	Paper
https://portal.mardi4nfdi.de/entity/Q3425585	2007-02-26	Paper
https://portal.mardi4nfdi.de/entity/Q4681374	2005-06-23	Paper
https://portal.mardi4nfdi.de/entity/Q4818726	2004-10-01	Paper
https://portal.mardi4nfdi.de/entity/Q4738140	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4353625	1998-03-16	Paper
Distributed disassembly of mosaics	1993-10-17	Paper
https://portal.mardi4nfdi.de/entity/Q3975177	1992-06-26	Paper
Connectedness and synchronization	1992-06-26	Paper
https://portal.mardi4nfdi.de/entity/Q4733400	1989-01-01	Paper
Concurrent systems and inevitability	1989-01-01	Paper
Solvability of the asynchronous ranking problem	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3832059	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3811722	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3771629	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3696528	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3698316	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4094357	1975-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4061970	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5180858	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5183072	1973-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4072828	1972-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5674989	1972-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5667996	1972-01-01	Paper
Proving algorithms by tail functions	1971-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5644317	1970-01-01	Paper
A note on enumerable grammars	1969-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5577090	1969-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5569454	1968-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5343822	1962-01-01	Paper

Research outcomes over time

This page was built for person: Antoni Mazurkiewicz