Journal: Fundamenta Informaticae

Volume 118, Issue 4

0 -- 0Anna Gambin, Anna Marciniak-Czochra. Preface
327 -- 343Roberto Bertolusso, Marek Kimmel. Spatial and Stochastic Effects in a Model of Viral Infection
345 -- 369Sergei Vakulenko, Ovidiu Radulescu. Flexible and Robust Patterning by Centralized Gene Networks
371 -- 384Michelle Archuleta, Jason E. McDermott, Jeremy S. Edwards, Haluk Resat. An Adaptive Coarse Graining Method for Signal Transduction in Three Dimensions
385 -- 401Jacek Blazewicz, Marta Kasprzak. Complexity Issues in Computational Biology
403 -- 417Yaki Setty, Irun R. Cohen, David Harel. Executable Modeling of Morphogenesis: A Turing-Inspired Approach
419 -- 461Kirill Batmanov, Céline Kuttler, Cédric Lhoussaine, Yasushi Saka. Self-organized Patterning by Diffusible Factors: Roles of a Community Effect

Volume 118, Issue 3

207 -- 223Can Baskent. Public Announcement Logic in Geometric Frameworks
225 -- 244Jacek Blazewicz, Marta Kasprzak. Reduced-by-matching Graphs: Toward Simplifying Hamiltonian Circuit Problem
245 -- 252Luca Bortolussi, Liviu Petrisor Dinu, Andrea Sgarro. Spearman Permutation Distances and Shannon's Distinguishability
253 -- 279Marcin Grzecza, Stanislaw Kasjan, Andrzej Mróz. Tree Matrices and a Matrix Reduction Algorithm of Belitskii
281 -- 289Xin Liao, Qiao-Yan Wen, Ze-li Zhao, Jie Zhang. A Novel Steganographic Method with Four-Pixel Differencing and Modulus Function
291 -- 304Lidong Wang, Yan Ren, Xiaodong Liu. Development of Near Sets Within the Framework of Axiomatic Fuzzy Sets
305 -- 326Jacek Widuch. A Label Correcting Algorithm for the Bus Routing Problem

Volume 118, Issue 1-2

0 -- 0Arend Rensink, Grzegorz Rozenberg, Andy Schürr. Preface
1 -- 33Tobias Heindel. Adhesivity with Partial Maps instead of Spans
35 -- 63Hartmut Ehrig, Ulrike Golas, Annegret Habel, Leen Lambers, Fernando Orejas. ℳ-Adhesive Transformation Systems with Nested Application Conditions. Part 2: Embedding, Critical Pairs and Local Confluence
65 -- 96Fernando Orejas, Leen Lambers. Lazy Graph Transformation
97 -- 134Stefan Jurack, Gabriele Taentzer. Transformation of Typed Composite Graphs with Inheritance and Containment Structures
135 -- 175Christopher M. Poskitt, Detlef Plump. Hoare-Style Verification of Graph Programs
177 -- 205Fabio Gadducci, Alberto Lluch-Lafuente, Andrea Vandin. Counterpart Semantics for a Second-Order μ-Calculus