Uri Klein
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2004–2015
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | ICDM | Identifying Employees for Re-skilling Using an Analytics-Based Approach. | Karthikeyan Natesan Ramamurthy, Moninder Singh, Michael Davis, J. Alex Kevern, Uri Klein, Michael Peran |
| 2012 | VMCAI | Effective Synthesis of Asynchronous Systems from GR(1) Specifications. | Uri Klein, Nir Piterman, Amir Pnueli |
| 2011 | CAV | Formalization and Automated Verification of RESTful Behavior. | Uri Klein, Kedar S. Namjoshi |
| 2009 | MEMOCODE | Synthesis of programs from temporal property specifications. | Amir Pnueli, Uri Klein |
| 2004 | ICML | Dynamic abstraction in reinforcement learning via clustering. | Shie Mannor, Ishai Menache, Amit Hoze, Uri Klein |