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
