Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/fuin/BouyerHR09,
  author       = {Patricia Bouyer and
                  Serge Haddad and
                  Pierre{-}Alain Reynier},
  title        = {Undecidability Results for Timed Automata with Silent Transitions},
  journal      = {Fundam. Informaticae},
  volume       = {92},
  number       = {1-2},
  pages        = {1--25},
  year         = {2009},
  url          = {https://doi.org/10.3233/FI-2009-0063},
  doi          = {10.3233/FI-2009-0063},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/BouyerHR09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/ChangCL09,
  author       = {Chin{-}Chen Chang and
                  Tzungher Chen and
                  Li{-}Jen Liu},
  title        = {Preventing Cheating in Computational Visual Cryptography},
  journal      = {Fundam. Informaticae},
  volume       = {92},
  number       = {1-2},
  pages        = {27--42},
  year         = {2009},
  url          = {https://doi.org/10.3233/FI-2009-0064},
  doi          = {10.3233/FI-2009-0064},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/ChangCL09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/ConradieGV09,
  author       = {Willem Conradie and
                  Valentin Goranko and
                  Dimiter Vakarelov},
  title        = {Algorithmic Correspondence and Completeness in Modal Logic. {III.}
                  Extensions of the Algorithm {SQEMA} with Substitutions},
  journal      = {Fundam. Informaticae},
  volume       = {92},
  number       = {4},
  pages        = {307--343},
  year         = {2009},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi92-4-01},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/ConradieGV09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Czerniak09,
  author       = {Jacek M. Czerniak},
  title        = {Evolutionary Approach to Data Discretization for Rough Sets Theory},
  journal      = {Fundam. Informaticae},
  volume       = {92},
  number       = {1-2},
  pages        = {43--61},
  year         = {2009},
  url          = {https://doi.org/10.3233/FI-2009-0065},
  doi          = {10.3233/FI-2009-0065},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Czerniak09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/FoustoucosK09,
  author       = {Eug{\'{e}}nie Foustoucos and
                  Labrini Kalantzi},
  title        = {The Monadic Second-order Logic Evaluation Problem on Finite Colored
                  Trees: a Database-theoretic Approach},
  journal      = {Fundam. Informaticae},
  volume       = {92},
  number       = {3},
  pages        = {193--231},
  year         = {2009},
  url          = {https://doi.org/10.3233/FI-2009-0072},
  doi          = {10.3233/FI-2009-0072},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/FoustoucosK09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/FredrikssonN09,
  author       = {Kimmo Fredriksson and
                  Fedor Nikitin},
  title        = {Simple Random Access Compression},
  journal      = {Fundam. Informaticae},
  volume       = {92},
  number       = {1-2},
  pages        = {63--81},
  year         = {2009},
  url          = {https://doi.org/10.3233/FI-2009-0066},
  doi          = {10.3233/FI-2009-0066},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/FredrikssonN09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/HalderGG09,
  author       = {Anindya Halder and
                  Ashish Ghosh and
                  Susmita Ghosh},
  title        = {Aggregation Pheromone Density Based Pattern Classification},
  journal      = {Fundam. Informaticae},
  volume       = {92},
  number       = {4},
  pages        = {345--362},
  year         = {2009},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi92-4-02},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/HalderGG09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/HartmannL09,
  author       = {Sven Hartmann and
                  Sebastian Link},
  title        = {On Inferences ofWeak Multivalued Dependencies},
  journal      = {Fundam. Informaticae},
  volume       = {92},
  number       = {1-2},
  pages        = {83--102},
  year         = {2009},
  url          = {https://doi.org/10.3233/FI-2009-0067},
  doi          = {10.3233/FI-2009-0067},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/HartmannL09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/HogbergMV09,
  author       = {Johanna H{\"{o}}gberg and
                  Andreas Maletti and
                  Heiko Vogler},
  title        = {Bisimulation Minimisation of Weighted Automata on Unranked Trees},
  journal      = {Fundam. Informaticae},
  volume       = {92},
  number       = {1-2},
  pages        = {103--130},
  year         = {2009},
  url          = {https://doi.org/10.3233/FI-2009-0068},
  doi          = {10.3233/FI-2009-0068},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/HogbergMV09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/HolscherKK09,
  author       = {Karsten H{\"{o}}lscher and
                  Hans{-}J{\"{o}}rg Kreowski and
                  Sabine Kuske},
  title        = {Autonomous Units to Model Interacting Sequential and Parallel Processes},
  journal      = {Fundam. Informaticae},
  volume       = {92},
  number       = {3},
  pages        = {233--257},
  year         = {2009},
  url          = {https://doi.org/10.3233/FI-2009-0073},
  doi          = {10.3233/FI-2009-0073},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/HolscherKK09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/HungH09,
  author       = {Kuo Lung Hung and
                  Shin{-}Wei He},
  title        = {Feature Based Affine Invariant Watermarking Robust to Geometric Distortions},
  journal      = {Fundam. Informaticae},
  volume       = {92},
  number       = {1-2},
  pages        = {131--143},
  year         = {2009},
  url          = {https://doi.org/10.3233/FI-2009-0069},
  doi          = {10.3233/FI-2009-0069},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/HungH09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/LeiL09,
  author       = {Yinbin Lei and
                  Maokang Luo},
  title        = {A Proof of Plotkin's Conjecture},
  journal      = {Fundam. Informaticae},
  volume       = {92},
  number       = {3},
  pages        = {301--306},
  year         = {2009},
  url          = {https://doi.org/10.3233/FI-2009-0076},
  doi          = {10.3233/FI-2009-0076},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/LeiL09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/MoshkovPZ09,
  author       = {Mikhail Ju. Moshkov and
                  Marcin Piliszczuk and
                  Beata Zielosko},
  title        = {Greedy Algorithm for Construction of Partial Association Rules},
  journal      = {Fundam. Informaticae},
  volume       = {92},
  number       = {3},
  pages        = {259--277},
  year         = {2009},
  url          = {https://doi.org/10.3233/FI-2009-0074},
  doi          = {10.3233/FI-2009-0074},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/MoshkovPZ09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/SpatharisFSP09,
  author       = {Anthony Spatharis and
                  Ilias Foudalis and
                  Martha Sideri and
                  Christos H. Papadimitriou},
  title        = {Comparing Trade-off Based Models of the Internet},
  journal      = {Fundam. Informaticae},
  volume       = {92},
  number       = {4},
  pages        = {363--372},
  year         = {2009},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi92-4-03},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/SpatharisFSP09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/SrokaH09,
  author       = {Jacek Sroka and
                  Jan Hidders},
  title        = {Towards a Formal Semantics for the Process Model of the Taverna Workbench.
                  Part {I}},
  journal      = {Fundam. Informaticae},
  volume       = {92},
  number       = {3},
  pages        = {279--299},
  year         = {2009},
  url          = {https://doi.org/10.3233/FI-2009-0075},
  doi          = {10.3233/FI-2009-0075},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/SrokaH09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/SrokaH09a,
  author       = {Jacek Sroka and
                  Jan Hidders},
  title        = {Towards a Formal Semantics for the Process Model of the Taverna Workbench.
                  Part {II}},
  journal      = {Fundam. Informaticae},
  volume       = {92},
  number       = {4},
  pages        = {373--396},
  year         = {2009},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi92-4-04},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/SrokaH09a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Verma09,
  author       = {Rakesh M. Verma},
  title        = {Complexity of Normal Form Properties and Reductions for Term Rewriting
                  Problems Complexity of Normal Form Properties and Reductions for Term
                  Rewriting Problems},
  journal      = {Fundam. Informaticae},
  volume       = {92},
  number       = {1-2},
  pages        = {145--168},
  year         = {2009},
  url          = {https://doi.org/10.3233/FI-2009-0070},
  doi          = {10.3233/FI-2009-0070},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Verma09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Waszkiewicz09,
  author       = {Pawel Waszkiewicz},
  title        = {On Domain Theory over Girard Quantales},
  journal      = {Fundam. Informaticae},
  volume       = {92},
  number       = {1-2},
  pages        = {169--192},
  year         = {2009},
  url          = {https://doi.org/10.3233/FI-2009-0071},
  doi          = {10.3233/FI-2009-0071},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Waszkiewicz09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/YangWWS09,
  author       = {Cheng{-}Hsing Yang and
                  Chi{-}Yao Weng and
                  Shiuh{-}Jeng Wang and
                  Hung{-}Min Sun},
  title        = {Codebook-linked Watermarking Scheme for Digital Images},
  journal      = {Fundam. Informaticae},
  volume       = {92},
  number       = {4},
  pages        = {397--409},
  year         = {2009},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi92-4-05},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/YangWWS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Zhong09,
  author       = {Sheng Zhong},
  title        = {On Distributed k-Anonymization},
  journal      = {Fundam. Informaticae},
  volume       = {92},
  number       = {4},
  pages        = {411--431},
  year         = {2009},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi92-4-06},
  timestamp    = {Wed, 02 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fuin/Zhong09.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.