MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Marie Duflot" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 6 documents found, showing 1 through 6.
ATOM RSS
  • A probabilistic property-specific approach to information flow  
  • by Danièle Beauquier, Marie Duflot, Marius Minea — 2005 — In Proc. Int. Workshop on Mathematical Methods, Models, and Architectures for Computer Network Security (MMM-ACNS ’05), volume 3685 of LNCS
  • … Duflot 1,⋆ , and Marius Minea 2,⋆ 1 University Paris 12, France {beauquier, duflot}@(email omitted); 2…
  • Cited by 1 (0 self) – Add To MetaCart
  • A Formal Analysis of Bluetooth Device Discovery  
  • by Marie Duflot, Marta Kwiatkowska, Gethin Norman, David Parker — 2004 — In Proc. 1st International Symposium on Leveraging Applications of Formal Methods (ISOLA’04
  • …A Formal Analysis of Bluetooth Device Discovery ⋆ Marie Duflot, Marta Kwiatkowska, Gethin Norman…
  • Cited by 16 (5 self) – Add To MetaCart
  • Randomized Distributed Algorithms as Markov Chains  
  • by M. Duflot, L. Fribourg, C. Picaronny, Ecole Normale, Suprieure Cachan, Marie Duflot, Laurent Fribourg, Claudine Picaronny — 2001 — In Proc. 15th Int. Conf. on Distributed Computing (DISC 2001), LNCS 2180
  • …M. Duflot, L. Fribourg and C. Picaronny Randomized Distributed Algorithms as Markov Chains…
  • Cited by 3 (2 self) – Add To MetaCart
Help! Showing 1 through 6.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB