Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/fuin/CouvreurPW13,
  author       = {Jean{-}Michel Couvreur and
                  Denis Poitrenaud and
                  Pascal Weil},
  title        = {Branching Processes of General Petri Nets},
  journal      = {Fundam. Informaticae},
  volume       = {122},
  number       = {1-2},
  pages        = {31--58},
  year         = {2013},
  url          = {https://doi.org/10.3233/FI-2013-782},
  doi          = {10.3233/FI-2013-782},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/CouvreurPW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/DaubnerT13,
  author       = {Jakub Daubner and
                  Eduard Toman},
  title        = {Neighbourhood of Constant Order in the Interval Graph of a Random
                  Boolean Function},
  journal      = {Fundam. Informaticae},
  volume       = {122},
  number       = {4},
  pages        = {275--295},
  year         = {2013},
  url          = {https://doi.org/10.3233/FI-2013-790},
  doi          = {10.3233/FI-2013-790},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/DaubnerT13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/FashandiP13,
  author       = {Homa Fashandi and
                  James F. Peters},
  title        = {Crisp and Fuzzy Topological Interior and Closure Operators with Inclusion
                  Degree. Theory and Applications},
  journal      = {Fundam. Informaticae},
  volume       = {122},
  number       = {3},
  pages        = {207--225},
  year         = {2013},
  url          = {https://doi.org/10.3233/FI-2013-788},
  doi          = {10.3233/FI-2013-788},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/FashandiP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/GraffRW13,
  author       = {Daniel Graff and
                  Jan Richling and
                  Matthias Werner},
  title        = {Modeling Group Scheduling Problems in Space and Time by Timed Petri
                  Nets},
  journal      = {Fundam. Informaticae},
  volume       = {122},
  number       = {4},
  pages        = {297--313},
  year         = {2013},
  url          = {https://doi.org/10.3233/FI-2013-791},
  doi          = {10.3233/FI-2013-791},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/GraffRW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/HaddadMN13,
  author       = {Serge Haddad and
                  Jean Mairesse and
                  Hoang{-}Thach Nguyen},
  title        = {Synthesis and Analysis of Product-form Petri Nets},
  journal      = {Fundam. Informaticae},
  volume       = {122},
  number       = {1-2},
  pages        = {147--172},
  year         = {2013},
  url          = {https://doi.org/10.3233/FI-2013-786},
  doi          = {10.3233/FI-2013-786},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/HaddadMN13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/HeeSW13,
  author       = {Kees M. van Hee and
                  Natalia Sidorova and
                  Jan Martijn E. M. van der Werf},
  title        = {Refinement of Synchronizable Places with Multi-workflow Nets},
  journal      = {Fundam. Informaticae},
  volume       = {122},
  number       = {1-2},
  pages        = {59--83},
  year         = {2013},
  url          = {https://doi.org/10.3233/FI-2013-783},
  doi          = {10.3233/FI-2013-783},
  timestamp    = {Mon, 01 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/HeeSW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/KleijnK13,
  author       = {Jetty Kleijn and
                  Maciej Koutny},
  title        = {Mutex Causality in Processes and Traces of General Elementary Nets},
  journal      = {Fundam. Informaticae},
  volume       = {122},
  number       = {1-2},
  pages        = {119--146},
  year         = {2013},
  url          = {https://doi.org/10.3233/FI-2013-785},
  doi          = {10.3233/FI-2013-785},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/KleijnK13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/KristensenPP13,
  author       = {Lars Michael Kristensen and
                  Wojciech Penczek and
                  Laure Petrucci},
  title        = {Preface},
  journal      = {Fundam. Informaticae},
  volume       = {122},
  number       = {1-2},
  year         = {2013},
  url          = {https://doi.org/10.3233/FI-2013-780},
  doi          = {10.3233/FI-2013-780},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/KristensenPP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/KuppusamyMK13,
  author       = {Lakshmanan Kuppusamy and
                  Anand Mahendran and
                  Kamala Krithivasan},
  title        = {On the Trade-off Between Ambiguity and Complexity in Contextual Languages},
  journal      = {Fundam. Informaticae},
  volume       = {122},
  number       = {4},
  pages        = {315--326},
  year         = {2013},
  url          = {https://doi.org/10.3233/FI-2013-792},
  doi          = {10.3233/FI-2013-792},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/KuppusamyMK13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/LangmaackS13,
  author       = {Hans Langmaack and
                  Andrzej Salwicki},
  title        = {Some Methodological Remarks Inspired by the Paper "On inner classes"
                  by A. Igarashi and B. Pierce},
  journal      = {Fundam. Informaticae},
  volume       = {122},
  number       = {3},
  pages        = {227--274},
  year         = {2013},
  url          = {https://doi.org/10.3233/FI-2013-789},
  doi          = {10.3233/FI-2013-789},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/LangmaackS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Ma13,
  author       = {Zhanshan (Sam) Ma},
  title        = {Stochastic Populations, Power Law and Fitness Aggregation in Genetic
                  Algorithms},
  journal      = {Fundam. Informaticae},
  volume       = {122},
  number       = {3},
  pages        = {173--206},
  year         = {2013},
  url          = {https://doi.org/10.3233/FI-2013-787},
  doi          = {10.3233/FI-2013-787},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Ma13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/PeschanskiKD13,
  author       = {Fr{\'{e}}d{\'{e}}ric Peschanski and
                  Hanna Klaudel and
                  Raymond R. Devillers},
  title        = {A Petri Net Interpretation of Open Reconfigurable Systems},
  journal      = {Fundam. Informaticae},
  volume       = {122},
  number       = {1-2},
  pages        = {85--117},
  year         = {2013},
  url          = {https://doi.org/10.3233/FI-2013-784},
  doi          = {10.3233/FI-2013-784},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/PeschanskiKD13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Przybyla-KasperekW13,
  author       = {Malgorzata Przybyla{-}Kasperek and
                  Alicja Wakulicz{-}Deja},
  title        = {Application of Reduction of the Set of Conditional Attributes in the
                  Process of Global Decision-making},
  journal      = {Fundam. Informaticae},
  volume       = {122},
  number       = {4},
  pages        = {327--355},
  year         = {2013},
  url          = {https://doi.org/10.3233/FI-2013-793},
  doi          = {10.3233/FI-2013-793},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fuin/Przybyla-KasperekW13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/ReynierS13,
  author       = {Pierre{-}Alain Reynier and
                  Fr{\'{e}}d{\'{e}}ric Servais},
  title        = {Minimal Coverability Set for Petri Nets: Karp and Miller Algorithm
                  with Pruning},
  journal      = {Fundam. Informaticae},
  volume       = {122},
  number       = {1-2},
  pages        = {1--30},
  year         = {2013},
  url          = {https://doi.org/10.3233/FI-2013-781},
  doi          = {10.3233/FI-2013-781},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/ReynierS13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/TzitzikasP13,
  author       = {Yannis Tzitzikas and
                  Panagiotis Papadakos},
  title        = {Interactive Exploration of Multi-Dimensional and Hierarchical Information
                  Spaces with Real-Time Preference Elicitation},
  journal      = {Fundam. Informaticae},
  volume       = {122},
  number       = {4},
  pages        = {357--399},
  year         = {2013},
  url          = {https://doi.org/10.3233/FI-2013-794},
  doi          = {10.3233/FI-2013-794},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/TzitzikasP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Wozna-SzczesniakZ13,
  author       = {Bozena Wozna{-}Szczesniak and
                  Andrzej Zbrzezny},
  title        = {A Translation of the Existential Model Checking Problem from {MITL}
                  to {HLTL}},
  journal      = {Fundam. Informaticae},
  volume       = {122},
  number       = {4},
  pages        = {401--420},
  year         = {2013},
  url          = {https://doi.org/10.3233/FI-2013-795},
  doi          = {10.3233/FI-2013-795},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Wozna-SzczesniakZ13.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.