编辑配置文件（在新选项卡中打开） 罗摩克里希纳。 合著者距离 作者ID： 拉马克里什纳.y 发布日期： 罗马克里希纳，Y.S。 外部链接： MGP公司 已编制索引的文档： 14出版物自1992年起 合著者： 6位合著者具有13联合出版物 143位联合作者 全部的 前5名合著者 1 单作者的 11 G.库蒂。 11 梅利亚·史密斯，P.迈克尔 11 路易丝·莫瑟（Louise E.Moser）。 10 狄龙，L.K。 1 帕里托什·K·潘迪亚。 1 斯科特·斯莫尔卡。 系列 4 《社会数学年鉴》（Annales Societatis Mathematicae Polonae）。系列IV 2 理论计算机科学 1 应用非经典逻辑杂志 1 萨达纳 领域 13 数学逻辑和基础（03-XX） 12 计算机科学（68至XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 12出版物有被引用35中的次23文件 引用人▼ 年份▼ 弱模态微积分中的部分阶降阶。 Zbl 1512.68160号 罗马克里希纳，Y.S。;斯科特·斯莫尔卡。 8 1997 图形区间逻辑中的自动演绎系统。 兹比尔0949.03503 梅利亚·史密斯，P.M。;莫瑟，L.E。;罗马克里希纳，Y.S。;G.库蒂。;狄龙，L.K。 4 1994 区间逻辑及其决策过程。一： 区间逻辑。 Zbl 0872.03019号 罗摩克里希纳。;梅利亚·史密斯，P.M。;莫瑟，L.E。;狄龙，L.K。;G.库蒂。 4 1996 区间逻辑及其决策过程。二： 实时间隔逻辑。 Zbl 0874.03032号 罗马克里希纳，Y.S。;梅利亚·史密斯，P.M。;莫瑟，L.E。;狄龙，L.K。;G.库蒂。 三 1996 关于Lamport的动作命题时间逻辑及其一些扩展的可满足性问题。 Zbl 0831.68103号 罗马克里希纳，Y.S。 三 1995 图形时序逻辑中的自动演绎。 Zbl 0836.03012号 莫瑟，L.E。;梅利亚·史密斯，P.M。;罗摩克里希纳。;G.库蒂。;狄龙，L.K。 三 1996 区间逻辑的公理化。 Zbl 0830.03009号 G.库蒂。;莫瑟，L.E。;梅利亚·史密斯，P.M。;罗马克里希纳，Y.S。;狄龙，L.K。 2 1995 时间逻辑公理化的完备性和稳健性。 Zbl 0816.03009号 莫瑟，L.E。;梅利亚·史密斯，P.M。;G.库蒂。;罗马克里希纳，Y.S。 2 1994 未来区间逻辑的自动机理论决策过程。 Zbl 0919.03007号 罗马克里希纳，Y.S。;狄龙，L.K。;莫瑟，L.E。;梅利亚·史密斯，P.M。;G.库蒂。 2 1992 一种实时区间逻辑及其决策过程。 Zbl 0924.03028号 罗马克里希纳，Y.S。;狄龙，L.K。;莫瑟，L.E。;梅利亚·史密斯，P.M。;G.库蒂。 2 1993 命题时态逻辑的自动机理论决策过程，从开始到结束。 Zbl 0761.03005号 罗马克里希纳，Y.S。;莫瑟，L.E。;狄龙，L.K。;梅利亚·史密斯，P.M。;G.库蒂。 1 1992 递归平均值演算。 Zbl 0928.03020号 帕里托什·K·潘迪亚。;罗马克里希纳，Y.S。 1 1998 递归平均值演算。 Zbl 0928.03020号 帕里托什·K·潘迪亚。;罗马克里希纳，Y.S。 1 1998 弱模态μ演算中的偏序约简。 Zbl 1512.68160号 罗马克里希纳，Y.S。;斯科特·斯莫尔卡。 8 1997 区间逻辑及其决策过程。一： 区间逻辑。 Zbl 0872.03019号 罗马克里希纳，Y.S。;梅利亚·史密斯，P.M。;莫瑟，L.E。;狄龙，L.K。;G.库蒂。 4 1996 区间逻辑及其决策过程。二： 实时间隔逻辑。 Zbl 0874.03032号 罗马克里希纳，Y.S。;梅利亚·史密斯，P.M。;莫瑟，L.E。;狄龙，L.K。;G.库蒂。 三 1996 图形时序逻辑中的自动演绎。 Zbl 0836.03012号 莫瑟，L.E。;Melliar Smith，P.M。;罗马克里希纳，Y.S。;G.库蒂。;狄龙，L.K。 三 1996 关于Lamport的动作命题时间逻辑及其一些扩展的可满足性问题。 Zbl 0831.68103号 罗马克里希纳，Y.S。 三 1995 区间逻辑的公理化。 Zbl 0830.03009号 G.库蒂。;莫瑟，L.E。;梅利亚·史密斯，P.M。;罗马克里希纳，Y.S。;狄龙，L.K。 2 1995 图形区间逻辑中的自动演绎系统。 Zbl 0949.03503号 梅利亚·史密斯，P.M。;莫瑟，L.E。;罗马克里希纳，Y.S。;G.库蒂。;狄龙，L.K。 4 1994 没有next的时态逻辑公理化的完备性和稳健性。 Zbl 0816.03009号 莫瑟，L.E。;梅利亚·史密斯，P.M。;G.库蒂。;罗马克里希纳，Y.S。 2 1994 实时区间逻辑及其决策过程。 Zbl 0924.03028号 罗马克里希纳，Y.S。;狄龙，L.K。;莫瑟，L.E。;梅利亚·史密斯，P.M。;G.库蒂。 2 1993 未来区间逻辑的自动机理论决策过程。 Zbl 0919.03007号 罗马克里希纳，Y.S。;狄龙，L.K。;莫瑟，L.E。;梅利亚·史密斯，P.M。;G.库蒂。 2 1992 命题时态逻辑的自动机理论决策过程，从开始到结束。 Zbl 0761.03005号 罗摩克里希纳。;莫瑟，L.E。;狄龙，L.K。;梅利亚·史密斯，P.M。;G.库蒂。 1 1992 所有引用出版物 前5名被引用出版物 全部的 前5名42位作者引用 三 狄龙，L.K。 三 G.库蒂。 三 梅利亚·史密斯，P.迈克尔 三 路易丝·莫瑟（Louise E.Moser）。 三 罗马克里希纳，Y.S。 2 弗雷德里克·梅耶·伯内兰 2 大卫·布雷索林 2 瓦伦丁·F·戈兰科。 2 迈克尔·赖赫哈特·汉森 2 彼得·格约尔·詹森 2 弗朗索瓦·拉鲁西尼 2 金·古德斯特兰·拉森 2 安吉洛·蒙塔纳里 2 马尔科·穆尼兹 2 吉·斯尔巴 1 卢卡·埃特罗 1 周朝晨 1 兰斯·克莱维兰 1 玛丽亚·德尔马·加拉多 1 伯恩德·芬克贝纳 1 乔安娜·戈林斯卡·皮拉雷克 1 菲利普，你好 1 轩尼诗，Matthew C.B。 1 詹·菲利普·霍夫曼 1 大卫·M·卡恩。 1 Marta Z.Kwiatkowska。 1 弗雷德里克·朗 1 拉杜·马特埃斯库 1 弗朗科·马扎蒂 1 托马斯·内勒 1 或łowska，Ewa S。 1 劳拉·帕尼佐 1 诺埃米，传球 1 詹姆斯·里利 1 安德鲁·威廉·罗斯科 1 Schnoebelen，哲学博士 1 圭多·西亚维科 1 斯科特·斯莫尔卡。 1 Kimmo Varpaaniemi公司 1 王旭 1 威格·威瑟林克 1 Tim A.C.Willemse。 全部的 前5名7篇连载文章中引用 4 理论计算机科学 三 应用非经典逻辑杂志 2 计算的形式方面 1 系统设计中的形式化方法 1 逻辑与代数程序设计杂志 1 萨达纳 1 计算机科学中的逻辑方法 在4个字段中引用 20 计算机科学（68至XX） 12 数学逻辑和基础（03-XX） 2 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 系统论；控制（93至XX） 按年份列出的引文