ask others

Studia Informatica Universalis, Volume 7

> Home > Journals > Studia Informatica Universalis

Volume 7, Number 1, 2009

- view
  - electronic edition @ complexica.net
- export record
  dblp key:
  - journals/siu/Brissaud09
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/siu/Brissaud09
Marcel Brissaud:
Retour sur les origines de la prétopologie. 5-23
- view
  - electronic edition @ complexica.net
- export record
  dblp key:
  - journals/siu/AurayBBDL09
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/siu/AurayBBDL09
Jean-Paul Auray, Stéphane Bonnevay, Marc Bui, Gérard Duru, Michel Lamure:
Prétopologie et applications: un état de l'art. 25-44
- view
  - electronic edition @ complexica.net
- export record
  dblp key:
  - journals/siu/BrissaudADLS09
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/siu/BrissaudADLS09
Marcel Brissaud, Jean-Paul Auray, Gérard Duru, Michel Lamure, Carole Siani:
Eléments de prétopologie généralisée. 45-77
- view
  - electronic edition @ complexica.net
- export record
  dblp key:
  - journals/siu/AmorB09
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/siu/AmorB09
Sofiane Ben Amor, Marc Bui:
Généralisation des processus de percolation discrets. 78-93
- view
  - electronic edition @ complexica.net
- export record
  dblp key:
  - journals/siu/Auray09
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/siu/Auray09
Jean-Paul Auray:
Structures pauvres. 94-130
- view
  - electronic edition @ complexica.net
- export record
  dblp key:
  - journals/siu/Egea09
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/siu/Egea09
Marcel Egea:
Prétopologie floues. 131-171
- view
  - electronic edition @ complexica.net
- export record
  dblp key:
  - journals/siu/Bonnevay09
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/siu/Bonnevay09
Stéphane Bonnevay:
Pretopological operators for gray-level image analysis. 173-195
- view
  - electronic edition @ complexica.net
- export record
  dblp key:
  - journals/siu/LevoratoLLB09
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/siu/LevoratoLLB09
Vincent Levorato, Than Van Le, Michel Lamure, Marc Bui:
Classification prétopologique basée sur la complexité de Kolmogorov. 197-222

Volume 7, Number 2, 2009

- view
  - electronic edition @ complexica.net
- export record
  dblp key:
  - journals/siu/ParigotS09
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/siu/ParigotS09
Didier Parigot, Bernard P. Serpette:
Qui sème la fonction, récolte le tuyau typé. 1-19
- view
  - electronic edition @ complexica.net
- export record
  dblp key:
  - journals/siu/Signoles09
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/siu/Signoles09
Julien Signoles:
Foncteurs impératifs et composés: la notion de projets dans Frama-C. 20-51
- view
  - electronic edition @ complexica.net
- export record
  dblp key:
  - journals/siu/Saiu09
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/siu/Saiu09
Luca Saiu:
Vers une programmation fonctionnelle en appel par valeur sur systèmes multi-coeurs: évaluation asynchrone et ramasse-miettes parallèle. 52-82
- view
  - electronic edition @ complexica.net
- export record
  dblp key:
  - journals/siu/RusuC09
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/siu/RusuC09
Vlad Rusu, Manuel Clavel:
Vérification d'invariants pour des systèmes spécifiés en logique de réécriture. 83-112
- view
  - electronic edition @ complexica.net
- export record
  dblp key:
  - journals/siu/Maingaud09
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/siu/Maingaud09
Séverine Maingaud:
Un modèle de l'assistant à la preuve PAF! 113-142
- view
  - electronic edition @ complexica.net
- export record
  dblp key:
  - journals/siu/Glondu09
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/siu/Glondu09
Stéphane Glondu:
Extraction certifiée dans Coq-en-Coq. 143-165
- view
  - electronic edition @ complexica.net
- export record
  dblp key:
  - journals/siu/MandelP09
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/siu/MandelP09
Louis Mandel, Florence Plateau:
Abstraction d'horloges dans les systemes synchrones flot de donnees. 166-194
- view
  - electronic edition @ complexica.net
- export record
  dblp key:
  - journals/siu/Guesdon09
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/siu/Guesdon09
Maxence Guesdon:
Fouille au code OCaml par analyse de dépendances. 195-224
- view
  - electronic edition @ complexica.net
- export record
  dblp key:
  - journals/siu/BardouFKL09
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/siu/BardouFKL09
Romain Bardou, Jean-Christophe Filliâtre, Johannes Kanig, Stéphane Lescuyer:
Faire bonne figure avec MLPOST. 225-252

Volume 7, Number 3, 2009

- view
  - electronic edition @ complexica.net
- export record
  dblp key:
  - journals/siu/Rabat09
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/siu/Rabat09
Cyril Rabat:
Dasor, a discrete Events Simulation Library for Grid and Peer-to-Peer Simulators. 288-319
- view
  - electronic edition @ complexica.net
- export record
  dblp key:
  - journals/siu/Briones-GarciaKR09
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/siu/Briones-GarciaKR09
J. Alfonso Briones-García, Boris Koldehofe, Kurt Rothermel:
SPINE: Adaptive Publish/Subscribe for Wireless Mesh Networks. 320-353
- view
  - electronic edition @ complexica.net
- export record
  dblp key:
  - journals/siu/LesueurMT09
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/siu/LesueurMT09
François Lesueur, Ludovic Mé, Valérie Viet Triem Tong:
Detecting and Excluding Misbehaving Nodes in a P2P Network. 354-384
- view
  - electronic edition @ complexica.net
- export record
  dblp key:
  - journals/siu/RojasU09
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/siu/RojasU09
Miguel Rojas, Herwig Unger:
Progress in the Development of the Distributed Simulation Tool P2PNetSim for analysis of large-scale P2P Networks. 386-409
- view
  - electronic edition @ complexica.net
- export record
  dblp key:
  - journals/siu/LamureBBA09
- ask others
- share record
  short URL:
  - http://dblp.org/rec/journals/siu/LamureBBA09
Michel Lamure, Stéphane Bonnevay, Marc Bui, Soufian Ben Amor:
A Stochastic and Pretopological Modeling Aerial Pollution of an Urban Area. 410-426

maintained by

at