Uri Klein

According to our database, Uri Klein authored at least 7 papers between 2004 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2015

Identifying Employees for Re-skilling Using an Analytics-Based Approach.

Karthikeyan Natesan Ramamurthy, Moninder Singh, Michael Davis, J. Alex Kevern, Uri Klein, Michael Peran

Proceedings of the IEEE International Conference on Data Mining Workshop, 2015

2012

Effective Synthesis of Asynchronous Systems from GR(1) Specifications.

Uri Klein, Nir Piterman, Amir Pnueli

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2012

2011

Topics in Formal Synthesis and Modeling.

Uri Klein

PhD thesis, 2011

Formalization and Automated Verification of RESTful Behavior.

Uri Klein, Kedar S. Namjoshi

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2010

Revisiting Synthesis of GR(1) Specifications.

Uri Klein, Amir Pnueli

Proceedings of the Hardware and Software: Verification and Testing, 2010

2009

Synthesis of programs from temporal property specifications.

Amir Pnueli, Uri Klein

Proceedings of the 7th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2009), 2009

2004

Dynamic abstraction in reinforcement learning via clustering.

Shie Mannor, Ishai Menache, Amit Hoze, Uri Klein

Proceedings of the Machine Learning, 2004