H. C. M. Kleijn

39 papers A* 1B 6Journal 24Unranked 6
YearRankTypeTitle / Venue / Authors
2006 — conf
Infinite Process Semantics of Inhibitor Nets.
ICATPN
H. C. M. Kleijn, Maciej Koutny
2004 J jnl
Process semantics of general inhibitor nets.
Inf. Comput.
H. C. M. Kleijn, Maciej Koutny
2002 B conf
Causality Semantics of Petri Nets with Weighted Inhibitor Arcs.
CONCUR
H. C. M. Kleijn, Maciej Koutny
2002 — conf
Petri Net Control for Grammar Systems.
Formal and Natural Computing
Maurice H. ter Beek, H. C. M. Kleijn
2000 — conf
Process Semantics of P/T-Nets with Inhibitor Arcs.
ICATPN
H. C. M. Kleijn, Maciej Koutny
1999 B conf
A General Categorical Connection between Local Event Structures and Local Traces.
FCT
H. C. M. Kleijn, Rémi Morin, Brigitte Rozoy
1999 — ed.
Application and Theory of Petri Nets 1999, 20th International Conference, ICATPN '99, Williamsburg, Virginia, USA, June 21-25, 1999, Proceedings
ICATPN
Susanna Donatelli, H. C. M. Kleijn
1998 — conf
Event Structures for Local Traces.
EXPRESS
H. C. M. Kleijn, Rémi Morin, Brigitte Rozoy
1997 J jnl
Net-Based Control Versus Rational Control. The Relation Between ITNC Vector Languages and Rational Relations.
Acta Informatica
N. W. Keesmaat, H. C. M. Kleijn
1997 J jnl
Restrictions and Representations of Vector Controlled Concurrent System Behaviours.
Theor. Comput. Sci.
N. W. Keesmaat, H. C. M. Kleijn
1996 J jnl
An Event Structure Semantics for General Petri Nets.
Theor. Comput. Sci.
P. W. Hoogers, H. C. M. Kleijn, P. S. Thiagarajan
1995 J jnl
A Trace Semantics for Petri Nets
Inf. Comput.
P. W. Hoogers, H. C. M. Kleijn, P. S. Thiagarajan
1994 — conf
Identities and Transductions.
Results and Trends in Theoretical Computer Science
Tero Harju, Hendrik Jan Hoogeboom, H. C. M. Kleijn
1994 J jnl
Representation of Rational Functions with Prefix and Suffix Codings.
Theor. Comput. Sci.
Tero Harju, H. C. M. Kleijn, Michel Latteux, Alain Terlutte
1994 J jnl
The Intersection Problem for Alphabetic Vector Monoids.
RAIRO Theor. Informatics Appl.
Tero Harju, N. W. Keesmaat, H. C. M. Kleijn
1993 B conf
Local Event Structures and Petri Nets.
CONCUR
P. W. Hoogers, H. C. M. Kleijn, P. S. Thiagarajan
1993 J jnl
Morphisms and rational tranducers.
Bull. EATCS
Tero Harju, H. C. M. Kleijn
1992 A* conf
A Trace Semantics for Petri Nets (Extended Abstract).
ICALP
P. W. Hoogers, H. C. M. Kleijn, P. S. Thiagarajan
1992 J jnl
Compositional representation of rational functions.
RAIRO Theor. Informatics Appl.
Tero Harju, H. C. M. Kleijn, Michel Latteux
1992 J jnl
Deterministic Sequential Functions.
Acta Informatica
Tero Harju, H. C. M. Kleijn, Michel Latteux
1992 — ch.
The effect of vector synchronization: residue and loss.
Advances in Petri Nets: The DEMON Project
N. W. Keesmaat, H. C. M. Kleijn
1991 J jnl
Decidability problems for unary output sequential transducers.
Discret. Appl. Math.
Tero Harju, H. C. M. Kleijn
1991 J jnl
Vector controlled concurrent systems, part II: comparisons.
Fundam. Informaticae
N. W. Keesmaat, H. C. M. Kleijn, Grzegorz Rozenberg
1989 J jnl
Cardinality Problems of Composition of Morphisms and Inverse Morphisms.
Math. Syst. Theory
Tero Harju, H. C. M. Kleijn
1986 — conf
Basic ideas of selective substitution grammars.
IMYCS
H. C. M. Kleijn
1986 J jnl
On morphic generation of regular languages.
Discret. Appl. Math.
Tero Harju, Juhani Karhumäki, H. C. M. Kleijn
1985 J jnl
Adding Global Forbidding Context to Context-Free Grammars.
Theor. Comput. Sci.
Andrzej Ehrenfeucht, H. C. M. Kleijn, Grzegorz Rozenberg
1985 J jnl
On the Equivalence of Compositions of Morphisms and Inverse Morphisms on Regular Languages.
RAIRO Theor. Informatics Appl.
Juhani Karhumäki, H. C. M. Kleijn
1984 J jnl
Direction Independent Context-Sensitive Grammars
Inf. Control.
H. C. M. Kleijn, Martti Penttonen, Grzegorz Rozenberg, Kai Salomaa
1984 B conf
On the Equivalence of Compositions of Morphisms and Inverse Morphisms on Regular Languages.
MFCS
Juhani Karhumäki, H. C. M. Kleijn
1983 J jnl
Grammatical constructions in selective substitution grammars.
Acta Cybern.
Jakob Gonczarowski, H. C. M. Kleijn, Grzegorz Rozenberg
1983 J jnl
On the Generative Power of Regular Pattern Grammars.
Acta Informatica
H. C. M. Kleijn, Grzegorz Rozenberg
1982 J jnl
Corrigendum: Sequential, Continuous and Parallel Grammars
Inf. Control.
H. C. M. Kleijn, Grzegorz Rozenberg
1982 J jnl
On the role of blocking in rewriting systems.
Acta Cybern.
H. C. M. Kleijn, Grzegorz Rozenberg, R. Verraedt
1981 B conf
A General Framework for Comparing Sequential and Parallel Rewriting.
MFCS
H. C. M. Kleijn, Grzegorz Rozenberg
1981 J jnl
Context-Free Like Restrictions on Selective Rewriting.
Theor. Comput. Sci.
H. C. M. Kleijn, Grzegorz Rozenberg
1981 B conf
On the Role of Selectors in Selective Substitution Grammars.
FCT
H. C. M. Kleijn, Grzegorz Rozenberg
1981 J jnl
Sequential, Continuous and Parallel Grammars
Inf. Control.
H. C. M. Kleijn, Grzegorz Rozenberg
1980 J jnl
A Study in Parallel Rewriting Systems
Inf. Control.
H. C. M. Kleijn, Grzegorz Rozenberg