Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/fuin/Borzyszkowski05,
  author    = {Tomasz Borzyszkowski},
  title     = {Generalized Interpolation in First Order Logic},
  journal   = {Fundam. Inform.},
  volume    = {66},
  number    = {3},
  pages     = {199--219},
  year      = {2005},
  url       = {http://content.iospress.com/articles/fundamenta-informaticae/fi66-3-01},
  timestamp = {Mon, 18 May 2015 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/fuin/Borzyszkowski05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/ChiMNK05,
  author    = {Yun Chi and
               Richard R. Muntz and
               Siegfried Nijssen and
               Joost N. Kok},
  title     = {Frequent Subtree Mining - An Overview},
  journal   = {Fundam. Inform.},
  volume    = {66},
  number    = {1-2},
  pages     = {161--198},
  year      = {2005},
  url       = {http://content.iospress.com/articles/fundamenta-informaticae/fi66-1-2-08},
  timestamp = {Mon, 18 May 2015 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/fuin/ChiMNK05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/CunhaP05,
  author    = {Alcino Cunha and
               Jorge Sousa Pinto},
  title     = {Point-free Program Transformation},
  journal   = {Fundam. Inform.},
  volume    = {66},
  number    = {4},
  pages     = {315--352},
  year      = {2005},
  url       = {http://content.iospress.com/articles/fundamenta-informaticae/fi66-4-02},
  timestamp = {Mon, 18 May 2015 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/fuin/CunhaP05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/DanvyG05,
  author    = {Olivier Danvy and
               Mayer Goldberg},
  title     = {There and Back Again},
  journal   = {Fundam. Inform.},
  volume    = {66},
  number    = {4},
  pages     = {397--413},
  year      = {2005},
  url       = {http://content.iospress.com/articles/fundamenta-informaticae/fi66-4-05},
  timestamp = {Mon, 18 May 2015 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/fuin/DanvyG05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/DevillersK05,
  author    = {Raymond R. Devillers and
               Hanna Klaudel},
  title     = {Synchronous and Asynchronous Communications in Composable Parameterized
               High-Level Petri Nets},
  journal   = {Fundam. Inform.},
  volume    = {66},
  number    = {3},
  pages     = {221--257},
  year      = {2005},
  url       = {http://content.iospress.com/articles/fundamenta-informaticae/fi66-3-02},
  timestamp = {Mon, 18 May 2015 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/fuin/DevillersK05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Doberkat05a,
  author    = {Ernst{-}Erich Doberkat},
  title     = {Tracing Relations Probabilistically},
  journal   = {Fundam. Inform.},
  volume    = {66},
  number    = {3},
  pages     = {259--275},
  year      = {2005},
  url       = {http://content.iospress.com/articles/fundamenta-informaticae/fi66-3-03},
  timestamp = {Mon, 18 May 2015 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/fuin/Doberkat05a.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/FerreK05,
  author    = {S{\'{e}}bastien Ferr{\'{e}} and
               Ross D. King},
  title     = {A Dichotomic Search Algorithm for Mining and Learning in Domain-Specific
               Logics},
  journal   = {Fundam. Inform.},
  volume    = {66},
  number    = {1-2},
  pages     = {1--32},
  year      = {2005},
  url       = {http://content.iospress.com/articles/fundamenta-informaticae/fi66-1-2-02},
  timestamp = {Mon, 18 May 2015 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/fuin/FerreK05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Finkel05,
  author    = {Olivier Finkel},
  title     = {On Winning Conditions of High Borel Complexity in Pushdown Games},
  journal   = {Fundam. Inform.},
  volume    = {66},
  number    = {3},
  pages     = {277--298},
  year      = {2005},
  url       = {http://content.iospress.com/articles/fundamenta-informaticae/fi66-3-04},
  timestamp = {Mon, 18 May 2015 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/fuin/Finkel05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/GeamsakulYOMYT05,
  author    = {Warodom Geamsakul and
               Tetsuya Yoshida and
               Kouzou Ohara and
               Hiroshi Motoda and
               Hideto Yokoi and
               Katsuhiko Takabayashi},
  title     = {Constructing a Decision Tree for Graph-Structured Data and its Applications},
  journal   = {Fundam. Inform.},
  volume    = {66},
  number    = {1-2},
  pages     = {131--160},
  year      = {2005},
  url       = {http://content.iospress.com/articles/fundamenta-informaticae/fi66-1-2-07},
  timestamp = {Mon, 18 May 2015 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/fuin/GeamsakulYOMYT05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/GibbonsH05,
  author    = {Jeremy Gibbons and
               Graham Hutton},
  title     = {Proof Methods for Corecursive Programs},
  journal   = {Fundam. Inform.},
  volume    = {66},
  number    = {4},
  pages     = {353--366},
  year      = {2005},
  url       = {http://content.iospress.com/articles/fundamenta-informaticae/fi66-4-03},
  timestamp = {Mon, 18 May 2015 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/fuin/GibbonsH05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/GluckK05,
  author    = {Robert Gl{\"{u}}ck and
               Masahiko Kawabe},
  title     = {A Method for Automatic Program Inversion Based on {LR(0)} Parsing},
  journal   = {Fundam. Inform.},
  volume    = {66},
  number    = {4},
  pages     = {367--395},
  year      = {2005},
  url       = {http://content.iospress.com/articles/fundamenta-informaticae/fi66-4-04},
  timestamp = {Mon, 18 May 2015 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/fuin/GluckK05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/HabrardBS05,
  author    = {Amaury Habrard and
               Marc Bernard and
               Marc Sebban},
  title     = {Detecting Irrelevant Subtrees to Improve Probabilistic Learning from
               Tree-structured Data},
  journal   = {Fundam. Inform.},
  volume    = {66},
  number    = {1-2},
  pages     = {103--130},
  year      = {2005},
  url       = {http://content.iospress.com/articles/fundamenta-informaticae/fi66-1-2-06},
  timestamp = {Mon, 18 May 2015 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/fuin/HabrardBS05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/HolderCCM05,
  author    = {Lawrence B. Holder and
               Diane J. Cook and
               Jeffrey Coble and
               Maitrayee Mukherjee},
  title     = {Graph-based Relational Learning with Application to Security},
  journal   = {Fundam. Inform.},
  volume    = {66},
  number    = {1-2},
  pages     = {83--101},
  year      = {2005},
  url       = {http://content.iospress.com/articles/fundamenta-informaticae/fi66-1-2-05},
  timestamp = {Mon, 18 May 2015 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/fuin/HolderCCM05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/InokuchiWM05,
  author    = {Akihiro Inokuchi and
               Takashi Washio and
               Hiroshi Motoda},
  title     = {A General Framework for Mining Frequent Subgraphs from Labeled Graphs},
  journal   = {Fundam. Inform.},
  volume    = {66},
  number    = {1-2},
  pages     = {53--82},
  year      = {2005},
  url       = {http://content.iospress.com/articles/fundamenta-informaticae/fi66-1-2-04},
  timestamp = {Mon, 18 May 2015 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/fuin/InokuchiWM05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Lisper05,
  author    = {Bj{\"{o}}rn Lisper},
  title     = {Infinite Unfolding and Transformations of Nondeterministic Programs},
  journal   = {Fundam. Inform.},
  volume    = {66},
  number    = {4},
  pages     = {415--439},
  year      = {2005},
  url       = {http://content.iospress.com/articles/fundamenta-informaticae/fi66-4-06},
  timestamp = {Mon, 18 May 2015 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/fuin/Lisper05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Moshkova05,
  author    = {Albina Moshkova},
  title     = {On Effective Methods for Diagnosis of Retaining Faults in Circuits},
  journal   = {Fundam. Inform.},
  volume    = {66},
  number    = {3},
  pages     = {299--313},
  year      = {2005},
  url       = {http://content.iospress.com/articles/fundamenta-informaticae/fi66-3-05},
  timestamp = {Mon, 18 May 2015 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/fuin/Moshkova05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/PettorossiP05,
  author    = {Alberto Pettorossi and
               Maurizio Proietti},
  title     = {Program Transformation: Theoretical Foundations and Basic Techniques.
               Part 1},
  journal   = {Fundam. Inform.},
  volume    = {66},
  number    = {4},
  year      = {2005},
  url       = {http://content.iospress.com/articles/fundamenta-informaticae/fi66-4-01},
  timestamp = {Mon, 18 May 2015 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/fuin/PettorossiP05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/WashioRK05,
  author    = {Takashi Washio and
               Luc De Raedt and
               Joost N. Kok},
  title     = {Advances in Mining Graphs, Trees and Sequences},
  journal   = {Fundam. Inform.},
  volume    = {66},
  number    = {1-2},
  year      = {2005},
  url       = {http://content.iospress.com/articles/fundamenta-informaticae/fi66-1-2-01},
  timestamp = {Mon, 18 May 2015 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/fuin/WashioRK05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/Zaki05,
  author    = {Mohammed Javeed Zaki},
  title     = {Efficiently Mining Frequent Embedded Unordered Trees},
  journal   = {Fundam. Inform.},
  volume    = {66},
  number    = {1-2},
  pages     = {33--52},
  year      = {2005},
  url       = {http://content.iospress.com/articles/fundamenta-informaticae/fi66-1-2-03},
  timestamp = {Mon, 18 May 2015 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/journals/fuin/Zaki05.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics