Studia Informatica Universalis, Volume 7
Volume 7, Number 1, 2009
Marcel Brissaud: Retour sur les origines de la prétopologie. 5-23- Jean-Paul Auray, Stéphane Bonnevay, Marc Bui, Gérard Duru, Michel Lamure: Prétopologie et applications: un état de l'art. 25-44
- Marcel Brissaud, Jean-Paul Auray, Gérard Duru, Michel Lamure, Carole Siani: Eléments de prétopologie généralisée. 45-77
- Jean-Paul Auray: Structures pauvres. 94-130
- Marcel Egea: Prétopologie floues. 131-171
- Stéphane Bonnevay: Pretopological operators for gray-level image analysis. 173-195
- 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
- Julien Signoles: Foncteurs impératifs et composés: la notion de projets dans Frama-C. 20-51
- Luca Saiu: Vers une programmation fonctionnelle en appel par valeur sur systèmes multi-coeurs: évaluation asynchrone et ramasse-miettes parallèle. 52-82
- Vlad Rusu, Manuel Clavel: Vérification d'invariants pour des systèmes spécifiés en logique de réécriture. 83-112
- Séverine Maingaud: Un modèle de l'assistant à la preuve PAF! 113-142
- Stéphane Glondu: Extraction certifiée dans Coq-en-Coq. 143-165
- Louis Mandel, Florence Plateau: Abstraction d'horloges dans les systemes synchrones flot de donnees. 166-194
- Maxence Guesdon: Fouille au code OCaml par analyse de dépendances. 195-224
- Romain Bardou, Jean-Christophe Filliâtre, Johannes Kanig, Stéphane Lescuyer: Faire bonne figure avec MLPOST. 225-252
Volume 7, Number 3, 2009
- Cyril Rabat: Dasor, a discrete Events Simulation Library for Grid and Peer-to-Peer Simulators. 288-319
- J. Alfonso Briones-García, Boris Koldehofe, Kurt Rothermel: SPINE: Adaptive Publish/Subscribe for Wireless Mesh Networks. 320-353
- François Lesueur, Ludovic Mé, Valérie Viet Triem Tong: Detecting and Excluding Misbehaving Nodes in a P2P Network. 354-384
- Miguel Rojas, Herwig Unger: Progress in the Development of the Distributed Simulation Tool P2PNetSim for analysis of large-scale P2P Networks. 386-409
- Michel Lamure, Stéphane Bonnevay, Marc Bui, Soufian Ben Amor: A Stochastic and Pretopological Modeling Aerial Pollution of an Urban Area. 410-426
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2014-07-12T195749 by the dblp team