MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Roy Armoni" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 12 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • SL ⊆ L^4/3  
  • by Roy Armoni, Amnon Ta-shma, Avi Wigderson, Shiyu Zhou
  • …SL ` L 4=3 Roy Armoni Amnon Ta-Shma y Avi Wigderson z Shiyu Zhou x Abstract We present a…
  • Add To MetaCart
  • Efficient LT L Compilation for SAT -based Model Checking  
  • by Roy Armoni Sergey, Sergey Egorov, Ranan Fraer — 2005 — In Proc. Int’l Conf. on Computer-Aided Design
  • …Efficient LTL Compilation for SAT-based Model Checking Roy Armoni, Sergey Egorov, Ranan Fraer…
  • Add To MetaCart
  • Deterministic Dynamic Monitors for Linear-Time Assertions  
  • by Roy Armoni, Dmitry Korchemny, Andreas Tiemeyer, Moshe Y. Vardi, Yael Zbar — 2006 — In Proceedings of International ICSC Symposium on Multi-Agents and Mobile Agents in Virtual Organizations and E-Commerce (MAMA'2000
  • …Deterministic Dynamic Monitors for Linear-Time Assertions Roy Armoni, Dmitry Korchemny 1 , Andreas…
  • Cited by 4 (0 self) – Add To MetaCart
  • Aborts vs resets in linear temporal logic  
  • by Roy Armoni, Doron Bustan, Orna Kupferman, Moshe Y. Vardi — 2003 — In Proc. 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS
  • …Aborts vs Resets in Linear Temporal Logic Roy Armoni 1 , Doron Bustan 2 , Orna Kupferman 3…
  • Cited by 3 (1 self) – Add To MetaCart
  • Resets vs. Aborts in Linear Temporal Logic  
  • by Roy Armoni Doron, Doron Bustan, Orna Kupferman, Moshe Y. Vardi — 2003
  • …Resets vs. Aborts in Linear Temporal Logic # Roy Armoni 1 , Doron Bustan 2 , Orna Kupferman 3…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB