MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Hillel Kugler" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 17 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Smart Play-Out Extended: Time and Forbidden Elements  
  • by David Harel, David Harel, Hillel Kugler, Hillel Kugler, Amir Pnueli, Amir Pnueli — 2004 — Proc. 4th Int. Conf. on Quality Software (QSIC’04), IEEE Computer
  • … and Forbidden Elements Authors: David Harel, Hillel Kugler and Amir Pnueli Date: 17 January 2005 Document…
  • Cited by 5 (2 self) – Add To MetaCart
  • Applying LSCs to the specification of an Air Traffic Control system  
  • by Yves Bontemps, Patrick Heymans, Hillel Kugler — 2003 — Proc. of the 2nd Int. Workshop on “Scenarios and State Machines: Models, Algorithms and Tools” (SCESM’03), at the 25th Int. Conf. on Soft. Eng. (ICSE’03
  • … Computer Science Department Belgium phe@(email omitted); Hillel Kugler ‡ Weizmann Institute of Science…
  • Cited by 9 (4 self) – Add To MetaCart
  • Smart Play-Out  
  • by David Harel, Hillel Kugler, Rami Marelly, Amir Pnueli — 2003
  • …ABSTRACT Smart Play-Out ∗ David Harel, Hillel Kugler, Rami Marelly and Amir Pnueli {dharel,kugler…
  • Cited by 3 (0 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB