H.C.M. Kleijn
H.C.M. Kleijn
LIACS, Universiteit Leiden
Email verificata su liacs.leidenuniv.nl
Titolo
Citata da
Citata da
Anno
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
901996
Process semantics of general inhibitor nets
HCM Kleijn, M Koutny
Information and Computation 190 (1), 18-69, 2004
802004
Towards a Petri net semantics for membrane systems
JHCM Kleijn, M Koutny, G Rozenberg
International Workshop on Membrane Computing, 292-309, 2005
772005
A trace semantics for Petri nets
PW Hoogers, HCM Kleijn, PS Thiagarajan
Information and Computation 117 (1), 98-114, 1995
621995
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
432007
Context-free like restrictions on selective rewriting
HCM Kleijn, G Rozenberg
Theoretical Computer Science 16 (3), 237-269, 1981
391981
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
Formal languages and concurrent behaviours
J Kleijn, M Koutny
New Developments in Formal Languages and Applications, 125-182, 2008
292008
Team automata satisfying compositionality
MH Ter Beek, J Kleijn
International Symposium of Formal Methods Europe, 381-400, 2003
292003
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
272000
Modeling innate immune response to early mycobacterium infection
RV Carvalho, J Kleijn, AH Meijer, FJ Verbeek
Computational and mathematical methods in medicine 2012, 2012
262012
A study in parallel rewriting systems
HCM Kleijn, G Rozenberg
Information and Control 44 (2), 134-163, 1980
261980
Minimal reaction systems
A Ehrenfeucht, J Kleijn, M Koutny, G Rozenberg
Transactions on Computational Systems Biology XIV, 102-122, 2012
252012
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
241985
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20