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