H. C. M. Kleijn
List of publications from the
| 2008 |
|---|
| 52 | EE | Jetty Kleijn,
Maciej Koutny:
Processes of membrane systems with promoters and inhibitors.
Theor. Comput. Sci. 404(1-2): 112-126 (2008) |
| 2007 |
|---|
| 51 | | Jetty Kleijn,
Alexandre Yakovlev:
Petri Nets and Other Models of Concurrency - ICATPN 2007, 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007, Proceedings
Springer 2007 |
| 50 | EE | Tom Chothia,
Jetty Kleijn:
Q-Automata: Modelling the Resource Usage of Concurrent Components.
Electr. Notes Theor. Comput. Sci. 175(2): 153-167 (2007) |
| 49 | EE | Jetty Kleijn,
Maciej Koutny:
Processes of Petri Nets with Range Testing.
Fundam. Inform. 80(1-3): 199-219 (2007) |
| 48 | EE | Maurice H. ter Beek,
Jetty Kleijn:
Infinite unfair shuffles and associativity.
Theor. Comput. Sci. 380(3): 401-410 (2007) |
| 2006 |
|---|
| 47 | EE | H. C. M. Kleijn,
Maciej Koutny:
Infinite Process Semantics of Inhibitor Nets.
ICATPN 2006: 282-301 |
| 46 | EE | Jetty Kleijn,
Maciej Koutny:
Synchrony and Asynchrony in Membrane Systems.
Workshop on Membrane Computing 2006: 66-85 |
| 45 | | Jetty Kleijn,
Maciej Koutny,
Grzegorz Rozenberg:
Process Semantics for Membrane Systems.
Journal of Automata, Languages and Combinatorics 11(3): 321-340 (2006) |
| 2005 |
|---|
| 44 | EE | Jetty Kleijn,
Maciej Koutny,
Grzegorz Rozenberg:
Towards a Petri Net Semantics for Membrane Systems.
Workshop on Membrane Computing 2005: 292-309 |
| 43 | EE | Maurice H. ter Beek,
Jetty Kleijn:
Modularity for teams of I/O automata.
Inf. Process. Lett. 95(5): 487-495 (2005) |
| 2004 |
|---|
| 42 | EE | H. C. M. Kleijn,
Maciej Koutny:
Process semantics of general inhibitor nets.
Inf. Comput. 190(1): 18-69 (2004) |
| 2003 |
|---|
| 41 | EE | Maurice H. ter Beek,
Jetty Kleijn:
Team Automata Satisfying Compositionality.
FME 2003: 381-400 |
| 40 | EE | Jetty Kleijn:
Team Automata for CSCW - A Survey.
Petri Net Technology for Communication-Based Systems 2003: 295-320 |
| 39 | | Maurice H. ter Beek,
Clarence A. Ellis,
Jetty Kleijn,
Grzegorz Rozenberg:
Synchronizations in Team Automata for Groupware Systems.
Computer Supported Cooperative Work 12(1): 21-69 (2003) |
| 2002 |
|---|
| 38 | EE | H. C. M. Kleijn,
Maciej Koutny:
Causality Semantics of Petri Nets with Weighted Inhibitor Arcs.
CONCUR 2002: 531-546 |
| 37 | EE | Maurice H. ter Beek,
H. C. M. Kleijn:
Petri Net Control for Grammar Systems.
Formal and Natural Computing 2002: 220-243 |
| 2001 |
|---|
| 36 | | Maurice H. ter Beek,
Clarence A. Ellis,
Jetty Kleijn,
Grzegorz Rozenberg:
Team automata for spatial access control.
ECSCW 2001: 59-78 |
| 2000 |
|---|
| 35 | EE | H. C. M. Kleijn,
Maciej Koutny:
Process Semantics of P/T-Nets with Inhibitor Arcs.
ICATPN 2000: 261-281 |
| 1999 |
|---|
| 34 | | Susanna Donatelli,
H. C. M. Kleijn:
Application and Theory of Petri Nets 1999, 20th International Conference, ICATPN '99, Williamsburg, Virginia, USA, June 21-25, 1999, Proceedings
Springer 1999 |
| 33 | EE | H. C. M. Kleijn,
Rémi Morin,
Brigitte Rozoy:
A General Categorical Connection between Local Event Structures and Local Traces.
FCT 1999: 338-349 |
| 1998 |
|---|
| 32 | EE | H. C. M. Kleijn,
Rémi Morin,
Brigitte Rozoy:
Event Structures for Local Traces.
Electr. Notes Theor. Comput. Sci. 16(2): (1998) |
| 1997 |
|---|
| 31 | | N. W. Keesmaat,
H. C. M. Kleijn:
Net-Based Control Versus Rational Control. The Relation Between ITNC Vector Languages and Rational Relations.
Acta Inf. 34(1): 23-57 (1997) |
| 30 | EE | N. W. Keesmaat,
H. C. M. Kleijn:
Restrictions and Representations of Vector Controlled Concurrent System Behaviours.
Theor. Comput. Sci. 179(1-2): 61-102 (1997) |
| 1996 |
|---|
| 29 | EE | P. W. Hoogers,
H. C. M. Kleijn,
P. S. Thiagarajan:
An Event Structure Semantics for General Petri Nets.
Theor. Comput. Sci. 153(1&2): 129-170 (1996) |
| 1995 |
|---|
| 28 | | P. W. Hoogers,
H. C. M. Kleijn,
P. S. Thiagarajan:
A Trace Semantics for Petri Nets
Inf. Comput. 117(1): 98-114 (1995) |
| 1994 |
|---|
| 27 | | Tero Harju,
Hendrik Jan Hoogeboom,
H. C. M. Kleijn:
Identities and Transductions.
Results and Trends in Theoretical Computer Science 1994: 140-144 |
| 26 | | Tero Harju,
N. W. Keesmaat,
H. C. M. Kleijn:
The Intersection Problem for Alphabetic Vector Monoids.
ITA 28(3-4): 295-301 (1994) |
| 25 | | Tero Harju,
H. C. M. Kleijn,
Michel Latteux,
Alain Terlutte:
Representation of Rational Functions with Prefix and Suffix Codings.
Theor. Comput. Sci. 134(2): 403-413 (1994) |
| 1993 |
|---|
| 24 | | P. W. Hoogers,
H. C. M. Kleijn,
P. S. Thiagarajan:
Local Event Structures and Petri Nets.
CONCUR 1993: 462-476 |
| 23 | | Tero Harju,
H. C. M. Kleijn:
Morphisms and rational tranducers.
Bulletin of the EATCS 51: 168-180 (1993) |
| 1992 |
|---|
| 22 | | N. W. Keesmaat,
H. C. M. Kleijn:
The effect of vector synchronization: residue and loss.
Advances in Petri Nets: The DEMON Project 1992: 215-250 |
| 21 | | P. W. Hoogers,
H. C. M. Kleijn,
P. S. Thiagarajan:
A Trace Semantics for Petri Nets (Extended Abstract).
ICALP 1992: 595-604 |
| 20 | | Tero Harju,
H. C. M. Kleijn,
Michel Latteux:
Deterministic Sequential Functions.
Acta Inf. 29(6/7): 545-554 (1992) |
| 19 | | Tero Harju,
H. C. M. Kleijn,
Michel Latteux:
Compositional representation of rational functions.
ITA 26: 243-256 (1992) |
| 1991 |
|---|
| 18 | EE | Tero Harju,
H. C. M. Kleijn:
Decidability problems for unary output sequential transducers.
Discrete Applied Mathematics 32(2): 131-140 (1991) |
| 17 | | N. W. Keesmaat,
H. C. M. Kleijn,
Grzegorz Rozenberg:
Vector controlled concurrent systems, part II: comparisons.
Fundam. Inform. 14(1): 1-38 (1991) |
| 1989 |
|---|
| 16 | | Tero Harju,
H. C. M. Kleijn:
Cardinality Problems of Composition of Morphisms and Inverse Morphisms.
Mathematical Systems Theory 22(3): 151-159 (1989) |
| 1987 |
|---|
| 15 | | Sándor Horváth,
Juhani Karhumäki,
Jetty Kleijn:
Results Concerning Palindromicity.
Elektronische Informationsverarbeitung und Kybernetik 23(8/9): 441-451 (1987) |
| 1986 |
|---|
| 14 | | H. C. M. Kleijn:
Basic ideas of selective substitution grammars.
IMYCS 1986: 75-95 |
| 1985 |
|---|
| 13 | | Juhani Karhumäki,
H. C. M. Kleijn:
On the Equivalence of Compositions of Morphisms and Inverse Morphisms on Regular Languages.
ITA 19(3): 203-211 (1985) |
| 12 | | Andrzej Ehrenfeucht,
H. C. M. Kleijn,
Grzegorz Rozenberg:
Adding Global Forbidding Context to Context-Free Grammars.
Theor. Comput. Sci. 37: 337-360 (1985) |
| 1984 |
|---|
| 11 | | Juhani Karhumäki,
H. C. M. Kleijn:
On the Equivalence of Compositions of Morphisms and Inverse Morphisms on Regular Languages.
MFCS 1984: 355-363 |
| 10 | | Jakob Gonczarowski,
H. C. M. Kleijn,
Grzegorz Rozenberg:
Grammatical constructions in selective substitution grammars.
Acta Cybern. 6: 239-269 (1984) |
| 9 | | H. C. M. Kleijn,
Martti Penttonen,
Grzegorz Rozenberg,
Kai Salomaa:
Direction Independent Context-Sensitive Grammars
Information and Control 63(1/2): 113-117 (1984) |
| 1983 |
|---|
| 8 | | H. C. M. Kleijn,
Grzegorz Rozenberg:
On the Generative Power of Regular Pattern Grammars.
Acta Inf. 20: 391-411 (1983) |
| 1982 |
|---|
| 7 | | H. C. M. Kleijn,
Grzegorz Rozenberg,
R. Verraedt:
On the role of blocking in rewriting systems.
Acta Cybern. 5: 389-408 (1982) |
| 6 | | H. C. M. Kleijn,
Grzegorz Rozenberg:
Corrigendum: Sequential, Continuous and Parallel Grammars
Information and Control 52(3): 364 (1982) |
| 1981 |
|---|
| 5 | | H. C. M. Kleijn,
Grzegorz Rozenberg:
On the Role of Selectors in Selective Substitution Grammars.
FCT 1981: 190-198 |
| 4 | | H. C. M. Kleijn,
Grzegorz Rozenberg:
A General Framework for Comparing Sequential and Parallel Rewriting.
MFCS 1981: 360-368 |
| 3 | | H. C. M. Kleijn,
Grzegorz Rozenberg:
Sequential, Continuous and Parallel Grammars
Information and Control 48(3): 221-260 (1981) |
| 2 | | H. C. M. Kleijn,
Grzegorz Rozenberg:
Context-Free Like Restrictions on Selective Rewriting.
Theor. Comput. Sci. 16: 237-269 (1981) |
| 1980 |
|---|
| 1 | | H. C. M. Kleijn,
Grzegorz Rozenberg:
A Study in Parallel Rewriting Systems
Information and Control 44(2): 134-163 (1980) |
