Login / Signup
Uri Klein
Publication Activity (10 Years)
Years Active: 2004-2015
Publications (10 Years): 0
Top Topics
State Machines
Delay Insensitive
Reactive Systems
Asynchronous Circuits
Top Venues
VMCAI
ICDM Workshops
</>
Publications
</>
Karthikeyan Natesan Ramamurthy
,
Moninder Singh
,
Michael Davis
,
J. Alex Kevern
,
Uri Klein
,
Michael Peran
Identifying Employees for Re-skilling Using an Analytics-Based Approach.
ICDM Workshops
(2015)
Uri Klein
,
Nir Piterman
,
Amir Pnueli
Effective Synthesis of Asynchronous Systems from GR(1) Specifications.
VMCAI
(2012)
Uri Klein
,
Kedar S. Namjoshi
Formalization and Automated Verification of RESTful Behavior.
CAV
(2011)
Uri Klein
,
Amir Pnueli
Revisiting Synthesis of GR(1) Specifications.
Haifa Verification Conference
(2010)
Amir Pnueli
,
Uri Klein
Synthesis of programs from temporal property specifications.
MEMOCODE
(2009)
Shie Mannor
,
Ishai Menache
,
Amit Hoze
,
Uri Klein
Dynamic abstraction in reinforcement learning via clustering.
ICML
(2004)