Search dblp for Publications

export results for "toc:db/journals/fuin/fuin125.bht:"

 download as .bib file

@article{DBLP:journals/fuin/AbidZ13,
  author    = {Chiheb Ameur Abid and
               Belhassen Zouari},
  title     = {Local Verification Using a Distributed State Space},
  journal   = {Fundam. Inform.},
  volume    = {125},
  number    = {1},
  pages     = {1--20},
  year      = {2013},
  url       = {https://doi.org/10.3233/FI-2013-850},
  doi       = {10.3233/FI-2013-850},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/fuin/AbidZ13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/AravantinosEP13,
  author    = {Vincent Aravantinos and
               Mnacho Echenim and
               Nicolas Peltier},
  title     = {A Resolution Calculus for First-order Schemata},
  journal   = {Fundam. Inform.},
  volume    = {125},
  number    = {2},
  pages     = {101--133},
  year      = {2013},
  url       = {https://doi.org/10.3233/FI-2013-855},
  doi       = {10.3233/FI-2013-855},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/fuin/AravantinosEP13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BarcucciB13,
  author    = {Elena Barcucci and
               Stefano Brocchi},
  title     = {Solving Multicolor Discrete Tomography Problems by Using Prior Knowledge},
  journal   = {Fundam. Inform.},
  volume    = {125},
  number    = {3-4},
  pages     = {313--328},
  year      = {2013},
  url       = {https://doi.org/10.3233/FI-2013-866},
  doi       = {10.3233/FI-2013-866},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/fuin/BarcucciB13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BatenburgFT13,
  author    = {Kees Joost Batenburg and
               Wagner Fortes and
               Robert Tijdeman},
  title     = {Approximate Discrete Reconstruction Algorithm},
  journal   = {Fundam. Inform.},
  volume    = {125},
  number    = {3-4},
  pages     = {239--259},
  year      = {2013},
  url       = {https://doi.org/10.3233/FI-2013-862},
  doi       = {10.3233/FI-2013-862},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/fuin/BatenburgFT13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/BilottaRS13,
  author    = {Stefano Bilotta and
               Simone Rinaldi and
               Samanta Socci},
  title     = {Polygons Drawn from Permutations},
  journal   = {Fundam. Inform.},
  volume    = {125},
  number    = {3-4},
  pages     = {329--342},
  year      = {2013},
  url       = {https://doi.org/10.3233/FI-2013-867},
  doi       = {10.3233/FI-2013-867},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/fuin/BilottaRS13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/DongCHL13,
  author    = {Jianwu Dong and
               Feng Chen and
               Yanyan Huo and
               Hong Liu},
  title     = {Decomposition and Approximation of Loopy Bayesian Networks},
  journal   = {Fundam. Inform.},
  volume    = {125},
  number    = {2},
  pages     = {135--152},
  year      = {2013},
  url       = {https://doi.org/10.3233/FI-2013-856},
  doi       = {10.3233/FI-2013-856},
  timestamp = {Thu, 30 Nov 2017 00:00:00 +0100},
  biburl    = {https://dblp.org/rec/journals/fuin/DongCHL13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/DulioFR13,
  author    = {Paolo Dulio and
               Andrea Frosini and
               Grzegorz Rozenberg},
  title     = {Preface},
  journal   = {Fundam. Inform.},
  volume    = {125},
  number    = {3-4},
  pages     = {i--xviii},
  year      = {2013},
  url       = {https://doi.org/10.3233/FI-2013-860},
  doi       = {10.3233/FI-2013-860},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/fuin/DulioFR13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/ErvesZ13,
  author    = {Rija Erves and
               Janez Zerovnik},
  title     = {Wide-diameter of Product Graphs},
  journal   = {Fundam. Inform.},
  volume    = {125},
  number    = {2},
  pages     = {153--160},
  year      = {2013},
  url       = {https://doi.org/10.3233/FI-2013-857},
  doi       = {10.3233/FI-2013-857},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/fuin/ErvesZ13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/FedeleCGBA13,
  author    = {Roberto Fedele and
               Antonia Ciani and
               Luca Galantucci and
               Matteo Bettuzzi and
               Luca Andena},
  title     = {A Regularized, Pyramidal Multi-grid Approach to Global 3D-Volume Digital
               Image Correlation Based on X-ray Micro-tomography},
  journal   = {Fundam. Inform.},
  volume    = {125},
  number    = {3-4},
  pages     = {361--376},
  year      = {2013},
  url       = {https://doi.org/10.3233/FI-2013-869},
  doi       = {10.3233/FI-2013-869},
  timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/fuin/FedeleCGBA13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Felisiak13,
  author    = {Mariusz Felisiak},
  title     = {Computer Algebra Technique for Coxeter Spectral Study of Edge-bipartite
               Graphs and Matrix Morsifications of Dynkin Type {\(\mathbb{A}\)}\({}_{\mbox{n}}\)},
  journal   = {Fundam. Inform.},
  volume    = {125},
  number    = {1},
  pages     = {21--49},
  year      = {2013},
  url       = {https://doi.org/10.3233/FI-2013-851},
  doi       = {10.3233/FI-2013-851},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/fuin/Felisiak13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/FioriniCL13,
  author    = {Rodolfo A. Fiorini and
               Andrea Condorelli and
               Giuseppe Laguteta},
  title     = {Discrete Tomography Data Footprint Reduction via Natural Compression},
  journal   = {Fundam. Inform.},
  volume    = {125},
  number    = {3-4},
  pages     = {273--284},
  year      = {2013},
  url       = {https://doi.org/10.3233/FI-2013-864},
  doi       = {10.3233/FI-2013-864},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/fuin/FioriniCL13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/FioriniL13,
  author    = {Rodolfo A. Fiorini and
               Giuseppe Laguteta},
  title     = {Discrete Tomography Data Footprint Reduction by Information Conservation},
  journal   = {Fundam. Inform.},
  volume    = {125},
  number    = {3-4},
  pages     = {261--272},
  year      = {2013},
  url       = {https://doi.org/10.3233/FI-2013-863},
  doi       = {10.3233/FI-2013-863},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/fuin/FioriniL13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Grzeskowiak13,
  author    = {Maciej Grzeskowiak},
  title     = {Algorithms for Relatively Cyclotomic Primes},
  journal   = {Fundam. Inform.},
  volume    = {125},
  number    = {2},
  pages     = {161--181},
  year      = {2013},
  url       = {https://doi.org/10.3233/FI-2013-858},
  doi       = {10.3233/FI-2013-858},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/fuin/Grzeskowiak13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/HantosB13,
  author    = {Norbert Hantos and
               P{\'{e}}ter Bal{\'{a}}zs},
  title     = {The Reconstruction of Polyominoes from Horizontal and Vertical Projections
               and Morphological Skeleton is NP-complete},
  journal   = {Fundam. Inform.},
  volume    = {125},
  number    = {3-4},
  pages     = {343--359},
  year      = {2013},
  url       = {https://doi.org/10.3233/FI-2013-868},
  doi       = {10.3233/FI-2013-868},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/fuin/HantosB13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/KamideK13,
  author    = {Norihiro Kamide and
               Ken Kaneiwa},
  title     = {Reasoning about Resources and Information: {A} Linear Logic Approach},
  journal   = {Fundam. Inform.},
  volume    = {125},
  number    = {1},
  pages     = {51--70},
  year      = {2013},
  url       = {https://doi.org/10.3233/FI-2013-852},
  doi       = {10.3233/FI-2013-852},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/fuin/KamideK13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Kosiuczenko13,
  author    = {Piotr Kosiuczenko},
  title     = {On the Validation of Invariants at Runtime},
  journal   = {Fundam. Inform.},
  volume    = {125},
  number    = {2},
  pages     = {183--222},
  year      = {2013},
  url       = {https://doi.org/10.3233/FI-2013-859},
  doi       = {10.3233/FI-2013-859},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/fuin/Kosiuczenko13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/PetraSS13,
  author    = {Stefania Petra and
               Christoph Schn{\"{o}}rr and
               Andreas Schr{\"{o}}der},
  title     = {Critical Parameter Values and Reconstruction Properties of Discrete
               Tomography: Application to Experimental Fluid Dynamics},
  journal   = {Fundam. Inform.},
  volume    = {125},
  number    = {3-4},
  pages     = {285--312},
  year      = {2013},
  url       = {https://doi.org/10.3233/FI-2013-865},
  doi       = {10.3233/FI-2013-865},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/fuin/PetraSS13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/RotaruI13,
  author    = {Armand Stefan Rotaru and
               Sorin Iftene},
  title     = {A Complete Generalization of Atkin's Square Root Algorithm},
  journal   = {Fundam. Inform.},
  volume    = {125},
  number    = {1},
  pages     = {71--94},
  year      = {2013},
  url       = {https://doi.org/10.3233/FI-2013-853},
  doi       = {10.3233/FI-2013-853},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/fuin/RotaruI13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/SegersPBS13,
  author    = {Hilde Segers and
               Willem Jan Palenstijn and
               Kees Joost Batenburg and
               Jan Sijbers},
  title     = {Discrete Tomography in {MRI:} a Simulation Study},
  journal   = {Fundam. Inform.},
  volume    = {125},
  number    = {3-4},
  pages     = {223--237},
  year      = {2013},
  url       = {https://doi.org/10.3233/FI-2013-861},
  doi       = {10.3233/FI-2013-861},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/fuin/SegersPBS13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Tyszka13,
  author    = {Apoloniusz Tyszka},
  title     = {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?},
  journal   = {Fundam. Inform.},
  volume    = {125},
  number    = {1},
  pages     = {95--99},
  year      = {2013},
  url       = {https://doi.org/10.3233/FI-2013-854},
  doi       = {10.3233/FI-2013-854},
  timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/fuin/Tyszka13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics