MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Laurent Mauborgne" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 16 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Tree schemata and fair termination  
  • by Laurent Mauborgne — 2000 — Proc. 7 th Int. Symp. SAS ’2000, Santa Barbara, CA, US, LNCS 1824
  • …Tree Schemata and Fair Termination Laurent Mauborgne LIENS – DMI, École Normale Supérieure, 45 rue…
  • Cited by 4 (1 self) – Add To MetaCart
  • Binary Decision Graphs  
  • by Laurent Mauborgne — 1999 — Static Analyis Symposium SAS’99, LNCS 1694
  • …Binary Decision Graphs Laurent Mauborgne LIENS -- DMI, ' Ecole Normale Sup'erieure, 45 rue d…
  • Cited by 3 (2 self) – Add To MetaCart
  • Tree Schemata and Fair Termination  
  • by Laurent Mauborgne Liens, Laurent Mauborgne — 2000 — Proc. 7 th Int. Symp. SAS ’2000, Santa Barbara, CA, US, LNCS 1824
  • …Tree Schemata and Fair Termination Laurent Mauborgne LIENS -- DMI, ' Ecole Normale Sup'erieure, 45…
  • Add To MetaCart
  • Varieties of Static Analyzers: A Comparison with ASTRÉE  
  • by Patrick Cousot, Radhia Cousot, Jérôme Feret, Antoine Miné, Laurent Mauborgne, David Monniaux, Xavier Rival
  • … , Jérôme FERET 1 , Antoine MINÉ 1 , Laurent MAUBORGNE 1 , David MONNIAUX 3 , Xavier RIVAL 1 Abstract We…
  • Add To MetaCart
  • Combination of Abstractions in the astrée Static Analyzer  
  • by Patrick Cousot, Radhia Cousot, Jérôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival — In : Eight Annual IBM Programming Language Day, IBM Thomas J. Watson Research
  • … , Jérôme Feret 2 , Laurent Mauborgne 2 , Antoine Miné 2 , David Monniaux 1,2 & Xavier Rival 2 1 Centre…
  • Cited by 2 (1 self) – Add To MetaCart
  • The ASTRÉE analyzer  
  • by Patrick Cousot, Radhia Cousot, Jerôme Feret, Laurent Mauborgne, Antoine Miné, David Monniaux, Xavier Rival — 2005 — Programming Languages and Systems, Proceedings of the 14th European Symposium on Programming, volume 3444 of Lecture Notes in Computer Science
  • …The ASTRÉE Analyzer ⋆ Patrick Cousot 2 , Radhia Cousot 1,3 , Jerôme Feret 2 , Laurent Mauborgne 2…
  • Cited by 19 (3 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB