扫码下载APP

您的位置

学者详情
Ratsaby, Gil

Ratsaby, Gil

IBM Research - Haifa

5

H指数

6

论文数

215

被引数

H指数、论文数、被引数仅支持在APP上查看和修改扫描二维码即可下载APP

Ratsaby, Gil,现任职于IBM Research - Haifa,曾任职于Technion - Israel Institute of Technology机构,个人H指数为5,累计发表论文6篇,论文总被引数累计215次,主要研究方向涵盖数学等领域,在Concurrency Computation Practice and Experience、Lecture Notes in Computer Science和IBM Systems Journal顶级期刊累计发表4次

访客XXX

可下载论论APP查看访客

本人可编辑资料

学者资料仅支持在APP上编辑扫描二维码即可编辑

  • 发表期刊
  • 资讯动态
  • 发表论文
  • 引用关系
测试多线程Java程序的框架

Framework for testing multi-threaded Java programs

IBM Research - Haifa

2003

被引数:95

Concurrency Computation Practice and Experience

Ur, Shmuel

多线程java程序测试生成

Multithreaded java program test generation

IBM Research - Haifa

2002

被引数:120

IBM Systems Journal

Ur, Shmuel

使用符号模型检测的可覆盖性分析

Coverability analysis using symbolic model checking

IBM Research - Haifa

2001

被引数:5

Lecture Notes in Computer Science

Ur, Shmuel

覆盖率分析的改进

Improvements in coverability analysis

IBM Research - Haifa

2002

被引数:4

Lecture Notes in Computer Science

Ur, Shmuel

没有纠缠的量子优势

Quantum advantage without entanglement

Technion - Israel Institute of Technology

2005

被引数:0

Mor, Tal

多线程Java程序测试生成

Multithreaded Java program test generation

IBM Research - Haifa

2001

被引数:24

Ur, Shmuel

引用关系明细仅支持在APP查看扫描二维码即可下载

全部资讯信息仅支持在APP上查看扫描二维码即可下载APP