H. C. M. Kleijn

Publication Activity (10 Years)

Years Active: 1980-2006
Publications (10 Years): 0

Publications

H. C. M. Kleijn, Maciej Koutny
Infinite Process Semantics of Inhibitor Nets. ICATPN (2006)
H. C. M. Kleijn, Maciej Koutny
Process semantics of general inhibitor nets. Inf. Comput. 190 (1) (2004)
H. C. M. Kleijn, Maciej Koutny
Causality Semantics of Petri Nets with Weighted Inhibitor Arcs. CONCUR (2002)
Maurice H. ter Beek, H. C. M. Kleijn
Petri Net Control for Grammar Systems. Formal and Natural Computing (2002)
H. C. M. Kleijn, Maciej Koutny
Process Semantics of P/T-Nets with Inhibitor Arcs. ICATPN (2000)
H. C. M. Kleijn, Rémi Morin, Brigitte Rozoy
A General Categorical Connection between Local Event Structures and Local Traces. FCT (1999)
H. C. M. Kleijn, Rémi Morin, Brigitte Rozoy
Event Structures for Local Traces. EXPRESS (1998)
N. W. Keesmaat, H. C. M. Kleijn
Net-Based Control Versus Rational Control. The Relation Between ITNC Vector Languages and Rational Relations. Acta Informatica 34 (1) (1997)
N. W. Keesmaat, H. C. M. Kleijn
Restrictions and Representations of Vector Controlled Concurrent System Behaviours. Theor. Comput. Sci. 179 (1-2) (1997)
P. W. Hoogers, H. C. M. Kleijn, P. S. Thiagarajan
An Event Structure Semantics for General Petri Nets. Theor. Comput. Sci. 153 (1&2) (1996)
P. W. Hoogers, H. C. M. Kleijn, P. S. Thiagarajan
A Trace Semantics for Petri Nets Inf. Comput. 117 (1) (1995)
Tero Harju, Hendrik Jan Hoogeboom, H. C. M. Kleijn
Identities and Transductions. Results and Trends in Theoretical Computer Science (1994)
Tero Harju, H. C. M. Kleijn, Michel Latteux, Alain Terlutte
Representation of Rational Functions with Prefix and Suffix Codings. Theor. Comput. Sci. 134 (2) (1994)
Tero Harju, N. W. Keesmaat, H. C. M. Kleijn
The Intersection Problem for Alphabetic Vector Monoids. RAIRO Theor. Informatics Appl. 28 (3-4) (1994)
Tero Harju, H. C. M. Kleijn
Morphisms and rational tranducers. Bull. EATCS 51 (1993)
P. W. Hoogers, H. C. M. Kleijn, P. S. Thiagarajan
Local Event Structures and Petri Nets. CONCUR (1993)
Tero Harju, H. C. M. Kleijn, Michel Latteux
Compositional representation of rational functions. RAIRO Theor. Informatics Appl. 26 (1992)
P. W. Hoogers, H. C. M. Kleijn, P. S. Thiagarajan
A Trace Semantics for Petri Nets (Extended Abstract). ICALP (1992)
Tero Harju, H. C. M. Kleijn, Michel Latteux
Deterministic Sequential Functions. Acta Informatica 29 (6/7) (1992)
N. W. Keesmaat, H. C. M. Kleijn, Grzegorz Rozenberg
Vector controlled concurrent systems, part II: comparisons. Fundam. Informaticae 14 (1) (1991)
Tero Harju, H. C. M. Kleijn
Decidability problems for unary output sequential transducers. Discret. Appl. Math. 32 (2) (1991)
Tero Harju, H. C. M. Kleijn
Cardinality Problems of Composition of Morphisms and Inverse Morphisms. Math. Syst. Theory 22 (3) (1989)
H. C. M. Kleijn
Basic ideas of selective substitution grammars. IMYCS (1986)
Tero Harju, Juhani Karhumäki, H. C. M. Kleijn
On morphic generation of regular languages. Discret. Appl. Math. 15 (1) (1986)
Juhani Karhumäki, H. C. M. Kleijn
On the Equivalence of Compositions of Morphisms and Inverse Morphisms on Regular Languages. RAIRO Theor. Informatics Appl. 19 (3) (1985)
Andrzej Ehrenfeucht, H. C. M. Kleijn, Grzegorz Rozenberg
Adding Global Forbidding Context to Context-Free Grammars. Theor. Comput. Sci. 37 (1985)
Juhani Karhumäki, H. C. M. Kleijn
On the Equivalence of Compositions of Morphisms and Inverse Morphisms on Regular Languages. MFCS (1984)
H. C. M. Kleijn, Martti Penttonen, Grzegorz Rozenberg, Kai Salomaa
Direction Independent Context-Sensitive Grammars Inf. Control. 63 (1/2) (1984)
H. C. M. Kleijn, Grzegorz Rozenberg
On the Generative Power of Regular Pattern Grammars. Acta Informatica 20 (1983)
Jakob Gonczarowski, H. C. M. Kleijn, Grzegorz Rozenberg
Grammatical constructions in selective substitution grammars. Acta Cybern. 6 (3) (1983)
H. C. M. Kleijn, Grzegorz Rozenberg
Corrigendum: Sequential, Continuous and Parallel Grammars Inf. Control. 52 (3) (1982)
H. C. M. Kleijn, Grzegorz Rozenberg, R. Verraedt
On the role of blocking in rewriting systems. Acta Cybern. 5 (4) (1982)
H. C. M. Kleijn, Grzegorz Rozenberg
Context-Free Like Restrictions on Selective Rewriting. Theor. Comput. Sci. 16 (1981)
H. C. M. Kleijn, Grzegorz Rozenberg
Sequential, Continuous and Parallel Grammars Inf. Control. 48 (3) (1981)
H. C. M. Kleijn, Grzegorz Rozenberg
A General Framework for Comparing Sequential and Parallel Rewriting. MFCS (1981)
H. C. M. Kleijn, Grzegorz Rozenberg
On the Role of Selectors in Selective Substitution Grammars. FCT (1981)
H. C. M. Kleijn, Grzegorz Rozenberg
A Study in Parallel Rewriting Systems Inf. Control. 44 (2) (1980)