default search action
Search dblp for Publications
export results for "toc:db/journals/fuin/fuin185.bht:"
@article{DBLP:journals/fuin/AbhishekR22, author = {Kunal Abhishek and E. George Dharma Prakash Raj}, title = {On Random Number Generation for Kernel Applications}, journal = {Fundam. Informaticae}, volume = {185}, number = {4}, pages = {285--311}, year = {2022}, url = {https://doi.org/10.3233/FI-222111}, doi = {10.3233/FI-222111}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/AbhishekR22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/BacaSLW22, author = {Martin Baca and Andrea Semanicov{\'{a}}{-}Fenovc{\'{\i}}kov{\'{a}} and Ruei{-}Ting Lai and Tao{-}Ming Wang}, title = {On Local Antimagic Vertex Coloring for Complete Full \emph{t}-ary Trees}, journal = {Fundam. Informaticae}, volume = {185}, number = {2}, pages = {99--113}, year = {2022}, url = {https://doi.org/10.3233/FI-222105}, doi = {10.3233/FI-222105}, timestamp = {Tue, 16 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/BacaSLW22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/Danvy22, author = {Olivier Danvy}, title = {Getting There and Back Again}, journal = {Fundam. Informaticae}, volume = {185}, number = {2}, pages = {115--183}, year = {2022}, url = {https://doi.org/10.3233/FI-222106}, doi = {10.3233/FI-222106}, timestamp = {Sun, 04 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/Danvy22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/DolceP22, author = {Francesco Dolce and Edita Pelantov{\'{a}}}, title = {On Morphisms Preserving Palindromic Richness}, journal = {Fundam. Informaticae}, volume = {185}, number = {1}, pages = {1--25}, year = {2022}, url = {https://doi.org/10.3233/FI-222102}, doi = {10.3233/FI-222102}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/DolceP22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/FatesMT22, author = {Nazim Fat{\`{e}}s and Ir{\`{e}}ne Marcovici and Siamak Taati}, title = {Self-stabilisation of Cellular Automata on Tilings}, journal = {Fundam. Informaticae}, volume = {185}, number = {1}, pages = {27--82}, year = {2022}, url = {https://doi.org/10.3233/FI-222103}, doi = {10.3233/FI-222103}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/FatesMT22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/ForcanM22, author = {Jovana Forcan and Mirjana Mikalacki}, title = {Spanning Structures in Walker-Breaker Games}, journal = {Fundam. Informaticae}, volume = {185}, number = {1}, pages = {83--97}, year = {2022}, url = {https://doi.org/10.3233/FI-222104}, doi = {10.3233/FI-222104}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fuin/ForcanM22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/GarzonMMP22, author = {Ester M. Garz{\'{o}}n and Jos{\'{e}} Antonio Mart{\'{\i}}nez and Juan Jos{\'{e}} Moreno and Mar{\'{\i}}a Luz Puertas}, title = {On the 2-domination Number of Cylinders with Small Cycles}, journal = {Fundam. Informaticae}, volume = {185}, number = {2}, pages = {185--199}, year = {2022}, url = {https://doi.org/10.3233/FI-222107}, doi = {10.3233/FI-222107}, timestamp = {Thu, 17 Oct 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/GarzonMMP22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/GeuversN22, author = {Herman Geuvers and Rob Nederpelt}, title = {Characteristics of de Bruijn's early proof checker Automath}, journal = {Fundam. Informaticae}, volume = {185}, number = {4}, pages = {313--336}, year = {2022}, url = {https://doi.org/10.3233/FI-222112}, doi = {10.3233/FI-222112}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/GeuversN22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/Gonzalez22, author = {Jes{\'{u}}s Arturo Jim{\'{e}}nez Gonz{\'{a}}lez}, title = {Coxeter Invariants for Non-negative Unit Forms of Dynkin Type {\(\mathbb{A}\)}\({}_{\mbox{\emph{r}}}\)}, journal = {Fundam. Informaticae}, volume = {185}, number = {3}, pages = {221--246}, year = {2022}, url = {https://doi.org/10.3233/FI-222109}, doi = {10.3233/FI-222109}, timestamp = {Thu, 19 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/Gonzalez22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/KutribMMP22, author = {Martin Kutrib and Andreas Malcher and Carlo Mereghetti and Beatrice Palano}, title = {Computational and Descriptional Power of Nondeterministic Iterated Uniform Finite-State Transducers}, journal = {Fundam. Informaticae}, volume = {185}, number = {4}, pages = {337--356}, year = {2022}, url = {https://doi.org/10.3233/FI-222113}, doi = {10.3233/FI-222113}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fuin/KutribMMP22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/LinKHT22, author = {Cheng{-}Kuan Lin and Tzu{-}Liang Kung and Chun{-}Nan Hung and Yuan{-}Hsiang Teng}, title = {A Local Diagnosis Algorithm for Hypercube-like Networks under the {BGM} Diagnosis Model}, journal = {Fundam. Informaticae}, volume = {185}, number = {4}, pages = {357--373}, year = {2022}, url = {https://doi.org/10.3233/FI-222114}, doi = {10.3233/FI-222114}, timestamp = {Tue, 19 Jul 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/LinKHT22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/MartinezGR22, author = {Abel Cabrera Mart{\'{\i}}nez and Carlos Garc{\'{\i}}a G{\'{o}}mez and Juan A. Rodr{\'{\i}}guez{-}Vel{\'{a}}zquez}, title = {Perfect Domination, Roman Domination and Perfect Roman Domination in Lexicographic Product Graphs}, journal = {Fundam. Informaticae}, volume = {185}, number = {3}, pages = {201--220}, year = {2022}, url = {https://doi.org/10.3233/FI-222108}, doi = {10.3233/FI-222108}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/MartinezGR22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/Schmidt-Schauss22, author = {Manfred Schmidt{-}Schau{\ss} and Temur Kutsia and Jordi Levy and Mateu Villaret and Yunus D. K. Kutz}, title = {Nominal Unification and Matching of Higher Order Expressions with Recursive Let}, journal = {Fundam. Informaticae}, volume = {185}, number = {3}, pages = {247--283}, year = {2022}, url = {https://doi.org/10.3233/FI-222110}, doi = {10.3233/FI-222110}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/Schmidt-Schauss22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
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.