| Concurrent secrets E Badouel, M Bednarczyk, A Borzyszkowski, B Caillaud, P Darondeau Discrete Event Dynamic Systems 17, 425-446, 2007 | 184 | 2007 |
| Generalized congruences-epimorphisms in Cat MA Bednarczyk, AM Borzyszkowski, W Pawlowski Theory and Applications of Categories 5 (11), 266-280, 1999 | 65 | 1999 |
| General morphisms of Petri nets MA Bednarczyk, AM Borzyszkowski Automata, Languages and Programming: 26th International Colloquium, ICALP’99 …, 2002 | 22 | 2002 |
| Finite completeness of categories of Petri nets MA Bednarczyk, AM Borzyszkowski, R Somla Fundamenta Informaticae 43 (1-4), 21-48, 2000 | 14 | 2000 |
| On concurrent realization of reactive systems and their morphisms MA Bednarczyk, AM Borzyszkowski Unifying Petri Nets: Advances in Petri Nets, 346-379, 2001 | 13 | 2001 |
| Unconditional decompositions and local unconditional structures in some subspaces of , 1≤p<2 A Borzyszkowski Studia Mathematica 76 (3), 267-278, 1983 | 10 | 1983 |
| Computing majority via multiple queries AM Borzyszkowski Theoretical Computer Science 539, 106-111, 2014 | 7 | 2014 |
| Towards the semantics of the definitional language of MetaSoft MA Bednarczyk, AM Borzyszkowski, W Pawłowski International Symposium of VDM Europe, 477-503, 1990 | 7 | 1990 |
| Transition systems without transitions AM Borzyszkowski, P Darondeau Theoretical computer science 338 (1-3), 1-16, 2005 | 6 | 2005 |
| Concurrent realizations of reactive systems MA Bednarczyk, AM Borzyszkowski IPI PAN, 1999 | 4 | 1999 |
| A set-theoretic model for a typed polymorphic lambda calculus a contribution to MetaSoft A Borzyszkowski, R Kubiak, S Sokołowski International Symposium of VDM Europe, 267-298, 1988 | 4 | 1988 |
| Towards a set-theoretic type theory A Borzyszkowski, R Kubiak, J Leszczylowski, S Sokolowski Submitted to Theoretical Computer Science, 1988 | 4 | 1988 |
| Mathematical foundations of computer science 1993 A Borzyszkowski, S Sokolowski Springer-Verlag, 1993 | 3 | 1993 |
| A set-theoretic model for a typed polymorphic lambda calculus—a contribution to MetaSoft R Kubiak, A Borzyszkowski, S Sokolowski VDM: The Way Ahead, LNCS 328, 267-298, 1988 | 3 | 1988 |
| Concrete (co) constructions in the category of small categories MA Bednarczyk, AM Borzyszkowski Unpublished manuscript. http://citeseerx. ist. psu. edu/viewdoc/download, 1998 | 2 | 1998 |
| Epimorphic functors MA Bednarczyk, AM Borzyszkowski, W Pawłowski IPI PAN, 1998 | 2 | 1998 |
| Matematyka ordynacji wyborczej A Borzyszkowski Polish Academy of Sciences [PAS]. Institute of Computer Science, 1997 | 2 | 1997 |
| Matematyczne podstawy informatyki AM Borzyszkowski, S Sokołowski Wydaw. Francusko-Polskiej Wyższej Szkoły Nowych Technik Informatyczno …, 1995 | 2 | 1995 |
| Recursive definitions revisited MA Bednarczyk, AM Borzyszkowski, W Pawłowski VDM'90 VDM and Z—Formal Methods in Software Development: Third …, 1990 | 2 | 1990 |
| Equalizing morphisms of Petri nets MA Bednarczyk, AM Borzyszkowski, R Somla Proc. Workshop on Concurrency, Specification & Programming, 24-35, 1999 | 1 | 1999 |
