Finite State Transducers with Intuition / Ruben Agadzanyan ; Rusinš Freivalds
Reversibility and Determinism in Sequential Multiset Rewriting / Artiom Alhazov ; Rudolf Freund ; Kenichi Morita
Synchronization in P Modules / Michael J. Dinneen ; Yun-Bum Kim ; Radu Nicolescu
On Universality of Radius 1/2 Number-Conserving Cellular Automata / Katsunobu Imai
DNA Origami as Self-assembling Circuit Boards / Kyoung Nan Kim ; Koshala Sarveswaran ; Lesli Mark ; Marya Lieberman
Tug-of-War Model for Multi-armed Bandit Problem / Song-Ju Kim ; Masashi Aono ; Masahiko Hara
Characterising Enzymes for Information Processing: Towards an Artificial Experimenter / Chris Lovell ; Gareth Jones ; Steve R. Gunn ; Klaus-Peter Zauner
Majority Adder Implementation by Competing Patterns in Life-Like Rule B2/S2345 / Genaro J. MartÃnez ; Andrew Adamatzky ; Maurice Margenstern
Solving Partial Differential Equation via Stochastic Process / Jun Ohkubo
A False History of True Concurrency: From Petri to Tools (Abstract) / Javier Esparza
How Far Can Enterprise Modeling for Banking Be Supported by Graph Transformation? / Christoph Brandt ; Frank Hermann
Graphs and Logic / Session 1:
Graph Transformation Units Guided by a SAT Solver / Hans-Jörg Kreowski ; Sabine Kuske ; Robert Wille
Delaying Constraint Solving in Symbolic Graph Transformation / Fernando Orejas ; Leen Lambers
A Dynamic Logic for Termgraph Rewriting / Philippe Balbiani ; Rachid Echahed ; Andreas Herzig
Behavioural Analysis / Session 2:
A New Type of Behaviour-Preserving Transition Insertions in Unfolding Prefixes / Victor Khomenko
On the Computation of McMillan's Prefix for Contextual Nets and Graph Grammars / Paolo Baldan ; Alessandro Bruni ; Andrea Corradini ; Barbara König ; Stefan Schwoon
Verification of Graph Transformation Systems with Context-Free Specifications
Saturated LTSs for Adhesive Rewriting Systems / Filippo Bonchi ; Fabio Gadducci ; Giacoma Valentina Monreale ; Ugo Montanari
A Hoare Calculus for Graph Programs / Christopher M. Poskitt ; Detlef Plump
Models and Model Transformation / Session 3:
Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars / Hartmut Ehrig ; Ulrike Golas
Conflict Detection for Model Versioning Based on Graph Modifications / Gabriele Taentzer ; Claudia Ermel ; Philip Langer ; Manuel Wimmer
A Component Concept for Typed Graphs with Inheritance and Containment Structures / Stefan Jurack
Improved Approximations for Hard Optimization Problems via Problem Instance Classification / Hans-Joachim Böckenhauer ; Juraj Hromkovic ; Tobias Mömke
Counting Plane Graphs with Exponential Speed-Up / Herbert Edelsbrunner ; Michael Kerber ; Andreas Razen ; Emo Welzl
Formal Languages and Automata
Ancient Typefaces and Parametric Weighted Finite Automata / Jürgen Albert ; German Tischler
On Language Decompositions and Primality / Michael Domaratzki ; Kai Salomaa
A Unifying Kleene Theorem for Weighted Finite Automata / Zoltán Ésik ; Werner Kuich
Local Squares, Periodicity and Finite Automata / Mari Huova ; Juhani Karhumäki ; Aleksi Saarela ; Kalle Saari
Transdisciplinary Collaboration and Lifelong Learning: Fostering and Supporting New Learning Opportunities / Gitta Domik ; Gerhard Fischer
Towards an Open Learning Infrastructure for Open Educational Resources: Abundance as a Platform for Innovation / Erik Duval ; Katrien Verbert ; Joris Klerkx
Why E-Learning as It Stands Is Not Enough / Narayanan Kulathuramaiyer ; Hermann Maurer
The Practice of Informatics
Domains: Their Simulation, Monitoring and Control-A Divertimento of Ideas and Suggestions / Dines Bjørner
Roots and Stimuli to a New Perception of Informatics / Jozef Gruska
Towards a New Shape Description Paradigm Using the Generative Modeling Language / Sven Havemann ; Dieter W. Fellner
Name Resolution by Rewriting in Dynamic Networks of Mobile Entities / Jan van Leeuwen ; Jirà Wiedermann
Maintaining the Personal Style and Flair of Handwriting in Presentation Recordings / Khaireel A. Mohamed ; Thomas Ottmann
TGV-Fusion / Thomas Pock ; Lukas Zebedin ; Horst Bischof
Secure and Privacy-Preserving eGovernment-Best Practice Austria / Karl Christian Posch ; Reinhard Posch ; Arne Tauber ; Thomas Zefferer ; Bernd Zwattendorfer
The Quest for Uncertainty / Jörg Zimmermann ; Armin B. Cremers
Author Index
Algorithmics
Improved Approximations for Hard Optimization Problems via Problem Instance Classification / Hans-Joachim Böckenhauer ; Juraj Hromkovic ; Tobias Mömke
Counting Plane Graphs with Exponential Speed-Up / Herbert Edelsbrunner ; Michael Kerber ; Andreas Razen ; Emo Welzl
The Logic and Topology of Non-locality and Contextuality / Samson Abramsky
A Framework for Multiscale and Multiscience Modeling and Numerical Simulations / Bastien Chopard ; Jean-Luc Falcone ; Alfons G. Hoekstra ; Joris Borgdorff
Unconventional Optimizer Development / David Corne
A Formal Framework for Bioprocesses in Living Cells / Andrzej Ehrenfeucht ; Grzegorz Rozenberg
Quantum Information - A Tutorial / Mika Hirvensalo
Weighted Finite Automata: Computing with Different Topologies / Juhani Karhumäki ; Turo Sallinen
Tutorial on Cellular Automata / Nicolas Ollinger
Membrane Computing at Twelve Years (Back to Turku) / Gheorghe Paun
Heterotic Computing / Viv Kendon ; Angelika Sebald ; Susan Stepney ; Matthias Bechmann ; Peter Hines ; Robert C. Wagner
A Formal Approach to Unconditional Security Proofs for Quantum Key Distribution / Takahiro Kubota ; Yoshihiko Kakutani ; Go Kato ; Yasuhito Kawano
Geometric Computations by Broadcasting Automata on the Integer Grid / Russell Martin ; Thomas Nickson ; Igor Potapov
Computations with Uncertain Time Constraints: Effects on Parallelism and Universality / Naya Nagy ; Selim G. Akl
BFS Solution for Disjoint Paths in P Systems / Radu Nicolescu ; Huiling Wu
The Key Elements of Logic Design in Ternary Quantum-Dot Cellular Automata / Primoz Pecar ; Iztok Lebar Bajec
A Universal Flying Amorphous Computer / Lukáš Petru ; Jirà Wiedermann
Computation with Narrow CTCs / A.C. Cem Say ; Abuzer Yakaryilmaz
Extended Watson-Crick L Systems with Regular Trigger Languages / David Sears ; Kai Salomaa
Computing with Planar Toppling Domino Arrangements / William M. Stevens
Increasing Fault-Tolerance in Cellular Automata-Based Systems / Ludek Zaloudek ; Lukáš Sekanina
Author Index
Invited Lectures and Tutorials
The Logic and Topology of Non-locality and Contextuality / Samson Abramsky
A Framework for Multiscale and Multiscience Modeling and Numerical Simulations / Bastien Chopard ; Jean-Luc Falcone ; Alfons G. Hoekstra ; Joris Borgdorff
Grzegorz Rozenberg: A Magical Scientist and Brother / Arto Salomaa
Sequence Discovery, Generation, and Analysis / Part II:
Monotony and Surprise / Alberto Apostolico
Information Content of Sets of Biological Sequences Revisited / Alessandra Carbone ; Stefan Engelen
Duplication in DNA Sequences / Masami Ito ; Lila Kari ; Zachary Kincaid ; Shinnosuke Seki
Sequence and Structural Analyses for Functional Non-coding RNAs / Yasubumi Sakakibara ; Kengo Sato
Gene Assembly in Ciliates / Part III:
Strategies for RNA-Guided DNA Recombination / Angela Angeleska ; NataÜa Jonoska ; Masahico Saito ; Laura F. Landweber
Reality-and-Desire in Ciliates / Robert Brijder ; Hendrik Jan Hoogeboom
Template-Guided Recombination: From Theory to Laboratory / Mark Daley ; Michael Domaratzki
Nanoconstructions and Self-assembly / Part IV:
DNA Cages with Icosahedral Symmetry in Bionanotechnology / Anne Taormina ; Reidun Twarock
Applying Symmetric Enumeration Method to One-Dimensional Assembly of Rotatable Tiles / Satoshi Kobayashi
A Self-assembly Model of Time-Dependent Glue Strength / Sudheer Sahu ; Peng Yin ; John H. Reif
The Perils of Polynucleotides Revisited / Nadrian C. Seeman
Algorithmic Control: The Assembly and Operation of DNA Nanostructures and Molecular Machinery / Andrew J. Turberfield
Membrane Computing / Part V:
On Nonuniversal Symport/Antiport P Systems / Oscar H. Ibarra ; Sara Woodworth
Spiking Neural P Systems. Recent Results, Research Topics / Gheorghe Păun ; Mario J. Pérez-Jiménez
Membrane Computing Schema: A New Approach to Computation Using String Insertions / Takashi Yokomori
Formal Models and Analysis / Part VI:
Finite Splicing: Generative Capacity, New Models and Complexity Aspects / Paola Bonizzoni ; Remco Loos
Formal Models of the Calyx of Held / Andrea Bracciali ; Marcello Brunelli ; Enrico Cataldo ; Pierpaolo Degano
Understanding Network Behavior by Structured Representations of Transition Invariants / Monika Heiner
Quantitative Verification Techniques for Biological Processes / Marta Kwiatkowska ; Gethin Norman ; David Parker
A New Mathematical Model for the Heat Shock Response / Ion Petre ; Andrzej Mizera ; Claire L. Hyder ; Andrey Mikhailov ; John E. Eriksson ; Lea Sistonen ; Ralph-Johan Back
Process Calculi and Automata / Part VII:
Artificial Biochemistry / Luca Cardelli
Process Calculi Abstractions for Biology / Maria Luisa Guerriero ; Davide Prandi ; Corrado Priami ; Paola Quaglia
Deriving Differential Equations from Process Algebra Models in Reagent-Centric Style / Jane Hillston ; Adam Duguid
DNA Nanotechnology - Algorithmic Self-assembly / Part I:
Scaffolded DNA Origami: from Generalized Multicrossovers to Polygonal Networks / Paul W.K. Rothemund
A Fresh Look at DNA Nanotechnology / Zhaoxiang Deng ; Yi Chen ; Ye Tian ; Chengde Mao
DNA Nanotechnology: an Evolving Field / Hao Yan ; Yan Liu
Self-healing Tile Sets / Erik Winfree
Compact Error-Resilient Computational DNA Tilings / John H. Reif ; Sudheer Sahu ; Peng Yin
Forbidding-Enforcing Conditions in DNA Self-assembly of Graphs / Giuditta Franco ; Natasa Jonoska
Codes for DNA Nanotechnology / Part II:
Finding MFE Structures Formed by Nucleic Acid Strands in a Combinatorial Set / Mirela Andronescu ; Anne Condon
Involution Solid Codes / Lila Kari ; Kalpana Mahalingam
Test Tube Selection of Large Independent Sets of DNA Oligonucleotides / Russell Deaton ; Junghuei Chen ; Jin-Woo Kim ; Max H. Garzon ; David H. Wood
DNA Nanodevices / Part III:
DNA-Based Motor Work at Bell Laboratories / Bernard Yurke
Electronics, Nanowire and DNA / Jong-Shik Shin ; Niles A. PiercePart IV:
A Supramolecular Approach to Metal Array Programming Using Artificial DNA / Mitsuhiko Shionoya
Multicomponent Assemblies Including Long DNA and Nanoparticles - An Answer for the Integration Problem? / Andreas Wolff ; Andrea Csaki ; Wolfgang Fritzsche
Molecular Electronics: from Physics to Computing / Yongqiang Xue ; Mark A. Ratner
Other Bio-molecules in Self-assembly / Part V:
Towards an Increase of the Hierarchy in the Construction of DNA-Based Nanostructures Through the Integration of Inorganic Materials / Bruno Samor`i ; Giampaolo Zuccheri ; Anita Scipioni ; Pasquale De Santis
Adding Functionality to DNA Arrays: the Development of Semisynthetic DNA-Protein Conjugates / Christof M. Niemeyer
Bacterial Surface Layer Proteins: a Simple but Versatile Biological Self-assembly System in Nature / Dietmar Pum ; Margit Sara ; Bernhard Schuster ; Uwe B. Sleytr
Biomolecular Computational Models / Part VI:
Computing with Hairpins and Secondary Structures of DNA / Masami Hagiya ; Satsuki Yaegashi ; Keiichiro Takahashi
Bottom-up Approach to Complex Molecular Behavior / Milan N. Stojanovic
Aqueous Computing: Writing on Molecules Dissolved in Water / Tom Head ; Susannah Gal
Computations Inspired by Cells / Part VII:
Turing Machines with Cells on the Tape / Francesco Bernardini ; Marian Gheorghe ; Natalio Krasnogor ; Gheorghe Paun
Insights into a Biological Computer: Detangling Scrambled Genes in Ciliates / Andre R.O. Cavalcanti ; Laura F. Landweber
Modelling Simple Operations for Gene Assembly / Tero Harju ; Ion Petre ; Grzegorz Rozenberg
Appendix / Part VIII:
Publications / Nadrian C. Seeman
DNA Nanotechnology - Algorithmic Self-assembly / Part I:
Scaffolded DNA Origami: from Generalized Multicrossovers to Polygonal Networks / Paul W.K. Rothemund
A Fresh Look at DNA Nanotechnology / Zhaoxiang Deng ; Yi Chen ; Ye Tian ; Chengde Mao
Unconventional "Stateless" Turing-Like Machines / Joshua J. Arulanandham
Polarizationless P Systems with Active Membranes Working in the Minimally Parallel Mode / Rudolf Freund ; Gheorghe Paun ; Mario J. Perez-Jimenez
On One Unconventional Framework for Computation / Lev Goldfarb
Computing Through Gene Assembly / Tseren-Onolt Ishdorj ; Ion Petre
Learning Vector Quantization Network for PAPR Reduction in Orthogonal Frequency Division Multiplexing Systems / Seema Khalid ; Syed Ismail Shah ; Jamil Ahmad
Binary Ant Colony Algorithm for Symbol Detection in a Spatial Multiplexing System / Adnan Khan ; Sajid Bashir ; Muhammad Naeem ; Asrar Sheikh
Quantum Authenticated Key Distribution / Naya Nagy ; Selim G. Akl
The Abstract Immune System Algorithm / Jose Pacheco ; Jose Felix Costa
Taming Non-compositionality Using New Binders / Frederic Prost
Using River Formation Dynamics to Design Heuristic Algorithms / Pablo Rabanal ; Ismael Rodriguez ; Fernando Rubio
Principles of Stochastic Local Search / Uwe Schoning
Spatial and Temporal Resource Allocation for Adaptive Parallel Genetic Algorithm / K.Y. Szeto
Gravitational Topological Quantum Computation / Mario Velez ; Juan Ospina
Computation in Sofic Quantum Dynamical Systems / Karoline Wiesner ; James P. Crutchfield
Bond Computing Systems: A Biologically Inspired and High-Level Dynamics Model for Pervasive Computing / Linmin Yang ; Zhe Dang ; Oscar H. Ibarra
Author Index
Invited Papers
How Neural Computing Can Still Be Unconventional After All These Years / Michael A. Arbib
Optimal Algorithmic Cooling of Spins / Yuval Elias ; Jose M. Fernandez ; Tal Mor ; Yossi Weinstein
Engineered Communications for Microbial Robotics / Ron Weiss ; Thomas F. Knight
Successive State Transitions with I/O Interface by Molecules / Ken Komiya ; Kensaku Sakamoto ; Hidetaka Gouzu ; Shigeyuki Yokoyama ; Masanori Arita ; Akio Nishikawa ; Masami Hagiya
Solution of a Satisfiability Problem on a Gel-Based DNA Computer / Ravinderjit S. Braich ; Cliff Johnson ; Paul W.K. Rothemund ; Darryl Hwang ; Nickolas Chelyapov ; Leonard M. Adleman
Diophantine Equations and Splicing: A New Demonstration of the Generative Capability of H Systems / Pierluigi Frisco
About Time-Varying Distributed H Systems / Maurice Margenstern ; Yurii Rogozhin
String Tile Models for DNA Computing by Self-Assembly / Erik Winfree ; Tony Eng ; Grzegorz Rozenberg
From Molecular Computing to Molecular Programming
Graph Replacement Chemistry for DNA Processing / John S. McCaskill ; Ulrich Niemann
DNA and Circular Splicing / Paola Bonizzoni ; Clelia De Felice ; Giancarlo Mauri ; Rosalba Zizza
Molecular Computing with Generalized Homogeneous P-Systems / Rudolf Freund ; Franziska Freund
Computationally Inspired Biotechnologies: Improved DNA Synthesis and Associative Search Using Error-Correcting Codes and Vector-Quantization / John H. Reif ; Thomas H. LaBean
Challenges and Applications for Self-Assembled DNA Nanostructures / Nadrian C. Seeman
A Space-Efficient Randomized DNA Algorithm for k-Sat / Kevin Chen ; Vijay Ramachandran
A DNA-Based Random Walk Method for Solving k-SAT / ??>iaz ; Juan Luis Esteban ; Mitsunori Ogihara
Solving Computational Learning Problems of Boolean Formulae on DNA Computers / Yasubumi Sakakibara
The Fidelity of Annealing-Ligation: A Theoretical Analysis / John A. Rose ; Russell J. Deaton
DNA Implementation of a Royal Road Fitness Evaluation / Elizabeth Goode ; David Harlan Wood ; Junghuei Chen
Steady Flow Micro-Reactor Module for Pipelined DNA Computations / Jöhn S. McCaskill ; Robert Penchovsky ; Marlies Gohlke ; Jorg Ackermann ; Thomas Rücker
Author Index
Engineered Communications for Microbial Robotics / Ron Weiss ; Thomas F. Knight
Successive State Transitions with I/O Interface by Molecules / Ken Komiya ; Kensaku Sakamoto ; Hidetaka Gouzu ; Shigeyuki Yokoyama ; Masanori Arita ; Akio Nishikawa ; Masami Hagiya
Solution of a Satisfiability Problem on a Gel-Based DNA Computer / Ravinderjit S. Braich ; Cliff Johnson ; Paul W.K. Rothemund ; Darryl Hwang ; Nickolas Chelyapov ; Leonard M. Adleman
Grzegorz Rozenberg: A Magical Scientist and Brother / Arto Salomaa
Sequence Discovery, Generation, and Analysis / Part II:
Monotony and Surprise / Alberto Apostolico
Information Content of Sets of Biological Sequences Revisited / Alessandra Carbone ; Stefan Engelen
Duplication in DNA Sequences / Masami Ito ; Lila Kari ; Zachary Kincaid ; Shinnosuke Seki
Sequence and Structural Analyses for Functional Non-coding RNAs / Yasubumi Sakakibara ; Kengo Sato
Gene Assembly in Ciliates / Part III:
Strategies for RNA-Guided DNA Recombination / Angela Angeleska ; NataÜa Jonoska ; Masahico Saito ; Laura F. Landweber
Reality-and-Desire in Ciliates / Robert Brijder ; Hendrik Jan Hoogeboom
Template-Guided Recombination: From Theory to Laboratory / Mark Daley ; Michael Domaratzki
Nanoconstructions and Self-assembly / Part IV:
DNA Cages with Icosahedral Symmetry in Bionanotechnology / Anne Taormina ; Reidun Twarock
Applying Symmetric Enumeration Method to One-Dimensional Assembly of Rotatable Tiles / Satoshi Kobayashi
A Self-assembly Model of Time-Dependent Glue Strength / Sudheer Sahu ; Peng Yin ; John H. Reif
The Perils of Polynucleotides Revisited / Nadrian C. Seeman
Algorithmic Control: The Assembly and Operation of DNA Nanostructures and Molecular Machinery / Andrew J. Turberfield
Membrane Computing / Part V:
On Nonuniversal Symport/Antiport P Systems / Oscar H. Ibarra ; Sara Woodworth
Spiking Neural P Systems. Recent Results, Research Topics / Gheorghe Păun ; Mario J. Pérez-Jiménez
Membrane Computing Schema: A New Approach to Computation Using String Insertions / Takashi Yokomori
Formal Models and Analysis / Part VI:
Finite Splicing: Generative Capacity, New Models and Complexity Aspects / Paola Bonizzoni ; Remco Loos
Formal Models of the Calyx of Held / Andrea Bracciali ; Marcello Brunelli ; Enrico Cataldo ; Pierpaolo Degano
Understanding Network Behavior by Structured Representations of Transition Invariants / Monika Heiner
Quantitative Verification Techniques for Biological Processes / Marta Kwiatkowska ; Gethin Norman ; David Parker
A New Mathematical Model for the Heat Shock Response / Ion Petre ; Andrzej Mizera ; Claire L. Hyder ; Andrey Mikhailov ; John E. Eriksson ; Lea Sistonen ; Ralph-Johan Back
Process Calculi and Automata / Part VII:
Artificial Biochemistry / Luca Cardelli
Process Calculi Abstractions for Biology / Maria Luisa Guerriero ; Davide Prandi ; Corrado Priami ; Paola Quaglia
Deriving Differential Equations from Process Algebra Models in Reagent-Centric Style / Jane Hillston ; Adam Duguid
Object Oriented Modeling with Object Petri Nets / C. LakosSection I:
Using Petri Nets for Specifying Active Objects and Generative Communication / T. Holvoet ; P. Verbaeten
Object-Oriented Nets with Algebraic Specifications: The CO-OPN/2 Formalism / O. Biberstein ; D. Buchs ; N. Guelfi
CLOWN as a Testbed for Concurrent Object-Oriented Concepts / E. Battiston ; A. Chizzoni ; F. De Cindio
Concurrency in Communicating Object Petri Nets / R. Valk
Object Orientation in Hierarchical Predicate Transition Nets / X. He ; Y. Ding
CoOperative Objects: Principles, Use and Implementation / C. Sibertin-Blanc
OB(PN)2: An Object Based Petri Net Programming Notation / J. Lilius
On Formalizing UML with High-Level Petri Nets / L. Baresi ; M. Pezzè
Modeling a Groupware Editing Tool with Cooperative Objects / R. Bastide ; P. PalanqueSection II:
Modeling Constrained Geometric Objects with OBJSA Nets / M. A. Alberti ; P. Evi ; D. Marini
An Object-Based Modular CPN Approach: Its Application to the Specification of a Cooperative Editing Environment / D. S. Guerrero ; J. C. A. de Figueiredo ; A. Perkusich
KRON: Knowledge Engineering Approach Based on the Integration of CPNs with Objects / J. A. Bañares ; P. R. Muro-Medrano ; J. L. Villarroel ; F. J. Zarazaga
Modeling of a Library with THORNs / F. Köster ; S. Schöf ; M. Sonnenschein ; R. Wieting
Inheritance of Dynamic Behavior: Development of a Groupware Editor / T. Basten ; W. M. P. van der Aalst
Object Colored Petri Nets - A Formal Technique for Object Oriented Modeling / C. Maier ; D. Moldt
An Actor Algebra for Specifying Distributed Systems: The Hurried Philosophers Case Study / M. Gaspari ; G. ZavattaroSection III:
Formal Reasoning about Actor Programs Using Temporal Logic / S. Schacht
Flexible Types for a Concurrent Model / F. Puntigam
Graph Transformations for the Vehicle Routing and Job Shop Scheduling Problems / J. Christopher Beck ; Patrick Prosser ; Evgeny Selensky
Call-by-Value ?-Graph Rewriting Without Rewriting / Maribel Fernández ; Ian Mackie
Transformation: The Missing Link of MDA / Anna Gerber ; Michael Lawley ; Kerry Raymond ; Jim Steel ; Andrew Wood
Termination Detection of Distributed Algorithms by Graph Relabelling Systems / Emmanuel Godard ; Yves Mátivier ; Mohamed Mosbah ; Afif Sellami
Graph Transformation with Time: Causality and Logical Clocks / Szilvia Gyapay ; Reiko Heckel ; Dániel Varró
Relabelling in Graph Transformation / Annegret Habel ; Detlef Plump
Euler Graphs, Triangle-Free Graphs and Bipartite Graphs in Switching Classes / Jurriaan Hage ; Tero Harju ; Emo Welzl
Confluence of Typed Attributed Graph Transformation Systems / Jochen Malte Kuüster ; Gabriele Taentzer
Abstraction and Control for Shapely Nested Graph Transformation / Berthold Hoffmann
Hyperedge Substitution in Basic Atom-Replacement Languages / Renate Klempien-Hinrichs
Distributed Graph Transformation Units / Peter Knirsch ; Sabine Kuske
Describing Policies with Graph Constraints and Rules / Manuel Koch ; Francesco Parisi-Presicce
Computer Aided Multi-paradigm Modelling to Process Petri-Nets and Statecharts / Juan de Lara ; Hans Vangheluwe
Using Graph Transformation as the Semantical Model for Software Process Execution in the APSEE Environment / Carla A. Lima Reis ; Rodrigo Quites Reis ; Marcelo M. de Abreu ; Heribert Schlebbe ; Daltro J. Nunes
Graph-Based Reengineering of Telecommunication Systems / Andre Marburger ; Bernhard Westfechtel
Formalising Behaviour Preserving Program Transformations / Tom Mens ; Serge Demeyer ; Dirk Janssens
Unparsing of Diagrams with DiaGen / Mark Minas ; Frank Struber
Linear Ordered Graph Grammars and Their Algebraic Foundations / Ugo Montanari ; Leila Ribeiro
Rule Invariants in Graph Transformation Systems for Analyzing Safety-Critical Systems / Bettina E. Enders
Incremental Transformation of Lattices: A Key to Effective Knowledge Discovery / John L. Pfaltz
GraCAD - Graph-Based Tool for Conceptual Design / Janusz Szuba ; Andy Schürr ; Adam Borkowski
A Formal Semantics of UML Statecharts by Model Transition Systems
Hierarchical Vertex Ordering / Sung-Ho Woo ; Sung-Bong Yang
Tutorials and Workshops
Tutorial Introduction to Graph Transformation: A Software Engineering Perspective / Luciano Baresi
Tutorial on DNA Computing and Graph Transformation - Computational Nature of Gene Assembly in Ciliates / Ion Petre ; Grzegorz Rozenberg
TERMGRAPH 2002 - Workshop Survey
Workshop on Graph-Based Tools
Workshop on Graph Transformation and Visual Modeling Techniques / Paolo Bottoni
Workshop on Software Evolution through Transformations: Towards Uniform Support throughout the Software Life-Cycle / Michel Wermelinger
Workshop on Logic, Graph Transformations and Discrete Structures / Bruno Courcelle ; Pascal Weil
Author Index
Invited Papers
Ubiquitous, Decentralized, and Evolving Software: Challenges for Software Engineering / Carlo Ghezzi
Can Behavioral Requirements Be Executed? (And Why Would We Want to Do So?) / David Harel
A False History of True Concurrency: From Petri to Tools (Abstract) / Javier Esparza
How Far Can Enterprise Modeling for Banking Be Supported by Graph Transformation? / Christoph Brandt ; Frank Hermann
Graphs and Logic / Session 1:
Graph Transformation Units Guided by a SAT Solver / Hans-Jörg Kreowski ; Sabine Kuske ; Robert Wille
Delaying Constraint Solving in Symbolic Graph Transformation / Fernando Orejas ; Leen Lambers
A Dynamic Logic for Termgraph Rewriting / Philippe Balbiani ; Rachid Echahed ; Andreas Herzig
Behavioural Analysis / Session 2:
A New Type of Behaviour-Preserving Transition Insertions in Unfolding Prefixes / Victor Khomenko
On the Computation of McMillan's Prefix for Contextual Nets and Graph Grammars / Paolo Baldan ; Alessandro Bruni ; Andrea Corradini ; Barbara König ; Stefan Schwoon
Verification of Graph Transformation Systems with Context-Free Specifications
Saturated LTSs for Adhesive Rewriting Systems / Filippo Bonchi ; Fabio Gadducci ; Giacoma Valentina Monreale ; Ugo Montanari
A Hoare Calculus for Graph Programs / Christopher M. Poskitt ; Detlef Plump
Models and Model Transformation / Session 3:
Formal Analysis of Functional Behaviour for Model Transformations Based on Triple Graph Grammars / Hartmut Ehrig ; Ulrike Golas
Conflict Detection for Model Versioning Based on Graph Modifications / Gabriele Taentzer ; Claudia Ermel ; Philip Langer ; Manuel Wimmer
A Component Concept for Typed Graphs with Inheritance and Containment Structures / Stefan Jurack
On the Size of Components of Probabilistic Cooperating Distributed Grammar Systems / Jürgen Dassow
Remarks on Sublanguages Consisting of Primitive Words of Slender Regular and Context-Free Languages / Pál Dömösi ; Carlos MartÃn-Vide ; Victor Mitrana
A Semiring-Semimodule Generalization of ?-Context-Free Languages / Zoltán Ésik ; Werner Kuich
Integer Weighted Finite Automata, Matrices, and Formal Power Series over Laurent Polynomials / Vesa Halava
Two Models for Gene Assembly in Ciliates / Tero Harju ; Ion Petre ; Grzegorz Rozenberg
On Self-Dual Bases of the Extensions of the Binary Field / Mika Hirvensalo ; Jyrki Lahtonen
Pushout Complements for Arbitrary Partial Algebras / Francesc Rosselló
Concurrency and Distribution
Unfolding of Double-Pushout Graph Grammars is a Coreflection / Paolo Baldan ; Andrea Corradini ; Ugo Montanari
Local Views on Distributed Systems and Their Communication / Ingrid Fischer ; Manuel Koch ; Gabriele Taentzer
Dynamic Change Management by Distributed Graph Transformation:
Towards Configurable Distributed Systems / Michael Goedicke ; Torsten Meyer
A Framework for NLC and ESM: Local Action Systems / Nico Verlinden ; Dirk Janssens
Artificial Intelligence
Redundancy and Subsumption in High-Level Replacement Systems / Hans-Jörg Kreowski ; Gabriel Valiente
Knowledge Representation and Graph Transformation / Stefan Schuster
Utilizing Constraint Satisfaction Techniques for Efficient Graph Pattern Matching / Michael Rudolf
Visual Languages
Conceptual Model of the Graphical Editor GenGEd for the Visual Definition of Visual Languages / Roswitha Bardohl
From Formulae to Rewriting Systems / Paolo Bottoni ; Francesco Parisi-Presicce ; Marta Simeoni
Hypergraphs as a Uniform Diagram Representation Model / Mark Minas
Specification Concepts
Story Diagrams: A New Graph Rewrite Language Based on the Unified Modeling Language and Java / Thorsten Fischer ; Jörg Niere ; Lars Torunski ; Albert Zündorf
A Fully Abstract Model for Graph-Interpreted Temporal Logic / Fabio Gadducci
More About Control Conditions for Transformation Units / Sabine Kuske
Integrity Constraints in the Multi-paradigm Language PROGRES / Manfred Münch ; Andy Schürr ; Andreas J. Winter
Modularity and Refinement
A Framework for Adding Packages to Graph Transformation Approaches / Giorgio Busatto ; Gregor Engels ; Katharina Mehner ; Annika Wagner
Refinements of Graph Transformation Systems via Rule Expressions / Martin Große-Rhode
Simple Modules for Grace / Berthold Hoffmann ; Peter Knirsch
UML Packages for PROgrammed Graph REwriting Systems
Incremental Development of Safety Properties in Petri Net Transformations / Maike Gajewsky ; Kathrin Hoffmann
Software Engineering
Using Graph Transformation Techniques for Integrating Information from the WWW / Lukas C. Faulstich
A Model Making Automation Process (MMAP) Using a Graph Grammar Formalism / Curtis E. Hrischuk
Graph-Based Models for Managing Development Processes, Resources, and Products / Carl-Arndt Krapp ; Sven Kruppel ; Ansgar Schleicher ; Bernhard Westfechtel
Deriving Software Performance Models from Architectural Patterns by Graph Transformations / Dorina C. Petriu ; Xin Wang
Author Index
Graph Languages
Some Remarks on the Generative Power of Collage Grammars and Chain-Code Grammars / Frank Drewes
Tree Languages Generated by Context-Free Graph Grammars / Joost Engelfriet ; Sebastian Maneth
UC 2005, Cristian Calude, Takeo Kanade, Michael J. Dinneen, Gheorghe Paun, Mario de Jesus PÃ〓rez-JimÃ〓nez, Grzegorz Rozenberg, Mario de Jesus Pérez-Jiménez
出版情報:
SpringerLink Books - AutoHoldings , Springer Berlin / Heidelberg, 2005
Unconventional "Stateless" Turing-Like Machines / Joshua J. Arulanandham
Polarizationless P Systems with Active Membranes Working in the Minimally Parallel Mode / Rudolf Freund ; Gheorghe Paun ; Mario J. Perez-Jimenez
On One Unconventional Framework for Computation / Lev Goldfarb
Computing Through Gene Assembly / Tseren-Onolt Ishdorj ; Ion Petre
Learning Vector Quantization Network for PAPR Reduction in Orthogonal Frequency Division Multiplexing Systems / Seema Khalid ; Syed Ismail Shah ; Jamil Ahmad
Binary Ant Colony Algorithm for Symbol Detection in a Spatial Multiplexing System / Adnan Khan ; Sajid Bashir ; Muhammad Naeem ; Asrar Sheikh
Quantum Authenticated Key Distribution / Naya Nagy ; Selim G. Akl
The Abstract Immune System Algorithm / Jose Pacheco ; Jose Felix Costa
Taming Non-compositionality Using New Binders / Frederic Prost
Using River Formation Dynamics to Design Heuristic Algorithms / Pablo Rabanal ; Ismael Rodriguez ; Fernando Rubio
Principles of Stochastic Local Search / Uwe Schoning
Spatial and Temporal Resource Allocation for Adaptive Parallel Genetic Algorithm / K.Y. Szeto
Gravitational Topological Quantum Computation / Mario Velez ; Juan Ospina
Computation in Sofic Quantum Dynamical Systems / Karoline Wiesner ; James P. Crutchfield
Bond Computing Systems: A Biologically Inspired and High-Level Dynamics Model for Pervasive Computing / Linmin Yang ; Zhe Dang ; Oscar H. Ibarra
Author Index
Invited Papers
How Neural Computing Can Still Be Unconventional After All These Years / Michael A. Arbib
Optimal Algorithmic Cooling of Spins / Yuval Elias ; Jose M. Fernandez ; Tal Mor ; Yossi Weinstein
Improved Approximations for Hard Optimization Problems via Problem Instance Classification / Hans-Joachim Böckenhauer ; Juraj Hromkovic ; Tobias Mömke
Counting Plane Graphs with Exponential Speed-Up / Herbert Edelsbrunner ; Michael Kerber ; Andreas Razen ; Emo Welzl
Formal Languages and Automata
Ancient Typefaces and Parametric Weighted Finite Automata / Jürgen Albert ; German Tischler
On Language Decompositions and Primality / Michael Domaratzki ; Kai Salomaa
A Unifying Kleene Theorem for Weighted Finite Automata / Zoltán Ésik ; Werner Kuich
Local Squares, Periodicity and Finite Automata / Mari Huova ; Juhani Karhumäki ; Aleksi Saarela ; Kalle Saari
Transdisciplinary Collaboration and Lifelong Learning: Fostering and Supporting New Learning Opportunities / Gitta Domik ; Gerhard Fischer
Towards an Open Learning Infrastructure for Open Educational Resources: Abundance as a Platform for Innovation / Erik Duval ; Katrien Verbert ; Joris Klerkx
Why E-Learning as It Stands Is Not Enough / Narayanan Kulathuramaiyer ; Hermann Maurer
The Practice of Informatics
Domains: Their Simulation, Monitoring and Control-A Divertimento of Ideas and Suggestions / Dines Bjørner
Roots and Stimuli to a New Perception of Informatics / Jozef Gruska
Towards a New Shape Description Paradigm Using the Generative Modeling Language / Sven Havemann ; Dieter W. Fellner
Name Resolution by Rewriting in Dynamic Networks of Mobile Entities / Jan van Leeuwen ; Jirà Wiedermann
Maintaining the Personal Style and Flair of Handwriting in Presentation Recordings / Khaireel A. Mohamed ; Thomas Ottmann
TGV-Fusion / Thomas Pock ; Lukas Zebedin ; Horst Bischof
Secure and Privacy-Preserving eGovernment-Best Practice Austria / Karl Christian Posch ; Reinhard Posch ; Arne Tauber ; Thomas Zefferer ; Bernd Zwattendorfer
The Quest for Uncertainty / Jörg Zimmermann ; Armin B. Cremers
Author Index
Algorithmics
Improved Approximations for Hard Optimization Problems via Problem Instance Classification / Hans-Joachim Böckenhauer ; Juraj Hromkovic ; Tobias Mömke
Counting Plane Graphs with Exponential Speed-Up / Herbert Edelsbrunner ; Michael Kerber ; Andreas Razen ; Emo Welzl
Finite State Transducers with Intuition / Ruben Agadzanyan ; Rusinš Freivalds
Reversibility and Determinism in Sequential Multiset Rewriting / Artiom Alhazov ; Rudolf Freund ; Kenichi Morita
Synchronization in P Modules / Michael J. Dinneen ; Yun-Bum Kim ; Radu Nicolescu
On Universality of Radius 1/2 Number-Conserving Cellular Automata / Katsunobu Imai
DNA Origami as Self-assembling Circuit Boards / Kyoung Nan Kim ; Koshala Sarveswaran ; Lesli Mark ; Marya Lieberman
Tug-of-War Model for Multi-armed Bandit Problem / Song-Ju Kim ; Masashi Aono ; Masahiko Hara
Characterising Enzymes for Information Processing: Towards an Artificial Experimenter / Chris Lovell ; Gareth Jones ; Steve R. Gunn ; Klaus-Peter Zauner
Majority Adder Implementation by Competing Patterns in Life-Like Rule B2/S2345 / Genaro J. MartÃnez ; Andrew Adamatzky ; Maurice Margenstern
Solving Partial Differential Equation via Stochastic Process / Jun Ohkubo
The Logic and Topology of Non-locality and Contextuality / Samson Abramsky
A Framework for Multiscale and Multiscience Modeling and Numerical Simulations / Bastien Chopard ; Jean-Luc Falcone ; Alfons G. Hoekstra ; Joris Borgdorff
Unconventional Optimizer Development / David Corne
A Formal Framework for Bioprocesses in Living Cells / Andrzej Ehrenfeucht ; Grzegorz Rozenberg
Quantum Information - A Tutorial / Mika Hirvensalo
Weighted Finite Automata: Computing with Different Topologies / Juhani Karhumäki ; Turo Sallinen
Tutorial on Cellular Automata / Nicolas Ollinger
Membrane Computing at Twelve Years (Back to Turku) / Gheorghe Paun
Heterotic Computing / Viv Kendon ; Angelika Sebald ; Susan Stepney ; Matthias Bechmann ; Peter Hines ; Robert C. Wagner
A Formal Approach to Unconditional Security Proofs for Quantum Key Distribution / Takahiro Kubota ; Yoshihiko Kakutani ; Go Kato ; Yasuhito Kawano
Geometric Computations by Broadcasting Automata on the Integer Grid / Russell Martin ; Thomas Nickson ; Igor Potapov
Computations with Uncertain Time Constraints: Effects on Parallelism and Universality / Naya Nagy ; Selim G. Akl
BFS Solution for Disjoint Paths in P Systems / Radu Nicolescu ; Huiling Wu
The Key Elements of Logic Design in Ternary Quantum-Dot Cellular Automata / Primoz Pecar ; Iztok Lebar Bajec
A Universal Flying Amorphous Computer / Lukáš Petru ; Jirà Wiedermann
Computation with Narrow CTCs / A.C. Cem Say ; Abuzer Yakaryilmaz
Extended Watson-Crick L Systems with Regular Trigger Languages / David Sears ; Kai Salomaa
Computing with Planar Toppling Domino Arrangements / William M. Stevens
Increasing Fault-Tolerance in Cellular Automata-Based Systems / Ludek Zaloudek ; Lukáš Sekanina
Author Index
Invited Lectures and Tutorials
The Logic and Topology of Non-locality and Contextuality / Samson Abramsky
A Framework for Multiscale and Multiscience Modeling and Numerical Simulations / Bastien Chopard ; Jean-Luc Falcone ; Alfons G. Hoekstra ; Joris Borgdorff
Psim: A Computational Platform for Metabolic P Systems / Luca Bianco ; Alberto Castellini
Modeling the Dynamics of HIV Infection with Conformon-P Systems and Cellular Automata / Pierluigi Frisco ; David Wolfe Corne
(UREM) P Systems with a Quantum-Like Behavior: Background, Definition, and Computational Power / Alberto Leporati
The Calculus of Looping Sequences for Modeling Biological Membranes / Roberto Barbuti ; Andrea Maggiolo-Schettini ; Paolo Milazzo ; Angelo Troina
Membrane Computing in Connex Environment / Mihaela Malita ; Gheorghe Stefan
Regular Papers
Skin Output in P Systems with Minimal Symport/Antiport and Two Membranes / Artiom Alhazov ; Yurii Rogozhin
On the Reachability Problem in P Systems with Mobile Membranes / Bogdan Aman ; Gabriel Ciobanu
Modeling Symport/Antiport P Systems with a Class of Hierarchical Petri Nets / Luca Bernardinello ; Nicola Bonzanni ; Marco Mascheroni ; Lucia Pomello
A Hybrid Approach to Modeling Biological Systems / Francesco Bernardini ; Marian Gheorghe ; Francisco Jose Romero-Campero ; Neil Walkinshaw
Causality in Membrane Systems / Nadia Busi
Simulating the Bitonic Sort Using P Systems / Rodica Ceterchi ; Mario J. Perez-Jimenez ; Alexandru Ioan Tomescu
On the Number of Agents in P Colonies / Ludek Cienciala ; Lucie Ciencialova ; Alica Kelemenova
Events, Causality, and Concurrency in Membrane Systems / Dorel Lucanu
P Systems with String Objects and with Communication by Request / Erzsebet Csuhaj-Varju ; Gyorgy Vaszil
On the Dynamics of PB Systems with Volatile Membranes / Giorgio Delzanno ; Laurent Van Begin
A Logarithmic Bound for Solving Subset Sum with P Systems / Daniel Diaz-Pernil ; Miguel A. Gutierrez-Naranjo ; Agustin Riscos-Nunez
A Formal Framework for Static (Tissue) P Systems / Rudolf Freund ; Sergey Verlan
Conformon-P Systems with Negative Values
Optimizing Evolution Rules Application and Communication Times in Membrane Systems Implementation / Jorge A. Tejedor ; Abraham Gutierrez ; Luis Fernandez ; Fernando Arroyo ; Gines Bravo ; Sandra Gomez
Hill Kinetics Meets P Systems: A Case Study on Gene Regulatory Networks as Computing Agents in silico and in vivo / Thomas Hinze ; Sikander Hayat ; Thorsten Lenser ; Naoki Matsumaru ; Peter Dittrich
Solving Numerical NP-Complete Problems with Spiking Neural P Systems / Claudio Zandron ; Claudio Ferretti ; Giancarlo Mauri
Towards a Complete Covering of SBML Functionalities / Tommaso Mazza
Active Membrane Systems Without Charges and Using Only Symmetric Elementary Division Characterise P / Niall Murphy ; Damien Woods
Balancing Performance, Flexibility, and Scalability in a Parallel Computing Platform for Membrane Computing Applications / Van Nguyen ; David Kearney ; Gianpaolo Gioiosa
On Flip-Flop Membrane Systems with Proteins / Andrei Paun ; Alfonso Rodriguez-Paton
Characterizing Membrane Structures Through Multiset Tree Automata / Jose M. Sempere ; Damian Lopez
OPERAS[subscript CC]: An Instance of a Formal Framework for MAS Modeling Based on Population P Systems / Ioanna Stamatopoulou ; Petros Kefalas
Author Index
Invited Lectures
Psim: A Computational Platform for Metabolic P Systems / Luca Bianco ; Alberto Castellini
Modeling the Dynamics of HIV Infection with Conformon-P Systems and Cellular Automata / Pierluigi Frisco ; David Wolfe Corne
P Automata: Concepts, Results, and New Aspects / Erzsébet Csuhaj-Varjú
Computational Nature of Processes Induced by Biochemical Reactions / Andrzej Ehrenfeucht ; Grzegorz Rozenberg
Transition and Halting Modes in (Tissue) P Systems / Rudolf Freund
Conformon P Systems and Topology of Information Flow / Pierluigi Frisco
Formal Verification and Testing Based on P Systems / Marian Gheorghe ; Florentin Ipate ; Ciprian Dragomir
A Look Back at Some Early Results in Membrane Computing / Oscar H. Ibarra
From P to MP Systems / Vincenzo Manca
The Biological Cell in Spectacle / Solomon Marcus
Energy-Based Models of P Systems / Giancarlo Mauri ; Alberto Leporati ; Claudio Zandron
A Computational Complexity Theory in Membrane Computing / Mario J. Pérez-Jiménez
Regular Presentations
Evolving by Maximizing the Number of Rules: Complexity Study / Oana Agrigoroaiei ; Gabriel Ciobanu ; Andreas Resios
On Reversibility and Determinism in P Systems / Artiom Alhazov ; Kenichi Morita
Typed Membrane Systems / Bogdan Aman
A P System Based Model of an Ecosystem of Some Scavenger Birds / Mónica Cardona ; Maria Angels Colomer ; Antoni Margalida ; Ignacio Pérez-Hurtado ; Delfí Sanuy
Metabolic P System Flux Regulation by Artificial Neural Networks / Alberto Castellini ; Yasuhiro Suzuki
A Novel Variant of P Systems for the Modelling and Simulation of Biochemical Systems / Paolo Cazzaniga ; Luciano Milanesi ; Ettore Mosca ; Dario Pescini
Implementing P Systems Parallelism by Means of GPUs / Jose M. Cecilia ; José M. García ; Ginés D. Guerrero ; Miguel A. Martínez-del-Amor
Regulation and Covering Problems in MP Systems / Giuditta Franco ; Roberto Pagliarini
(Tissue) P Systems with Hybrid Transition Modes / Marian Kogler
An Overview of P-Lingua 2.0 / Manuel García-Quismondo ; Rosa Gutiérrez-Escudero ; Agustín Riscos-Núñez
Characterizing Tractability by Tissue-Like P Systems / Miguel Rius-Font
Searching Previous Configurations in Membrane Computing / Miguel A. Gutiérrez-Naranjo
Modelling Signalling Networks with Incomplete Information about Protein Activation States: A P System Framework of the KaiABC Oscillator / Thomas Hinze ; Thorsten Lenser ; Gabi Escuela ; Ines Heiland ; Stefan Schuster
Solving NP-Complete Problems by Spiking Neural P Systems with Budding Rules / Tseren-Onolt Ishdorj ; Linqiang Pan ; Jun Wang
Tuning P Systems for Solving the Broadcasting Problem / Raluca Lefticaru ; Gexiang Zhang
An Improved Membrane Algorithm for Solving Time-Frequency Atom Decomposition / Chunxiu Liu ; Hongwen Liu
A Region-Oriented Hardware Implementation for Membrane Computing Applications / Van Nguyen ; David Kearney ; Gianpaolo Gioiosa
Discovering the Membrane Topology of Hyperdag P Systems / Radu Nicolescu ; Michael J. Dinneen ; Yun-Bum Kim
A Note on Small Universal Spiking Neural P Systems / Xiangxiang Zeng
On the Power of Computing with Proteins on Membranes / Petr Sosík ; Andrei Păun ; Alfonso Rodríguez-Patón ; David Pérez
An Efficient Simulation of Polynomial-Space Turing Machines by P Systems with Active Membranes / Andrea Valsecchi ; Antonio E. Porreca
Look-Ahead Evolution for P Systems / Sergey Verlan
Author Index
Invited Presentations
P Automata: Concepts, Results, and New Aspects / Erzsébet Csuhaj-Varjú
Computational Nature of Processes Induced by Biochemical Reactions / Andrzej Ehrenfeucht ; Grzegorz Rozenberg
Membrane Computing at Twelve Years / Gheorghe Paun
Testing Based on P Systems - An Overview / Marian Gheorghe ; Florentin Ipate
Invited Presentations
Mobility in Computer Science and in Membrane Systems / Gabriel Ciobanu
Organization Oriented Chemical Computing / Peter Dittrich
Cellular Automata and the Quest for Nontrivial Artificial Self-Reproduction / Markus Holzer ; Martin Kutrib
An Algorithmic Approach to Tilings of Hyperbolic Spaces: 10 Years Later / Maurice Margenstern
Regular Presentations
Flattening the Transition P Systems with Dissolution / Oana Agrigoroaiei
The Family of Languages Generated by Non-cooperative Membrane Systems / Artiom Alhazov ; Constantin Ciubotaru ; Sergiu Ivanov ; Yurii Rogozhin
Polymorphic P Systems
A Small Universal Splicing P System / Sergey Verlan
Membrane Systems Working in Generating and Accepting Modes: Expressiveness and Encodings / Roberto Barbuti ; Andrea Maggiolo-Schettini ; Paolo Milazzo ; Simone Tini
BioSimWare: A Software for the Modeling, Simulation and Analysis of Biological Systems / Daniela Besozzi ; Paolo Cazzaniga ; Giancarlo Mauri ; Dario Pescini
Bridging Biology and Engineering Together with Spatial Computing / Jacob Beal
The Modeling and the Simulation of the Fluid Machines of Synthetic Biology / Jean-Louis Giavitto
Parallel and Distributed Algorithms in P Systems / Radu Nicolescu
Variants of Distributed P Automata and the Efficient Parallelizability of Languages / György Vaszil
Regular Presentations
Quantitative Causality in Membrane Systems / Oana Agrigoroaiei ; Gabriel Ciobanu
Circular Post Machines and P Systems with Exo-insertion and Deletion / Alexander Krassovitskiy ; Yurii Rogozhin
A Spiking Neural P System Simulator Based on CUDA / Francis George C. Cabarle ; Henry Adorna ; Miguel A. Martínez-del-Amor
Modularity in P Colonies with Checking Rules / Ludek Cienciala ; Lucie Ciencialová ; Miroslav Langer
Finite dP Automata versus Multi-head Finite Automata / Erzsébet Csuhaj-Varjú
An Adaptive Algorithm for P System Synchronization / Michael J. Dinneen ; Yun-Bum Kim
P Systems with Active Membranes Operating under Minimal Parallelism / Pierluigi Frisco ; Gordon Govan
Chemical Analog Computers for Clock Frequency Control Based on P Modules / Thomas Hinze ; Christian Bodenstein ; Benedict Schau ; Ines Heiland ; Stefan Schuster
Evolutionary Design of a Simple Membrane System / Xiaoli Huang ; Gexiang Zhang ; Haina Rong ; Florentin Ipate
Formal Verification of P Systems with Active Membranes through Model Checking / Raluca Lefticaru ; Ignacio Pérez-Hurtado ; Mario J. Pérez-Jiménez ; Cristina Tudose
Basic Concurrency Resolution in Clock-Free P Systems / Sergiu Ivanov
Asynchronous Extended Spiking Neural P Systems with Astrocytes / Linqiang Pan ; Jun Wang ; Hendrik Jan Hoogeboom
A P-Lingua Based Simulator for Spiking Neural P Systems / Luis F. Macías-Ramos ; Manuel García-Quismondo ; Luis Valencia-Cabrera ; Agustín Riscos-Núñez
Computing with Multi-membranes / Vincenzo Manca ; Rosario Lombardo
A Methodology Based on MP Theory for Gene Expression Analysis / Luca Marchetti
Generalized Gandy-Paun-Rozenberg Machines for Tile Systems and Cellular Automata / Adam Obtulowicz
Sequentiality Induced by Spike Number in SNP Systems: Small Universal Machines / Andrei Paun ; Manuela Sidoroff
P Systems Simulating Oracle Computations / Antonio E. Porreca ; Alberto Leporati ; Giancarlo Mauri ; Claudio Zandron
P Systems with Chained Rules / Dragos Sburlan
Author Index
Invited Presentations
Properties of Membrane Systems / Artiom Alhazov
Bridging Biology and Engineering Together with Spatial Computing / Jacob Beal
Svetlana Cojocaru, Marian Gheorghe, Yurii Rogozhin, Grzegorz Rozenberg, Arto Salomaa Artiom Alhazov, Svetlana Cojocaru, Marian Gheorghe, Yurii Rogozhin, Grzegorz Rozenberg, Arto Salomaa
出版情報:
SpringerLink Books - AutoHoldings , Springer Berlin Heidelberg, 2014
DNA Nanotechnology - Algorithmic Self-assembly / Part I:
Scaffolded DNA Origami: from Generalized Multicrossovers to Polygonal Networks / Paul W.K. Rothemund
A Fresh Look at DNA Nanotechnology / Zhaoxiang Deng ; Yi Chen ; Ye Tian ; Chengde Mao
DNA Nanotechnology: an Evolving Field / Hao Yan ; Yan Liu
Self-healing Tile Sets / Erik Winfree
Compact Error-Resilient Computational DNA Tilings / John H. Reif ; Sudheer Sahu ; Peng Yin
Forbidding-Enforcing Conditions in DNA Self-assembly of Graphs / Giuditta Franco ; Natasa Jonoska
Codes for DNA Nanotechnology / Part II:
Finding MFE Structures Formed by Nucleic Acid Strands in a Combinatorial Set / Mirela Andronescu ; Anne Condon
Involution Solid Codes / Lila Kari ; Kalpana Mahalingam
Test Tube Selection of Large Independent Sets of DNA Oligonucleotides / Russell Deaton ; Junghuei Chen ; Jin-Woo Kim ; Max H. Garzon ; David H. Wood
DNA Nanodevices / Part III:
DNA-Based Motor Work at Bell Laboratories / Bernard Yurke
Electronics, Nanowire and DNA / Jong-Shik Shin ; Niles A. PiercePart IV:
A Supramolecular Approach to Metal Array Programming Using Artificial DNA / Mitsuhiko Shionoya
Multicomponent Assemblies Including Long DNA and Nanoparticles - An Answer for the Integration Problem? / Andreas Wolff ; Andrea Csaki ; Wolfgang Fritzsche
Molecular Electronics: from Physics to Computing / Yongqiang Xue ; Mark A. Ratner
Other Bio-molecules in Self-assembly / Part V:
Towards an Increase of the Hierarchy in the Construction of DNA-Based Nanostructures Through the Integration of Inorganic Materials / Bruno Samor`i ; Giampaolo Zuccheri ; Anita Scipioni ; Pasquale De Santis
Adding Functionality to DNA Arrays: the Development of Semisynthetic DNA-Protein Conjugates / Christof M. Niemeyer
Bacterial Surface Layer Proteins: a Simple but Versatile Biological Self-assembly System in Nature / Dietmar Pum ; Margit Sara ; Bernhard Schuster ; Uwe B. Sleytr
Biomolecular Computational Models / Part VI:
Computing with Hairpins and Secondary Structures of DNA / Masami Hagiya ; Satsuki Yaegashi ; Keiichiro Takahashi
Bottom-up Approach to Complex Molecular Behavior / Milan N. Stojanovic
Aqueous Computing: Writing on Molecules Dissolved in Water / Tom Head ; Susannah Gal
Computations Inspired by Cells / Part VII:
Turing Machines with Cells on the Tape / Francesco Bernardini ; Marian Gheorghe ; Natalio Krasnogor ; Gheorghe Paun
Insights into a Biological Computer: Detangling Scrambled Genes in Ciliates / Andre R.O. Cavalcanti ; Laura F. Landweber
Modelling Simple Operations for Gene Assembly / Tero Harju ; Ion Petre ; Grzegorz Rozenberg
Appendix / Part VIII:
Publications / Nadrian C. Seeman
DNA Nanotechnology - Algorithmic Self-assembly / Part I:
Scaffolded DNA Origami: from Generalized Multicrossovers to Polygonal Networks / Paul W.K. Rothemund
A Fresh Look at DNA Nanotechnology / Zhaoxiang Deng ; Yi Chen ; Ye Tian ; Chengde Mao