| Synchronizations in team automata for groupware systems MH Ter Beek, CA Ellis, J Kleijn, G Rozenberg Computer Supported Cooperative Work (CSCW) 12 (1), 21-69, 2003 | 106 | 2003 |
| An event structure semantics for general Petri nets PW Hoogers, HCM Kleijn, PS Thiagarajan Theoretical Computer Science 153 (1-2), 129-170, 1996 | 90 | 1996 |
| Process semantics of general inhibitor nets HCM Kleijn, M Koutny Information and Computation 190 (1), 18-69, 2004 | 80 | 2004 |
| Towards a Petri net semantics for membrane systems JHCM Kleijn, M Koutny, G Rozenberg International Workshop on Membrane Computing, 292-309, 2005 | 77 | 2005 |
| A trace semantics for Petri nets PW Hoogers, HCM Kleijn, PS Thiagarajan Information and Computation 117 (1), 98-114, 1995 | 62 | 1995 |
| On the generative power of regular pattern grammars HCM Kleijn, G Rozenberg Acta Informatica 20 (4), 391-411, 1983 | 47 | 1983 |
| Q-automata: Modelling the resource usage of concurrent components T Chothia, J Kleijn Electronic Notes in Theoretical Computer Science 175 (2), 153-167, 2007 | 43 | 2007 |
| Context-free like restrictions on selective rewriting HCM Kleijn, G Rozenberg Theoretical Computer Science 16 (3), 237-269, 1981 | 39 | 1981 |
| Process semantics for membrane systems J Kleijn, M Koutny, G Rozenberg Journal of Automata, Languages and Combinatorics 11 (3), 321-340, 2006 | 35 | 2006 |
| A trace semantics for Petri nets PW Hoogers, HCM Kleijn, PS Thiagarajan International Colloquium on Automata, Languages, and Programming, 595-604, 1992 | 35 | 1992 |
| A Petri net model for membrane systems with dynamic structure J Kleijn, M Koutny Natural Computing 8 (4), 781-796, 2009 | 32 | 2009 |
| Formal languages and concurrent behaviours J Kleijn, M Koutny New Developments in Formal Languages and Applications, 125-182, 2008 | 29 | 2008 |
| Team automata satisfying compositionality MH Ter Beek, J Kleijn International Symposium of Formal Methods Europe, 381-400, 2003 | 29 | 2003 |
| Synchrony and asynchrony in membrane systems J Kleijn, M Koutny International Workshop on Membrane Computing, 66-85, 2006 | 28 | 2006 |
| Process semantics of P/T-Nets with inhibitor arcs J Kleijn, M Koutny International Conference on Application and Theory of Petri Nets, 261-281, 2000 | 27 | 2000 |
| Modeling innate immune response to early mycobacterium infection RV Carvalho, J Kleijn, AH Meijer, FJ Verbeek Computational and mathematical methods in medicine 2012, 2012 | 26 | 2012 |
| A study in parallel rewriting systems HCM Kleijn, G Rozenberg Information and Control 44 (2), 134-163, 1980 | 26 | 1980 |
| Minimal reaction systems A Ehrenfeucht, J Kleijn, M Koutny, G Rozenberg Transactions on Computational Systems Biology XIV, 102-122, 2012 | 25 | 2012 |
| Step traces R Janicki, J Kleijn, M Koutny, Ł Mikulski Acta Informatica 53 (1), 35-65, 2016 | 24* | 2016 |
| On the equivalence of compositions of morphisms and inverse morphisms on regular languages J Karhumäki, HCM Kleijn RAIRO-Theoretical Informatics and Applications-Informatique Théorique et …, 1985 | 24 | 1985 |
Maciej KoutnyNewcastle UniversityEmail verificata su ncl.ac.uk
