Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/fuin/BashkinL11,
  author       = {Vladimir A. Bashkin and
                  Irina A. Lomazova},
  title        = {Resource Driven Automata Nets},
  journal      = {Fundam. Informaticae},
  volume       = {109},
  number       = {3},
  pages        = {223--236},
  year         = {2011},
  url          = {https://doi.org/10.3233/FI-2011-507},
  doi          = {10.3233/FI-2011-507},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/BashkinL11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/BelliaO11,
  author       = {Marco Bellia and
                  M. Eugenia Occhiuto},
  title        = {Properties of Java Simple Closures},
  journal      = {Fundam. Informaticae},
  volume       = {109},
  number       = {3},
  pages        = {237--253},
  year         = {2011},
  url          = {https://doi.org/10.3233/FI-2011-508},
  doi          = {10.3233/FI-2011-508},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/BelliaO11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/CaronF11,
  author       = {Pascal Caron and
                  Marianne Flouret},
  title        = {From Glushkov WFAs to K-Expressions},
  journal      = {Fundam. Informaticae},
  volume       = {109},
  number       = {1},
  pages        = {1--25},
  year         = {2011},
  url          = {https://doi.org/10.3233/FI-2011-427},
  doi          = {10.3233/FI-2011-427},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/CaronF11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/ChangLF11,
  author       = {Chin{-}Chen Chang and
                  Chih{-}Yang Lin and
                  Yi{-}Hsuan Fan},
  title        = {Reversible Steganography for BTC-compressed Images},
  journal      = {Fundam. Informaticae},
  volume       = {109},
  number       = {2},
  pages        = {121--134},
  year         = {2011},
  url          = {https://doi.org/10.3233/FI-2011-500},
  doi          = {10.3233/FI-2011-500},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fuin/ChangLF11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Czaja11,
  author       = {Ludwik Czaja},
  title        = {Preface},
  journal      = {Fundam. Informaticae},
  volume       = {109},
  number       = {3},
  year         = {2011},
  url          = {https://doi.org/10.3233/FI-2011-506},
  doi          = {10.3233/FI-2011-506},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Czaja11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Czaja11a,
  author       = {Ludwik Czaja},
  title        = {On Deadlock and Fairness Decision Problems for Computations on Client-server
                  Systems},
  journal      = {Fundam. Informaticae},
  volume       = {109},
  number       = {3},
  pages        = {255--264},
  year         = {2011},
  url          = {https://doi.org/10.3233/FI-2011-509},
  doi          = {10.3233/FI-2011-509},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Czaja11a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/EsikS11,
  author       = {Zolt{\'{a}}n {\'{E}}sik and
                  Klaus Sutner},
  title        = {Stephen L. Bloom 1940-2010},
  journal      = {Fundam. Informaticae},
  volume       = {109},
  number       = {4},
  pages        = {369--381},
  year         = {2011},
  url          = {https://doi.org/10.3233/FI-2011-517},
  doi          = {10.3233/FI-2011-517},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/EsikS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Gomolinska11,
  author       = {Anna Gomolinska},
  title        = {A Logic-Algebraic Approach to Graded Inclusion},
  journal      = {Fundam. Informaticae},
  volume       = {109},
  number       = {3},
  pages        = {265--279},
  year         = {2011},
  url          = {https://doi.org/10.3233/FI-2011-510},
  doi          = {10.3233/FI-2011-510},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Gomolinska11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/GorrieriV11,
  author       = {Roberto Gorrieri and
                  Cristian Versari},
  title        = {An Operational Petri Net Semantics for A\({}^{\mbox{2}}\)CCS},
  journal      = {Fundam. Informaticae},
  volume       = {109},
  number       = {2},
  pages        = {135--160},
  year         = {2011},
  url          = {https://doi.org/10.3233/FI-2011-501},
  doi          = {10.3233/FI-2011-501},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/GorrieriV11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Gruska11,
  author       = {Damas P. Gruska},
  title        = {Gained and Excluded Private Actions by Process Observations},
  journal      = {Fundam. Informaticae},
  volume       = {109},
  number       = {3},
  pages        = {281--295},
  year         = {2011},
  url          = {https://doi.org/10.3233/FI-2011-511},
  doi          = {10.3233/FI-2011-511},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Gruska11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/JiraskovaO11,
  author       = {Galina Jir{\'{a}}skov{\'{a}} and
                  Alexander Okhotin},
  title        = {On the State Complexity of Star of Union and Star of Intersection},
  journal      = {Fundam. Informaticae},
  volume       = {109},
  number       = {2},
  pages        = {161--178},
  year         = {2011},
  url          = {https://doi.org/10.3233/FI-2011-502},
  doi          = {10.3233/FI-2011-502},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/JiraskovaO11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Kudlek11,
  author       = {Manfred Kudlek},
  title        = {A Relation between Modal Logic and Language Closure Operators},
  journal      = {Fundam. Informaticae},
  volume       = {109},
  number       = {3},
  pages        = {297--304},
  year         = {2011},
  url          = {https://doi.org/10.3233/FI-2011-512},
  doi          = {10.3233/FI-2011-512},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Kudlek11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Kullmann11,
  author       = {Oliver Kullmann},
  title        = {Constraint Satisfaction Problems in Clausal Form {I:} Autarkies and
                  Deficiency},
  journal      = {Fundam. Informaticae},
  volume       = {109},
  number       = {1},
  pages        = {27--81},
  year         = {2011},
  url          = {https://doi.org/10.3233/FI-2011-428},
  doi          = {10.3233/FI-2011-428},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Kullmann11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Kullmann11a,
  author       = {Oliver Kullmann},
  title        = {Constraint Satisfaction Problems in Clausal Form {II:} Minimal Unsatisfiability
                  and Conflict Structure},
  journal      = {Fundam. Informaticae},
  volume       = {109},
  number       = {1},
  pages        = {83--119},
  year         = {2011},
  url          = {https://doi.org/10.3233/FI-2011-429},
  doi          = {10.3233/FI-2011-429},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Kullmann11a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/LocherSW11,
  author       = {Thomas Locher and
                  Stefan Schmid and
                  Roger Wattenhofer},
  title        = {eDonkey {\&} eMule's Kad: Measurements {\&} Attacks},
  journal      = {Fundam. Informaticae},
  volume       = {109},
  number       = {4},
  pages        = {383--403},
  year         = {2011},
  url          = {https://doi.org/10.3233/FI-2011-518},
  doi          = {10.3233/FI-2011-518},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/LocherSW11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/MeskiPP11,
  author       = {Artur Meski and
                  Wojciech Penczek and
                  Agata P{\'{o}}lrola},
  title        = {BDD-based Bounded Model Checking for Temporal Properties of 1-Safe
                  Petri Nets},
  journal      = {Fundam. Informaticae},
  volume       = {109},
  number       = {3},
  pages        = {305--321},
  year         = {2011},
  url          = {https://doi.org/10.3233/FI-2011-513},
  doi          = {10.3233/FI-2011-513},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/MeskiPP11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/NiuPPR11,
  author       = {Yunyun Niu and
                  Linqiang Pan and
                  Mario J. P{\'{e}}rez{-}Jim{\'{e}}nez and
                  Miquel Rius{-}Font},
  title        = {A Tissue {P} Systems Based Uniform Solution to Tripartite Matching
                  Problem},
  journal      = {Fundam. Informaticae},
  volume       = {109},
  number       = {2},
  pages        = {179--188},
  year         = {2011},
  url          = {https://doi.org/10.3233/FI-2011-503},
  doi          = {10.3233/FI-2011-503},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/NiuPPR11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/PiaoS11,
  author       = {Xiaoxue Piao and
                  Kai Salomaa},
  title        = {Transformations Between Different Models of Unranked Bottom-Up Tree
                  Automata},
  journal      = {Fundam. Informaticae},
  volume       = {109},
  number       = {4},
  pages        = {405--424},
  year         = {2011},
  url          = {https://doi.org/10.3233/FI-2011-519},
  doi          = {10.3233/FI-2011-519},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/PiaoS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Redziejowski11,
  author       = {Roman R. Redziejowski},
  title        = {{BITES} Instead of {FIRST} for Parsing Expression Grammar},
  journal      = {Fundam. Informaticae},
  volume       = {109},
  number       = {3},
  pages        = {323--337},
  year         = {2011},
  url          = {https://doi.org/10.3233/FI-2011-514},
  doi          = {10.3233/FI-2011-514},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Redziejowski11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Simson11,
  author       = {Daniel Simson},
  title        = {Mesh Algorithms for Solving Principal Diophantine Equations, Sand-glass
                  Tubes and Tori of Roots},
  journal      = {Fundam. Informaticae},
  volume       = {109},
  number       = {4},
  pages        = {425--462},
  year         = {2011},
  url          = {https://doi.org/10.3233/FI-2011-520},
  doi          = {10.3233/FI-2011-520},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Simson11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/SzczukaSS11,
  author       = {Marcin S. Szczuka and
                  Andrzej Skowron and
                  Jaroslaw Stepaniuk},
  title        = {Function Approximation and Quality Measures in Rough-Granular Systems},
  journal      = {Fundam. Informaticae},
  volume       = {109},
  number       = {3},
  pages        = {339--354},
  year         = {2011},
  url          = {https://doi.org/10.3233/FI-2011-515},
  doi          = {10.3233/FI-2011-515},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/SzczukaSS11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/WangYZ11,
  author       = {Xu An Wang and
                  Xiaoyuan Yang and
                  Minqing Zhang},
  title        = {Cryptanalysis of Two Efficient {HIBE} Schemes in the Standard Model},
  journal      = {Fundam. Informaticae},
  volume       = {109},
  number       = {2},
  pages        = {189--200},
  year         = {2011},
  url          = {https://doi.org/10.3233/FI-2011-504},
  doi          = {10.3233/FI-2011-504},
  timestamp    = {Mon, 03 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/WangYZ11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Winkowski11,
  author       = {J{\'{o}}zef Winkowski},
  title        = {Multiplicative Transition Systems},
  journal      = {Fundam. Informaticae},
  volume       = {109},
  number       = {2},
  pages        = {201--222},
  year         = {2011},
  url          = {https://doi.org/10.3233/FI-2011-505},
  doi          = {10.3233/FI-2011-505},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Winkowski11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Wolski11a,
  author       = {Marcin Wolski},
  title        = {Incomplete and Nondeterministic Information Systems: Object-Directed
                  Semantics for Descriptor Languages},
  journal      = {Fundam. Informaticae},
  volume       = {109},
  number       = {3},
  pages        = {355--368},
  year         = {2011},
  url          = {https://doi.org/10.3233/FI-2011-516},
  doi          = {10.3233/FI-2011-516},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Wolski11a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/X11,
  title        = {Erratum to the paper: "A Logic-Based System for e-Tourism"},
  journal      = {Fundam. Informaticae},
  volume       = {109},
  number       = {4},
  pages        = {481},
  year         = {2011},
  url          = {https://doi.org/10.3233/FI-2011-522},
  doi          = {10.3233/FI-2011-522},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/X11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Zhu11,
  author       = {Ping Zhu},
  title        = {An Axiomatic Approach to the Roughness Measure of Rough Sets},
  journal      = {Fundam. Informaticae},
  volume       = {109},
  number       = {4},
  pages        = {463--480},
  year         = {2011},
  url          = {https://doi.org/10.3233/FI-2011-521},
  doi          = {10.3233/FI-2011-521},
  timestamp    = {Thu, 08 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fuin/Zhu11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.