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/Q5422275	2007-10-17	Paper
https://portal.mardi4nfdi.de/entity/Q5422292	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
Connectedness and synchronization	1992-06-26	Paper
https://portal.mardi4nfdi.de/entity/Q3975177	1992-06-26	Paper
Concurrent systems and inevitability	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4733400	1989-01-01	Paper
Solvability of the asynchronous ranking problem	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3811722	1988-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3832059	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/Q5667996	1972-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5674989	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Antoni Mazurkiewicz