Volume 118, Numbers 1-2, 2012
- Arend Rensink, Grzegorz Rozenberg, Andy Schürr:
Preface.

- Tobias Heindel:
Adhesivity with Partial Maps instead of Spans.
1-33

- Hartmut Ehrig, Ulrike Golas, Annegret Habel, Leen Lambers, Fernando Orejas:
ℳ-Adhesive Transformation Systems with Nested Application Conditions. Part 2: Embedding, Critical Pairs and Local Confluence.
35-63

- Fernando Orejas, Leen Lambers:
Lazy Graph Transformation.
65-96

- Stefan Jurack, Gabriele Taentzer:
Transformation of Typed Composite Graphs with Inheritance and Containment Structures.
97-134

- Christopher M. Poskitt, Detlef Plump:
Hoare-Style Verification of Graph Programs.
135-175

- Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin:
Counterpart Semantics for a Second-Order μ-Calculus.
177-205

Volume 118, Number 3, 2012
- Can Baskent:
Public Announcement Logic in Geometric Frameworks.
207-223

- Jacek Blazewicz, Marta Kasprzak:
Reduced-by-matching Graphs: Toward Simplifying Hamiltonian Circuit Problem.
225-244

- Luca Bortolussi, Liviu Petrisor Dinu, Andrea Sgarro:
Spearman Permutation Distances and Shannon's Distinguishability.
245-252

- Marcin Grzecza, Stanislaw Kasjan, Andrzej Mróz:
Tree Matrices and a Matrix Reduction Algorithm of Belitskii.
253-279

- Xin Liao, Qiao-Yan Wen, Ze-li Zhao, Jie Zhang:
A Novel Steganographic Method with Four-Pixel Differencing and Modulus Function.
281-289

- Lidong Wang, Yan Ren, Xiaodong Liu:
Development of Near Sets Within the Framework of Axiomatic Fuzzy Sets.
291-304

- Jacek Widuch:
A Label Correcting Algorithm for the Bus Routing Problem.
305-326

Volume 118, Number 4, 2012
- Anna Gambin, Anna Marciniak-Czochra:
Preface.

- Roberto Bertolusso, Marek Kimmel:
Spatial and Stochastic Effects in a Model of Viral Infection.
327-343

- Sergei Vakulenko, Ovidiu Radulescu:
Flexible and Robust Patterning by Centralized Gene Networks.
345-369

- Michelle Archuleta, Jason E. McDermott, Jeremy S. Edwards, Haluk Resat:
An Adaptive Coarse Graining Method for Signal Transduction in Three Dimensions.
371-384

- Jacek Blazewicz, Marta Kasprzak:
Complexity Issues in Computational Biology.
385-401

- Yaki Setty, Irun R. Cohen, David Harel:
Executable Modeling of Morphogenesis: A Turing-Inspired Approach.
403-417

- Kirill Batmanov, Céline Kuttler, Cédric Lhoussaine, Yasushi Saka:
Self-organized Patterning by Diffusible Factors: Roles of a Community Effect.
419-461

Last update Sat May 18 20:26:42 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page