Search dblp for Publications

export results for "toc:db/journals/siu/siu7.bht:"

 download as .bib file

@article{DBLP:journals/siu/AmorB09,
  author       = {Sofiane Ben Amor and
                  Marc Bui},
  title        = {G{\'{e}}n{\'{e}}ralisation des processus de percolation
                  discrets},
  journal      = {Stud. Inform. Univ.},
  volume       = {7},
  number       = {1},
  pages        = {78--93},
  year         = {2009},
  url          = {http://studia.complexica.net/index.php?option=com\_content\&view=article\&id=95},
  timestamp    = {Fri, 23 Sep 2011 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siu/AmorB09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siu/Auray09,
  author       = {Jean{-}Paul Auray},
  title        = {Structures pauvres},
  journal      = {Stud. Inform. Univ.},
  volume       = {7},
  number       = {1},
  pages        = {94--130},
  year         = {2009},
  url          = {http://studia.complexica.net/index.php?option=com\_content\&view=article\&id=96},
  timestamp    = {Fri, 23 Sep 2011 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siu/Auray09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siu/AurayBBDL09,
  author       = {Jean{-}Paul Auray and
                  St{\'{e}}phane Bonnevay and
                  Marc Bui and
                  G{\'{e}}rard Duru and
                  Michel Lamure},
  title        = {Pr{\'{e}}topologie et applications: un {\'{e}}tat de l'art},
  journal      = {Stud. Inform. Univ.},
  volume       = {7},
  number       = {1},
  pages        = {25--44},
  year         = {2009},
  url          = {http://studia.complexica.net/index.php?option=com\_content\&view=article\&id=93},
  timestamp    = {Fri, 23 Sep 2011 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siu/AurayBBDL09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siu/BardouFKL09,
  author       = {Romain Bardou and
                  Jean{-}Christophe Filli{\^{a}}tre and
                  Johannes Kanig and
                  St{\'{e}}phane Lescuyer},
  title        = {Faire bonne figure avec {MLPOST}},
  journal      = {Stud. Inform. Univ.},
  volume       = {7},
  number       = {2},
  pages        = {225--252},
  year         = {2009},
  url          = {http://studia.complexica.net/index.php?option=com\_content\&view=article\&id=134},
  timestamp    = {Fri, 23 Sep 2011 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siu/BardouFKL09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siu/Bonnevay09,
  author       = {St{\'{e}}phane Bonnevay},
  title        = {Pretopological operators for gray-level image analysis},
  journal      = {Stud. Inform. Univ.},
  volume       = {7},
  number       = {1},
  pages        = {173--195},
  year         = {2009},
  url          = {http://studia.complexica.net/index.php?option=com\_content\&view=article\&id=98},
  timestamp    = {Fri, 23 Sep 2011 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siu/Bonnevay09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siu/Briones-GarciaKR09,
  author       = {J. Alfonso Briones{-}Garc{\'{\i}}a and
                  Boris Koldehofe and
                  Kurt Rothermel},
  title        = {{SPINE:} Adaptive Publish/Subscribe for Wireless Mesh Networks},
  journal      = {Stud. Inform. Univ.},
  volume       = {7},
  number       = {3},
  pages        = {320--353},
  year         = {2009},
  url          = {http://studia.complexica.net/index.php?option=com\_content\&view=article\&id=116},
  timestamp    = {Fri, 23 Sep 2011 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siu/Briones-GarciaKR09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siu/Brissaud09,
  author       = {Marcel Brissaud},
  title        = {Retour sur les origines de la pr{\'{e}}topologie},
  journal      = {Stud. Inform. Univ.},
  volume       = {7},
  number       = {1},
  pages        = {5--23},
  year         = {2009},
  url          = {http://studia.complexica.net/index.php?option=com\_content\&view=article\&id=92},
  timestamp    = {Fri, 23 Sep 2011 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siu/Brissaud09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siu/BrissaudADLS09,
  author       = {Marcel Brissaud and
                  Jean{-}Paul Auray and
                  G{\'{e}}rard Duru and
                  Michel Lamure and
                  Carole Siani},
  title        = {El{\'{e}}ments de pr{\'{e}}topologie g{\'{e}}n{\'{e}}ralis{\'{e}}e},
  journal      = {Stud. Inform. Univ.},
  volume       = {7},
  number       = {1},
  pages        = {45--77},
  year         = {2009},
  url          = {http://studia.complexica.net/index.php?option=com\_content\&view=article\&id=94},
  timestamp    = {Fri, 23 Sep 2011 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siu/BrissaudADLS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siu/Egea09,
  author       = {Marcel Egea},
  title        = {Pr{\'{e}}topologie floues},
  journal      = {Stud. Inform. Univ.},
  volume       = {7},
  number       = {1},
  pages        = {131--171},
  year         = {2009},
  url          = {http://studia.complexica.net/index.php?option=com\_content\&view=article\&id=97},
  timestamp    = {Fri, 23 Sep 2011 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siu/Egea09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siu/Glondu09,
  author       = {St{\'{e}}phane Glondu},
  title        = {Extraction certifi{\'{e}}e dans Coq-en-Coq},
  journal      = {Stud. Inform. Univ.},
  volume       = {7},
  number       = {2},
  pages        = {143--165},
  year         = {2009},
  url          = {http://studia.complexica.net/index.php?option=com\_content\&view=article\&id=131},
  timestamp    = {Fri, 23 Sep 2011 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siu/Glondu09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siu/Guesdon09,
  author       = {Maxence Guesdon},
  title        = {Fouille au code OCaml par analyse de d{\'{e}}pendances},
  journal      = {Stud. Inform. Univ.},
  volume       = {7},
  number       = {2},
  pages        = {195--224},
  year         = {2009},
  url          = {http://studia.complexica.net/index.php?option=com\_content\&view=article\&id=133},
  timestamp    = {Fri, 23 Sep 2011 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siu/Guesdon09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siu/LamureBBA09,
  author       = {Michel Lamure and
                  St{\'{e}}phane Bonnevay and
                  Marc Bui and
                  Soufian Ben Amor},
  title        = {A Stochastic and Pretopological Modeling Aerial Pollution of an Urban
                  Area},
  journal      = {Stud. Inform. Univ.},
  volume       = {7},
  number       = {3},
  pages        = {410--426},
  year         = {2009},
  url          = {http://studia.complexica.net/index.php?option=com\_content\&view=article\&id=119},
  timestamp    = {Fri, 23 Sep 2011 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siu/LamureBBA09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siu/LesueurMT09,
  author       = {Fran{\c{c}}ois Lesueur and
                  Ludovic M{\'{e}} and
                  Val{\'{e}}rie Viet Triem Tong},
  title        = {Detecting and Excluding Misbehaving Nodes in a {P2P} Network},
  journal      = {Stud. Inform. Univ.},
  volume       = {7},
  number       = {3},
  pages        = {354--384},
  year         = {2009},
  url          = {http://studia.complexica.net/index.php?option=com\_content\&view=article\&id=117},
  timestamp    = {Fri, 23 Sep 2011 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siu/LesueurMT09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siu/LevoratoLLB09,
  author       = {Vincent Levorato and
                  Than Van Le and
                  Michel Lamure and
                  Marc Bui},
  title        = {Classification pr{\'{e}}topologique bas{\'{e}}e sur la complexit{\'{e}}
                  de Kolmogorov},
  journal      = {Stud. Inform. Univ.},
  volume       = {7},
  number       = {1},
  pages        = {197--222},
  year         = {2009},
  url          = {http://studia.complexica.net/index.php?option=com\_content\&view=article\&id=99},
  timestamp    = {Fri, 23 Sep 2011 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siu/LevoratoLLB09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siu/Maingaud09,
  author       = {S{\'{e}}verine Maingaud},
  title        = {Un mod{\`{e}}le de l'assistant {\`{a}} la preuve PAF!},
  journal      = {Stud. Inform. Univ.},
  volume       = {7},
  number       = {2},
  pages        = {113--142},
  year         = {2009},
  url          = {http://studia.complexica.net/index.php?option=com\_content\&view=article\&id=130},
  timestamp    = {Fri, 23 Sep 2011 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siu/Maingaud09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siu/MandelP09,
  author       = {Louis Mandel and
                  Florence Plateau},
  title        = {Abstraction d'horloges dans les systemes synchrones flot de donnees},
  journal      = {Stud. Inform. Univ.},
  volume       = {7},
  number       = {2},
  pages        = {166--194},
  year         = {2009},
  url          = {http://studia.complexica.net/index.php?option=com\_content\&view=article\&id=132},
  timestamp    = {Fri, 23 Sep 2011 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siu/MandelP09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siu/ParigotS09,
  author       = {Didier Parigot and
                  Bernard P. Serpette},
  title        = {Qui s{\`{e}}me la fonction, r{\'{e}}colte le tuyau typ{\'{e}}},
  journal      = {Stud. Inform. Univ.},
  volume       = {7},
  number       = {2},
  pages        = {1--19},
  year         = {2009},
  url          = {http://studia.complexica.net/index.php?option=com\_content\&view=article\&id=126},
  timestamp    = {Fri, 23 Sep 2011 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siu/ParigotS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siu/Rabat09,
  author       = {Cyril Rabat},
  title        = {Dasor, a discrete Events Simulation Library for Grid and Peer-to-Peer
                  Simulators},
  journal      = {Stud. Inform. Univ.},
  volume       = {7},
  number       = {3},
  pages        = {288--319},
  year         = {2009},
  url          = {http://studia.complexica.net/index.php?option=com\_content\&view=article\&id=115},
  timestamp    = {Fri, 23 Sep 2011 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siu/Rabat09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siu/RojasU09,
  author       = {Miguel Rojas and
                  Herwig Unger},
  title        = {Progress in the Development of the Distributed Simulation Tool P2PNetSim
                  for analysis of large-scale {P2P} Networks},
  journal      = {Stud. Inform. Univ.},
  volume       = {7},
  number       = {3},
  pages        = {386--409},
  year         = {2009},
  url          = {http://studia.complexica.net/index.php?option=com\_content\&view=article\&id=118},
  timestamp    = {Fri, 23 Sep 2011 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siu/RojasU09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siu/RusuC09,
  author       = {Vlad Rusu and
                  Manuel Clavel},
  title        = {V{\'{e}}rification d'invariants pour des syst{\`{e}}mes sp{\'{e}}cifi{\'{e}}s
                  en logique de r{\'{e}}{\'{e}}criture},
  journal      = {Stud. Inform. Univ.},
  volume       = {7},
  number       = {2},
  pages        = {83--112},
  year         = {2009},
  url          = {http://studia.complexica.net/index.php?option=com\_content\&view=article\&id=129},
  timestamp    = {Fri, 09 Nov 2012 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/siu/RusuC09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siu/Saiu09,
  author       = {Luca Saiu},
  title        = {Vers une programmation fonctionnelle en appel par valeur sur syst{\`{e}}mes
                  multi-coeurs: {\'{e}}valuation asynchrone et ramasse-miettes
                  parall{\`{e}}le},
  journal      = {Stud. Inform. Univ.},
  volume       = {7},
  number       = {2},
  pages        = {52--82},
  year         = {2009},
  url          = {http://studia.complexica.net/index.php?option=com\_content\&view=article\&id=128},
  timestamp    = {Fri, 23 Sep 2011 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siu/Saiu09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siu/Signoles09,
  author       = {Julien Signoles},
  title        = {Foncteurs imp{\'{e}}ratifs et compos{\'{e}}s: la notion
                  de projets dans Frama-C},
  journal      = {Stud. Inform. Univ.},
  volume       = {7},
  number       = {2},
  pages        = {20--51},
  year         = {2009},
  url          = {http://studia.complexica.net/index.php?option=com\_content\&view=article\&id=127},
  timestamp    = {Fri, 23 Sep 2011 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siu/Signoles09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics