default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDStudia 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 - Sofiane Ben Amor, Marc Bui:
Généralisation des processus de percolation discrets. 78-93 - 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
- Didier Parigot, Bernard P. Serpette:
Qui sème la fonction, récolte le tuyau typé. 1-19 - 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
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.
last updated on 2026-05-18 23:27 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
