Journal: Fundamenta Informaticae

Volume 74, Issue 4

0 -- 0Maurice Margenstern. Machines, Computations and Universality
391 -- 408Artiom Alhazov, Rudolf Freund, Alberto Leporati, Marion Oswald, Claudio Zandron. (Tissue) P Systems with Unit Rules and Energy Assigned to Membranes
409 -- 433Olivier Bournez, Emmanuel Hainry. Recursive Analysis Characterized as a Class of Real Recursive Functions
435 -- 446Fabio Burderi, Giuseppa Castiglione, Antonio Restivo. Higman s Theorem on Discrete Sets
447 -- 462Matteo Cavaliere, Peter Leupold. Observation of String-Rewriting Systems
463 -- 490Jean-Charles Delvenne, Petr Kurka, Vincent D. Blondel. Decidability and Universality in Symbolic Dynamical Systems
491 -- 510Jérôme Durand-Lose. Abstract Geometrical Computation 1: Embedding Black Hole Computations with Rational Numbers
511 -- 528Markus Holzer, Martin Kutrib. Variable Complexity of Simple Programs
529 -- 548Alberto Leporati, Claudio Zandron, Giancarlo Mauri. Reversible P Systems to Simulate Fredkin Circuits
549 -- 562Jean Neraud. On the Completion of Codes in Submonoids with Finite Rank
563 -- 578Alexander Okhotin. Computational Universality in One-variable Language Equations
579 -- 601René Schott, Jean-Claude Spehner. Shuffle of Words and Araucaria Trees
603 -- 623Hiroshi Umeo, Masashi Maeda, Masaya Hisaoka, Masato Teraoka. A State-Efficient Mapping Scheme for Designing Two-Dimensional Firing Squad Synchronization Algorithms

Volume 74, Issue 2-3

167 -- 187Marek A. Bednarczyk. Limits of Modularity
189 -- 207Chin-Chen Chang, Chih-Yang Lin. Reversible Data Embedding Based on Prediction Approach for VQ and SMVQ Compressed Images
209 -- 249Georgi Dimov, Dimiter Vakarelov. Contact Algebras and Region-based Theory of Space: A Proximity Approach - I
251 -- 282Georgi Dimov, Dimiter Vakarelov. Contact Algebras and Region-based Theory of Space: Proximity Approach - II
283 -- 300Ivo Düntsch, Michael Winter. Rough Relation Algebras Revisited
301 -- 328Pascal Hitzler, Markus Krötzsch, Guo-Qiang Zhang. A Categorical View on Algebraic Lattices in Formal Concept Analysis
329 -- 340Bala Kalyanasundaram, Mahendran Velauthapillai. Capabilities of Thoughtful Machines
341 -- 350Saralees Nadarajah, Samuel Kotz. The Linear Combination of Logistic and Gumbel Random Variables
351 -- 373Mohak Shah, Marina Sokolova, Stan Szpakowicz. Process-Specific Information for Learning Electronic Negotiation Outcomes
375 -- 390Marcin Szpyrka. Analysis of RTCP-nets with Reachability Graphs

Volume 74, Issue 1

0 -- 0Gregor Engels, Fernando Orejas, Francesco Parisi-Presicce. Special Issue with Selected Papers from ICGT 2004
1 -- 29Hartmut Ehrig, Julia Padberg, Ulrike Prange, Annegret Habel. Adhesive High-Level Replacement Systems: A New Categorical Framework for Graph Transformation
31 -- 61Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, Gabriele Taentzer. Fundamental Theory for Typed Attributed Graphs and Graph Transformation based on Adhesive HLR Categories
63 -- 84Reiko Heckel, Georgios Lajios, Sebastian Menge. Stochastic Graph Transformation Systems
85 -- 114Jérémie Chalopin, Yves Métivier, Wieslaw Zielonka. Local Computations in Graphs: The Case of Cellular Edge Local Computations
115 -- 134Andrzej Ehrenfeucht, Jurriaan Hage, Tero Harju, Grzegorz Rozenberg. The Embedding Problem for Switching Classes of Graphs
135 -- 166Hartmut Ehrig, Karsten Ehrig, Annegret Habel, Karl-Heinz Pennemann. Theory of Constraints and Application Conditions: From Graphs to High-Level Structures