Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/fuin/BerghammerF06,
  author       = {Rudolf Berghammer and
                  Alexander Fronk},
  title        = {Exact Computation of Minimum Feedback Vertex Sets with Relational
                  Algebra},
  journal      = {Fundam. Informaticae},
  volume       = {70},
  number       = {4},
  pages        = {301--316},
  year         = {2006},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi70-4-01},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/BerghammerF06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/BjorklundL06,
  author       = {Dag Bj{\"{o}}rklund and
                  Johan Lilius},
  title        = {Rialto to {B:} An Exercise in Formal Development of a Language for
                  Multiple Models of Computation},
  journal      = {Fundam. Informaticae},
  volume       = {70},
  number       = {1-2},
  pages        = {1--20},
  year         = {2006},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi70-1-2-02},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/BjorklundL06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/ChangCH06,
  author       = {Chin{-}Chen Chang and
                  Jun{-}Chou Chuang and
                  Yu{-}Chen Hu},
  title        = {Spatial Domain Image Hiding Scheme Using Pixel-Values Differencing},
  journal      = {Fundam. Informaticae},
  volume       = {70},
  number       = {3},
  pages        = {171--184},
  year         = {2006},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi70-3-01},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/ChangCH06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/ChangLC06,
  author       = {Chin{-}Chen Chang and
                  Chih{-}Yang Lin and
                  Henry Chou},
  title        = {Perfect Hashing Schemes for Mining Traversal Patterns},
  journal      = {Fundam. Informaticae},
  volume       = {70},
  number       = {3},
  pages        = {185--202},
  year         = {2006},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi70-3-02},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/ChangLC06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/DevillersKK06,
  author       = {Raymond R. Devillers and
                  Hanna Klaudel and
                  Maciej Koutny},
  title        = {Petri Net Semantics of the Finite pi-calculus Terms},
  journal      = {Fundam. Informaticae},
  volume       = {70},
  number       = {3},
  pages        = {203--226},
  year         = {2006},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi70-3-03},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/DevillersKK06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Gasquet06,
  author       = {Olivier Gasquet},
  title        = {On the Influence of Confluence in Modal Logics},
  journal      = {Fundam. Informaticae},
  volume       = {70},
  number       = {3},
  pages        = {227--250},
  year         = {2006},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi70-3-04},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Gasquet06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/HuC06,
  author       = {Yu{-}Chen Hu and
                  Chin{-}Chen Chang},
  title        = {An Improved Tree-Structured Codebook Search Algorithm for Grayscale
                  Image Compression},
  journal      = {Fundam. Informaticae},
  volume       = {70},
  number       = {3},
  pages        = {251--260},
  year         = {2006},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi70-3-05},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/HuC06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/HuLJ06,
  author       = {Yu{-}Chen Hu and
                  Min{-}Hui Lin and
                  Ji{-}Han Jiang},
  title        = {A Novel Color Image Hiding Scheme Using Block Truncation Coding},
  journal      = {Fundam. Informaticae},
  volume       = {70},
  number       = {4},
  pages        = {317--331},
  year         = {2006},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi70-4-02},
  timestamp    = {Thu, 04 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fuin/HuLJ06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Janicki06,
  author       = {Ryszard Janicki},
  title        = {Special Issueon Application of Concurrency to System Design},
  journal      = {Fundam. Informaticae},
  volume       = {70},
  number       = {1-2},
  year         = {2006},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi70-1-2-01},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Janicki06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Jaworski06,
  author       = {Wojciech Jaworski},
  title        = {Bounds for Validation},
  journal      = {Fundam. Informaticae},
  volume       = {70},
  number       = {3},
  pages        = {261--275},
  year         = {2006},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi70-3-06},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Jaworski06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/KapoorJF06,
  author       = {Hemangee K. Kapoor and
                  Mark B. Josephs and
                  Dennis P. Furey},
  title        = {Verification and Implementation of Delay-Insensitive Processes in
                  Restrictive Environments},
  journal      = {Fundam. Informaticae},
  volume       = {70},
  number       = {1-2},
  pages        = {21--48},
  year         = {2006},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi70-1-2-03},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/KapoorJF06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/KhomenkoKY06,
  author       = {Victor Khomenko and
                  Maciej Koutny and
                  Alexandre Yakovlev},
  title        = {Logic Synthesis for Asynchronous Circuits Based on {STG} Unfoldings
                  and Incremental {SAT}},
  journal      = {Fundam. Informaticae},
  volume       = {70},
  number       = {1-2},
  pages        = {49--73},
  year         = {2006},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi70-1-2-04},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/KhomenkoKY06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/LawfordPZ06,
  author       = {Mark Lawford and
                  Vera Pantelic and
                  Hong Zhang},
  title        = {Towards Integrated Verification of Timed Transition Models},
  journal      = {Fundam. Informaticae},
  volume       = {70},
  number       = {1-2},
  pages        = {75--110},
  year         = {2006},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi70-1-2-05},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/LawfordPZ06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Mani06,
  author       = {A. Mani},
  title        = {Di-Algebraic Semantics of Logics},
  journal      = {Fundam. Informaticae},
  volume       = {70},
  number       = {4},
  pages        = {333--350},
  year         = {2006},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi70-4-03},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Mani06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Nguyen06,
  author       = {Linh Anh Nguyen},
  title        = {Negative Ordered Hyper-Resolution as a Proof Procedure for Disjunctive
                  Logic Programming},
  journal      = {Fundam. Informaticae},
  volume       = {70},
  number       = {4},
  pages        = {351--366},
  year         = {2006},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi70-4-04},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Nguyen06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/PestovS06,
  author       = {Vladimir Pestov and
                  Aleksandar Stojmirovic},
  title        = {Indexing Schemes for Similarity Search: an Illustrated Paradigm},
  journal      = {Fundam. Informaticae},
  volume       = {70},
  number       = {4},
  pages        = {367--385},
  year         = {2006},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi70-4-05},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/PestovS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/SaliS06,
  author       = {Attila Sali and
                  Klaus{-}Dieter Schewe},
  title        = {Counter-Free Keys and Functional Dependencies in Higher-Order Datamodels},
  journal      = {Fundam. Informaticae},
  volume       = {70},
  number       = {3},
  pages        = {277--301},
  year         = {2006},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi70-3-07},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/SaliS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/SeppiJL06,
  author       = {Kevin D. Seppi and
                  Michael D. Jones and
                  Peter Lamborn},
  title        = {Guided Model Checking with a Bayesian Meta-heuristic},
  journal      = {Fundam. Informaticae},
  volume       = {70},
  number       = {1-2},
  pages        = {111--126},
  year         = {2006},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi70-1-2-06},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/SeppiJL06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Tauriainen06,
  author       = {Heikki Tauriainen},
  title        = {Nested Emptiness Search for Generalized B{\"{u}}chi Automata},
  journal      = {Fundam. Informaticae},
  volume       = {70},
  number       = {1-2},
  pages        = {127--154},
  year         = {2006},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi70-1-2-07},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Tauriainen06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/XiaHCYC06,
  author       = {Fei Xia and
                  Fei Hao and
                  Ian G. Clark and
                  Alexandre Yakovlev and
                  E. Graeme Chester},
  title        = {Buffered Asynchronous Communication Mechanisms},
  journal      = {Fundam. Informaticae},
  volume       = {70},
  number       = {1-2},
  pages        = {155--170},
  year         = {2006},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi70-1-2-08},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/XiaHCYC06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/YenY06,
  author       = {Hsu{-}Chun Yen and
                  Lien{-}Po Yu},
  title        = {Decidability Analysis of Self-Stabilization for Infinite-State Systems},
  journal      = {Fundam. Informaticae},
  volume       = {70},
  number       = {4},
  pages        = {387--402},
  year         = {2006},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi70-4-06},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/YenY06.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.