Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/fuin/AbdullaDOQW08,
  author       = {Parosh Aziz Abdulla and
                  Johann Deneux and
                  Jo{\"{e}}l Ouaknine and
                  Karin Quaas and
                  James Worrell},
  title        = {Universality Analysis for One-Clock Timed Automata},
  journal      = {Fundam. Informaticae},
  volume       = {89},
  number       = {4},
  pages        = {419--450},
  year         = {2008},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi89-4-04},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/AbdullaDOQW08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/BonchiBCG08,
  author       = {Filippo Bonchi and
                  Antonio Brogi and
                  Sara Corfini and
                  Fabio Gadducci},
  title        = {On the Use of Behavioural Equivalences for Web Services' Development},
  journal      = {Fundam. Informaticae},
  volume       = {89},
  number       = {4},
  pages        = {479--510},
  year         = {2008},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi89-4-06},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/BonchiBCG08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/BravettiZ08,
  author       = {Mario Bravetti and
                  Gianluigi Zavattaro},
  title        = {A Foundational Theory of Contracts for Multi-party Service Composition},
  journal      = {Fundam. Informaticae},
  volume       = {89},
  number       = {4},
  pages        = {451--478},
  year         = {2008},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi89-4-05},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/BravettiZ08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/BrucknerDFW08,
  author       = {Ingo Br{\"{u}}ckner and
                  Klaus Dr{\"{a}}ger and
                  Bernd Finkbeiner and
                  Heike Wehrheim},
  title        = {Slicing Abstractions},
  journal      = {Fundam. Informaticae},
  volume       = {89},
  number       = {4},
  pages        = {369--392},
  year         = {2008},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi89-4-02},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/BrucknerDFW08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/ChengWL08,
  author       = {Chien{-}Fu Cheng and
                  Shu{-}Ching Wang and
                  Tyne Liang},
  title        = {Byzantine Agreement {\&} Fault Diagnosis Agreement in Dynamic
                  Ad-Hoc Environment},
  journal      = {Fundam. Informaticae},
  volume       = {89},
  number       = {2-3},
  pages        = {161--187},
  year         = {2008},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi89-2-3-01},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/ChengWL08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/DashtiNJ08,
  author       = {Muhammad Torabi Dashti and
                  Srijith Krishnan Nair and
                  Hugo L. Jonker},
  title        = {Nuovo {DRM} Paradiso: Designing a Secure, Verified, Fair Exchange
                  {DRM} Scheme},
  journal      = {Fundam. Informaticae},
  volume       = {89},
  number       = {4},
  pages        = {393--417},
  year         = {2008},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi89-4-03},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/DashtiNJ08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/DembczynskiKS08,
  author       = {Krzysztof Dembczynski and
                  Wojciech Kotlowski and
                  Marcin Sydow},
  title        = {Effective Prediction of Web User Behaviour with User-Level Models},
  journal      = {Fundam. Informaticae},
  volume       = {89},
  number       = {2-3},
  pages        = {189--206},
  year         = {2008},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi89-2-3-02},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/DembczynskiKS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/EspositoMBF08,
  author       = {Floriana Esposito and
                  Nicola Di Mauro and
                  Teresa Maria Altomare Basile and
                  Stefano Ferilli},
  title        = {Multi-Dimensional Relational Sequence Mining},
  journal      = {Fundam. Informaticae},
  volume       = {89},
  number       = {1},
  pages        = {23--43},
  year         = {2008},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi89-1-03},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/EspositoMBF08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/FonsecaCRC08,
  author       = {Nuno A. Fonseca and
                  Rui Camacho and
                  Ricardo Rocha and
                  V{\'{\i}}tor Santos Costa},
  title        = {Compile the Hypothesis Space: Do it Once, Use it Often},
  journal      = {Fundam. Informaticae},
  volume       = {89},
  number       = {1},
  pages        = {45--67},
  year         = {2008},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi89-1-04},
  timestamp    = {Wed, 24 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fuin/FonsecaCRC08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/FulopM08,
  author       = {Zolt{\'{a}}n F{\"{u}}l{\"{o}}p and
                  Lorand Muzamel},
  title        = {Pebble Macro Tree Transducers with Strong Pebble Handling},
  journal      = {Fundam. Informaticae},
  volume       = {89},
  number       = {2-3},
  pages        = {207--257},
  year         = {2008},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi89-2-3-03},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/FulopM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/GrahneTW08,
  author       = {G{\"{o}}sta Grahne and
                  Alex Thomo and
                  William W. Wadge},
  title        = {Preferential Regular Path Queries},
  journal      = {Fundam. Informaticae},
  volume       = {89},
  number       = {2-3},
  pages        = {259--288},
  year         = {2008},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi89-2-3-04},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/GrahneTW08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/GuoV08,
  author       = {Hongyu Guo and
                  Herna L. Viktor},
  title        = {Learning from Skewed Class Multi-relational Databases},
  journal      = {Fundam. Informaticae},
  volume       = {89},
  number       = {1},
  pages        = {69--94},
  year         = {2008},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi89-1-05},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/GuoV08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/HashemianM08,
  author       = {Seyyed Vahid Hashemian and
                  Farhad Mavaddat},
  title        = {A Logical Reasoning Approach to Automatic Composition of Stateless
                  Components},
  journal      = {Fundam. Informaticae},
  volume       = {89},
  number       = {4},
  pages        = {539--577},
  year         = {2008},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi89-4-08},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/HashemianM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Jurdzinski08,
  author       = {Tomasz Jurdzinski},
  title        = {The Boolean Closure of Growing Context-Sensitive Languages},
  journal      = {Fundam. Informaticae},
  volume       = {89},
  number       = {2-3},
  pages        = {289--305},
  year         = {2008},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi89-2-3-05},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Jurdzinski08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/KnijfF08,
  author       = {Jeroen De Knijf and
                  Ad Feelders},
  title        = {An Experimental Comparison of Different Inclusion Relations in Frequent
                  Tree Mining},
  journal      = {Fundam. Informaticae},
  volume       = {89},
  number       = {1},
  pages        = {1--22},
  year         = {2008},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi89-1-02},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/KnijfF08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/KuzelkaZ08,
  author       = {Ondrej Kuzelka and
                  Filip Zelezn{\'{y}}},
  title        = {A Restarted Strategy for Efficient Subsumption Testing},
  journal      = {Fundam. Informaticae},
  volume       = {89},
  number       = {1},
  pages        = {95--109},
  year         = {2008},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi89-1-06},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/KuzelkaZ08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/LandwehrGTRP08,
  author       = {Niels Landwehr and
                  Bernd Gutmann and
                  Ingo Thon and
                  Luc De Raedt and
                  Matthai Philipose},
  title        = {Relational Transformation-based Tagging for Activity Recognition},
  journal      = {Fundam. Informaticae},
  volume       = {89},
  number       = {1},
  pages        = {111--129},
  year         = {2008},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi89-1-07},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/LandwehrGTRP08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Leivant08,
  author       = {Daniel Leivant},
  title        = {Logical Undecidabilities Made Easy},
  journal      = {Fundam. Informaticae},
  volume       = {89},
  number       = {2-3},
  pages        = {307--312},
  year         = {2008},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi89-2-3-06},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Leivant08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/MeertSB08,
  author       = {Wannes Meert and
                  Jan Struyf and
                  Hendrik Blockeel},
  title        = {Learning Ground CP-Logic Theories by Leveraging Bayesian Network Learning
                  Techniques},
  journal      = {Fundam. Informaticae},
  volume       = {89},
  number       = {1},
  pages        = {131--160},
  year         = {2008},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi89-1-08},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/MeertSB08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/MontangeroRS08,
  author       = {Carlo Montangero and
                  Stephan Reiff{-}Marganiec and
                  Laura Semini},
  title        = {Logic-based Conflict Detection for Distributed Policies},
  journal      = {Fundam. Informaticae},
  volume       = {89},
  number       = {4},
  pages        = {511--538},
  year         = {2008},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi89-4-07},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/MontangeroRS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Nepomniaschaya08,
  author       = {Anna Nepomniaschaya},
  title        = {Efficient Implementation of the Italiano Algorithms for Updating the
                  Transitive Closure on Associative Parallel Processors},
  journal      = {Fundam. Informaticae},
  volume       = {89},
  number       = {2-3},
  pages        = {313--329},
  year         = {2008},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi89-2-3-07},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Nepomniaschaya08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/SahaBZS08,
  author       = {Indranil Saha and
                  Bhargab B. Bhattacharya and
                  Sheng Zhang and
                  Sharad C. Seth},
  title        = {Planar Straight-Line Embedding of Double-Tree Scan Architecture on
                  a Rectangular Grid},
  journal      = {Fundam. Informaticae},
  volume       = {89},
  number       = {2-3},
  pages        = {331--344},
  year         = {2008},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi89-2-3-08},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/SahaBZS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Svrcek08,
  author       = {Filip Svrcek},
  title        = {On the Axiomatic System of SBLnotalgebras},
  journal      = {Fundam. Informaticae},
  volume       = {89},
  number       = {2-3},
  pages        = {345--368},
  year         = {2008},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi89-2-3-09},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Svrcek08.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.