H. C. M. Kleijn
List of publications from the DBLP Bibliography Server - FAQ
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) |
1 | Maurice H. ter Beek | [36] [37] [39] [41] [43] [48] |
2 | Tom Chothia | [50] |
3 | Susanna Donatelli | [34] |
4 | Andrzej Ehrenfeucht | [12] |
5 | Clarence A. Ellis | [36] [39] |
6 | Jakob Gonczarowski | [10] |
7 | Tero Harju | [16] [18] [19] [20] [23] [25] [26] [27] |
8 | Hendrik Jan Hoogeboom | [27] |
9 | P. W. Hoogers | [21] [24] [28] [29] |
10 | Sándor Horváth | [15] |
11 | Juhani Karhumäki | [11] [13] [15] |
12 | N. W. Keesmaat | [17] [22] [26] [30] [31] |
13 | Maciej Koutny | [35] [38] [42] [44] [45] [46] [47] [49] [52] |
14 | Michel Latteux | [19] [20] [25] |
15 | Rémi Morin | [32] [33] |
16 | Martti Penttonen | [9] |
17 | Grzegorz Rozenberg | [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [12] [17] [36] [39] [44] [45] |
18 | Brigitte Rozoy | [32] [33] |
19 | Kai Salomaa | [9] |
20 | Alain Terlutte | [25] |
21 | P. S. Thiagarajan | [21] [24] [28] [29] |
22 | R. Verraedt | [7] |
23 | Alexandre Yakovlev | [51] |