Search dblp for Publications

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

 download as .bib file

@article{DBLP:journals/fuin/BerghE10,
  author       = {Frans van den Bergh and
                  Andries Petrus Engelbrecht},
  title        = {A Convergence Proof for the Particle Swarm Optimiser},
  journal      = {Fundam. Informaticae},
  volume       = {105},
  number       = {4},
  pages        = {341--374},
  year         = {2010},
  url          = {https://doi.org/10.3233/FI-2010-370},
  doi          = {10.3233/FI-2010-370},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/BerghE10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/BernardinelloPR10,
  author       = {Luca Bernardinello and
                  Lucia Pomello and
                  Stefania Rombol{\`{a}}},
  title        = {Closure Operators and Lattices Derived from Concurrency in Posets
                  and Occurrence Nets},
  journal      = {Fundam. Informaticae},
  volume       = {105},
  number       = {3},
  pages        = {211--235},
  year         = {2010},
  url          = {https://doi.org/10.3233/FI-2010-365},
  doi          = {10.3233/FI-2010-365},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/BernardinelloPR10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/BistarelliG10,
  author       = {Stefano Bistarelli and
                  Giorgio Gosti},
  title        = {Solving Distributed CSPs Probabilistically},
  journal      = {Fundam. Informaticae},
  volume       = {105},
  number       = {1-2},
  pages        = {57--78},
  year         = {2010},
  url          = {https://doi.org/10.3233/FI-2010-358},
  doi          = {10.3233/FI-2010-358},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/BistarelliG10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/CampagnaRDMP10,
  author       = {Dario Campagna and
                  Christian De Rosa and
                  Agostino Dovier and
                  Angelo Montanari and
                  Carla Piazza},
  title        = {Morphos Configuration Engine: the Core of a Commercial Configuration
                  System in {CLP(FD)}},
  journal      = {Fundam. Informaticae},
  volume       = {105},
  number       = {1-2},
  pages        = {105--133},
  year         = {2010},
  url          = {https://doi.org/10.3233/FI-2010-360},
  doi          = {10.3233/FI-2010-360},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/CampagnaRDMP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/ChesaniMMT10,
  author       = {Federico Chesani and
                  Paola Mello and
                  Marco Montali and
                  Paolo Torroni},
  title        = {A Logic-Based, Reactive Calculus of Events},
  journal      = {Fundam. Informaticae},
  volume       = {105},
  number       = {1-2},
  pages        = {135--161},
  year         = {2010},
  url          = {https://doi.org/10.3233/FI-2010-361},
  doi          = {10.3233/FI-2010-361},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/ChesaniMMT10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/CostantiniFP10,
  author       = {Stefania Costantini and
                  Andrea Formisano and
                  Davide Petturiti},
  title        = {Extending and Implementing {RASP}},
  journal      = {Fundam. Informaticae},
  volume       = {105},
  number       = {1-2},
  pages        = {1--33},
  year         = {2010},
  url          = {https://doi.org/10.3233/FI-2010-356},
  doi          = {10.3233/FI-2010-356},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/CostantiniFP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/DovierFP10,
  author       = {Agostino Dovier and
                  Andrea Formisano and
                  Enrico Pontelli},
  title        = {An Investigation of Multi-Agent Planning in {CLP}},
  journal      = {Fundam. Informaticae},
  volume       = {105},
  number       = {1-2},
  pages        = {79--103},
  year         = {2010},
  url          = {https://doi.org/10.3233/FI-2010-359},
  doi          = {10.3233/FI-2010-359},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fuin/DovierFP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/FaellaNP10,
  author       = {Marco Faella and
                  Margherita Napoli and
                  Mimmo Parente},
  title        = {Graded Alternating-Time Temporal Logic},
  journal      = {Fundam. Informaticae},
  volume       = {105},
  number       = {1-2},
  pages        = {189--210},
  year         = {2010},
  url          = {https://doi.org/10.3233/FI-2010-363},
  doi          = {10.3233/FI-2010-363},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/FaellaNP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/FranceschinisPW10,
  author       = {Giuliana Franceschinis and
                  Wojciech Penczek and
                  Karsten Wolf},
  title        = {Preface},
  journal      = {Fundam. Informaticae},
  volume       = {105},
  number       = {3},
  year         = {2010},
  url          = {https://doi.org/10.3233/FI-2010-364},
  doi          = {10.3233/FI-2010-364},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/FranceschinisPW10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/GavanelliRP10,
  author       = {Marco Gavanelli and
                  Fabrizio Riguzzi and
                  Alberto Pettorossi},
  title        = {Preface},
  journal      = {Fundam. Informaticae},
  volume       = {105},
  number       = {1-2},
  year         = {2010},
  url          = {https://doi.org/10.3233/FI-2010-355},
  doi          = {10.3233/FI-2010-355},
  timestamp    = {Mon, 03 Jan 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/fuin/GavanelliRP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/GhassemiFM10,
  author       = {Fatemeh Ghassemi and
                  Wan J. Fokkink and
                  Ali Movaghar},
  title        = {Equational Reasoning on Mobile Ad Hoc Networks},
  journal      = {Fundam. Informaticae},
  volume       = {105},
  number       = {4},
  pages        = {375--415},
  year         = {2010},
  url          = {https://doi.org/10.3233/FI-2010-371},
  doi          = {10.3233/FI-2010-371},
  timestamp    = {Wed, 12 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/GhassemiFM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/GrigoryanS10,
  author       = {Hayk A. Grigoryan and
                  Arsen S. Shoukourian},
  title        = {Equivalence of Processes in Partially Commutative Object-Oriented
                  Environments},
  journal      = {Fundam. Informaticae},
  volume       = {105},
  number       = {4},
  pages        = {417--434},
  year         = {2010},
  url          = {https://doi.org/10.3233/FI-2010-372},
  doi          = {10.3233/FI-2010-372},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/GrigoryanS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/KenazaTB10,
  author       = {Tayeb Kenaza and
                  Karim Tabia and
                  Salem Benferhat},
  title        = {On the Use of Naive Bayesian Classifiers for Detecting Elementary
                  and Coordinated Attacks},
  journal      = {Fundam. Informaticae},
  volume       = {105},
  number       = {4},
  pages        = {435--466},
  year         = {2010},
  url          = {https://doi.org/10.3233/FI-2010-373},
  doi          = {10.3233/FI-2010-373},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/KenazaTB10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/MairesseN10,
  author       = {Jean Mairesse and
                  Hoang{-}Thach Nguyen},
  title        = {Deficiency Zero Petri Nets and Product Form},
  journal      = {Fundam. Informaticae},
  volume       = {105},
  number       = {3},
  pages        = {237--261},
  year         = {2010},
  url          = {https://doi.org/10.3233/FI-2010-366},
  doi          = {10.3233/FI-2010-366},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/MairesseN10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/NicoliniRR10,
  author       = {Enrica Nicolini and
                  Christophe Ringeissen and
                  Micha{\"{e}}l Rusinowitch},
  title        = {Combining Satisfiability Procedures for Unions of Theories with a
                  Shared Counting Operator},
  journal      = {Fundam. Informaticae},
  volume       = {105},
  number       = {1-2},
  pages        = {163--187},
  year         = {2010},
  url          = {https://doi.org/10.3233/FI-2010-362},
  doi          = {10.3233/FI-2010-362},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/NicoliniRR10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Oliveira10,
  author       = {Mateus de Oliveira Oliveira},
  title        = {Hasse Diagram Generators and Petri Nets},
  journal      = {Fundam. Informaticae},
  volume       = {105},
  number       = {3},
  pages        = {263--289},
  year         = {2010},
  url          = {https://doi.org/10.3233/FI-2010-367},
  doi          = {10.3233/FI-2010-367},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Oliveira10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/RiccaDGIIML10,
  author       = {Francesco Ricca and
                  Antonella Dimasi and
                  Giovanni Grasso and
                  Salvatore Maria Ielpa and
                  Salvatore Iiritano and
                  Marco Manna and
                  Nicola Leone},
  title        = {A Logic-Based System for e-Tourism},
  journal      = {Fundam. Informaticae},
  volume       = {105},
  number       = {1-2},
  pages        = {35--55},
  year         = {2010},
  url          = {https://doi.org/10.3233/FI-2010-357},
  doi          = {10.3233/FI-2010-357},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/RiccaDGIIML10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/Valmari10,
  author       = {Antti Valmari},
  title        = {Simple Bisimilarity Minimization in O(m log n) Time},
  journal      = {Fundam. Informaticae},
  volume       = {105},
  number       = {3},
  pages        = {319--339},
  year         = {2010},
  url          = {https://doi.org/10.3233/FI-2010-369},
  doi          = {10.3233/FI-2010-369},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/Valmari10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/fuin/VelardoF10,
  author       = {Fernando Rosa{-}Velardo and
                  David de Frutos{-}Escrig},
  title        = {Decidability Problems in Petri Nets with Names and Replication},
  journal      = {Fundam. Informaticae},
  volume       = {105},
  number       = {3},
  pages        = {291--317},
  year         = {2010},
  url          = {https://doi.org/10.3233/FI-2010-368},
  doi          = {10.3233/FI-2010-368},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/VelardoF10.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.