Books

Short works

Books : reviews

Grzegorz Rozenberg, Arto Salomaa, eds.
L Systems.
Springer. 1974

Contents

Grzegorz Rozenberg. Theory of L systems: From the point of view of formal language theory . 1974
D. Frijters, Aristid Lindenmayer. A model for the growth and flowering of aster novae-angliae on the basis of table <1,0> L-systems. 1974
Aristid Lindenmayer. Adding continuous components to L-systems. 1974
Vahe Bedian, Gabor T. Herman. Formal language theoretical approach to intracellular behavior. 1974
Andrzej Ehrenfeucht, Grzegorz Rozenberg. Three useful results concerning L languages without interactions. 1974
Paul M. B. Vitanyi. Growth of strings in context dependent Lindenmayer systems. 1974
Juhani Karhumaki. Some growth functions of context-dependent L-systems. 1974
Andrzej Ehrenfeucht, Grzegorz Rozenberg. D0L systems with rank. 1974
Mogens Nielsen. Equivalence of L-systems. 1974
P. G. Doucet. The syntactic inference problem for D0L-sequences. 1974
Peter Johansen, Erik Meiling. Free groups in Lindenmayer systems. 1974
Jan van Leeuwen. Notes on pre-set pushdown automata. 1974
Gabor T. Herman. Recurrence systems. 1974
Adrian D. Walker. Adult languages of L systems and the Chomsky hierarchy. 1974
Karel Culik II. Structured 0L-Systems. 1974
Karel Culik II, Jaroslav Opatrny. Context in parallel rewriting. 1974
Sven Skyum. Nonterminals and codings in defining variations of 0L-systems. 1974
Arto Salomaa. Iteration grammars and Lindenmayer AFL's. 1974
P. A. Christensen. Hyper-AFL's and ETOL systems. 1974
Andrew L. Szilard. Omega-0L systems. 1974
Derick Wood. Bounded parallelism and regular languages. 1974
Brian H. Mayoh. Multidimensional Lindenmayer organisms. 1974

Grzegorz Rozenberg, Arto Salomaa.
Cornerstones of Undecidability.
Prentice Hall. 1994

Andrzej Ehrenfeucht, Tero Harju, Ion Petre, David M. Prescott, Grzegorz Rozenberg.
Computation in Living Cells: gene assembly in ciliates.
Springer. 2004

Gabriel Ciobanu, Grzegorz Rozenberg, eds.
Modelling in Molecular Biology.
Springer. 2004

This volume consists of papers concerned with models and methods used in solving some fundamental problems of biosciences. They represent a wide spectrum of diverse ideas and trends. In particular, they reflect the genuinely interdisciplinary nature of research on modelling in molecular biology – the inspiration, ideas and techniques presented in this volume come from mathematics, computer science, statistics, chemistry and biology.

Contents

Daniel A. Beard, Hong Qian, James B. Bassingthwaighte. Stoichiometric foundation of large-scale biochemical system analysis. 2004
Paulo R. A. Campos, Christoph Adami, Claus O. Wilke. Modelling stochastic clonal interference. 2004
Gabriel Ciobanu. Software verification of biomolecular systems. 2004
Oleg V. Demin, Galina V. Lebedeva, Alex G. Kolupaev, E. A. Zobova, T. Yu. Plyusnina, A. I. Lavrova, A. Dubinsky, E. A. Goryacheva, Frank Tobin, Igor I. Goryanin. Kinetic modelling as a modern technology to explore and modify living cells. 2004
Andrzej Ehrenfeucht, Tero Harju, Ion Petre, David M. Prescott, Grzegorz Rozenberg. Modelling gene assembly in ciliates. 2004
Masami Hagiya. Towards molecular programming -- a personal report on DNA8 and Molecular Computing. 2004
Sungchul Ji. Molecular information theory: solving the mysteries of DNA. 2004
Na'aman Kam, David Harel, Hillel Kugler, Rami Marelly, Amir Pnueli, E. Jane Albert Hubbard, Michael J. Stern. Formal modelling of C. elegans. development: a scenario-based approach. 2004
Carlos Martin-Vide, Gheorghe Paun. P Systems with symport/antiport rules: a survey. 2004
Santo Motta, Vladimir Brusic. Mathematical modelling of the immune system. 2004
Aviv Regev, Ehud Shapiro. The pi-calculus as an abstraction for biomolecular systems. 2004
Barbel M. R. Stadler, Peter F. Stadler. The topology of evolutionary biology. 2004
Yi Zhou, Bud Mishra. Models of genome evolution. 2004

Cristian S. Calude, Michael J. Dinneen, Gheorghe Paun, Mario J. Perez-Jimenez, Grzegorz Rozenberg, eds.
Unconventional Computation, UC 2005: Seville, Spain.
Springer. 2005

+

(read but not reviewed)

Contents

Thomas Back, Ron Breukelaar. Using Genetic Algorithms to Evolve Behavior in Cellular Automata. 2005
Lov K. Grover. Quantum Searching Amidst Uncertainty. 2005
Eric H. Davidson, Sorin Istrail. Logic Functions of the Genomic Cis-regulatory Code (abstract). 2005
Ruojie Sha, Xiaoping Zhang, Shiping Liao, Pamela E. Constantinou, Baoquan Ding, Tong Wang, Alejandra V. Garibotti, Hong Zhong, Lisa B. Israel, Xing Wang, Gang Wu, Banani Chakraborty, Junghuei Chen, Yuwen Zhang, Hao Yam, Zhiyong Shen, Wanqiu Shen, Phiset Sa-Ardyen. Structural DNA Nanotechnology: Molecular Construction and Computation. 2005
Carme Torras. Natural Inspiration for Artificial Adaptivity: Some Neurocomputing Experiences in Robotics. 2005
Francesco Bernardini, Marian Gheorghe, Natalio Krasnogor, Jean-Louis Giavitto. On Self-assembly in Population P Systems. 2005
Cosmin Bonchis, Gabriel Ciobanu, Cornel Izbasa, Dana Petcu. A Web-Based P Systems Simulator and Its Parallelization. 2005
Adan Cabello. Communication Complexity as a Principle of Quantum Mechanics. 2005
Zhe Dang, Oscar H. Marra, Cheng Li, Gaoyan Xie. On Model-Checking of P Systems. 2005
Carmen Graciani-Diaz, Agustin Riscos-Nunez. Looking for Simple Common Schemes to Design Recognizer P Systems with Active Membranes That Solve Numerical Decision Problems. 2005
Miguel A. Gutierrez-Naranjo, Mario J. Perez-Jimenez, Agustin Riscos-Nunez, Francisco J. Romero-Campero. P Systems with Active Membranes, Without Polarizations and Without Dissolution: A Characterization of P. 2005
Masami Hagiya. Discrete State Transition Systems on Continuous Space-Time: A Theoretical Model for Amorphous Computing. 2005
Shuichi Inokuchi, Kazumasa Honda, Hyen Yeal Lee, Tatsuro Sato, Yoshihiro Mizoguchi, Yasuo Kawahara. On Reversible Cellular Automata with Finite Cell Array. 2005
Natasha Jonoska, Gregory L. McColm. A Computational Model for Self-assembling Flexible Tiles. 2005
Kojiro Kobayashi, Darin Goldstein. On Formulations of Firing Squad Synchronization Problems. 2005
Oleksiy Kurganskyy, Igor Potapov. Computation in One-Dimensional Piecewise Maps and Planar Pseudo-Billiard Systems. 2005
Marius Nagy, Selim G. Akl. On the Importance of Parallelism for Quantum Computation and the Concept of a Universal Computer. 2005
Predrag T. Tosic, Gul A. Agha. On Computational Complexity of Counting Fixed Points in Symmetric Boolean Graph Automata. 2005
Tereza Tusarova. A New Sibling of BQP. 2005
Hiroshi Umeo, Masaya Hisaoka, Shunsuke Akiguchi. A Twelve-State Optimum-Time Synchronization Algorithm for Two-Dimensional Rectangular Cellular Arrays. 2005
Jiri Wiedermann. Computing by Self-reproduction: Autopoietic Automata. 2005
Damien Woods, J. Paul Gibson. Lower Bounds on the Computational Power of an Optical Model of Computation. 2005
Paolo Zuliani. On Counterfactual Computation. 2005

Cristian S. Calude, Michael J. Dinneen, Gheorghe Paun, Grzegorz Rozenberg, Susan Stepney, eds.
Unconventional Computation, UC 2006: York, UK.
Springer. 2006

+

(read but not reviewed)

Contents

Aurelie Goulon, Arthur Duprat, Gerard Dreyfus. Graph Machines and their applications to computer-aided drug design: a new approach to learning from structured data. 2006
Michael C. Mozer. Rational models of cognitive control. 2006
Erik Winfree. Fault-tolerance in biochemical systems (abstract). 2006
Damien Woods. Optical computing and computational complexity. 2006
Russ Abbott. If a tree casts a shadow is it telling the time?. 2006
M. Sakthi Balan, Helmut Jurgensen. Peptide computing -- universality and theoretical model. 2006
Monica Cardona, M. Angels Colomer, Mario J. Perez-Jimenez, Alba Zaragoza. Handling Markov Chains with Membrane Computing. 2006
Uffe Flarup, Klaus Meer. Approximation classes for real number optimization problems. 2006
Peter Hines. Physical systems as constructive logics. 2006
Oscar H. Ibarra, Sara Woodworth, Fang Yu, Andrei Paun. On spiking neural P Systems and partially blind counter machines. 2006
Yasuhiro Igarashi, Jerzy Gorecki, Joanna Natalia Gorecka. Chemical information processing devices constructed using a nonlinear medium with controlled excitability. 2006
Natasha Jonoska, Gregory L. McColm. Flexible versus rigid tile assembly. 2006
Shankara Narayanan Krishna. On pure catalytic P Systems. 2006
William B. Langdon. Mapping non-conventional extensions of Genetic Programming. 2006
Akihiro Mikoda, Shuichi Inokuchi, Yoshihiro Mizoguchi, Mitsuhiko Fujio. The number of ordits of periodic box-ball systems. 2006
Jerzy Mycka, Francisco Coelho, Jose Felix Costa. The Euclid Abstract Machine: trisection of the angle and the Halting Problem. 2006
Shigeru Ninagawa. 1/f noise in elementary cellular automaton rule 110. 2006
Mihai Oltean. A light-based device for solving the Hamiltonian path problem. 2006
Mikhail Prokopenko, Daniel Polani, Peter Wang. Optimizing potential information transfer with self-referential memory. 2006
H. Ramesh, Shankara Narayanan Krishna, Raghavan Rama. On the power of bio-Turing machines. 2006
Dylan A. Shell, Maja J. Mataric. Ergodic dynamics for large-scale distributed robot systems. 2006

Cristian S. Calude, Jose Felix Costa, Nachum Dershowitz, Elisabete Freire, Grzegorz Rozenberg.
Unconventional Computation, UC 2009: Ponta Delgada, Azores, Portugal.
Springer. 2009

+

(read but not reviewed)

Cristian S. Calude, Jarkko Kari, Ion Petre, Grzegorz Rozenberg, eds.
Unconventional Computation, UC 2011: Turku, Finland.
Springer. 2011

+

(read but not reviewed)

Contents

Viv Kendon, Angelika Sebald, Susan Stepney, Matthias Bechmann, Peter Hines, Robert C. Wagner. Heterotic Computing. 2011

Grzegorz Rozenberg, Arto Salomaa, eds.
Word, Language, Grammar.
Springer. 1997

Contents

Alexandru Mateescu, Arto Salomaa. Formal Languages: an Introduction and a Synopsis. 1997
Sheng Yu. Regular Languages. 1997
Jean-Michel Autebert, Jean Berstel, Luc Boasson. Context-Free Languages and Pushdown Automata. 1997
Alexandru Mateescu, Arto Salomaa. Aspects of Classical Language Theory. 1997
Lila Kari, Grzegorz Rozenberg, Arto Salomaa. L Systems. 1997
Christian Choffrut, Juhani Karhumaki. Combinatorics of Words. 1997
Tero Harju, Juhani Karhumaki. Morphisms. 1997
Helmut Jurgensen, Stavros Konstantinidis. Codes. 1997
Werner Kuich. Semirings and Formal Power Series. 1997
Jean-Eric Pin. Syntactic Semigroups. 1997
Aldo de Luca, Stefano Varricchio. Regularity and Finiteness Conditions. 1997
Gheorghe Paun, Arto Salomaa. Families Generated by Grammars and L Systems. 1997

Grzegorz Rozenberg, Arto Salomaa, eds.
Linear Modeling: background and application.
Springer. 1997

Contents

Cristian S. Calude, Juraj Hromkovic. Complexity: A Language-Theoretic Point of View. 1997
Klaas Sikkel, Anton Nijholt. Parsing of Context-Free Languages. 1997
Jurgen Dassow, Gheorghe Paun, Arto Salomaa. Grammars with Controlled Derivations. 1997
Jurgen Dassow, Gheorghe Paun, Grzegorz Rozenberg. Grammar Systems. 1997
Solomon Marcus. Contextual Grammars and Natural Languages. 1997
Andrzej Ehrenfeucht, Gheorghe Paun, Grzegorz Rozenberg. Contextual Grammars and Formal Languages. 1997
Thomas Head, Gheorghe Paun, Dennis Piton. Language Theory and Molecular Genetics. 1997
Alberto Apostolico. String Editing and Longest Common Subsequences. 1997
Maxime Crochemore, Christophe Hancart. Automata for Matching Patterns. 1997
Marie-Pierre Beal, Dominique Perrin. Symbolic Dynamics and Finite Automata. 1997
Valtteri Niemi. Cryptology: Language-Theoretic Aspects. 1997

Grzegorz Rozenberg, Arto Salomaa, eds.
Beyond Words.
Springer. 1997

Contents

Ferenc Gecseg, Magnus Steinby. Tree Languages. 1997
Aravind K. Joshi, Yves Schabes. Tree-Adjoining Grammars. 1997
Joost Engelfriet. Context-Free Graph Grammars. 1997
Dora Giammarresi, Antonio Restivo. Two-Dimensional Languages. 1997
Matthias Jantzen. Basics of Term Rewriting. 1997
Ludwig Staiger. omega-Languages. 1997
Wolfgang Thomas. Languages, Automata, and Logic. 1997
Volker Diekert, Yves Metivier. Partial Commutation and Traces. 1997
Przemyslaw Prusinkiewicz, Mark Hammel, Jim Hanan, Radomir Mech. Visual Models of Plant Development. 1997
Karel Culik II, Jarkko Kari. Digital Images and Formal Languages. 1997

Grzegorz Rozenberg, Thomas Back, Joost N. Kok.
Handbook of Natural Computing, vol 1.
Springer. 2012

+

Grzegorz Rozenberg, Thomas Back, Joost N. Kok.
Handbook of Natural Computing, vol 2.
Springer. 2012

Grzegorz Rozenberg, Thomas Back, Joost N. Kok.
Handbook of Natural Computing, vol 3.
Springer. 2012

Grzegorz Rozenberg, Thomas Back, Joost N. Kok.
Handbook of Natural Computing, vol 4.
Springer. 2012