default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFundamenta Informaticae, Volume 125
Volume 125, Number 1, 2013
- Chiheb Ameur Abid
, Belhassen Zouari:
Local Verification Using a Distributed State Space. 1-20 - Mariusz Felisiak:
Computer Algebra Technique for Coxeter Spectral Study of Edge-bipartite Graphs and Matrix Morsifications of Dynkin Type 𝔸n. 21-49 - Norihiro Kamide, Ken Kaneiwa:
Reasoning about Resources and Information: A Linear Logic Approach. 51-70 - Armand Stefan Rotaru, Sorin Iftene:
A Complete Generalization of Atkin's Square Root Algorithm. 71-94 - Apoloniusz Tyszka:
Does there Exist an Algorithm which to Each Diophantine Equation Assigns an Integer which is Greater than the Modulus of Integer Solutions, if these Solutions form a Finite Set? 95-99
Volume 125, Number 2, 2013
- Vincent Aravantinos, Mnacho Echenim, Nicolas Peltier:
A Resolution Calculus for First-order Schemata. 101-133 - Jianwu Dong, Feng Chen, Yanyan Huo, Hong Liu:
Decomposition and Approximation of Loopy Bayesian Networks. 135-152 - Rija Erves, Janez Zerovnik:
Wide-diameter of Product Graphs. 153-160 - Maciej Grzeskowiak:
Algorithms for Relatively Cyclotomic Primes. 161-181 - Piotr Kosiuczenko:
On the Validation of Invariants at Runtime. 183-222
Volume 125, Numbers 3-4, 2013
- Paolo Dulio, Andrea Frosini, Grzegorz Rozenberg:
Preface. i-xviii - Rodolfo A. Fiorini, Giuseppe Laguteta:
Discrete Tomography Data Footprint Reduction by Information Conservation. 261-272 - Kees Joost Batenburg, Wagner Fortes, Robert Tijdeman:
Approximate Discrete Reconstruction Algorithm. 239-259 - Stefano Bilotta, Simone Rinaldi, Samanta Socci:
Polygons Drawn from Permutations. 329-342 - Hilde Segers, Willem Jan Palenstijn, Kees Joost Batenburg, Jan Sijbers:
Discrete Tomography in MRI: a Simulation Study. 223-237 - Norbert Hantos, Péter Balázs:
The Reconstruction of Polyominoes from Horizontal and Vertical Projections and Morphological Skeleton is NP-complete. 343-359 - Roberto Fedele, Antonia Ciani, Luca Galantucci, Matteo Bettuzzi, Luca Andena:
A Regularized, Pyramidal Multi-grid Approach to Global 3D-Volume Digital Image Correlation Based on X-ray Micro-tomography. 361-376 - Stefania Petra, Christoph Schnörr, Andreas Schröder:
Critical Parameter Values and Reconstruction Properties of Discrete Tomography: Application to Experimental Fluid Dynamics. 285-312 - Rodolfo A. Fiorini, Andrea Condorelli, Giuseppe Laguteta:
Discrete Tomography Data Footprint Reduction via Natural Compression. 273-284 - Elena Barcucci, Stefano Brocchi:
Solving Multicolor Discrete Tomography Problems by Using Prior Knowledge. 313-328
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-12-04 01:28 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:
