| [1] |
G. Rozenberg, P. Bottoni, C. Martín-Vide, G. Paun, and G. Rozenberg.
Membrane systems with promoters/inhibitors.
Acta Informatica, 38:695-720, 2002. [ bib ] |
| [2] |
Th. Bäck, J.N. Kok, and G. Rozenberg.
Evolutionary computation as a paradigm for DNA-based computing.
In L.F. Landweber and E. Winfree, editors, Evolution as
Computation, DIMACS Workshop, Princeton, January 1999, Natural Computing
Series, pages 15-40. Springer, 2003. [ bib ] |
| [3] |
H.J. Hoogeboom.
Carriers and counters: P systems with carriers vs. (blind) counter
automata.
In M. Ito and M. Toyama, editors, Developments in Language
Theory, DLT 2002, revised papers, volume 2450 of Lecture Notes in
Computer Science, pages 140-151. 2003. [ bib ] |
| [4] |
P. Frisco and S. Ji.
Towards a hierarchy of info-energy P systems.
In Gh. Paun and C. Zandron, editors, Membrane Computing,
International Workshop, WMC-CdeA 2002, Curtea de Arges, Romania, August
19-23, 2002. Revised Papers, volume 2597 of Lecture Notes in Computer
Science, pages 302-318, 2003. [ bib ] |
| [5] |
P. Frisco and H.J. Hoogeboom.
Simulating counter automata by P systems with symport/antiport.
In Gh. Paun and C. Zandron, editors, Membrane Computing,
International Workshop, WMC-CdeA 2002, Curtea de Arges, Romania, August
19-23, 2002. Revised Papers, volume 2597 of Lecture Notes in Computer
Science, pages 288-301, 2003. [ bib ] |
| [6] |
K.A. Schmidt, C.V. Henkel, G. Rozenberg, and H.P. Spaink.
Experimental single-molecule DNA computing.
In J. Chen and J. Reif, editors, Proceedings Ninth International
Meeting on DNA Based Computers (DNA9), 1-4 June 2003, Madison, Wisconsin,
USA, page 191, 2003. [ bib ] |
| [7] |
G. Rozenberg and H. Spaink.
DNA computing by blocking.
Theoretical Computer Science, 292(3):653-665, 2003. [ bib ] |
| [8] |
H. Ehrig, W. Reisig, G. Rozenberg, and H. Weber, editors.
Petri Net Technology for Communication Based Systems, volume
2472 of Lecture Notes in Computer Science.
2003. [ bib ] |
| [9] |
A. Ehrenfeucht and G. Rozenberg.
Forbidding-enforcing systems.
Theoretical Computer Science, 292(3):611-638, 2003. [ bib ] |
| [10] |
A. Ehrenfeucht, T. Harju, I. Petre, D.M. Prescott, and G. Rozenberg.
Formal systems for gene assembly in ciliates.
In P. Seebold, editor, Essays dedicated to Jean Berstel, pages
199-219. 2003.
Published as Theoretical Computer Science, volume 292, number 1. [ bib ] |
| [11] |
T. Harju and G. Rozenberg.
Computational processes in living cells: Gene assembly in ciliates.
In M. Ito and M. Toyama, editors, Developments in Language
Theory, DLT 2002, revised papers, volume 2450 of Lecture Notes in
Computer Science, pages 1-20. 2003. [ bib ] |
| [12] |
M. van der Nat and G. Rozenberg.
Gheorghe paun and the windmill curiosity.
In C. Martín-Vide and V. Mitrana, editors, Grammars and
Automata for String Processing: from Mathematics and Computer Science to
Biology and Back, volume 9 of Topics in Computer Mathematics, pages
1-5. Taylor and Francis, London, 2003. [ bib ] |
| [13] |
J. Kleijn.
Team automata for CSCW - A survey -.
In H. Ehrig, W. Reisig, G. Rozenberg, and H. Weber, editors,
Petri Net Technology for Communication Based Systems (Advances in Petri
Nets), volume 2472 of Lecture Notes in Computer Science, pages
295-320. 2003. [ bib ] |
| [14] |
V. Halava, T. Harju, H.J. Hoogeboom, and M. Latteux.
Languages defined by generalized equality sets.
In A. Lingas and B.J. Nilsson, editors, Fundamentals of
Computation Theory, 14th International Symposium FCT 2003, Malmö
Sweden, volume 2751 of Lecture Notes in Computer Science, pages
355-363. 2003. [ bib ] |
| [15] |
V. Halava, T. Harju, H.J. Hoogeboom, and M. Latteux.
Valence languages generated by equality sets.
Turku centre for computer science, 2003. [ bib ] |
| [16] |
P. Frisco.
Direct constructions of universal extended H systems.
In Special issue devoted to MCU 2001, pages 269 - 293. 2003.
Published as Theoretical Computer Science, volume 296, number 2. [ bib ] |
| [17] |
P. Frisco and S. Ji.
Conformons-P systems.
In M. Hagiya and A. Ohuchi, editors, DNA Computing; 8th
International Workshop on DNA-Based Computers, DNA8 Sapporo, Japan, volume
2568 of Lecture Notes in Computer Science, pages 291-301. Springer
Verlag, 2003. [ bib ] |
| [18] |
P. Frisco.
A note on P systems with symport/antiport.
Liacs technical report, 2003. [ bib ] |
| [19] |
F. Drewes and J. Engelfriet.
Branching grammars: a generalization of et0l systems.
In Z. Ésik and Z. Fülöp, editors, Proc.
Developments in Language Theory, DLT 2003, volume 2710 of Lecture Notes
in Computer Science, pages 266-278. Springer-Verlag, 2003. [ bib ] |
| [20] |
J. Engelfriet and S. Maneth.
A comparison of pebble tree transducers with macro tree transducers.
Acta Informatica, 39:613 - 698, 2003. [ bib ] |
| [21] |
J. Engelfriet and S. Maneth.
Macro tree translations of linear size increase are MSO definable.
SIAM Journal on Computing, 32:950-1006, 2003. [ bib ] |
| [22] |
S. Maneth.
The macro tree transducer hierarchy collapses for functions of linear
size increaze.
In Proceedings of the twenty-third conference on Foundations of
Software Technology and Theoretical Computer Science (FSTTCS 2003), Bombay,
India, volume 2914 of Lecture Notes in Computer Science, pages
326-337, 2003. [ bib ] |
| [23] |
M.H. ter Beek and J. Kleijn.
Team automata satisfying compositionality.
In K. Araki, S. Gnesi, and D. Mandrioli, editors, Proceedings of
FME 2003: Formal Methods - the 12th International Symposium of Formal
Methods Europe, Pisa, Italy, volume 2805 of Lecture Notes in Computer
Science, pages 381 - 400, 2003. [ bib ] |
| [24] |
M.H. ter Beek, C.A. Ellis, J. Kleijn, and G. Rozenberg.
Synchronizations in team automata for groupware systems.
Computer Supported Cooperative Work, 12(1):21 - 69, 2003. [ bib ] |
| [25] |
M.H. ter Beek.
Animal farm: An eco-grammar system.
In C. Martín-Vide and V. Mitrana, editors, Grammars and
Automata for String Processing: from Mathematics and Computer Science to
Biology and Back, volume 9 of Topics in Computer Mathematics, pages
9-16. Taylor and Francis, London, 2003. [ bib ] |
| [26] |
T. Harju, I. Petre, and G. Rozenberg.
Gene assembly in ciliates: Molecular operations.
Bulletin of the EATCS, 2003. [ bib ] |
| [27] |
R. Breukelaar, H.J. Hoogeboom, and W.A. Kosters.
Tetris is hard, made easy.
Liacs technical report, 2003. [ bib ] |
| [28] |
M.H. ter Beek.
Formal Approach to the Modelling of Collaboration Between System
Components.
Ph.D. Thesis, Universiteit Leiden, December 2003. [ bib ] |
| [29] |
H.C.M. Kleijn and M. Koutny.
Process semantics of general inhibitor nets.
Information and Computation, 190:18-69, 2004. [ bib ] |
| [30] |
F. Drewes and J. Engelfriet.
Branching synchronization grammars with nested tables.
Journal of Computer and System Sciences, 68:611-656, 2004. [ bib ] |
| [31] |
H.J. Hoogeboom and J. Engelfriet.
Pushdown automata.
In C. Martín-Vide, V. Mitrana, and G. Paun, editors,
Formal Languages and Applications, volume 148 of Studies in Fuzziness
and Soft Computing, pages 117-138. Springer, Berlin, 2004. [ bib ] |
| [32] |
R. van Vliet.
Combinatorial aspects of minimal DNA expressions (ext.).
Liacs technical report, 2004. [ bib ] |
| [33] |
D.M. Prescott and G. Rozenberg.
Encrypted genes and their assembly in ciliates.
In M. Amos, editor, Cellular Computing, Systems Biology series.
Oxford University Press, 2004. [ bib ] |
| [34] |
T. Harju, I. Petre, and G. Rozenberg.
Gene assembly in celiates. part II: Formal frameworks.
In G. Paun, G. Rozenberg, and A. Salomaa, editors, Current
Trends in Theoretical Computer Science - The Challenge of the New Century,
Formal Models and Semantics (vol. 2), pages 543-557. World Scientific, New
Jersey, 2004. [ bib ] |
| [35] |
T. Harju, I. Petre, and G. Rozenberg.
Gene assembly in celiates. part I: Molecular operations.
In G. Paun, G. Rozenberg, and A. Salomaa, editors, Current
Trends in Theoretical Computer Science - The Challenge of the New Century,
Formal Models and Semantics (vol. 2), pages 527-541. World Scientific, New
Jersey, 2004. [ bib ] |
| [36] |
T. Harju, I. Petre, and G. Rozenberg.
Two models for gene assembly in ciliates.
In J. Karhumäki, editor, Theory Is Forever: Essays
Dedicated to Arto Salomaa on the Occasion of His 70th Birthday, Lecture
Notes in Computer Science, pages 89-101. 2004. [ bib ] |
| [37] |
G. Paun, G. Rozenberg, and A. Salomaa, editors.
Current Trends in Theoretical Computer Science - The Challenge
of the New Century, Algorithms and Complexity (vol. 1) Formal Models and
Semantics (vol. 2).
World Scientific, New Jersey, 2004. [ bib ] |
| [38] |
C. Martín-Vide, G. Mauri, G. Paun, G. Rozenberg, and A. Salomaa,
editors.
Membrane Computing - International Workshop, WMC 2003, volume
2933 of Lecture Notes in Computer Science, 2004. [ bib ] |
| [39] |
T. Harju, I. Petre, and G. Rozenberg.
Formal properties of gene assembly: equivalence problem for overlap
graphs.
In N. Jonoska, G. Paun, and G. Rozenberg, editors, Aspects of
Molecular Computing - Essays Dedicated to Tom Head on the Occasion of His
70th Birthday, volume 2950 of Lecture Notes in Computer Science, pages
202 - 212. 2004. [ bib ] |
| [40] |
N. Jonoska, G. Paun, and G. Rozenberg, editors.
Aspects of Molecular Computing - Essays Dedicated to Tom Head
on the Occasion of His 70th Birthday, volume 2950 of Lecture Notes in
Computer Science.
2004. [ bib ] |
| [41] |
A. Ehrenfeucht, T. Harju, and G. Rozenberg.
Transitivity of local complementation and switching on graphs.
Discrete Mathematics, 278:45-60, 2004. [ bib ] |
| [42] |
A. Ehrenfeucht, T. Harju, I. Petre, D.M. Prescott, and G. Rozenberg.
Computation in Living Cells - Gene Assembly in Ciliates.
Springer Verlag, 2004. [ bib ] |
| [43] |
A. Ehrenfeucht, T. Harju, I. Petre, D.M. Prescott, and G. Rozenberg.
Modelling gene assembly in ciliates.
In G. Ciobanu and G. Rozenberg, editors, Modelling in Molecular
Biology, Natural Computing Series. Springer Verlag, 2004. [ bib ] |
| [44] |
T. Harju, I. Petre, and G. Rozenberg.
Gene assembly in ciliates: Formal frameworks.
Bulletin of the EATCS, 2004. [ bib ] |
| [45] |
A. Ehrenfeucht, T. Harju, and G. Rozenberg.
Zebra factorizations in free semigroups.
Semigroup Forum, pages 365 - 372, 2004. [ bib ] |
| [46] |
J. Desel, W. Reisig, and G. Rozenberg, editors.
Lectres on Concurrency and Petri Nets (Advances in Petri Nets),
volume 3098 of Lecture Notes in Computer Science.
2004. [ bib ] |
| [47] |
G. Ciobanu and G. Rozenberg, editors.
Modelling in Molecular Biology.
Natural Computing Series. Springer Verlag, 2004. [ bib ] |
| [48] |
M.H. ter Beek and J. Kleijn.
Modularity for teams of I/O automata.
Liacs technical report, 2004. [ bib ] |
| [49] |
J. Carmona and J. Kleijn.
Interactive behaviour of multi-component systems.
In J. Cortadella and A. Yakovlev, editors, Proceedings ToBaCo
2004, Workshop on Token Based Computing, Bologna June 2004, pages 27-31,
2004. [ bib ] |
| [50] |
H.J. Hoogeboom and G. Rozenberg.
DNA computing - computer in de reageerbuis.
In J.A.P. Heesterbeek, O. Diekmann, and J.A.J. Metz, editors,
Inzicht door abstractie: verkenningen op het grensvlak van wiskunde en
biologie. Epsilon Uitgaven Utrecht, 2004. [ bib ] |
| [51] |
R. Breukelaar, E.D. Demaine, S. Hohenberger, H.J. Hoogeboom, W.A. Kosters, and
D. Liben-Nowell.
Tetris is hard, even to approximate.
In D.T. Lee and J.S.B. Mitchell, editors, Special Issue:
Selected Papers from the Ninth International Computing and Combinatorics
Conference (COCOON 2003), Big Sky, MT, USA, July 2003, pages 41-68, 2004.
Published as International Journal of Computational Geometry and
Applications, volume 14. [ bib ] |
| [52] |
H.J. Hoogeboom and W.A. Kosters.
How to construct tetris configurations.
International Journal of Intelligent Games and Simulation,
3:94-102, 2004. [ bib ] |
| [53] |
H.J. Hoogeboom and W.A. Kosters.
Tetris and decidability.
Information Processing Letters, 89:267-272, 2004. [ bib ] |
| [54] |
P. Frisco and H.J. Hoogeboom.
P systems with symport/antiport simulating counter automata.
Acta Informatica, 2004. [ bib ] |
| [55] |
P. Frisco.
About P systems with symport/antiport.
In Gh. Paun, A. Riscos-Núñez, A. Romero-Jiménez,
and F. Sancho-Caparrini, editors, Second Brainstorming Week on Membrane
Computing, Sevilla, Spain, Feb 2-7, 2004, pages 224-236. 2004. [ bib ] |
| [56] |
P. Frisco.
The conformon-P system: A molecular and cell biology-inspired
computability model.
Theoretical Computer Science, 312((2-3)):295-319, 2004. [ bib ] |
| [57] |
J. Engelfriet and Tj. Gelsema.
A new natural structural congruence in the pi-calculus with
replication.
Acta Informatica, 40:385-430, 2004. [ bib ] |
| [58] |
T. Harju, C. Li, I. Petre, and G. Rozenberg.
Parallelism in gene assembly.
In C. Ferretti, G. Mauri, and C. Zandron, editors, preliminary
proceedings DNA10, June 2004, Milano, pages 74-83, 2004. [ bib ] |
| [59] |
R. van Vliet, H.J. Hoogeboom, and G. Rozenberg.
Combinatorial aspects of minimal DNA expressions.
In C. Ferretti, G. Mauri, and C. Zandron, editors, preliminary
proceedings DNA10, June 2004, Milano, pages 84-96, 2004. [ bib ] |
| [60] |
C. Henkel, G. Rozenberg, and H. Spaink.
Application of mismatch detection methods in DNA computing.
In C. Ferretti, G. Mauri, and C. Zandron, editors, preliminary
proceedings DNA10, June 2004, Milano, pages 183-192, 2004. [ bib ] |
| [61] |
S. Maneth.
Models of Tree Translation.
Ph.D. Thesis, Universiteit Leiden, May 2004. [ bib ] |
| [62] |
P. Frisco.
Theory of Molecular Programming - Splicing and Membrane
systems.
Ph.D. Thesis, Universiteit Leiden, May 2004. [ bib ] |
| [63] |
J. Engelfriet and Tj. Gelsema.
The decidability of structural congruence for replication restricted
pi-calculus processes.
Liacs technical report, May 2004. [ bib ] |