• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 22 matches

• 2009
• 
  Sofiane Ben Amor, Marc Bui:
  Généralisation des processus de percolation discrets. Stud. Inform. Univ. 7(1): 78-93 (2009)
• 
  Jean-Paul Auray:
  Structures pauvres. Stud. Inform. Univ. 7(1): 94-130 (2009)
• 
  Jean-Paul Auray, Stéphane Bonnevay, Marc Bui, Gérard Duru, Michel Lamure:
  Prétopologie et applications: un état de l'art. Stud. Inform. Univ. 7(1): 25-44 (2009)
• 
  Romain Bardou, Jean-Christophe Filliâtre, Johannes Kanig, Stéphane Lescuyer:
  Faire bonne figure avec MLPOST. Stud. Inform. Univ. 7(2): 225-252 (2009)
• 
  Stéphane Bonnevay:
  Pretopological operators for gray-level image analysis. Stud. Inform. Univ. 7(1): 173-195 (2009)
• 
  J. Alfonso Briones-García, Boris Koldehofe, Kurt Rothermel:
  SPINE: Adaptive Publish/Subscribe for Wireless Mesh Networks. Stud. Inform. Univ. 7(3): 320-353 (2009)
• 
  Marcel Brissaud:
  Retour sur les origines de la prétopologie. Stud. Inform. Univ. 7(1): 5-23 (2009)
• 
  Marcel Brissaud, Jean-Paul Auray, Gérard Duru, Michel Lamure, Carole Siani:
  Eléments de prétopologie généralisée. Stud. Inform. Univ. 7(1): 45-77 (2009)
• 
  Marcel Egea:
  Prétopologie floues. Stud. Inform. Univ. 7(1): 131-171 (2009)
• 
  Stéphane Glondu:
  Extraction certifiée dans Coq-en-Coq. Stud. Inform. Univ. 7(2): 143-165 (2009)
• 
  Maxence Guesdon:
  Fouille au code OCaml par analyse de dépendances. Stud. Inform. Univ. 7(2): 195-224 (2009)
• 
  Michel Lamure, Stéphane Bonnevay, Marc Bui, Soufian Ben Amor:
  A Stochastic and Pretopological Modeling Aerial Pollution of an Urban Area. Stud. Inform. Univ. 7(3): 410-426 (2009)
• 
  François Lesueur, Ludovic Mé, Valérie Viet Triem Tong:
  Detecting and Excluding Misbehaving Nodes in a P2P Network. Stud. Inform. Univ. 7(3): 354-384 (2009)
• 
  Vincent Levorato, Than Van Le, Michel Lamure, Marc Bui:
  Classification prétopologique basée sur la complexité de Kolmogorov. Stud. Inform. Univ. 7(1): 197-222 (2009)
• 
  Séverine Maingaud:
  Un modèle de l'assistant à la preuve PAF! Stud. Inform. Univ. 7(2): 113-142 (2009)
• 
  Louis Mandel, Florence Plateau:
  Abstraction d'horloges dans les systemes synchrones flot de donnees. Stud. Inform. Univ. 7(2): 166-194 (2009)
• 
  Didier Parigot, Bernard P. Serpette:
  Qui sème la fonction, récolte le tuyau typé. Stud. Inform. Univ. 7(2): 1-19 (2009)
• 
  Cyril Rabat:
  Dasor, a discrete Events Simulation Library for Grid and Peer-to-Peer Simulators. Stud. Inform. Univ. 7(3): 288-319 (2009)
• 
  Miguel Rojas, Herwig Unger:
  Progress in the Development of the Distributed Simulation Tool P2PNetSim for analysis of large-scale P2P Networks. Stud. Inform. Univ. 7(3): 386-409 (2009)
• 
  Vlad Rusu, Manuel Clavel:
  Vérification d'invariants pour des systèmes spécifiés en logique de réécriture. Stud. Inform. Univ. 7(2): 83-112 (2009)
• 
  Luca Saiu:
  Vers une programmation fonctionnelle en appel par valeur sur systèmes multi-coeurs: évaluation asynchrone et ramasse-miettes parallèle. Stud. Inform. Univ. 7(2): 52-82 (2009)
• 
  Julien Signoles:
  Foncteurs impératifs et composés: la notion de projets dans Frama-C. Stud. Inform. Univ. 7(2): 20-51 (2009)