default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFundamenta Informaticae, Volume 118
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 K. 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-11-04 22:10 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
