Edit Profile (opens in new tab) Mazurkiewicz, Antoni W. Compute Distance To: Compute Author ID: mazurkiewicz.antoni-w Published as: Mazurkiewicz, Antoni; Mazurkiewicz, A.; Mazurkiewicz, Antoni W.; Mazurkiewicz, A. W. more...less Documents Indexed: 37 Publications since 1962 3 Contributions as Editor · 1 Further Contribution Co-Authors: 14 Co-Authors with 10 Joint Publications 311 Co-Co-Authors all top 5 Co-Authors 30 single-authored 2 Penczek, Wojciech 2 Rybarski, Adam 1 Arsac, Jacques J. 1 Atchison, W. F. 1 Bień, Janusz S. 1 Blikle, Andrzej Jacek 1 Bolc, Leonard 1 Borman, L. 1 Chalopin, Jérémie 1 Coleman, M. L. 1 Cowell, Wayne R. 1 Dembinski, Piotr 1 Deussen, Peter H. 1 Findler, Nicholas V. 1 Finerman, Aaron 1 Hartenstein, Reiner W. 1 Heinold, H. 1 Jakubowski, Ryszard 1 Jamroga, Wojciech 1 Jungclaussen, H. 1 Kisiel, Adam 1 Kotov, Vadim E. 1 Lance, G. N. 1 Madey, Jan 1 Métivier, Yves 1 Mittman, Benjamin 1 Narin’yani, Alexander S. 1 Nievergelt, Jurg 1 Ochmański, Edward 1 Pawlak, Zdzisław 1 Pouzin, Louis 1 Rabinovich, Alexander 1 Ryan, Frank B. 1 Schubert, David 1 Sidoruk, Teofil 1 Straub, Erwin 1 Trakhtenbrot, Boris Avraamovich 1 Uretsky, M. 1 Williams, L. W. 1 Winkowski, Jozef 1 Wróblewski, Dobiesław 1 Zinn, K. L. 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 35 Computer science (68-XX) 4 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 133 times in 118 Documents Cited by ▼ Year ▼ Basic notions of trace theory. (Tutorial). Zbl 0683.68032Mazurkiewicz, A. 19 1989 Trace theory. Zbl 0633.68051Mazurkiewicz, Antoni 17 1987 Semantics of concurrent systems: A modular fixed-point trace approach. Zbl 0576.68044Mazurkiewicz, A. 15 1985 Distributed enumeration. Zbl 1336.68079Mazurkiewicz, Antoni 12 1997 Concurrent systems and inevitability. Zbl 0675.68015Mazurkiewicz, Antoni; Ochmański, Edward; Penczek, Wojciech 9 1989 Traces, histories, graphs: instances of a process monoid. Zbl 0577.68061Mazurkiewicz, Antoni 9 1984 Concurrency, modularity, and synchronization. Zbl 0755.68098Mazurkiewicz, Antoni 7 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 Recursive algorithms and formal languages. Zbl 0259.68033Mazurkiewicz, A. 5 1972 Compositional semantics of pure place/transition systems. Zbl 0676.68030Mazurkiewicz, Antoni 4 1988 Labelled (hyper)graphs, negotiations and the naming problem. Zbl 1175.68273Chalopin, Jérémie; Mazurkiewicz, Antoni; Métivier, Yves 4 2008 An algebraic approach to the theory of programs, algorithms, languages and recursiveness. Zbl 0313.68022Blikle, Andrzej; Mazurkiewicz, Antoni 3 1972 Mathematical foundations of computer science. Zbl 0348.00013 3 1977 A note on enumerable grammers. Zbl 0176.28101Mazurkiewicz, A. W. 3 1969 Bilateral ranking negotiations. Zbl 1083.68041Mazurkiewicz, Antoni 2 2004 Local computations on triangular graphs. Zbl 1215.68187Mazurkiewicz, Antoni 2 2010 Locally derivable graphs. Zbl 1108.68089Mazurkiewicz, Antoni 2 2007 Proving properties of processes. Zbl 0273.68040Mazurkiewicz, Antoni 1 1974 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 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 2 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. 19 1989 Concurrent systems and inevitability. Zbl 0675.68015Mazurkiewicz, Antoni; Ochmański, Edward; Penczek, Wojciech 9 1989 Concurrency, modularity, and synchronization. Zbl 0755.68098Mazurkiewicz, Antoni 7 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 17 1987 Semantics of concurrent systems: A modular fixed-point trace approach. Zbl 0576.68044Mazurkiewicz, A. 15 1985 Traces, histories, graphs: instances of a process monoid. Zbl 0577.68061Mazurkiewicz, Antoni 9 1984 Mathematical foundations of computer science. Zbl 0348.00013 3 1977 Proving properties of processes. Zbl 0273.68040Mazurkiewicz, Antoni 1 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 171 Authors 6 Métivier, Yves 5 Aalbersberg, Ijsbrand Jan 5 Pelc, Andrzej 5 van Glabbeek, Robert Jan 4 Goltz, Ursula 4 Mazurkiewicz, Antoni W. 4 Rozenberg, Grzegorz 3 Chalopin, Jérémie 3 Dereniowski, Dariusz 3 Godard, Emmanuel 3 Thiagarajan, Pazhamaneri Subramaniam 3 Zemmari, Akka 2 Arnold, André 2 Bauderon, Michel 2 Czaja, Ludwik 2 Ehrenfeucht, Andrzej 2 Fraigniaud, Pierre 2 Fusco, Emanuele Guido 2 Haeusler, Edward Hermann 2 Hoogeboom, Hendrik Jan 2 Lopes, Bruno Domeniciano 2 Maslov, A. N. 2 Mohalik, Swarup 2 Mosbah, Mohamed 2 Ochmański, Edward 2 Peled, Doron A. 2 Penczek, Wojciech 2 Rajsbaum, Sergio 2 Rasiowa, Helena 2 Robson, John Michael 2 Rozoy, Brigitte 2 Schicke, Jens-Wolfhard 2 Sellami, Afif 2 Sobociński, Paweł 2 Sousa, Marcelo S. 2 Travers, Corentin 2 Wasilewska, Anita 2 Winkowski, Jozef 1 Abdulla, Parosh Aziz 1 Aceto, Luca 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 Brol’, V. V. 1 Casteigts, Arnaud 1 Casu, Giovanni 1 Chaturvedi, Namit 1 Cheng, Allan 1 Cordier, Marie-Odile 1 Coti, Camille 1 Diekert, Volker 1 Dikovsky, Alexander Yakovlevich 1 Dimitrić, Radoslav Milan 1 Dowek, Gilles 1 Dowling, William F. 1 D’silva, Vijay 1 Duba, Bruce 1 Duboc, Christine 1 El Hibaoui, Abdelaaziz 1 Ésik, Zoltán 1 Felleisen, Matthias 1 Fieux, Etienne 1 Friedman, Daniel P. 1 Gabarró, Joaquim 1 Gallier, Jean H. 1 Gastin, Paul 1 Gelderie, Marcus 1 Gladky, A. V. 1 Gopalakrishnan, Ganesh Lalitha 1 Gorrieri, Roberto 1 Greibach, Sheila A. 1 Gruner, Stefan 1 Guaiana, Giovanna 1 Gupta, Aarti 1 Gutierrez, Julian 1 Hansen, Henri 1 Hoogers, P. W. 1 Idzik, Adam 1 Janicki, Ryszard 1 Jemni, Mohamed 1 Jensen, Peter Gjøl 1 Jojczyk, Kazimierz 1 Jonsson, Bengt 1 Jouve, Bertrand 1 Katoen, Joost-Pieter 1 Katz, Shmuel 1 Kleijn, H. C. M. 1 Kohlbecker, Eugene 1 Konieczny, Janusz 1 Koutny, Maciej 1 Krasilov, A. A. 1 Kröning, Daniel 1 Kufleitner, Manfred ...and 71 more Authors all top 5 Cited in 35 Serials 25 Theoretical Computer Science 11 Information Processing Letters 8 Distributed Computing 6 RAIRO. Informatique Théorique et Applications 5 Information and Computation 4 Acta Informatica 4 Studia Logica 3 Discrete Applied Mathematics 3 Journal of Soviet Mathematics 3 Mathematical Systems Theory 2 The Journal of Symbolic Logic 2 Formal Aspects of Computing 2 RAIRO. Theoretical Informatics and Applications 1 Artificial Intelligence 1 Discrete Mathematics 1 The Mathematical Intelligencer 1 International Journal of Computer & Information Sciences 1 Journal of Computer and System Sciences 1 Kybernetika 1 Networks 1 Notre Dame Journal of Formal Logic 1 Algorithmica 1 Journal of Parallel and Distributed Computing 1 Formal Methods in System Design 1 Journal of Logic, Language and Information 1 Theory of Computing Systems 1 Fundamenta Informaticae 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 1 Journal of Logical and Algebraic Methods in Programming all top 5 Cited in 14 Fields 113 Computer science (68-XX) 24 Mathematical logic and foundations (03-XX) 5 Combinatorics (05-XX) 3 Order, lattices, ordered algebraic structures (06-XX) 1 History and biography (01-XX) 1 Field theory and polynomials (12-XX) 1 Category theory; homological algebra (18-XX) 1 Group theory and generalizations (20-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