Journal: Stud. Inform. Univ.

Volume 7, Issue 3

288 -- 319Cyril Rabat. Dasor, a discrete Events Simulation Library for Grid and Peer-to-Peer Simulators
320 -- 353J. Alfonso Briones-García, Boris Koldehofe, Kurt Rothermel. SPINE: Adaptive Publish/Subscribe for Wireless Mesh Networks
354 -- 384François Lesueur, Ludovic Mé, Valérie Viet Triem Tong. Detecting and Excluding Misbehaving Nodes in a P2P Network
386 -- 409Miguel Rojas, Herwig Unger. Progress in the Development of the Distributed Simulation Tool P2PNetSim for analysis of large-scale P2P Networks
410 -- 426Michel Lamure, Stéphane Bonnevay, Marc Bui, Soufian Ben Amor. A Stochastic and Pretopological Modeling Aerial Pollution of an Urban Area

Volume 7, Issue 2

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

Volume 7, Issue 1

5 -- 23Marcel Brissaud. Retour sur les origines de la prétopologie
25 -- 44Jean-Paul Auray, Stéphane Bonnevay, Marc Bui, Gérard Duru, Michel Lamure. Prétopologie et applications: un état de l'art
45 -- 77Marcel Brissaud, Jean-Paul Auray, Gérard Duru, Michel Lamure, Carole Siani. Eléments de prétopologie généralisée
78 -- 93Sofiane Ben Amor, Marc Bui. Généralisation des processus de percolation discrets
94 -- 130Jean-Paul Auray. Structures pauvres
131 -- 171Marcel Egea. Prétopologie floues
173 -- 195Stéphane Bonnevay. Pretopological operators for gray-level image analysis
197 -- 222Vincent Levorato, Than Van Le, Michel Lamure, Marc Bui. Classification prétopologique basée sur la complexité de Kolmogorov