default search action
Search dblp for Publications
export results for "toc:db/journals/fuin/fuin105.bht:"
@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} }
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.