约拉姆·赫什菲尔德
人员信息
附属: 以色列特拉维夫大学数学科学学院
优化列表
2010 – 2019
2012 [公元16年] 约拉姆·赫什菲尔德 , 亚历山大·拉比诺维奇 :
带计数的连续时间时间时间逻辑。 Inf.计算。 214 : 1-9 ( 2012 ) 2010 [公元20年] 沙乌尔·阿尔马戈 , 约拉姆·赫什菲尔德 , 奥尔娜·库普夫曼 :
及时 欧米茄 -常规自动机。 ATVA公司 2010 : 22-36
2000 – 2009
2009 [公元15年] 简·A·伯格斯特拉 , 约拉姆·赫什菲尔德 , 约翰·V·塔克 :
草甸和等式划分规范。 西奥。 计算。 科学。 410 ( 12-13 ) : 1261-1271 ( 2009 ) 2008 [公元14年] 约拉姆·赫什菲尔德 , 亚历山大·莫西·拉宾诺维奇 :
可决定的度量逻辑。 Inf.计算。 206 ( 12 ) : 1425-1442 ( 2008 ) [第19条] 简·A·伯格斯特拉 , 约拉姆·赫什菲尔德 , 约翰·V·塔克 :
字段、草地和抽象数据类型。 计算机科学的支柱 2008 : 166-178 2007 [j13] 约拉姆·赫什菲尔德 , 亚历山大·拉比诺维奇 :
连续时间度量模式的表达。 日志。 方法计算。 科学。 三 ( 1 ) ( 2007 ) 2006 [公元12年] 阿姆农·H·伊登 , 约拉姆·赫什菲尔德 , 瑞克·凯兹曼 :
软件设计中的抽象类。 IEE程序。 柔和。 153 ( 4 ) : 163-182 ( 2006 ) [第18条] 约拉姆·赫什菲尔德 , 亚历山大·莫西·拉宾诺维奇 :
连续时间度量模式的表达。 CSR公司 2006 : 211-220 [第17条] 约拉姆·赫什菲尔德 , 亚历山大·莫西·拉宾诺维奇 :
一种实时表达时间逻辑。 MFCS公司 2006 : 492-504 [i1] 约拉姆·赫什菲尔德 , 亚历山大·拉比诺维奇 :
连续时间度量模式的表达。 CoRR公司 abs/cs/0611119 ( 2006 ) 2005 [公元11年] 约拉姆·赫什菲尔德 , 亚历山大·莫西·拉宾诺维奇 :
定时器公式和可判定的度量时间逻辑。 Inf.计算。 198 ( 2 ) : 148-178 ( 2005 ) 2004 [公元10年] 约拉姆·赫什菲尔德 , 亚历山大·莫西·拉宾诺维奇 :
实时逻辑:可决定性和复杂性。 芬丹。 信息学 62 ( 1 ) : 1-28 ( 2004 ) 2003 [公元9年] 约拉姆·赫什菲尔德 , 亚历山大·莫西·拉宾诺维奇 :
未来的时序逻辑需要无限多的形式。 Inf.计算。 187 ( 2 ) : 196-208 ( 2003 ) 2002 [第16条] 丹尼尔·博基尔 , 约拉姆·赫什菲尔德 , 亚历山大·莫西·拉宾诺维奇 , 阿纳托尔·斯利森科 :
概率嵌套游戏。 EXPRESS(快递) 2002 : 4-14 2001 [j8] 约拉姆·赫什菲尔德 , 法伦·莫勒 :
下推自动机、多集自动机和Petri网。 西奥。 计算。 科学。 256 ( 1-2 ) : 3-21 ( 2001 ) [第15条] 阿姆农·H·伊登 , 约拉姆·赫什菲尔德 :
面向对象设计和体系结构形式规范中的原则。 CASCON公司 2001 : 三 2000 [第14条] 约拉姆·赫什菲尔德 , 法伦·莫勒 :
关于一元正则行为的星高。 证明、语言和互动 2000 : 497-510
1990 – 1999
1999 [第13条] 约拉姆·赫什菲尔德 , 亚历山大·莫西·拉宾诺维奇 :
定量时间逻辑。 CSL公司 1999 : 172-187 [c12] 约拉姆·赫什菲尔德 , 马克·杰拉姆 :
规范过程代数的互模拟等价性是可判定的。 ICALP公司 1999 : 412-421 [第11条] 约拉姆·赫什菲尔德 , 亚历山大·莫西·拉宾诺维奇 :
可判定度量逻辑框架。 ICALP公司 1999 : 422-432 1996 [j7] 约拉姆·赫什菲尔德 :
广义正则表达式语言等价性的不确定性。 芬丹。 信息学 26 ( 1 ) : 95-102 ( 1996 ) [j6] 约拉姆·赫什菲尔德 , 马克·杰拉姆 , 法伦·莫勒 :
判定赋范基本并行过程双模拟等价性的多项式时间算法。 数学。 结构。 计算。 科学。 6 ( 三 ) : 251-259 ( 1996 ) [j5] 约拉姆·赫什菲尔德 , 马克·杰拉姆 , 法伦·莫勒 :
判定规范无上下文过程的双相似性的多项式算法。 西奥。 计算。 科学。 158 ( 1&2 ) : 143-159 ( 1996 ) [第10条] 约拉姆·赫什菲尔德 :
互模拟树和弱互模拟的可判定性。 无穷 1996 : 2-13 1995 【c9】 约拉姆·赫什菲尔德 , 法伦·莫勒 :
自动机和过程理论中的可决定性结果。 班夫高级研讨会 1995 : 102-148 1994 【j4】 瑟伦·克里斯滕森 , 约拉姆·赫什菲尔德 , 法伦·莫勒 :
CCS的可决定子集。 计算。 J。 37 ( 4 ) : 233-242 ( 1994 ) [j3] 阿诺·阿夫伦 , 约拉姆·赫什菲尔德 :
在具有函数的一阶数据库语言中查询评估、相对安全性和域独立性。 方法日志。 计算。 科学。 1 ( 三 ) : 261-277 ( 1994 ) 【c8】 约拉姆·赫什菲尔德 , 法伦·莫勒 :
一种判定赋范无上下文过程双相似性的快速算法。 CONCUR公司 1994 : 48-63 【c7】 约拉姆·赫什菲尔德 , 马克·杰拉姆 , 法伦·莫勒 :
判定规范无上下文过程等价性的多项式时间算法。 光纤通信系统 1994 : 623-631 1993 【c6】 瑟伦·克里斯滕森 , 约拉姆·赫什菲尔德 , 法伦·莫勒 :
基本并行过程的互模拟等效性是可以确定的。 CONCUR公司 1993 : 143-157 【c5】 约拉姆·赫什菲尔德 :
Petri网和等价问题。 CSL公司 1993 : 165-174 【c4】 瑟伦·克里斯滕森 , 约拉姆·赫什菲尔德 , 法伦·莫勒 :
基本并行过程上互模拟等价的可分解性、可判定性和公理化性。 低收入国家 1993 : 386-396 1991 [注2] 约拉姆·赫什菲尔德 :
确定性并发系统。 芬丹。 信息学 15 ( 1 ) : 13-36 ( 1991 ) 【c3】 约拉姆·赫什菲尔德 :
带函数的关系数据库中的安全查询。 CSL公司 1991 : 173-183 【c2】 阿诺·阿夫伦 , 约拉姆·赫什菲尔德 :
关于一阶数据库查询语言。 低收入国家 1991 : 226-231
1980 – 1989
1989 【c1】 约拉姆·赫什菲尔德 , 亚历山大·莫西·拉宾诺维奇 , 鲍里斯·特拉赫滕布罗特 :
区分交织行为中的因果关系。 博蒂克的逻辑 1989 : 146-162 1988 [j1] 乔拉姆·赫什菲尔德 :
非标准组合数学。 Stud Logica公司 47 ( 三 ) : 221-232 ( 1988 )