default search action

combined dblp search
author search
venue search
publication search

ask others

Uri Klein

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2015
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/icdm/RamamurthySDKKP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icdm/RamamurthySDKKP15
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: 345-354
2012
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/KleinPP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/KleinPP12
Uri Klein, Nir Piterman, Amir Pnueli:
Effective Synthesis of Asynchronous Systems from GR(1) Specifications. VMCAI 2012: 283-298
2011
[b1]
- view
  - electronic edition @ nyu.edu
  - details & citations
- export record
  dblp key:
  - phd/us/Klein11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/us/Klein11
Uri Klein:
Topics in Formal Synthesis and Modeling. New York University, USA, 2011
[c4]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/cav/KleinN11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/KleinN11
Uri Klein, Kedar S. Namjoshi:
Formalization and Automated Verification of RESTful Behavior. CAV 2011: 541-556
2010
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/hvc/KleinP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hvc/KleinP10
Uri Klein, Amir Pnueli:
Revisiting Synthesis of GR(1) Specifications. Haifa Verification Conference 2010: 161-181

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/memocode/PnueliK09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/PnueliK09
Amir Pnueli, Uri Klein:
Synthesis of programs from temporal property specifications. MEMOCODE 2009: 1-7
2004
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/icml/MannorMHK04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icml/MannorMHK04
Shie Mannor, Ishai Menache, Amit Hoze, Uri Klein:
Dynamic abstraction in reinforcement learning via clustering. ICML 2004

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.