• français
    • English
  • English 
    • français
    • English
  • Login
JavaScript is disabled for your browser. Some features of this site may not work without it.
BIRD Home

Browse

This CollectionBy Issue DateAuthorsTitlesSubjectsJournals BIRDResearch centres & CollectionsBy Issue DateAuthorsTitlesSubjectsJournals

My Account

Login

Discover

Author
Haddad, Serge (115)
Moreaux, Patrice (24)El Fallah Seghrouchni, Amal (12)Dutheillet, Claude (11)Ilié, Jean-Michel (10)Taghelit, Mohamed (9)Mokdad, Lynda (8)Chiola, Giovanni (6)Franceschinis, Giuliana (6)Pradat-Peyre, Jean-François (6)... Plus d'optionsSubjectPetri nets (18)Expressiveness (4)Markov chain (4)Réseaux de Petri (4)réseaux de Petri (4)Réseaux de Pétri (4)Stochastic Petri Nets (4)Timed Automata (4)timed automata (4)Web services (4)... Plus d'optionsDate Issued2010 - 2011 (4)2000 - 2009 (70)1990 - 1999 (41)Type de documentCommunication / Conférence (79)Article accepté pour publication ou publié (18)Chapitre d'ouvrage (16)Document de travail / Working paper (1)Ouvrage (1)

Search

Show Advanced FiltersHide Advanced Filters

Filters

Use filters to refine the search results.

Now showing items 1-10 of 115

  • Sort Options:
  • Relevance
  • Title Asc
  • Title Desc
  • Issue Date Asc
  • Issue Date Desc
  • Results Per Page:
  • 5
  • 10
  • 20
  • 40
  • 60
  • 80
  • 100
Thumbnail

A Structural Approach to Design Reliable Distributed Applications 

Taghelit, Mohamed; Haddad, Serge; Sens, Pierre (1997) Communication / Conférence
Thumbnail

Etude des interactions basée sur l'observation répartie dans un système multi-agents 

El Fallah Seghrouchni, Amal; Haddad, Serge; Mazouzi, Hamza (1998) Communication / Conférence
Thumbnail

CSLTA: an Expressive Logic for Continuous-Time Markov Chains 

Donatelli, Susanna; Haddad, Serge; Sproston, Jeremy (2007) Communication / Conférence
Thumbnail

A New Approach to the Evaluation of Non Markovian Stochastic Petri Nets 

Haddad, Serge; Mokdad, Lynda; Moreaux, Patrice (2006) Communication / Conférence
Thumbnail

Syntactical Colored Petri Nets Reductions 

Evangelista, Sami; Haddad, Serge; Pradat-Peyre, Jean-François (2005) Communication / Conférence
Thumbnail

Transactional Reduction of Component Compositions 

Haddad, Serge; Poizat, Pascal (2007) Communication / Conférence
Thumbnail

A dense time semantics for Web services specifications languages 

Haddad, Serge; Melliti, Tarak; Moreaux, Patrice; Rampacek, Sylvain (2004) Communication / Conférence
Thumbnail

Checking Linear Temporal Formulas on Sequential Recursive Petri Nets 

Haddad, Serge; Poitrenaud, Denis (2001) Communication / Conférence
Thumbnail

Efficient Handling of Phase-Type Distributions in Generalized Stochastic Petri Nets 

Haddad, Serge; Moreaux, Patrice; Chiola, Giovanni (1997) Communication / Conférence
Thumbnail

Evaluation of high-level Petri nets by means of aggregation and decomposition 

Haddad, Serge; Moreaux, Patrice (1995) Communication / Conférence
  • «
  • 1
  • 2
  • 3
  • 4
  • . . .
  • 12
  • »

  • Accueil Bibliothèque
  • Site de l'Université Paris-Dauphine
  • Contact
SCD Paris Dauphine - Place du Maréchal de Lattre de Tassigny 75775 Paris Cedex 16

 Content on this site is licensed under a Creative Commons 2.0 France (CC BY-NC-ND 2.0) license.