×
作者ID: 加格·维杰伊-k最近由“Garg,Vijay K。”撰写的zbMATH文章
发布方式: 维杰·加格。维杰·加格加格,V。
主页: http://users.ece.utexas.edu/~加格/
外部链接: MGP公司·数据库许可证
已编制索引的文档: 73出版物自1981年以来,包括2本书
4作为编辑的贡献
合著者: 39位合著者具有57联合出版物
776位联合作者

按年份列出的出版物

zbMATH Open中包含的引文

48出版物有被引用297中的次216文件 引用人 年份
计算上控子语言和正规子语言的公式。 Zbl 0715.93044号
R·D·勃兰特。Garg,V。R.库马尔。林,F。马库斯,S.I。W.M.沃纳姆。
32
1990
逻辑离散事件系统的建模和控制。 Zbl 0875.68980号
拉特内什·库马尔维杰·加格。
31
1995
离散事件动态系统监督控制的谓词和谓词变换器。 Zbl 0774.93003号
拉特内什·库马尔维杰·加格马库斯,史蒂文一世。
25
1993
离散事件动力系统的最优监督控制。 Zbl 0817.93003号
拉特内什·库马尔维杰·加格。
22
1995
离散事件动力系统的语言稳定性和稳定性。 Zbl 0785.93006号
拉特内什·库马尔维杰·加格马库斯,史蒂文一世。
16
1993
并发正则表达式及其与Petri网的关系。 Zbl 0745.68080号
维杰·加格。麻省理工学院拉古纳。
16
1992
离散事件动力系统的能控性和正规性。 Zbl 0759.93013号
拉特内什·库马尔维杰·加格马库斯,史蒂文一世。
12
1991
使用格理论对实时离散事件系统进行监控。 Zbl 0846.93005号
达伦·科弗。维杰·加格。
12
1996
拜占庭体系中的多维协议。 Zbl 1347.68031号
汉谟拉比门德斯莫里斯·赫利希尼汀·瓦迪娅维杰·加格。
10
2015
完全图中的拜占庭向量一致性。 Zbl 1323.68037号
尼汀·瓦迪娅(Nitin H.Vaidya)。维杰·加格。
9
2013
使用计算切片检测分布式程序中的时态逻辑谓词。 Zbl 1078.68667号
阿尔珀·森维杰·加格。
8
2004
用概率语言建模的随机离散事件系统的控制。 Zbl 1045.93032号
拉特内什·库马尔维杰·加格。
8
2001
离散事件系统中的模型不确定性。 兹比尔0826.93004
杨·斯坦利维杰·加格。
8
1995
关于顺序行为的监督控制。 Zbl 0788.93029号
拉特内什·库马尔维杰·加格马库斯,史蒂文一世。
7
1992
随机离散事件系统的概率语言形式。 Zbl 0957.68055号
维杰·加格。拉特内什·库马尔马库斯,史蒂文一世。
6
1999
计算切片技术及其应用。 Zbl 1264.68030号
尼拉吉·米塔尔维杰·加格。
6
2005
使用计算切片对仿真轨迹进行形式化验证。 Zbl 1390.68438号
阿尔珀·森维杰·加格。
6
2007
检测全局谓词:技术及其局限性。 Zbl 1448.68080号
Craig M.蔡斯。维杰·加格。
5
1998
格上不等式的极值解及其在监督控制中的应用。 Zbl 0873.68002号
拉特内什·库马尔维杰·加格。
4
1995
计算切片:技术和理论。 Zbl 1024.68518号
尼拉吉·米塔尔维杰·加格。
4
2001
偏序集的字符串实现器,用于分布式计算。 Zbl 1333.68057号
维杰·加格。查卡拉特·斯卡瓦拉塔纳农
4
2001
计算机科学应用晶格理论导论。 Zbl 1381.06001号
维杰·加格。
4
2015
基于分片偏序集的算法组合。 Zbl 1100.05043号
维杰·加格。
2006
自适应一般完美周期调度。 Zbl 1185.68119号
沙伊莱什·帕蒂尔维杰·加格。
2006
在分布式计算上检测时态逻辑谓词。 Zbl 1145.68379号
奥加尔,维尼特A。维杰·加格。
2007
共享内存系统中相关事件的高效依赖性跟踪。 Zbl 1314.68363号
阿努拉·阿加瓦尔维杰·加格。
2005
分布式系统的稳定性、安全性和安全性。第16届国际研讨会,2014年SSS,德国帕德博恩,2014年9月28日至10月1日。诉讼程序。 Zbl 1317.68010号
2014
消息传递系统中的晶格一致性。 兹比尔1508.68026
郑、熊胡昌勇维杰·加格。
2018
有效检测全局谓词的受限类。 Zbl 1524.68212号
Craig M.蔡斯。维杰·加格。
1995
检查谓词是否确实成立。 Zbl 1185.68233号
阿尔珀·森维杰·加格。
2
2004
基于分片偏序集的算法组合。 Zbl 1027.68093号
维杰·加格。
2
2002
使用“关键事件”制作简短反例。 Zbl 1155.68440号
苏加塔·卡西亚普维杰·加格。
2
2008
分解偏序集的一些优化算法。 Zbl 0764.68070号
维杰·加格。
2
1992
加热对凹壁流动稳定性的影响。 Zbl 0582.76062号
维杰·加格。R.C.迪普里玛。
2
1984
使用(K\)乐观日志记录进行分布式恢复。 Zbl 1069.68521号
Om P.达马尼。王义民维杰·加格。
2
2003
使用受控重新执行调试分布式程序。 Zbl 1314.68384号
尼拉吉·米塔尔维杰·加格。
2
2000
QuickLex:分布式计算一致全局状态枚举的快速算法。 Zbl 1380.68419号
张延忠维杰·加格。
2
2016
分布式触发器计数问题的高效分散算法。 Zbl 1253.68058号
Chakaravarthy,Venkatesan T。阿纳米特拉·乔杜里。维杰·加格。萨巴沃尔,瑜伽
2
2012
使用融合的有限状态机中的容错。 Zbl 1131.68340号
巴拉瑟布拉曼尼亚语奥加尔、维尼特维杰·加格。
1
2008
在不修改应用程序消息的情况下检测本地稳定谓词。 兹比尔1078.68557
Ranganath,阿特雷亚尼拉吉·米塔尔维杰·加格。
1
2004
分布式计算和网络。2009年1月3日至6日在印度海得拉巴举行的ICDCN 2009第十届国际会议。诉讼程序。 Zbl 1157.68301号
1
2009
应用计算流体动力学。 Zbl 0903.00023号
1
1998
使用状态机实现容错服务:超越复制。 Zbl 1290.68024号
维杰·加格。
1
2010
输入输出离散事件系统的有限缓冲实现。 Zbl 0830.93014号
拉特内什·库马尔维杰·加格。马库斯,史蒂文一世。
1
1995
具有格协议的线性化复制状态机。 Zbl 1504.68019号
郑、熊维杰·加格。约翰·凯佩利马利尔
1
2020
分布式系统中局部稳定谓词的有效检测。 Zbl 1115.68028号
兰加纳斯·阿特里亚尼拉吉·米塔尔Ajay D.Kshemkalyani。维杰·加格。穆凯什·辛格尔
1
2007
谓词检测的高效抽象算法。 Zbl 1371.68180号
阿拉文·纳塔拉扬希曼舒·乔汉尼拉吉·米塔尔维杰·加格。
1
2017
并发系统中相关事件的高效依赖性跟踪。 Zbl 1266.68205号
阿努拉·阿加瓦尔维杰·加格。
1
2006
具有格协议的线性化复制状态机。 Zbl 1504.68019号
郑、熊维杰·加格。约翰·凯佩利马利尔
1
2020
消息传递系统中的格协议。 Zbl 1508.68026号
郑、熊胡昌勇维杰·加格。
2018
谓词检测的高效抽象算法。 Zbl 1371.68180号
阿拉文·纳塔拉扬希曼舒·乔汉尼拉吉·米塔尔维杰·加格。
1
2017
QuickLex:分布式计算一致全局状态枚举的快速算法。 Zbl 1380.68419号
张延忠维杰·加格。
2
2016
拜占庭体系中的多维协议。 Zbl 1347.68031号
汉谟拉比门德斯莫里斯·赫利希尼汀·瓦迪娅维杰·加格。
10
2015
晶格理论与计算机科学应用导论。 兹比尔1381.06001
维杰·加格。
4
2015
分布式系统的稳定性、安全性和安全性。2014年9月28日至10月1日,第16届国际研讨会,SSS 2014,德国帕德博恩。诉讼程序。 Zbl 1317.68010号
2014
完全图中的拜占庭向量一致性。 Zbl 1323.68037号
尼汀·瓦迪娅(Nitin H.Vaidya)。维杰·加格。
9
2013
分布式触发器计数问题的高效分散算法。 Zbl 1253.68058号
Chakaravarthy,Venkatesan T。阿纳米特拉·乔杜里。维杰·加格。萨巴沃尔,瑜伽
2
2012
使用状态机实现容错服务:超越复制。 Zbl 1290.68024号
维杰·加格。
1
2010
分布式计算和网络。2009年1月3日至6日在印度海得拉巴举行的ICDCN 2009第十届国际会议。诉讼程序。 Zbl 1157.68301号
1
2009
使用“关键事件”制作简短反例。 Zbl 1155.68440号
苏加塔·卡西亚普维杰·加格。
2
2008
使用融合的有限状态机中的容错。 Zbl 1131.68340号
巴拉瑟布拉曼尼亚语奥加尔、维尼特维杰·加格。
1
2008
使用计算切片对仿真轨迹进行形式化验证。 Zbl 1390.68438号
阿尔珀·森维杰·加格。
6
2007
在分布式计算上检测时态逻辑谓词。 Zbl 1145.68379号
奥加尔,维尼特A。维杰·加格。
2007
分布式系统中局部稳定谓词的有效检测。 Zbl 1115.68028号
兰加纳斯·阿特里亚尼拉吉·米塔尔Ajay D.Kshemkalyani。维杰·加格。穆凯什·辛格尔
1
2007
基于分片偏序集的算法组合。 Zbl 1100.05043号
维杰·加格。
2006
自适应一般完美周期调度。 Zbl 1185.68119号
沙伊莱什·帕蒂尔维杰·加格。
2006
对并发系统中的相关事件进行有效的依赖性跟踪。 兹比尔1266.68205
阿努拉·阿加瓦尔维杰·加格。
1
2006
计算切片技术及其应用。 Zbl 1264.68030号
尼拉吉·米塔尔维杰·加格。
6
2005
共享内存系统中相关事件的高效依赖性跟踪。 Zbl 1314.68363号
阿努拉·阿加瓦尔维杰·加格。
2005
使用计算切片检测分布式程序中的时态逻辑谓词。 Zbl 1078.68667号
阿尔珀·森维杰·加格。
8
2004
检查谓词是否确实成立。 Zbl 1185.68233号
阿尔珀·森维杰·加格。
2
2004
在不修改应用程序消息的情况下检测本地稳定谓词。 Zbl 1078.68557号
兰加纳斯·阿特里亚尼拉吉·米塔尔维杰·加格。
1
2004
使用(K\)乐观日志记录进行分布式恢复。 Zbl 1069.68521号
Om P.达马尼。王义民维杰·加格。
2
2003
基于分片偏序集的算法组合。 Zbl 1027.68093号
维杰·加格。
2
2002
用概率语言建模的随机离散事件系统的控制。 Zbl 1045.93032号
拉特内什·库马尔维杰·加格。
8
2001
计算切片:技术和理论。 Zbl 1024.68518号
尼拉吉·米塔尔维杰·加格。
4
2001
偏序集的字符串实现器,用于分布式计算。 Zbl 1333.68057号
维杰·加格。查卡拉特·斯卡瓦拉塔纳农
4
2001
使用受控重新执行调试分布式程序。 Zbl 1314.68384号
尼拉吉·米塔尔维杰·加格。
2
2000
随机离散事件系统的概率语言形式。 Zbl 0957.68055号
维杰·加格。拉特内什·库马尔马库斯,史蒂文一世。
6
1999
检测全局谓词:技术及其局限性。 Zbl 1448.68080号
Craig M.蔡斯。维杰·加格。
5
1998
应用计算流体动力学。 Zbl 0903.00023号
1
1998
使用格理论对实时离散事件系统进行监督控制。 兹比尔0846.93005
科弗,达伦·D。维杰·加格。
12
1996
逻辑离散事件系统的建模和控制。 Zbl 0875.68980号
拉特内什·库马尔维杰·加格。
31
1995
离散事件动力系统的最优监督控制。 Zbl 0817.93003号
拉特内什·库马尔维杰·加格。
22
1995
离散事件系统中的模型不确定性。 Zbl 0826.93004号
斯坦利·杨维杰·加格。
8
1995
格上不等式的极值解及其在监督控制中的应用。 Zbl 0873.68002号
拉特内什·库马尔维杰·加格。
4
1995
有效检测全局谓词的受限类。 Zbl 1524.68212号
Craig M.蔡斯。维杰·加格。
1995
输入输出离散事件系统的有限缓冲实现。 Zbl 0830.93014号
拉特内什·库马尔维杰·加格。马库斯,史蒂文一世。
1
1995
离散事件动态系统监督控制的谓词和谓词变换器。 Zbl 0774.93003号
拉特内什·库马尔维杰·加格马库斯,史蒂文一世。
25
1993
离散事件动力系统的语言稳定性和稳定性。 Zbl 0785.93006号
拉特内什·库马尔维杰·加格马库斯,史蒂文一世。
16
1993
并发正则表达式及其与Petri网的关系。 Zbl 0745.68080号
维杰·加格。麻省理工学院拉古纳。
16
1992
关于顺序行为的监督控制。 Zbl 0788.93029号
拉特内什·库马尔维杰·加格马库斯,史蒂文一世。
7
1992
分解偏序集的一些优化算法。 Zbl 0764.68070号
维杰·加格。
2
1992
离散事件动力系统的能控性和正规性。 兹比尔0759.93013
库马尔,拉特内什加格,维杰马库斯,史蒂文一世。
12
1991
计算上控子语言和正规子语言的公式。 Zbl 0715.93044号
R·D·勃兰特。加格,V。R.库马尔。林,F。S.I.马库斯。W.M.沃纳姆。
32
1990
加热对凹壁流动稳定性的影响。 Zbl 0582.76062号
维杰·加格。R.C.迪普里玛。
2
1984
全部的 前5名

355位作者引用

16 维杰·加格。
12 高井,Shigemasa
10 拉福,Stéphane
8 简·科门达
7 拉特内什·库马尔
7 van Schuppen,Jan H。
7 沃尔特·默里(Walter Murray),沃纳姆(Wonham)
6 林,冯
6 阿索克·库马尔·雷
5 巴特·德·舒特
5 汤马斯·马斯托普斯
5 尼拉吉·米塔尔
5 Ushio、Toshimitsu
5 范登·布姆,Ton J.J。
4 费边,马丁
4 蒂埃里·雅克·马萨特
博尔祖·博纳克达尔普尔
蔡凯
陈增强
傅金波
韩晓光
加布里埃尔·卡里恩
Sandeep S.Kulkarni。
君士坦丁诺·拉戈亚。
林,海
卡马尔·洛达亚
埃尔文·马尔坎德
鲁迪、凯伦
克劳斯·沃纳施密特
Seow,Kiam Tian
苏荣
斯塔夫罗斯·特里帕基斯
2 福阿德·阿布贾拉德
2 阿努拉·阿加瓦尔
2 胡安·安吉尔·阿莱多
2 Dan Alistarh
2 萨宾·布罗达
2 蔡开元
2 希曼舒·乔汉
2 Cho,Kwang-Hyun先生
2 Combarro,Elías F。
2 艾伦,费思
2 伊利耶斯·法尔科内
2 甘永美
2 亚历山德罗·朱阿
2 西莉亚·A·格拉斯博士。
2 拉希德·格拉乌伊
2 小笠岛桥口
2 汉斯·希伦多恩
2 莫里斯·赫利希。
2 黄洪涛
2 Jimbo、Shuji
2 康,恩苏克
2 苏加塔·卡西亚普
2 金恩秀
2 Kodama、Shinzo
2 特里斯坦勒加尔
2 李志武
2 安东尼奥·马基雅维罗
2 西尔维娅·马丁内斯
2 塞德里克·梅特
2 内尔玛·莫雷拉
2 尼科瓦拉,离子
2 公园,Seong-Jin
2 拉姆昌德拉·帕瓦德
2 米歇尔·雷纳尔
2 罗杰里奥·里斯
2 乔尔·里比奇
2 马丁·苏尔兹曼
2 彼得·蒂曼。
2 约翰·G·蒂斯特。
2 尼汀·瓦迪娅(Nitin H.Vaidya)。
2 Jose C.Valverde。
2 劳伦特·范·贝京
2 王兆安
2 吴乃琪
2 张仁元
1 瓦西姆·阿巴斯
1 莫赫塔尔·阿巴斯
1 阿吉雷·萨拉斯,路易斯一世。
1 Alsaadi、Fuad Eid Salem
1 安德烈·阿诺德
1 爱德华多·阿韦洛。
1 普吉·阿斯图蒂
1 弗朗西斯·阿坦波雷
1 哈吉特·阿提亚
1 克里斯汀·拜尔
1 巴拉瑟布拉曼尼亚语
1 西尔瓦诺·巴莱米
1 克里斯托弗·巴雷特。
1 David A.Basin。
1 内吉布·本·哈杰·阿鲁阿内
1 萨德克·本萨勒姆
1 马丁·伯格伦德
1 汉斯·贝勒
1 德巴马利亚·比斯瓦斯
1 亨利克·比约克隆德
1 约翰娜·比约克隆德
1 Jean-Louis Boimond
1 奥利维耶·波维尼奥
…还有255位作者

按年份列出的引文