编辑配置文件(在新选项卡中打开) 维杰·加格。 合著者距离 作者ID: 加格·维杰伊-k 发布方式: 维杰·加格。;维杰·加格;加格,V。 更多。。。较少的 主页: http://users.ece.utexas.edu/~加格/ 外部链接: MGP公司·数据库许可证 已编制索引的文档: 73出版物自1981年以来,包括2本书 4作为编辑的贡献 合著者: 39位合著者具有57联合出版物 776位联合作者 全部的 前5名合著者 13 单作者的 13 库马尔,拉特内什 9 马库斯,史蒂文一世。 8 尼拉吉·米塔尔 三 阿努拉·阿加瓦尔 三 希曼舒·乔汉 三 达伦·科弗。 三 奥加尔,维尼特A。 三 ⑩en,阿尔珀 三 郑、熊 2 兰加纳斯·阿特里亚 2 巴拉瑟布拉曼尼亚语 2 张延忠 2 Craig M.蔡斯。 2 费伯,帕斯卡 2 胡昌勇 2 苏加塔·卡西亚普 2 查卡拉特·斯卡瓦拉塔纳农 2 亚历山大·汤姆林森。 2 尼汀·瓦迪娅(Nitin H.Vaidya)。 1 罗伯特·D·勃兰特。 1 约翰·布里奇曼。 1 Chakaravarthy,Venkatesan T。 1 阿纳米特拉·罗伊·乔杜里 1 Om P.达马尼。 1 理查德·迪普里玛(Richard C.DiPrima)。 1 莫里斯·赫利希。 1 洪伟伦 1 菲利普·乔根森(Philip C.E.Jorgenson)。 1 约翰·凯佩利马利尔 1 科塔帕利,基肖尔 1 Ajay D.Kshemkalyani。 1 林,冯 1 保罗·J·马托。 1 汉谟拉比门德斯 1 J.Roger Mitchell 1 阿拉文·纳塔拉扬 1 沙伊莱什·帕蒂尔 1 麻省理工学院拉古纳。 1 萨巴沃尔,瑜伽 1 穆凯什·辛格尔 1 阿希斯·塔拉夫达尔 1 王益民 1 罗杰·沃滕霍夫(Roger P.Wattenhofer)。 1 沃尔特·默里(Walter Murray),沃纳姆(Wonham) 1 斯坦利·S·杨。 全部的 前5名系列 7 IEEE自动控制汇刊 7 分布式计算 4 信息处理信件 4 理论计算机科学 三 SIAM控制与优化杂志 三 并行与分布式计算杂志 2 系统和控制信件 2 信息与计算 2 计算机科学课堂讲稿 1 信息学报 1 应用力学与工程中的计算机方法 1 流体物理学 1 电气电子工程师学会计算机期刊 1 计算系统理论 1 Kluwer国际工程与计算机科学系列 1 机械工程 全部的 前5名领域 56 计算机科学(68至XX) 15 系统论;控制(93至XX) 9 流体力学(76-XX) 6 阶、格、有序代数结构(06-XX) 4 一般性和全局性主题;集合(00-XX) 三 数值分析(65-XX) 三 运筹学、数学规划(90-XX) 2 数学逻辑和基础(03-XX) 2 组合数学(05-XX) 1 结合环与代数(16-XX) 1 博弈论、经济学、金融学以及其他社会和行为科学(91-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 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名被引用出版物 全部的 前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位作者 全部的 前5名50篇连载文章中引用 31 Automatica公司 31 离散事件动态系统 19 理论计算机科学 16 系统和控制信件 12 分布式计算 11 国际控制杂志 7 信息科学 4 信息处理信件 三 凯贝内提卡 2 国际系统科学杂志 2 富兰克林学院学报 2 应用数学与计算 2 模糊集与系统 2 计算机与系统科学杂志 2 订单 2 算法 2 信息与计算 2 计算的形式方面 2 系统设计中的形式化方法 2 欧洲控制杂志 2 应用数学杂志 2 萨达纳 1 信息学报 1 离散应用数学 1 反问题 1 SIAM控制与优化杂志 1 计算机程序设计科学 1 应用数学学报。英语系列 1 新一代计算 1 数学和计算机建模 1 并行与分布式计算杂志 1 神经计算 1 应用数学建模 1 欧洲运筹学杂志 1 RAIRO公司。Informatique Théorique et Applications公司 1 国际鲁棒非线性控制杂志 1 工程中的数学问题 1 计算系统理论 1 组合优化期刊 1 调度日志 1 非线性科学与数值模拟中的通信 1 科学基础 1 计算机基础理论 1 洛巴切夫斯基数学杂志 1 控制理论与应用杂志 1 中国科学。F系列 1 亚洲控制杂志 1 控制理论与技术 1 程序设计中的逻辑和代数方法杂志 1 代数结构及其应用 全部的 前5名22个领域被引用 120 系统论;控制(93至XX) 115 计算机科学(68至XX) 17 运筹学、数学规划(90-XX) 9 组合数学(05-XX) 8 阶、格、有序代数结构(06-XX) 6 数学逻辑和基础(03-XX) 6 博弈论、经济学、金融学以及其他社会和行为科学(91-XX) 三 生物学和其他自然科学(92-XX) 三 信息与通信理论、电路(94-XX) 2 测量和集成(28-XX) 2 动力系统和遍历理论(37至XX) 2 算子理论(47-XX) 2 变分法与最优控制;最优化(49至XX) 2 概率论与随机过程(60-XX) 2 数值分析(65-XX) 1 线性代数和多线性代数;矩阵理论(15-XX) 1 群论与推广(20-XX) 1 常微分方程(34-XX) 1 差分和函数方程(39至XX) 1 凸和离散几何(52至XX) 1 统计学(62-XX) 1 粒子和系统力学(70-XX) 按年份列出的引文