Search dblp for Publications

• > Home > Search

@article{DBLP:journals/fuin/BarozziniCCP22,
  author       = {David Barozzini and
                  Lorenzo Clemente and
                  Thomas Colcombet and
                  Pawel Parys},
  title        = {Cost Automata, Safe Schemes, and Downward Closures},
  journal      = {Fundam. Informaticae},
  volume       = {188},
  number       = {3},
  pages        = {127--178},
  year         = {2022},
  url          = {https://doi.org/10.3233/FI-222145},
  doi          = {10.3233/FI-222145},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/BarozziniCCP22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/BesC22,
  author       = {Alexis B{\`{e}}s and
                  Christian Choffrut},
  title        = {Decidability of Definability Issues in the Theory of Real Addition},
  journal      = {Fundam. Informaticae},
  volume       = {188},
  number       = {1},
  pages        = {15--39},
  year         = {2022},
  url          = {https://doi.org/10.3233/FI-222140},
  doi          = {10.3233/FI-222140},
  timestamp    = {Thu, 26 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fuin/BesC22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Eberbach22,
  author       = {Eugene Eberbach},
  title        = {On Completeness of Cost Metrics and Meta-Search Algorithms in {\textdollar}-Calculus},
  journal      = {Fundam. Informaticae},
  volume       = {188},
  number       = {2},
  pages        = {63--90},
  year         = {2022},
  url          = {https://doi.org/10.3233/FI-222142},
  doi          = {10.3233/FI-222142},
  timestamp    = {Wed, 12 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Eberbach22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/GhFFS22,
  author       = {Behrooz Bagheri Gh. and
                  Tom{\'{a}}s Feder and
                  Herbert Fleischner and
                  Carlos S. Subi},
  title        = {On Finding Hamiltonian Cycles in Barnette Graphs},
  journal      = {Fundam. Informaticae},
  volume       = {188},
  number       = {1},
  pages        = {1--14},
  year         = {2022},
  url          = {https://doi.org/10.3233/FI-222139},
  doi          = {10.3233/FI-222139},
  timestamp    = {Thu, 26 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fuin/GhFFS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/JancarV22,
  author       = {Petr Jancar and
                  Jiri Valusek},
  title        = {Structural Liveness of Immediate Observation Petri Nets},
  journal      = {Fundam. Informaticae},
  volume       = {188},
  number       = {3},
  pages        = {179--215},
  year         = {2022},
  url          = {https://doi.org/10.3233/FI-222146},
  doi          = {10.3233/FI-222146},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/JancarV22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/LeeLYY22,
  author       = {Hyang{-}Sook Lee and
                  Seongan Lim and
                  Ikkwon Yie and
                  Aaram Yun},
  title        = {On Insecure Uses of {BGN} for Privacy Preserving Data Aggregation
                  Protocols},
  journal      = {Fundam. Informaticae},
  volume       = {188},
  number       = {2},
  pages        = {91--101},
  year         = {2022},
  url          = {https://doi.org/10.3233/FI-222143},
  doi          = {10.3233/FI-222143},
  timestamp    = {Wed, 12 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/LeeLYY22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/LlorensOST22,
  author       = {Marisa Llorens and
                  J. Oliver and
                  Josep Silva and
                  Salvador Tamarit},
  title        = {Maximal and Minimal Dynamic Petri Net Slicing},
  journal      = {Fundam. Informaticae},
  volume       = {188},
  number       = {4},
  pages        = {239--267},
  year         = {2022},
  url          = {https://doi.org/10.3233/FI-222148},
  doi          = {10.3233/FI-222148},
  timestamp    = {Mon, 03 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/LlorensOST22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/MacynaK22,
  author       = {Wojciech Macyna and
                  Michal Kukowski},
  title        = {Adaptive Merging on Phase Change Memory},
  journal      = {Fundam. Informaticae},
  volume       = {188},
  number       = {2},
  pages        = {103--126},
  year         = {2022},
  url          = {https://doi.org/10.3233/FI-222144},
  doi          = {10.3233/FI-222144},
  timestamp    = {Wed, 12 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/MacynaK22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/MrozekSY22,
  author       = {Ireneusz Mrozek and
                  Nikolai A. Shevchenko and
                  Vyacheslav N. Yarmolik},
  title        = {Universal Address Sequence Generator for Memory Built-in Self-test},
  journal      = {Fundam. Informaticae},
  volume       = {188},
  number       = {1},
  pages        = {41--61},
  year         = {2022},
  url          = {https://doi.org/10.3233/FI-222141},
  doi          = {10.3233/FI-222141},
  timestamp    = {Thu, 26 Jan 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fuin/MrozekSY22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/NjionouKL22,
  author       = {Blaise Bl{\'{e}}riot Koguep Njionou and
                  L{\'{e}}onard Kwuida and
                  C{\'{e}}lestin L{\'{e}}l{\'{e}}},
  title        = {Formal Concepts and Residuation on Multilattices},
  journal      = {Fundam. Informaticae},
  volume       = {188},
  number       = {4},
  pages        = {217--237},
  year         = {2022},
  url          = {https://doi.org/10.3233/FI-222147},
  doi          = {10.3233/FI-222147},
  timestamp    = {Tue, 07 May 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/NjionouKL22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/SR22,
  author       = {Rajeshwari S and
                  M. Rajesh},
  title        = {Exact Wirelength of Embedding 3-Ary \emph{n}-Cubes into Certain Cylinders
                  and Trees},
  journal      = {Fundam. Informaticae},
  volume       = {188},
  number       = {4},
  pages        = {269--284},
  year         = {2022},
  url          = {https://doi.org/10.3233/FI-222149},
  doi          = {10.3233/FI-222149},
  timestamp    = {Mon, 03 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/SR22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}