Jetty Kleijn
Professor Emeritus Theoretical Computing Science
- Name
- Prof.dr. H.C.M. Kleijn
- Telephone
- +31 71 527 2727
- h.c.m.kleijn@liacs.leidenuniv.nl
- ORCID iD
- 0000-0001-9506-4071
Jetty Kleijn is a professor of Theoretical Computing Science at the Leiden Institute of Advanced Computer Science (LIACS), and a visiting fellow of the School of Computing of Newcastle University. She is the head of the Theory cluster of LIACS and is also affiliated with the Bioinformatics cluster.
See for more information my personal webpage
Professor Emeritus Theoretical Computing Science
- Science
- Leiden Inst of Advanced Computer Science
Professor Theoretical Computing Science
- Science
- Leiden Inst of Advanced Computer Science
- Genova D., Hoogeboom H.J. & Klein H.C.M. (2021), Comparing reactions in reaction systems, Theoretical Computer Science 881: 83-96.
- Janicki R., Kleijn H.C.M. & Mikulski L. (2018), A Precise Characterisation of Step Traces and Their Concurrent Histories, Scientific Annals of Computer Science 28(2): 237-267.
- Kleijn H.C.M., Koutny M., Mikulski L. & Rozenberg G. (2018), Reaction Systems, Transition Systems, and Equivalences. In: Böckenhauer H.J., Komm D. & Unger W. (Eds.), Adventures Between Lower Bounds and Higher Altitudes - Essays Dedicated to Juraj Hromkovič on the Occasion of His 60th Birthday.. Lecture Notes in Computer Science no. 11011. Cham: Springer International Publishing. 63-84.
- Kleijn H.C.M. & Smit P. (2018), Partially Ordering Koutny’s Traces. In: Khomenko V. (Ed.), Harnessed Causality - Essays dedicated to Maciej Koutny on the occasion of his 60th birthday 94-101.
- Kleijn H.C.M. (2018), Evolving Reaction Systems, Conference Booklet of the first International Workshop on Reaction Systems, Milan, Italy (2018) : .
- Kwantes P.M. & Kleijn H.C.M. (2018), On the Synthesis of Industry Level Process Models from Enterprise Level Process Models. Aalst W. van der, Bergenthum R. & Carmona J. (Eds.), Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2018. Algorithms & Theories for the Analysis of Event Data 2018 (ATAED 2018) 25 June 2018 - 25 June 2018 no. 2115 6-22.
- Aman B., Kleijn H.C.M., Koutny M. & Lucanu D. (2017), Methods for Distributed and Concurrent Systems, Fundamenta Informaticae 153(1-2): v-vi.
- Kleijn H.C.M., Koutny M., Pietkiewicz-Koutny M. & Rozenberg G. (2017), Applying regions, Theoretical Computer Science 658: 205-215.
- Beek M.H. ter, Carmona J., Hennicker R. & Kleijn H.C.M. (2017), Communication Requirements for Team Automata. Jacquet J.M. & Massink M. (Eds.), Coordination Models and Languages. 19th IFIP WG 6.1 International Conference on Coordination Models and Languages - COORDINATION 2017 19 June 2017 - 22 June 2017 no. 10319: Springer, Cham. 256-277.
- Hoogeboom H.J., Kleijn H.C.M., Nat M. van der, Petre I. & Salomaa A. (Eds.) (2017), A Magician in Science. Liber Amicorum Grzegorz Rozenberg. Turku, Finland: TUCS.
- Janicki R., Kleijn H.C.M., Koutny M. & Mikulski L. (2017), Invariant Structures and Dependence Relations, Fundamenta Informaticae 155(1-2): 1-29.
- Janicki R., Kleijn H.C.M., Koutny M. & Mikulski L. (2017), Alphabets of Acyclic Invariant Structures, Fundamenta Informaticae 154(1-4): 207-224.
- Kleijn H.C.M., Koutny M. & Pietkiewicz-Koutny M. (2017), Adding A/Sync Places to the Synthesis Procedure for Whole-Place Operations Nets with Localities, Scientific Annals of Computer Science 27(2): 177-212.
- Aman B., Kleijn H.C.M., Koutny M. & Lucanu D. (Eds.) (2017), Methods for Distributed and Concurrent Systems: Special Issue on the occasion of the 60th Birthday of Professor Gabriel Ciobanu. Fundamenta Informaticae: IOS Press.
- Koutny M., Kleijn H.C.M. & Penczek W. (Eds.) (2017), Transactions on Petri Nets and Other Models of Concurrency XII. Lecture Notes in Computer Science no. 10470: Springer.
- Janicki R., Kleijn H.C.M., Koutny M. & Mikulski L. (2017), On Synthesising Step Alphabets for Acyclic Invariant Structures. Aalst W. van der, Bergenthum R. & Carmona J. (Eds.), CEUR Workshop Proceedings. Algorithms & Theories for the Analysis of Event Data 2017 26 June 2017 - 27 June 2017 no. 1847: CEUR Workshop Proceedings. 76-88.
- Janicki R., Kleijn H.C.M., Koutny M. & Mikulski L. (2017), Classifying invariant structures of step traces, Journal of Computer and System Sciences 104: 297-322.
- Kleijn H.C.M., Koutny M. & Pietkiewicz-Koutny M. (2017), Signal set tissue systems and overlapping localities, Theoretical Computer Science 701: 132-145.
- Ehrenfeucht A., Kleijn H.C.M., Koutny M. & Rozenberg G. (2017), Evolving reaction systems, Theoretical Computer Science 682: 79-99.
- Kleijn H.C.M. (2017), Structure of Behaviour in Extended EN Systems, : 33.
- Janicki R., Kleijn J., Koutny M. & Mikulski Ł. (2016), Step Traces, Acta Informatica 53(1): 35-65.
- Bertens L.M.F., Kleijn J., Hille S., Heiner M., Koutny M. & Verbeek F.J. (2016), Modeling Biological Gradient Formation: Combining Partial Differential Equations and Petri Nets, Natural computing 154(4): 665-675.
- Beek M.H. ter, Carmona J. & Kleijn J. (2016), Conditions for Compatibility of Components - The Case of Masters and Slaves. Margaria T. & Steffen B. (Eds.), Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. ISoLA 2016. Lecture Notes in Computer Science. ISoLA 2016 7TH INTERNATIONAL SYMPOSIUM ON LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION 5 October 2016 - 14 October 2016 no. 9952. Cham: Springer Publishers. 784-805.
- Kleijn J., Koutny M. & Pietkiewicz-Koutny M. (2016), Synthesis of Petri Nets with Whole-Place Operations and Localities. Sampaio A. & Wang F. (Eds.), Lecture Notes in Computer Science. International Colloquium on Theoretical Aspects of Computing (ICTAC) 24 October 2016 - 30 October 2016 no. 9965. Cham, Switzerland: Springer Publishers. 103-120.
- Kleijn H.C.M. (2016), On Processes and Paradigms. Moldt D. & Kordon F. (Eds.), Application and Theory of Petri Nets and Concurrency 37th International Conference, PETRI NETS 2016, Torun, Poland, June 19-24, 2016. Proceedings: 2016. International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency 19 June 2016 - 24 June 2016 no. LNCS 9698. Cham: Springer International Publishing. XIII-XIV.
- Kleijn J., Koutny M. & Pietkiewicz-Koutny M. (2016), Regions of Affine Nets. In: Mokhov A. (Ed.), This Asynchronous World. Essays dedicated to Alex Yakovlev on the occasion of his 60th birthday. Newcastle upon Tyne: Newcastle University. 182-191.
- Koutny M., Desel J. & Kleijn J. (Eds.) (2016), Transactions on Petri Nets and Other Models of Concurrency (ToPNoC) XI. Lecture Notes in Computer Science. Cham: Springer International Publishing.
- Beek M.H. ter & Kleijn J. (2015), Shuffles and Synchronised Shuffles: A Survey. In: Paun G., Rozenberg G. & Salomaa A. (Eds.), Discrete Mathematics and Computer Science: Publishing House of the Romanian Academy, Bucharest.Romanian Academy. 37-50.
- Janicki R., Kleijn J., Koutny M. & Mikulski Ł. (2015), Order Structures for Subclasses of Generalised Traces. Dediu A.H., Formenti E., Martin-Vide C. & Truthe B. (Eds.), Language and Automata Theory and Applications. LATA 2015. Ninth International Conference on Languages and Automata Theory and Applications (LATA 2015) 2 March 2015 - 6 March 2015 no. LNCS 8977. Cham: Springer. 689-700.
- Colom J.M., Desel J. & Kleijn J. (Eds.) (2015), Application and Theory of Petri Nets and Concurrency. PETRI NETS 2013. Fundamenta Informaticae no. 137: IOS Press.
- Janicki R., Kleijn H.C.M., Koutny M. & Mikulski L. (2015), Characterising Concurrent Histories, Fundamenta Informaticae 139(1): 21-42.
- Viana de Carvalho R., Heuvel J. van den, Kleijn H.C.M. & Verbeek F.J. (2015), Coupling of Petri Net Models of the Mycobacterial Infection Process and Innate Immune Response, Computation 3(2): 150-176.
- Janicki R., Kleijn J., Koutny M. & Mikulski Ł. (2015), Relating Step Alphabets and Invariant Structures no. CS-TR-1489: School of Computing Science, University of Newcastle upon Tyne, UK.
- Kleijn H.C.M. (2015), Concurrency, Histories and Nets. Durand-Lose J. & Nagy B. (Eds.), Machines, Computations and Universality. 7th International Conference on Machines, Computations and Universality (MCU 2015) 9 September 2015 - 11 September 2015 no. LNCS 9288: Springer. XII-XIV.
- Beek M.H. ter, Carmona J. & Kleijn H.C.M. (2015), Communication and Compatibility in Systems of Systems: Correctness-by-Construction, ERCIM News 102(July): 21-22.
- Kleijn J. & Koutny M. (2015), Set Tissue Systems with Instant Signalling. In: Gheorghe M., Petre I., Perez-Jimenez M.J., Rozenberg G. & Salomaa A. (Eds.), Multidisciplinary Creativity: Spandugino. 105-117.
- Kwantes P.M., Gorp P. van, Kleijn J. & Rensink A. (2015), Towards Compliance Verification Between Global and Local Process Models. Parisi-Presicce F. & Westfechtel B. (Eds.), Graph Transformation. International Conference of Graph Transformation 21 July 2015 - 23 July 2015 no. 9151. L'Aquila: Springer. 221-236.
- Beek M.H. ter & Kleijn J. (2014), On Distributed Cooperation and Synchronised Collaboration, Journal of Automata, Languages and Combinatorics 19(1-4): 17-32.
- Janicki R., Kleijn J., Koutny M. & Mikulski I. (2014), Order Structures for Subclasses of Generalised Traces no. CS-TR No 1437: School of Computing Science, University of Newcastle-upon-Tyne, UK.
- Haddad S., Kleijn J. & Pomello L. (Eds.) (2014), Application and Theory of Petri Nets and Concurrency 2012. Fundamenta Informaticae no. 131(1).
- Kleijn J., Koutny M. & Pietkiewicz-Koutny M. (2014), Tissue systems and Petri nets synthesis. In: Koutny M., Haddad S. & Yakovlev A. (Eds.), Transactions on Petri Nets and Other Models of Concurrency (ToPNoC) IX no. 8910: Springer.
- Janicki R., Kleijn J., Koutny M. & Mikulski L. (2014), Generalising Traces no. CS-TR No. 1436: School of Computing Science, University of Newcastle-upon-Tyne, UK.
- Viana de Carvalho R., Kleijn H.C.M. & Verbeek F.J. (2014), A multi-scale extensive Petri net model of the bacterial-macrophage interaction. Heiner M. (Ed.), Proceedings of the 5th international workshop on biological processes & Petri Nets. 5th International Workshop on Biological Processes & Petri Nets 23 June 2014 - 23 June 2014 no. 1159: CEUR . 15-29.
- Janicki R., Kleijn J., Koutny M. & Mikulski L. (2013), Causal Structures for General Concurrent Behaviours: University of Newcastle-upon-Tyne, UK.
- Kleijn J., Koutny M., Pietkiewicz-Koutny M. & Rozenberg G. (2013), Step Semantics of Boolean Nets, Acta Informatica 50: 15-39.
- Kleijn J. & Koutny M. (2013), Mutex Causality in Processes and Traces of General Elementary Nets, Fundamenta Informaticae 122: 119-146.
- Kleijn J. & Koutny M. (2013), Causality in Extensions of Petri Nets. In: , Transactions on Petri Nets and Other Models of Concurrency (ToPNoC) VII: Springer. 225-254.
- Carmona J.A. & Kleijn J. (2013), Compatibility in a multi-component environment, 484: 1-15.
- Kleijn H.C.M., Koutny M. & Pietkiewicz-Koutny M. (2013), Synthesis of Tissue Systems, Proceedings Third Workshop on Application of Region Theory (ART). 1-16.
- Bertens L.M.F., Kleijn J., Hille S.C., Koutny M., Heiner M. & Verbeek F.J. (2013), Modeling biological gradient formation: combining partial differential equations and Petri nets. Newcastle: University of Newcastle-upon-Tyne, UK.
- Janicki R., Kleijn H.C.M., Koutny M. & Mikulski L. (2013), Causal Structures for General Concurrent Behaviours, Proceedings 22nd International Workshop on Concurrency, Specification and Programming. : CEUR WS. 193-205.
- Ehrenfeucht A., Kleijn J., Koutny M. & Rozenberg G. (2012), Relevance of Entities in Reaction Systems. Bordihn H., Kutrib M. & Truthe B. (Eds.), Languages Alive. : Springer. 44-55.
- Kleijn J. & Koutny M. (2012), Localities in systems with a/sync communication, 429: 185-192.
- Ehrenfeucht A., Kleijn J., Koutny M. & Rozenberg G. (2012), Qualitative and Quantitative Aspects of a Model for Processes Inspired by the Functioning of the Living Cell. In: Katz E. (Ed.), Biomolecular Information Processing, From Logic Systems to Smart Sensors and Actuators. Weinheim, Germany: Wiley-VCH. 303-322.
- Ehrenfeucht A., Kleijn J., Koutny M. & Rozenberg G. (2012), Reaction Systems: A Natural Computing Approach to the Functioning of Living Cells. In: Zenil H. (Ed.), A Computable Universe, Understanding and Exploring Nature as Computation: World Scientific.
- Kleijn J., Koutny M., Pietkiewicz-Koutny M. & Rozenberg G. (2012), Petri Net Synthesis and Membrane Systems. Aman B. & Ciobanu G. (Eds.), Pre-Proceedings MeCBIC 2012. 7-8.
- Kleijn J., Koutny M., Pietkiewicz-Koutny M. & Rozenberg G. (2012), Membrane Systems and Petri Net Synthesis. Ciobanu G. (Ed.), Proceedings 6th Workshop on Membrane Computing and Biologically Inspired Process Calculi. . Electronic Proceedings in Theoretical Computer Science 1-13.
- Ehrenfeucht A., Kleijn J., Koutny M. & Rozenberg G. (2012), Minimal reaction systems. Priami C., Petre I. & Vink E. de (Eds.), Transactions on Computational Systems Biology XIV. : Springer. 102-122.
- Kleijn J., Koutny M., Pietkiewicz-Koutny M. & Rozenberg G. (2012), Membrane Systems and Petri Net Synthesis: University of Newcastle-upon-Tyne, UK.
- Viana de Carvalho R., Kleijn H.C.M., Meijer A.H. & Verbeek F.J. (2012), Modeling innate immune response to early mycobacterium infection, Computational and Mathematical Methods in Medicine 2012: 790482.
- Kleijn Jetty & Koutny M. (2012), Step coverability algorithms for communicating systems, Science of Computer Programming 77: 955-967.
- Beek M.H. ter & Kleijn J. (2012), Vector team automata, 429: 21-29.
- Jensen K., Donatelli S. & Kleijn J. (Eds.) (2012), Transactions on Petri Nets and Other Models of Concurrency V. Heidelberg: Springer Verlag.
- Kleijn J., Koutny M. & Pietkiewicz-Koutny M. (2012), Regions of Petri nets with a/sync connections, 454: 189-198.
- Kleijn J. (2012), Petri Nets at Leiden University, Petri Net Newsletter : 11-14.
- Bertens L.M.F., Kleijn J. & Verbeek F.J. (2012), Biomodelling and Petri Nets, Eureka magazine : 6-8.
- Jensen K., Aalst W.M.P. van der, Ajmone Marsan M., Franceschinis G., Kleijn H.C.M. & Kristensen L.M. (Eds.) (2012), Transactions on Petri Nets and Other Models of Concurrency VI. Heidelberg Berlin: Springer.
- Kleijn J., Koutny M. & Rozenberg G. (2011), Petri Nets and Bio-Modelling and how to benefit from their synergy, Fifth Workshop on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC 2011). . Fontainebleau, France.
- Kleijn J. & Koutny M. (2011), Membrane Systems with Qualitative Evolution Rules, Fundamenta Informaticae 110: 217-230.
- Van der Vlugt S., Kleijn J. & Koutny M. (2011), Coverability and Inhibitor Arcs: an example. University of Newcastle upon Tyne, UK: School of Computing Science, University of Newcastle upon Tyne.
- Kleijn J. & Koutny M. (2011), Mutex Causality in Processes and Traces of General Elementary Nets. University of Newcastle upon Tyne, UK: School of Computing Science, University of Newcastle upon Tyne.
- Kleijn J. & Koutny M. (2011), Localities in Systems with a/sync Communication. University of Newcastle upon Tyne, UK: School of Computing Science, University of Newcastle upon Tyne.
- Kleijn J. & Koutny M. (2011), Causality in Extensions of Petri Nets. University of Newcastle-upon-Tyne, UK: School of Computing Science, University of Newcastle upon Tyne.
- Van der Vlugt S., Kleijn J. & Koutny M. (2011), Coverability and Inhibitor Arcs: an example, Petri Net Newsletter 79: 7-12.
- Ehrenfeucht A., Kleijn J., Koutny M. & Rozenberg G. (2011), Reaction Systems: A Natural Computing Approach to the Functioning of Living Cells: University of Newcastle-upon-Tyne, UK.
- Kleijn J., Koutny M. & Pietkiewicz-Koutny M. (2011), Regions of Petri Nets with a/synch Connections: University of Newcastle-upon-Tyne, UK.
- Kleijn J., Koutny M. & Rozenberg G. (2011), Modelling Reaction Systems with Petri Nets. Heiner M. & Matsuno H. (Eds.), International Workshop on Biological Processes & Petri Nets (BioPPN-2011). . CEUR Workshop Proceedings 36-52.
- Kleijn J., Koutny M., Pietkiewicz-Koutny M. & Rozenberg G. (2011), Classifying Boolean Nets for Region-based Synthesis. Desel J. & Yakovlev A. (Eds.), Proceedings of the Workshop on Applications of Region Theory 2011. . CEUR Workshop proceedings 5-21.
- Kleijn J., Koutny M. & Rozenberg G. (2011), Petri Nets for Biologically Motivated Computing. University of Newcastle upon Tyne, UK: School of Computing Science, University of Newcastle upon Tyne.
- Kleijn J. & Koutny M. (2011), Membrane Systems with Qualitative Evolution Rules. University of Newcastle upon Tyne, UK: School of Computing Science, University of Newcastle upon Tyne.
- Kleijn J. & Koutny M. (2011), The Mutex Paradigm of Concurrency. University of Newcastle upon Tyne, UK: School of Computing Science, University of Newcastle upon Tyne.
- Kleijn J. & Koutny M. (2011), Causality in Structured Occurrence Nets. University of Newcastle upon Tyne, UK: School of Computing Science, University of Newcastle upon Tyne.
- Ehrenfeucht A., Kleijn J., Koutny M. & Rozenberg G. (2011), Relevance of Entities in Reaction Systems. Newcastle upon Tyne, UK: School of Computing Science, University of Newcastle upon Tyne.
- Kleijn J., Koutny M. & Rozenberg G. (2011), Petri Nets for Biologically Motivated Computing, Scientific Annals of Computer Science 21(2): 199-225.
- Kleijn J. & Koutny M. (2011), The Mutex Paradigm of Concurrency. Kristensen L.M. & Petrucci L. (Eds.), Proceedings Applications and theory of Petri Nets, 32nd International Conference. : Springer. 228-247.
- Kleijn J. & Koutny M. (2011), Causality in Structured Occurrence Nets. In: Jones C.B. & Lloyd J.L. (Eds.), Festschrift Randell: Springer. 283-297.
- Kleijn J., Koutny M., Pietkiewicz-Koutny M. & Rozenberg G. (2011), Step Semantics of Boolean Sets: University of Newcastle-upon-Tyne, UK.
- Ehrenfeucht A., Kleijn J., Koutny M. & Rozenberg G. (2011), Qualitative and Quantitative Aspects of a Model for Processes Inspired by the Funcitoning of a Living Cell: University of Newcastle-upon-Tyne, UK.
- Kleijn J. & Koutny M. (2010), Petri nets and membrane computing (Chapter 15). In: Paun G., Rozenberg G. & Salomaa A. (Eds.), The Oxford Handbook of Membrane Computing: Oxford University Press. 389-412.
- Bertens L.M.F., Kleijn J., Koutny M. & Verbeek F.J. (2010), Modelling gradients using petri nets. Donatelli S., Kleijn H.C.M., Machado R.J. & Fernandez J.M. (Eds.), Proceedings of the workshops of the 31st international conference on application and theory of petri nets and other models of concurrency (PETRI NETS 2010). RAPNeC-2010 Recent Advances in Petri Nets and Concurrency 21 June 2010 - 22 June 2010. CEUR Workshop Proceedings no. 827: CEUR-WS. 39-53.
- Bertens L.M.F., Kleijn H.C.M., Koutny M. & Verbeek F.J. (2010), Modelling Gradients Using Petri Nets. Leiden: Universiteit Leiden.
- Kleijn J. & Koutny M. (2010), Applying Step Coverability Trees to Communicating Component-Based Systems. Arbab F. & Sirjani M. (Eds.), Fundamentals of Software Engineering (FSEN 2009). FSEN 2009: Springer. 178-193.
- Kleijn J. & Koutny M. (2010), Petri Nets with Localities and Testing. Lilius J. & Penczek W. (Eds.), Applications and Theory of Petri Nets, 31st International Conference (PETRI NETS 2010). 19-38.
- Janicki R., Kleijn Jetty & Koutny M. (2010), Quotient Monoids and Concurrent Behaviours. In: Martín-Vide C. (Ed.), Scientific Applications of Language Methods: World Scientific. 313-386.
- Beek M.H. ter & Kleijn J. (2009), Associativity of Infinite Synchronized Shuffles and Team Automata, Fundamenta Informaticae 91: 437-461.
- Kleijn J. & Koutny M. (2009), A Petri net model for membrane systems with dynamic structure, Natural computing 8: 781-796.
- Kleijn J. & Koutny M. (2009), Applying Step Coverability Trees to Communicating Component-Based Systems. Newcastle, UK: School of Computing Science, Newcastle University, UK.
- Kleijn J. & Koutny M. (2009), Petri Nets and Membrane Computing. In: Paun G., Rozenberg G. & Salomaa A. (Eds.), The Oxford Handbook of Membrane Computing: Oxford University press. 389-412.
- Bertens L.M.F., Jansen H.J., Kleijn J., Koutny M. & Verbeek F.J. (2009), Using Petri Nets in Higher Level Development Biology: a case study on the AP axis development in Xenopus laevis. Extended abstract. Leiden: LIACS.
- Kleijn J. & Koutnny M. (2008), Concurrency metHods: Issues aNd Applications, 29th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency. : Springer.
- Kleijn J. & Koutny M. (2008), Processes of membrane systems with promoters and inhibitors, 404: 112-126.
- Beek M.H. ter & Kleijn J. (2007), Infinite Unfair Shuffles and Associativity, 380: 401-410.
- Kleijn J. (2007), Petri Nets and Other Models of Concurrency. Kleijn A. & Yakovlev A. (Eds.), ICATPN 2007. .
- Kleijn J. & Koutny M. (2007), Processes of Petri Nets with Range testing, Fundamenta Informaticae 80: 199-219.
- Kleijn J., Koutny M. & Rozenberg G. (2006), Process Semantics for Membrane Systems, Journal of Automata, Languages and Combinatorics 11: 321-340.
- Chothia T. & Kleijn J. (2006), Q-Automata: Modelling the Resource Usage of concurrent components. In: Canal C. & Vrioli M. (Eds.), foundations of Coordination Languages and Software Architectures. Univ of Malaga: Dept of computer Science. 151-165.
- Kleijn J. & Koutny M. (2006), Synchrony and Asynchrony in Membrane Systems. Hoogeboom H.J., Paun G., Rozenberg G. & Salomaa A. (Eds.), Membrane Computing, Seventh International Workshop. 66-85.
- Kleijn J., Koutny M. & Rozenberg G. (2006), Towards a Petri net semantics for membrane systems. Paun G., Rozenberg G., Freund R. & Salomaa A. (Eds.), Membrane Computing: 6th International Workshop, WMC 2005. : Springer. 292-309.
- Kleijn J. & Koutny M. (2006), Infinite Process Semantics of Inhibitor Nets. Donatelli S. & Thiagarajan P.S. (Eds.), Petri Nets and Other Models of Concurrency. 27th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency 282-301.
- Beek M.H. ter & Kleijn J. (2005), Modularity for Teams of I/O Automata, Information Processing Letters 95: 487-495.
- Beek M.H. ter & Kleijn J. (2005), Infinite Unfair Shuffles and Associativity. Brlek S. & Reutenauer C. (Eds.), Proceedings of the 5th International Conference on Words (WORDS'05). . Montréal: Université du Québec à Montréal, Montréal. 129-146.
- Beek M.H. ter & Kleijn J. (2002), Petri Net Control for Grammar Systems. In: Brauer W., Ehrig H., Karhumaki J. & Salomaa A. (Eds.), Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg: Springer Verlag. 220-243.
- Kleijn J. & Koutny M. (2002), Causality Semantics of Petri Nets with Weighted Ibhibitor Arcs. Brim L., Jancar P., Kretinsky M. & Kucera A. (Eds.), Concur 2002 - 13th International Conference. 531-546.
- Kleijn J., Morin R. & Rozoy B. (1998), Event Structures for Local Traces, Electronic Notes in Theoretical Computer Science (ENTCS) 16(2): .
- Kleijn J., Morin R. & Rozoy B. (1998), Event Structures in Local Traces. onbekend: LIACS.
No relevant ancillary activities