Books

Papers/Articles

Books : reviews

[cover]

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

 

Contents

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

[cover]

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

 

[cover]

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

 

Contents

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

[cover]

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

 

Contents

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

[cover]

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

 

Contents

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

[cover]

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

 

[cover]

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

 

Contents

Daniel A. Beard, Hong Qian, James B. Bassingthwaighte.
Stoichiometric foundation of large-scale biochemical system analysis
Paulo R. A. Campos, Christoph Adami, Claus O. Wilke.
Modelling stochastic clonal interference
Gabriel Ciobanu.
Software verification of biomolecular systems
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
Andrzej Ehrenfeucht, Tero Harju, Ion Petre, David M. Prescott, Grzegorz Rozenberg.
Modelling gene assembly in ciliates
Masami Hagiya.
Towards molecular programming -- a personal report on DNA8 and Molecular Computing
Sungchul Ji.
Molecular information theory: solving the mysteries of DNA
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
Carlos Martin-Vide, Gheorghe Paun.
P Systems with symport/antiport rules: a survey
Santo Motta, Vladimir Brusic.
Mathematical modelling of the immune system
Aviv Regev, Ehud Shapiro.
The pi-calculus as an abstraction for biomolecular systems
Barbel M. R. Stadler, Peter F. Stadler.
The topology of evolutionary biology
Yi Zhou, Bud Mishra.
Models of genome evolution

[cover]

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

 

Contents

Thomas Back, Ron Breukelaar.
Using Genetic Algorithms to Evolve Behavior in Cellular Automata
Lov K. Grover.
Quantum Searching Amidst Uncertainty
Eric H. Davidson, Sorin Istrail.
Logic Functions of the Genomic Cis-regulatory Code (abstract)
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, Jens Kopatsch, Jiwen Zheng, Philip S. Lukeman, William B. Sherman, Chengde Mao, Natasha Jonoska, Nadrian C. Seeman.
Structural DNA Nanotechnology: Molecular Construction and Computation
Carme Torras.
Natural Inspiration for Artificial Adaptivity: Some Neurocomputing Experiences in Robotics
Francesco Bernardini, Marian Gheorghe, Natalio Krasnogor, Jean-Louis Giavitto.
On Self-assembly in Population P Systems
Cosmin Bonchis, Gabriel Ciobanu, Cornel Izbasa, Dana Petcu.
A Web-Based P Systems Simulator and Its Parallelization
Adan Cabello.
Communication Complexity as a Principle of Quantum Mechanics
Zhe Dang, Oscar H. Marra, Cheng Li, Gaoyan Xie.
On Model-Checking of P Systems
Carmen Graciani-Diaz, Agustin Riscos-Nunez.
Looking for Simple Common Schemes to Design Recognizer P Systems with Active Membranes That Solve Numerical Decision Problems
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
Masami Hagiya.
Discrete State Transition Systems on Continuous Space-Time: A Theoretical Model for Amorphous Computing
Shuichi Inokuchi, Kazumasa Honda, Hyen Yeal Lee, Tatsuro Sato, Yoshihiro Mizoguchi, Yasuo Kawahara.
On Reversible Cellular Automata with Finite Cell Array
Natasha Jonoska, Gregory L. McColm.
A Computational Model for Self-assembling Flexible Tiles
Kojiro Kobayashi, Darin Goldstein.
On Formulations of Firing Squad Synchronization Problems
Oleksiy Kurganskyy, Igor Potapov.
Computation in One-Dimensional Piecewise Maps and Planar Pseudo-Billiard Systems
Marius Nagy, Selim G. Akl.
On the Importance of Parallelism for Quantum Computation and the Concept of a Universal Computer
Predrag T. Tosic, Gul A. Agha.
On Computational Complexity of Counting Fixed Points in Symmetric Boolean Graph Automata
Tereza Tusarova.
A New Sibling of BQP
Hiroshi Umeo, Masaya Hisaoka, Shunsuke Akiguchi.
A Twelve-State Optimum-Time Synchronization Algorithm for Two-Dimensional Rectangular Cellular Arrays
Jiri Wiedermann.
Computing by Self-reproduction: Autopoietic Automata
Damien Woods, J. Paul Gibson.
Lower Bounds on the Computational Power of an Optical Model of Computation
Paolo Zuliani.
On Counterfactual Computation

[cover]

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

 

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

[cover]

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

 

[cover]

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

 

Contents

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