Concepedia

Jetty Kleijn

JK

16

Publications

355

Citations

12

H-Index

2003

Active since

Affiliations

Leiden University(Current)

Newcastle University

University of Colorado Boulder

Nicolaus Copernicus University

McMaster University

Jetty Kleijn is an author at Leiden University specializing in engineering, systems engineering, and formal methods.

Top concepts

EngineeringSystems EngineeringFormal MethodsComputer ScienceFormal VerificationMedicineSystem SoftwareSystems BiologyMembrane SystemsPattern Formation

Publications per year

2003–2017

16

Publications

16

Synchronizations in Team Automata for Groupware Systems

Maurice H. ter Beek, Clarence A. Ellis, Jetty Kleijn et al. · Computer Supported Cooperative Work (CSCW) · 2003 · 72 citations

Engineering, Synchronization Protocol, Formal Methods +6

Evolving reaction systems

Andrzej Ehrenfeucht, Jetty Kleijn, Maciej Koutny et al. · Theoretical Computer Science · 2017 · 38 citations · Full text

Biology, Pattern Formation, Evolution Strategy +6

Q-Automata: Modelling the Resource Usage of Concurrent Components

Tom Chothia, Jetty Kleijn · Electronic Notes in Theoretical Computer Science · 2007 · 31 citations · Full text

Engineering, Software Systems, Software Engineering +17

Process Semantics for Membrane Systems

Jetty Kleijn, Maciej Koutny, Grzegorz Rozenberg · Justus-Liebig-Universität Gießen · 2006 · 28 citations · Full text

Modeling Innate Immune Response to Early<i>Mycobacterium</i>Infection

Rafael Viana de Carvalho, Jetty Kleijn, Annemarie H. Meijer et al. · Computational and Mathematical Methods in Medicine · 2012 · 22 citations · Full text

Engineering, Innate Immune System, Innate Immunity +18

Rows per page

1–5 of 16