Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/fuin/AydinB03,
  author       = {Suna Aydin and
                  Henning Bordihn},
  title        = {Sequential Versus Parallel Grammar Formalisms with Respect to Measures
                  of Descriptional Complexity},
  journal      = {Fundam. Informaticae},
  volume       = {55},
  number       = {3-4},
  pages        = {243--254},
  year         = {2003},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi55-3-4-01},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/AydinB03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/BashkinL03,
  author       = {Vladimir A. Bashkin and
                  Irina A. Lomazova},
  title        = {Petri nets and resource bisimulation},
  journal      = {Fundam. Informaticae},
  volume       = {55},
  number       = {2},
  pages        = {101--114},
  year         = {2003},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi55-2-02},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/BashkinL03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/BelliaO03,
  author       = {Marco Bellia and
                  M. Eugenia Occhiuto},
  title        = {N-axioms Parallel Unification},
  journal      = {Fundam. Informaticae},
  volume       = {55},
  number       = {2},
  pages        = {115--128},
  year         = {2003},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi55-2-03},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/BelliaO03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/BloomE03,
  author       = {Stephen L. Bloom and
                  Zolt{\'{a}}n {\'{E}}sik},
  title        = {Deciding whether the frontier of a regular tree is scattered},
  journal      = {Fundam. Informaticae},
  volume       = {55},
  number       = {1},
  pages        = {1--21},
  year         = {2003},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi55-1-01},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/BloomE03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/CattaneoC03,
  author       = {Gianpiero Cattaneo and
                  Davide Ciucci},
  title        = {Shadowed Sets and Related Algebraic Structures},
  journal      = {Fundam. Informaticae},
  volume       = {55},
  number       = {3-4},
  pages        = {255--284},
  year         = {2003},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi55-3-4-02},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/CattaneoC03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/ChamparnaudC03,
  author       = {Jean{-}Marc Champarnaud and
                  Fabien Coulon},
  title        = {Theoretical study and implementation of the canonical automaton},
  journal      = {Fundam. Informaticae},
  volume       = {55},
  number       = {1},
  pages        = {23--38},
  year         = {2003},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi55-1-02},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/ChamparnaudC03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/ChlebusGP03,
  author       = {Bogdan S. Chlebus and
                  Leszek Gasieniec and
                  Andrzej Pelc},
  title        = {Deterministic Computations on a {PRAM} with Static Processor and Memory
                  Faults},
  journal      = {Fundam. Informaticae},
  volume       = {55},
  number       = {3-4},
  pages        = {285--306},
  year         = {2003},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi55-3-4-03},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/ChlebusGP03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Diaconescu03,
  author       = {Razvan Diaconescu},
  title        = {Institution-independent Ultraproducts},
  journal      = {Fundam. Informaticae},
  volume       = {55},
  number       = {3-4},
  pages        = {321--348},
  year         = {2003},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi55-3-4-05},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Diaconescu03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Dinu03,
  author       = {Liviu Petrisor Dinu},
  title        = {On the Classification and Aggregation of Hierarchies with Different
                  Constitutive Elements},
  journal      = {Fundam. Informaticae},
  volume       = {55},
  number       = {1},
  pages        = {39--50},
  year         = {2003},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi55-1-03},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Dinu03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/FarwerM03,
  author       = {Berndt Farwer and
                  Kundan Misra},
  title        = {Modelling with Hierarchical Object Petri Nets},
  journal      = {Fundam. Informaticae},
  volume       = {55},
  number       = {2},
  pages        = {129--147},
  year         = {2003},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi55-2-04},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/FarwerM03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Kandulski03,
  author       = {Maciej Kandulski},
  title        = {Derived Tree Languages of Nonassociative Lambek Categorial Grammars
                  with Product},
  journal      = {Fundam. Informaticae},
  volume       = {55},
  number       = {3-4},
  pages        = {349--362},
  year         = {2003},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi55-3-4-06},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Kandulski03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/LeeYH03,
  author       = {Cheng{-}Chi Lee and
                  Wei{-}Pang Yang and
                  Min{-}Shiang Hwang},
  title        = {Untraceable Blind Signature Schemes Based on Discrete Logarithm Problem},
  journal      = {Fundam. Informaticae},
  volume       = {55},
  number       = {3-4},
  pages        = {307--320},
  year         = {2003},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi55-3-4-04},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/LeeYH03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/LiY03,
  author       = {Sanjiang Li and
                  Mingsheng Ying},
  title        = {Extensionality of the {RCC8} Composition Table},
  journal      = {Fundam. Informaticae},
  volume       = {55},
  number       = {3-4},
  pages        = {363--385},
  year         = {2003},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi55-3-4-07},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/LiY03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Moshkov03a,
  author       = {Mikhail Ju. Moshkov},
  title        = {Compressible Infinite Information Systems},
  journal      = {Fundam. Informaticae},
  volume       = {55},
  number       = {1},
  pages        = {51--61},
  year         = {2003},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi55-1-04},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Moshkov03a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Nguyen03,
  author       = {Linh Anh Nguyen},
  title        = {A Fixpoint Semantics and an SLD-Resolution Calculus for Modal Logic
                  Programs},
  journal      = {Fundam. Informaticae},
  volume       = {55},
  number       = {1},
  pages        = {63--100},
  year         = {2003},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi55-1-05},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Nguyen03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/PancerzS03,
  author       = {Krzysztof Pancerz and
                  Zbigniew Suraj},
  title        = {Synthesis of Petri Net Models: {A} Rough Set Approach},
  journal      = {Fundam. Informaticae},
  volume       = {55},
  number       = {2},
  pages        = {149--165},
  year         = {2003},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi55-2-05},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/PancerzS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/PenczekL03,
  author       = {Wojciech Penczek and
                  Alessio Lomuscio},
  title        = {Verifying Epistemic Properties of Multi-agent Systems via Bounded
                  Model Checking},
  journal      = {Fundam. Informaticae},
  volume       = {55},
  number       = {2},
  pages        = {167--185},
  year         = {2003},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi55-2-06},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/PenczekL03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/PolrolaPS03,
  author       = {Agata P{\'{o}}lrola and
                  Wojciech Penczek and
                  Maciej Szreter},
  title        = {Reachability Analysis for Timed Automata Using Partitioning Algorithms},
  journal      = {Fundam. Informaticae},
  volume       = {55},
  number       = {2},
  pages        = {203--221},
  year         = {2003},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi55-2-08},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/PolrolaPS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Popova-ZeugmannWR03,
  author       = {Louchka Popova{-}Zeugmann and
                  Matthias Werner and
                  Jan Richling},
  title        = {Using State Equation to Prove Non-Reachability in Timed Petrinets},
  journal      = {Fundam. Informaticae},
  volume       = {55},
  number       = {2},
  pages        = {187--202},
  year         = {2003},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi55-2-07},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Popova-ZeugmannWR03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/WeickerW03,
  author       = {Karsten Weicker and
                  Nicole Weicker},
  title        = {Basic principles for understanding evolutionary algorithms},
  journal      = {Fundam. Informaticae},
  volume       = {55},
  number       = {3-4},
  pages        = {387--403},
  year         = {2003},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi55-3-4-08},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/WeickerW03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/WoznaZP03,
  author       = {Bozena Wozna and
                  Andrzej Zbrzezny and
                  Wojciech Penczek},
  title        = {Checking Reachability Properties for Timed Automata via {SAT}},
  journal      = {Fundam. Informaticae},
  volume       = {55},
  number       = {2},
  pages        = {223--241},
  year         = {2003},
  url          = {http://content.iospress.com/articles/fundamenta-informaticae/fi55-2-09},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/WoznaZP03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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.