Journal: Fundamenta Informaticae

Volume 155, Issue 4

0 -- 0Paolo Dulio, Andrea Frosini, Grzegorz Rozenberg. Preface
321 -- 340Andreas Alpers, Peter Gritzmann. Reconstructing Binary Matrices under Window Constraints from their Row and Column Sums
341 -- 361Filippo Arcadu, Jakob Vogel, Marco Stampanoni, Federica Marone. Improving Analytical Tomographic Reconstructions Through Consistency Conditions
363 -- 372Emmanuel Brun, Claudio Ferrero, Jérome Vicente. Fast Granulometry Operator for the 3D Identification of Cell Structures
373 -- 405Camille Chapdelaine, Ali Mohammad-Djafari, Nicolas Gac, Estelle Parra. A 3D Bayesian Computed Tomography Reconstruction Algorithm with Gauss-Markov-Potts Prior Model and its Application to Real Data
407 -- 423Paolo Dulio, Silvia M. C. Pagani, Andrea Frosini. Regions of Uniqueness Quickly Reconstructed by Three Directions in Discrete Tomography
425 -- 447Lajos Hajdu, Robert Tijdeman. Consistency Conditions for Discrete Tomography
449 -- 480Li Wang, Ali Mohammad-Djafari, Nicolas Gac. X-ray Computed Tomography using a Sparsity Enforcing Prior Model Based on Haar Transformation in a Bayesian Framework

Volume 155, Issue 3

0 -- 0Sarah Alice Gaggl, Juan Carlos Nieves, Hannes Strass, Paolo Torroni. Preface
233 -- 260Michael J. Maher. Relating Concrete Defeasible Reasoning Formalisms and Abstract Argumentation
261 -- 292Chiaki Sakama, Tjitze Rienstra. Representing Argumentation Frameworks in Answer Set Programming
293 -- 319Mauricio Osorio, José Luis Carballido, Claudia Zepeda. Abducible Semantics and Argumentation

Volume 155, Issue 1-2

0 -- 0Jérôme Durand-Lose, Jarkko Kari, Benedek Nagy. Preface / Editorial
1 -- 29Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski. Invariant Structures and Dependence Relations
31 -- 58Martin Kutrib, Matthias Wendlandt. Reversible Limited Automata
59 -- 88Martin Kutrib, Andreas Malcher, Matthias Wendlandt. Tinput-Driven Pushdown, Counter, and Stack Automata
89 -- 110Frank Drewes, Markus Holzer 0001, Sebastian Jakobi, Brink van der Merwe. Tight Bounds for Cut-Operations on Deterministic Finite Automata
111 -- 129Erzsébet Csuhaj-Varjú, Rudolf Freund, György Vaszil. Watson-Crick T0L Systems and Red-Green Register Machines
131 -- 162Jacob Hendricks, Matthew J. Patitz, Trent A. Rogers. The Simulation Powers and Limitations of Higher Temperature Hierarchical Self-Assembly Systems
163 -- 185Sergiu Ivanov 0001, Sergey Verlan. Universality and Computational Completeness of Controlled Leftist Insertion-Deletion Systems
187 -- 207Benedek Nagy, Sándor Vályi. A Shift-free Characterization of NP within Interval-valued Computing
209 -- 232Henning Fernau, Rudolf Freund, Rani Siromoney, K. G. Subramanian 0001. Non-Isometric Contextual Array Grammars and the Role of Regular Control and Local Selectors