H.C.M. Kleijn
H.C.M. Kleijn
LIACS, Universiteit Leiden
Bestätigte E-Mail-Adresse bei liacs.leidenuniv.nl
Titel
Zitiert von
Zitiert von
Jahr
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
1062003
An event structure semantics for general Petri nets
PW Hoogers, HCM Kleijn, PS Thiagarajan
Theoretical Computer Science 153 (1-2), 129-170, 1996
921996
Process semantics of general inhibitor nets
HCM Kleijn, M Koutny
Information and Computation 190 (1), 18-69, 2004
792004
Towards a Petri net semantics for membrane systems
JHCM Kleijn, M Koutny, G Rozenberg
International Workshop on Membrane Computing, 292-309, 2005
782005
A trace semantics for Petri nets
PW Hoogers, HCM Kleijn, PS Thiagarajan
Information and Computation 117 (1), 98-114, 1995
601995
On the generative power of regular pattern grammars
HCM Kleijn, G Rozenberg
Acta Informatica 20 (4), 391-411, 1983
471983
Q-automata: Modelling the resource usage of concurrent components
T Chothia, J Kleijn
Electronic Notes in Theoretical Computer Science 175 (2), 153-167, 2007
422007
Context-free like restrictions on selective rewriting
HCM Kleijn, G Rozenberg
Theoretical Computer Science 16 (3), 237-269, 1981
401981
Process semantics for membrane systems
J Kleijn, M Koutny, G Rozenberg
Journal of Automata, Languages and Combinatorics 11 (3), 321-340, 2006
352006
A trace semantics for Petri nets
PW Hoogers, HCM Kleijn, PS Thiagarajan
International Colloquium on Automata, Languages, and Programming, 595-604, 1992
351992
A Petri net model for membrane systems with dynamic structure
J Kleijn, M Koutny
Natural Computing 8 (4), 781-796, 2009
322009
Team automata satisfying compositionality
MH Ter Beek, J Kleijn
International Symposium of Formal Methods Europe, 381-400, 2003
292003
Formal languages and concurrent behaviours
J Kleijn, M Koutny
New Developments in Formal Languages and Applications, 125-182, 2008
282008
Synchrony and asynchrony in membrane systems
J Kleijn, M Koutny
International Workshop on Membrane Computing, 66-85, 2006
282006
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
282000
Minimal reaction systems
A Ehrenfeucht, J Kleijn, M Koutny, G Rozenberg
Transactions on Computational Systems Biology XIV, 102-122, 2012
272012
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
271985
A study in parallel rewriting systems
HCM Kleijn, G Rozenberg
Information and Control 44 (2), 134-163, 1980
271980
Reaction systems: A natural computing approach to the functioning of living cells
A Ehrenfeucht, J Kleijn, M Koutny, G Rozenberg
A Computable Universe: Understanding and Exploring Nature as Computation …, 2013
252013
Modeling innate immune response to early mycobacterium infection
RV Carvalho, J Kleijn, AH Meijer, FJ Verbeek
Computational and mathematical methods in medicine 2012, 2012
252012
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20