Edit Profile Mazurkiewicz, Antoni W. Compute Distance To: Compute Author ID: mazurkiewicz.antoni-w Published as: Mazurkiewicz, A.; Mazurkiewicz, A. W.; Mazurkiewicz, Antoni; Mazurkiewicz, Antoni W. Documents Indexed: 40 Publications since 1962, including 3 Books all top 5 Co-Authors 30 single-authored 2 Penczek, Wojciech 2 Rybarski, Adam 1 Blikle, Andrzej Jacek 1 Chalopin, Jérémie 1 Dembinski, Piotr 1 Jamroga, Wojciech 1 Métivier, Yves 1 Ochmański, Edward 1 Pawlak, Zdzisław 1 Rabinovich, Alex 1 Sidoruk, Teofil 1 Trakhtenbrot, Boris Avraamovich 1 Winkowski, Jozef 1 Wróblewski, Dobiesław all top 5 Serials 6 Fundamenta Informaticae 3 Information Processing Letters 3 Theoretical Computer Science 3 Bulletin de l’Académie Polonaise des Sciences, Série des Sciences Mathématiques, Astronomiques et Physiques 2 Information and Control 2 Lecture Notes in Computer Science 1 Zastosowania Matematyki 1 Annales Societatis Mathematicae Polonae. Series IV 1 The Journal of Artificial Intelligence Research (JAIR) 1 Prace, Centrum obliczeniowe (CO), Polska Akademia Nauk (PAN) 1 Banach Center Publications all top 5 Fields 34 Computer science (68-XX) 3 General and overarching topics; collections (00-XX) 3 Combinatorics (05-XX) 2 Ordinary differential equations (34-XX) 1 Mathematical logic and foundations (03-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 Group theory and generalizations (20-XX) 1 Numerical analysis (65-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 21 Publications have been cited 157 times in 134 Documents Cited by ▼ Year ▼ Trace theory. Zbl 0633.68051Mazurkiewicz, Antoni 26 1987 Traces, histories, graphs: instances of a process monoid. Zbl 0577.68061Mazurkiewicz, Antoni 23 1984 Basic notions of trace theory. (Tutorial). Zbl 0683.68032Mazurkiewicz, A. 21 1989 Semantics of concurrent systems: A modular fixed-point trace approach. Zbl 0576.68044Mazurkiewicz, A. 16 1985 Distributed enumeration. Zbl 1336.68079Mazurkiewicz, Antoni 12 1997 Concurrent systems and inevitability. Zbl 0675.68015Mazurkiewicz, Antoni; Ochmański, Edward; Penczek, Wojciech 8 1989 Solvability of the asynchronous ranking problem. Zbl 0664.68026Mazurkiewicz, Antoni 7 1988 Proving algorithms by tail functions. Zbl 0232.02026Mazurkiewicz, Antoni W. 7 1971 Concurrency, modularity, and synchronization. Zbl 0755.68098Mazurkiewicz, Antoni 6 1989 Recursive algorithms and formal languages. Zbl 0259.68033Mazurkiewicz, A. 5 1972 Labelled (hyper)graphs, negotiations and the naming problem. Zbl 1175.68273Chalopin, Jérémie; Mazurkiewicz, Antoni; Métivier, Yves 4 2008 Compositional semantics of pure place/transition systems. Zbl 0676.68030Mazurkiewicz, Antoni 4 1988 Mathematical foundations of computer science. Zbl 0348.00013Mazurkiewicz, Antoni (ed.); Pawlak, Zdzislaw (ed.) 3 1977 An algebraic approach to the theory of programs, algorithms, languages and recursiveness. Zbl 0313.68022Blikle, Andrzej; Mazurkiewicz, Antoni 3 1972 A note on enumerable grammers. Zbl 0176.28101Mazurkiewicz, A. W. 3 1969 Locally derivable graphs. Zbl 1108.68089Mazurkiewicz, Antoni 2 2007 Bilateral ranking negotiations. Zbl 1083.68041Mazurkiewicz, Antoni 2 2004 Proving properties of processes. Zbl 0273.68040Mazurkiewicz, Antoni 2 1974 Towards partial order reductions for strategic ability. Zbl 1453.68197Jamroga, Wojciech; Penczek, Wojciech; Sidoruk, Teofil; Dembiński, Piotr; Mazurkiewicz, Antoni 1 2020 Local computations on triangular graphs. Zbl 1215.68187Mazurkiewicz, Antoni 1 2010 Local properties of triangular graphs. Zbl 1124.68081Mazurkiewicz, Antoni 1 2007 Towards partial order reductions for strategic ability. Zbl 1453.68197Jamroga, Wojciech; Penczek, Wojciech; Sidoruk, Teofil; Dembiński, Piotr; Mazurkiewicz, Antoni 1 2020 Local computations on triangular graphs. Zbl 1215.68187Mazurkiewicz, Antoni 1 2010 Labelled (hyper)graphs, negotiations and the naming problem. Zbl 1175.68273Chalopin, Jérémie; Mazurkiewicz, Antoni; Métivier, Yves 4 2008 Locally derivable graphs. Zbl 1108.68089Mazurkiewicz, Antoni 2 2007 Local properties of triangular graphs. Zbl 1124.68081Mazurkiewicz, Antoni 1 2007 Bilateral ranking negotiations. Zbl 1083.68041Mazurkiewicz, Antoni 2 2004 Distributed enumeration. Zbl 1336.68079Mazurkiewicz, Antoni 12 1997 Basic notions of trace theory. (Tutorial). Zbl 0683.68032Mazurkiewicz, A. 21 1989 Concurrent systems and inevitability. Zbl 0675.68015Mazurkiewicz, Antoni; Ochmański, Edward; Penczek, Wojciech 8 1989 Concurrency, modularity, and synchronization. Zbl 0755.68098Mazurkiewicz, Antoni 6 1989 Solvability of the asynchronous ranking problem. Zbl 0664.68026Mazurkiewicz, Antoni 7 1988 Compositional semantics of pure place/transition systems. Zbl 0676.68030Mazurkiewicz, Antoni 4 1988 Trace theory. Zbl 0633.68051Mazurkiewicz, Antoni 26 1987 Semantics of concurrent systems: A modular fixed-point trace approach. Zbl 0576.68044Mazurkiewicz, A. 16 1985 Traces, histories, graphs: instances of a process monoid. Zbl 0577.68061Mazurkiewicz, Antoni 23 1984 Mathematical foundations of computer science. Zbl 0348.00013Mazurkiewicz, Antoni (ed.); Pawlak, Zdzislaw (ed.) 3 1977 Proving properties of processes. Zbl 0273.68040Mazurkiewicz, Antoni 2 1974 Recursive algorithms and formal languages. Zbl 0259.68033Mazurkiewicz, A. 5 1972 An algebraic approach to the theory of programs, algorithms, languages and recursiveness. Zbl 0313.68022Blikle, Andrzej; Mazurkiewicz, Antoni 3 1972 Proving algorithms by tail functions. Zbl 0232.02026Mazurkiewicz, Antoni W. 7 1971 A note on enumerable grammers. Zbl 0176.28101Mazurkiewicz, A. W. 3 1969 all cited Publications top 5 cited Publications all top 5 Cited by 196 Authors 6 Métivier, Yves 5 Aalbersberg, Ijsbrand Jan 5 Mazurkiewicz, Antoni W. 5 Pelc, Andrzej 4 Peled, Doron A. 4 Penczek, Wojciech 4 Rozenberg, Grzegorz 4 van Glabbeek, Robert Jan 3 Chalopin, Jérémie 3 Dereniowski, Dariusz 3 Godard, Emmanuel 3 Goltz, Ursula 3 Ochmański, Edward 3 Thiagarajan, Pazhamaneri Subramaniam 3 Zemmari, Akka 2 Arnold, André 2 Bauderon, Michel 2 Czaja, Ludwik 2 Diekert, Volker 2 Ehrenfeucht, Andrzej 2 Fraigniaud, Pierre 2 Fusco, Emanuele Guido 2 Gastin, Paul 2 Haeusler, Edward Hermann 2 Hierons, Robert Mark 2 Hoogeboom, Hendrik Jan 2 Janicki, Ryszard 2 Koutny, Maciej 2 Lopes, Bruno Domeniciano 2 Maslov, A. N. 2 Mohalik, Swarup 2 Mosbah, Mohamed 2 Otto, Friedrich 2 Petit, Antoine 2 Rajsbaum, Sergio 2 Rasiowa, Helena 2 Robson, John Michael 2 Rozoy, Brigitte 2 Sabadini, Nicoletta 2 Schicke, Jens-Wolfhard 2 Sellami, Afif 2 Travers, Corentin 2 Vogler, Walter 2 Wasilewska, Anita 2 Winkowski, Jozef 2 Wrathall, Celia 1 Abdulla, Parosh Aziz 1 Aceto, Luca 1 Alur, Rajeev 1 Àlvarez, Carme 1 Aronis, Stavros 1 Atig, Mohamed Faouzi 1 Baier, Christel 1 Benevides, Mario R. F. 1 Berry, Daniel M. 1 Bertoni, Alberto 1 Best, Eike 1 Bønneland, Frederik Meyer 1 Börger, Egon 1 Boudol, Gérard 1 Brol’, V. V. 1 Casteigts, Arnaud 1 Castellani, Ilaria 1 Casu, Giovanni 1 Chaturvedi, Namit 1 Cheng, Allan 1 Cordier, Marie-Odile 1 Devillers, Raymond 1 Dikovsky, Alexander Yakovlevich 1 Dimitrić, Radoslav Milan 1 Dongol, Brijesh 1 Dowek, Gilles 1 Dowling, William F. 1 D’silva, Vijay 1 Duba, Bruce 1 Duboc, Christine 1 El Hibaoui, A. 1 Ésik, Zoltán 1 Felleisen, Matthias 1 Fieux, Etienne 1 Filipović, Ivana 1 Friedman, Daniel P. 1 Gabarró, Joaquim 1 Gallier, Jean H. 1 Gelderie, Marcus 1 Gerth, Rob Tristan 1 Gladky, A. V. 1 Gopalakrishnan, Ganesh Lalitha 1 Greibach, Sheila A. 1 Gruner, Stefan 1 Guaiana, Giovanna 1 Gupta, Aarti 1 Gutierrez, Julian 1 Hansen, Henri 1 Heibig, A. G. 1 Hoogers, P. W. 1 Idzik, Adam 1 Jaskolka, Jason 1 Jensen, Peter Gjøl 1 Jojczyk, Kazimierz ...and 96 more Authors all top 5 Cited in 35 Serials 36 Theoretical Computer Science 11 Information Processing Letters 8 Distributed Computing 7 Information and Computation 6 RAIRO. Informatique Théorique et Applications 4 Acta Informatica 4 Studia Logica 3 Discrete Applied Mathematics 3 Journal of Soviet Mathematics 3 Mathematical Systems Theory 2 Discrete Mathematics 2 Journal of Computer and System Sciences 2 Journal of Pure and Applied Algebra 2 The Journal of Symbolic Logic 2 Formal Aspects of Computing 2 RAIRO. Theoretical Informatics and Applications 2 Journal of Logical and Algebraic Methods in Programming 1 Artificial Intelligence 1 The Mathematical Intelligencer 1 International Journal of Computer & Information Sciences 1 Kybernetika 1 Networks 1 Notre Dame Journal of Formal Logic 1 Algorithmica 1 Journal of Parallel and Distributed Computing 1 Journal of Logic, Language and Information 1 Theory of Computing Systems 1 The Journal of Logic and Algebraic Programming 1 Theory and Practice of Logic Programming 1 Sādhanā 1 International Journal of Quantum Information 1 Fixed Point Theory and Applications 1 Logical Methods in Computer Science 1 Algorithms 1 Computer Science Review all top 5 Cited in 14 Fields 129 Computer science (68-XX) 26 Mathematical logic and foundations (03-XX) 6 Group theory and generalizations (20-XX) 5 Combinatorics (05-XX) 3 Order, lattices, ordered algebraic structures (06-XX) 3 Category theory; homological algebra (18-XX) 1 History and biography (01-XX) 1 Field theory and polynomials (12-XX) 1 Algebraic topology (55-XX) 1 Manifolds and cell complexes (57-XX) 1 Quantum theory (81-XX) 1 Operations research, mathematical programming (90-XX) 1 Systems theory; control (93-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year