编辑配置文件（在新选项卡中打开） 巴扎马内里·苏布拉曼尼亚姆·蒂亚加拉扬 合著者距离 作者ID： 蒂亚加拉扬·帕扎马内里-苏布拉曼尼亚 发布日期： 蒂亚加拉扬，P.S。；巴扎马内里·苏布拉曼尼亚姆·蒂亚加拉扬；Tiagarajan，Pazhamaneri S。；蒂亚加拉扬，P。 更多。。。较少的 已编制索引的文档： 85出版物自1973年以来 5作为编辑的贡献·1进一步贡献 传记参考： 1出版物 合著者： 51位合著者具有76联合出版物 1754合著作者 全部的 前5名合著者 8 单作者的 11 马达万穆昆德 11 杨绍发 7 哈特曼·J·根里奇。 7 尼尔森，莫根斯 7 格列泽戈兹·罗森贝格 6 马尼德拉·阿格拉瓦尔 6 布莱斯·基内斯特 6 杰斯珀·亨利克森。 6 卡玛尔·洛达亚 6 帕塔萨拉西马杜苏丹 5 拉马努贾姆，拉马斯瓦米 4 K.Narayan Kumar 三 胡格斯，P.W。 三 码头Kleijn 2 阿克沙伊，S。 2 最好的，艾克 2 菲利普·达伦多 2 迪帕克·D’Souza 2 加扎涅，托马斯 2 本杰明·乔里（Benjamin M.Gyori）。 2 洛伊奇，Hélouët 2 徐大伟（David Y.Hsu）。 2 德克·杨森 2 J.Robert跳 2 库尔特·劳滕巴赫 2 刘冰 2 弗兰克·斯蒂芬 2 Wong，翁辉 2 周军 1 杰拉德·贝瑟洛特 1 威尔弗里德·布劳尔 1 伊利亚州卡斯特拉尼 1 苏珊娜·多纳泰利 1 哈维尔·埃斯帕尔扎 1 冯磊 1 马蒂亚斯·詹岑 1 苏米特·库马尔·贾阿 1 科杰弗里 1 Krčál，帕维尔 1 奥尔纳库普弗曼 1 杰拉德·梅米 1 列奥尼德·莫克鲁辛 1 J.诺伊。 1 霍斯特·奥伯奎尔 1 Palaniappan，Sucheendra K。 1 罗希特·帕里赫 1 苏米亚·保罗 1 卡尔·亚当·佩特里 1 Jean-François拉斯金 1 沃尔夫冈·雷西格 1 Roncairol，G。 1 阿比克·罗伊乔杜里 1 布里吉特·罗佐伊 1 拉图尔·萨哈 1 罗伯特·M·夏皮罗。 1 约瑟夫·西法基斯 1 埃瓦州斯坦基维奇·维埃奇诺 1 吕迪格·瓦尔克 1 莫西·亚亚科夫·瓦尔迪 1 伊戈尔·瓦卢基维奇 1 沃尔特·默里（Walter Murray），沃纳姆（Wonham） 1 易、王 1 张燕 1 康拉德·祖塞 全部的 前5名系列 13 理论计算机科学 6 信息与计算 6 计算机科学课堂讲稿 2 萨达纳 1 信息学报 1 信息和控制 1 计算机协会杂志 1 SIAM计算机杂志 1 《社会数学年鉴》（Annales Societatis Mathematicae Polonae）。系列IV 1 纯逻辑与应用逻辑年鉴 1 国际计算机科学基础杂志 1 Elektronische信息verarbeitung und Kybernetik 1 系统设计中的形式化方法 1 美国医学会杂志 1 计算机基础理论 全部的 前5名领域 83 计算机科学（68至XX） 16 数学逻辑和基础（03-XX） 8 系统论；控制（93至XX） 6 总体主题；集合（00-XX） 5 概率论与随机过程（60-XX） 5 生物学和其他自然科学（92-XX） 三 有序，格，有序代数结构（06-XX） 1 历史和传记（01-XX） 1 组合数学（05-XX） 1 范畴理论；同调代数（18-XX） 1 常微分方程（34-XX） 1 统计学（62-XX） 1 数值分析（65-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 75出版物有被引用514中的次367文件 引用人▼ 年份▼ 惰性线性混合自动机的离散时间行为。 Zbl 1078.68069号 马尼德拉·阿格拉瓦尔；蒂亚加拉扬，P.S。 34 2005 惰性矩形混合自动机。 Zbl 1133.68359号 马尼德拉·阿格拉瓦尔；蒂亚加拉扬，P.S。 32 2004 正规MSC语言理论。 Zbl 1101.68656号 杰斯珀·亨利克森。；马达瓦恩·穆昆德；K.Narayan Kumar；米林·索霍尼；蒂亚加拉扬，P.S。 32 2005 基本过渡系统。 Zbl 0759.68022号 尼尔森，M。；Rozenberg，G。；蒂亚加拉扬，P.S。 24 1992 连接通信过程的MSO理论。 Zbl 1172.68556号 马杜苏丹，P。；蒂亚加拉扬，P.S。；杨少发 22 2005 局部规范的分布式控制器综合。 Zbl 0986.68079号 马杜苏丹，P。；蒂亚加拉扬，P.S。 20 2001 动态线性时间时序逻辑。 Zbl 0931.03033号 Henriksen，Jesper G。；蒂亚加拉扬，P.S。 20 1999 通用Petri网的事件结构语义。 Zbl 0872.68126号 胡格斯，P.W。；H.C.M.克莱因。；蒂亚加拉扬，P.S。 18 1996 Petri网的跟踪语义。 兹伯利0826.68085 胡格斯，P.W。；H.C.M.克莱因。；蒂亚加拉扬，P.S。 18 1995 反应环境中的开放系统：控制和合成。 兹比尔0999.68124 奥尔纳库普弗曼；马杜苏丹，P。；蒂亚加拉扬，P.S。；莫舍·瓦尔迪。 18 2000 Petri网：基本概念、结构、行为。 Zbl 0607.68045号 Rozenberg，G。；蒂亚加拉扬，P.S。 18 1986 Mazurkiewicz轨迹的一种表达完整的线性时间时序逻辑。 Zbl 1096.03015号 蒂亚加拉扬，P.S。；Walukiewicz，I。 16 2002 网络理论与应用。《过程和系统的一般网络理论高级课程汇编》，汉堡，1979年10月8日至19日。Wilfried Brauer编辑。 Zbl 0434.68040号 16 1980 替代系统——一系列基于并发的系统模型。 Zbl 0441.68064号 Genrich，H.J。；Lautenbach，K。；蒂亚加拉扬，P.S。 16 1980 分布式转换系统的逻辑研究。 Zbl 0832.68075号 卡玛尔·洛达亚；罗希特·帕里赫；拉马努贾姆，R。；蒂亚加拉扬，P.S。 14 1995 基本网络系统。 Zbl 0636.68063号 蒂亚加拉扬，P.S。 14 1987 一类可判定的异步分布式控制器。 Zbl 1012.68118号 马杜苏丹，P。；Thiagarajan，P.S。 11 2002 事件结构和迹幺半群。 Zbl 0756.68036号 布里吉特·罗佐伊；蒂亚加拉扬，P.S。 10 1991 重新审视自由选择网。 Zbl 0589.68044号 蒂亚加拉扬，P.S。；沃斯，K。 10 1984 Mazurkiewicz迹上的线性时间时序逻辑。 兹伯利0886.03017 马达瓦恩·穆昆德；蒂亚加拉扬，P.S。 9 1996 关于消息序列图和有限生成的常规MSC语言。 Zbl 0973.68042号 杰斯珀·亨利克森。；马达瓦恩·穆昆德；K.Narayan Kumar；蒂亚加拉扬，P.S。 9 2000 马尔可夫链符号动力学的近似验证。 Zbl 1362.68162号 马尼德拉·阿格拉瓦尔；阿克沙伊，S。；布莱斯·基内斯特；蒂亚加拉扬，P.S。 8 2012 非确定性和并发度：Petri网视图。 Zbl 0595.68051号 尼尔森，M。；蒂亚加拉扬，P.S。 7 1984 双极同步方案理论。 Zbl 0547.68054号 Genrich，H.J。；蒂亚加拉扬，P.S。 7 1984 井分支事件结构的逻辑特征。 Zbl 0761.68058号 马达瓦恩·穆昆德；蒂亚加拉扬，P.S。 6 1992 通过形态的离散事件系统控制器。 Zbl 0986.93041号 马杜苏丹，P。；蒂亚加拉扬，P.S。 6 1998 事件结构子类的模式逻辑。 Zbl 0643.68026号 Lodaya，K。；蒂亚加拉扬，P.S。 6 1987 马尔可夫链符号动力学的近似验证。 Zbl 1321.68367号 马尼德拉·阿格拉瓦尔；阿克沙伊，S。；布莱斯·基内斯特；Thiagarajan，P.S。 6 2015 乘积区间自动机：时间自动机的一个子类。 Zbl 0958.68087号 迪帕克·D’Souza；蒂亚加拉扬，P.S。 5 1999 根据全球规范合成分布式转换系统。 兹比尔0956.68008 伊利亚州卡斯特拉尼；马达瓦恩·穆昆德；蒂亚加拉扬，P.S。 5 1999 规则事件结构和有限Petri网：无冲突的情况。 Zbl 1047.68088号 尼尔森，莫根斯；Thiagarajan，P.S。 5 2002 活的和安全的Petri网的一些类。 Zbl 0634.68062号 最好的，艾克；Tiagarajan，Pazhamaneri S。 5 1987 因果信息序列图。 Zbl 1187.68081号 加扎涅，托马斯；布莱斯·基内斯特；洛伊奇，Hélouët；蒂亚加拉扬，P.S。；杨绍发 4 2009 用于通信顺序代理的时序逻辑。一、。 Zbl 0754.68085号 卡玛尔·洛达亚；拉马努贾姆，R。；蒂亚加拉扬，P.S。 4 1992 消息序列图的常规集合（扩展抽象）。 Zbl 0996.68506号 杰斯珀·亨利克森。；马达瓦恩·穆昆德；Narayan Kumar，K。；蒂亚加拉扬，P.S。 4 2000 正则事件结构和有限Petri网：一个猜想。 Zbl 1060.68082号 蒂亚加拉扬，P.S。 4 2002 过渡系统、事件结构和展开。 Zbl 0826.68086号 尼尔森，M。；Rozenberg，G。；蒂亚加拉扬，P.S。 三 1995 真正并发的模型和逻辑。 Zbl 1075.68604号 卡玛尔·洛达亚；马达瓦恩·穆昆德；拉马努贾姆，R。；蒂亚加拉扬，P.S。 三 1992 离散事件系统的分支时间控制器。 Zbl 0992.68148号 马杜苏丹，P。；蒂亚加拉扬，P.S。 三 2002 异步控制结构的等价性。 兹比尔0245.93020 J.Robert跳；蒂亚加拉扬，P.S。 三 1973 D-连续因果网的一些性质。 Zbl 0489.68052号 费尔南德斯，C。；蒂亚加拉扬，P.S。 三 1982 并发环境中的拉宾定理：一个猜想。 Zbl 1308.68085号 蒂亚加拉扬，P.S。；杨少发 三 2014 事件结构的公理化。 Zbl 0731.03021号 马达瓦恩·穆昆德；蒂亚加拉扬，P.S。 三 1989 分布式转换系统的逻辑。（技术贡献）。 Zbl 0683.68053号 Lodaya，K。；拉马努贾姆，R。；蒂亚加拉扬，P.S。 三 1989 时间系统的形式化建模和分析。第五届国际会议，FORMATS 2007，奥地利萨尔茨堡，2007年10月3-5日。诉讼程序。 Zbl 1138.68007号 三 2007 因果信息序列图。 Zbl 1151.68528号 加扎涅，托马斯；布莱斯·基内斯特；洛伊奇，Hélouët；蒂亚加拉扬，P.S。；杨绍发 三 2007 动态线性时间时序逻辑的产品版本。 Zbl 1512.68156号 杰斯珀·亨利克森。；蒂亚加拉扬，P.S。 三 1997 通信任务的准静态调度。 Zbl 1160.68463号 菲利普·达伦多；布莱斯·基内斯特；蒂亚加拉扬，P.S。；杨绍发 2 2008 线性时间时序逻辑的分布式版本：跟踪透视图。 Zbl 0934.03025号 蒂亚加拉扬，P.S。；杰斯珀·亨利克森。 2 1998 定时与定时触发自动机。 Zbl 1099.68069号 Krčál，帕维尔；列奥尼德·莫克鲁辛；蒂亚加拉扬，P.S。；易、王 2 2004 关于D-连续因果网的一个注记。 Zbl 0521.68063号 C·费尔南德斯。；蒂亚加拉扬，P.S。 2 1983 D连续因果网：非连续过程模型。 兹伯利0531.68016 费尔南德斯，C。；蒂亚加拉扬，P.S。 2 1984 网络理论的一些行为方面。 Zbl 0655.68071号 蒂亚加拉扬，P.S。 2 1988 双极同步系统。 Zbl 0473.68059号 Genrich，H.J。；蒂亚加拉扬，P.S。 1 1980 基于组件的生物通道模型构建：参数估计问题。 Zbl 1215.92016年 科杰弗里；徐大卫；蒂亚加拉扬，P.S。 1 2011 产品间隔自动机。 Zbl 1019.68055号 迪帕克·D’Souza；蒂亚加拉扬，P.S。 1 2002 产品行为的一些逻辑和自动机理论方面。 Zbl 0917.68148号 蒂亚加拉扬，P.S。 1 1998 通信任务的准静态调度。 Zbl 1209.68060号 菲利普·达伦多；布莱斯·基内斯特；蒂亚加拉扬，P.S。；杨绍发 1 2010 关于可观测发生网的注记。 Zbl 0574.68053号 C·费尔南德斯。；尼尔森，M。；蒂亚加拉扬，P.S。 1 1985 赞扬自由选择网。 Zbl 0603.68062号 蒂亚加拉扬，P.S。；沃斯，K。 1 1985 网络图：弥合HMSC和可执行规范之间的差距。 Zbl 1274.68198号 马达瓦恩·穆昆德；K.Narayan Kumar；蒂亚加拉扬，P.S。 1 2003 异步控制结构的互连。 兹伯利0331.93034 J.Robert跳；蒂亚加拉扬，P.S。 1 1975 基于偏序的时序逻辑的可判定性。 Zbl 1422.03027号 卡玛尔·洛达亚；拉马努贾姆，R。；Thiagarajan，P.S。 1 1993 混合系统的近似概率验证。 Zbl 1412.92120号 本杰明·乔里（Benjamin M.Gyori）。；刘冰；苏米亚·保罗；Ramanathan，R。；蒂亚加拉扬，P.S。 1 2015 用于并发编程的格式良好的流程图。 Zbl 0513.68054号 Genrich，H.J。；蒂亚加拉扬，P.S。 1 1983 Petri网及其与图文法的关系。 Zbl 0517.68064号 Genrich，H.J。；詹森，D。；Rozenberg，G。；蒂亚加拉扬，P.S。 1 1983 分布式混合自动机的简洁离散时间近似。 Zbl 1361.68125号 蒂亚加拉扬，P.S。；杨绍发 1 2010 可实现非连续过程的概念。 Zbl 0642.68028号 C·费尔南德斯。；尼尔森，M。；蒂亚加拉扬，P.S。 1 1986 通信事务处理：基于MSC的反应式嵌入式系统计算模型。 Zbl 1088.68133号 阿比克·罗伊乔杜里；巴扎马内里·苏布拉曼尼亚姆·蒂亚加拉扬 1 2004 Petri网的跟踪语义（扩展抽象）。 Zbl 1427.68199号 胡格斯，P.W。；H.C.M.克莱因。；蒂亚加拉扬，P.S。 1 1992 广义句柄文法及其与Petri网的关系。 Zbl 0558.68051号 Genrich，H.J。；詹森，D。；Rozenberg，G。；蒂亚加拉扬，P.S。 1 1984 分布式马尔可夫链。 Zbl 1432.68266号 拉图尔·萨哈；哈维尔·埃斯帕尔扎；苏米特·库马尔·贾阿；马达瓦恩·穆昆德；蒂亚加拉扬，P.S。 1 2015 分布式混合自动机的模离散时间近似。 Zbl 1242.93061号 蒂亚加拉扬，P.S。；杨少发 1 2012 动态贝叶斯网络：概率动力学的因子模型。 兹比尔1375.68087 Palaniappan，Sucheendra K。；蒂亚加拉扬，P.S。 1 2012 网络理论的一些行为方面。 Zbl 0699.68083号 蒂亚加拉扬，P.S。 1 1990 马尔可夫链符号动力学的近似验证。 Zbl 1321.68367号 马尼德拉·阿格拉瓦尔；阿克沙伊，S。；布莱斯·基内斯特；Thiagarajan，P.S。 6 2015 混合系统的近似概率验证。 Zbl 1412.92120号 本杰明·乔里（Benjamin M.Gyori）。；刘冰；苏米亚·保罗；Ramanathan，R。；蒂亚加拉扬，P.S。 1 2015 分布式马尔可夫链。 Zbl 1432.68266号 拉图尔·萨哈；哈维尔·埃斯帕尔扎；苏米特·库马尔·贾阿；马达瓦恩·穆昆德；蒂亚加拉扬，P.S。 1 2015 并发环境中的拉宾定理：一个猜想。 Zbl 1308.68085号 蒂亚加拉扬，P.S。；杨绍发 三 2014 马尔可夫链符号动力学的近似验证。 Zbl 1362.68162号 马尼德拉·阿格拉瓦尔；阿克沙伊，S。；布莱斯·基内斯特；蒂亚加拉扬，P.S。 8 2012 分布式混合自动机的模离散时间近似。 Zbl 1242.93061号 蒂亚加拉扬，P.S。；杨绍发 1 2012 动态贝叶斯网络：概率动力学的因子模型。 兹比尔1375.68087 Palaniappan，Sucheendra K。；蒂亚加拉扬，P.S。 1 2012 基于组件的生物通道模型构建：参数估计问题。 Zbl 1215.92016年 科杰弗里；徐大卫；蒂亚加拉扬，P.S。 1 2011 通信任务的准静态调度。 Zbl 1209.68060号 菲利普·达伦多；布莱斯·基内斯特；蒂亚加拉扬，P.S。；杨绍发 1 2010 分布式混合自动机的简洁离散时间近似。 Zbl 1361.68125号 蒂亚加拉扬，P.S。；杨绍发 1 2010 因果信息序列图。 Zbl 1187.68081号 加扎涅，托马斯；布莱斯·基内斯特；洛伊奇，Hélouët；蒂亚加拉扬，P.S。；杨绍发 4 2009 通信任务的准静态调度。 Zbl 1160.68463号 菲利普·达伦多；布莱斯·基内斯特；蒂亚加拉扬，P.S。；杨绍发 2 2008 时间系统的形式化建模和分析。第五届国际会议，FORMATS 2007，奥地利萨尔茨堡，2007年10月3日至5日。诉讼程序。 Zbl 1138.68007号 三 2007 因果信息序列图。 Zbl 1151.68528号 加扎涅，托马斯；布莱斯·基内斯特；洛伊奇，Hélouët；蒂亚加拉扬，P.S。；杨少发 三 2007 惰性线性混合自动机的离散时间行为。 Zbl 1078.68069号 马尼德拉·阿格拉瓦尔；蒂亚加拉扬，P.S。 34 2005 正规MSC语言理论。 兹比尔1101.68656 杰斯珀·亨利克森。；马达瓦恩·穆昆德；K.Narayan Kumar；米林·索霍尼；蒂亚加拉扬，P.S。 32 2005 连接通信过程的MSO理论。 Zbl 1172.68556号 马杜苏丹，P。；蒂亚加拉扬，P.S。；杨绍发 22 2005 惰性矩形混合自动机。 Zbl 1133.68359号 马尼德拉·阿格拉瓦尔；蒂亚加拉扬，P.S。 32 2004 定时与定时触发自动机。 Zbl 1099.68069号 Krčál，帕维尔；列奥尼德·莫克鲁辛；蒂亚加拉扬，P.S。；易、王 2 2004 通信事务处理：基于MSC的反应式嵌入式系统计算模型。 Zbl 1088.68133号 阿比克·罗伊乔杜里；巴扎马内里·苏布拉曼尼亚姆·蒂亚加拉扬 1 2004 网络图：弥合HMSC和可执行规范之间的差距。 Zbl 1274.68198号 马达瓦恩·穆昆德；K.Narayan Kumar；蒂亚加拉扬，P.S。 1 2003 Mazurkiewicz轨迹的一种表达完整的线性时间时序逻辑。 Zbl 1096.03015号 蒂亚加拉扬，P.S。；Walukiewicz，I。 16 2002 一类可判定的异步分布式控制器。 Zbl 1012.68118号 马杜苏丹，P。；蒂亚加拉扬，P.S。 11 2002 规则事件结构和有限Petri网：无冲突的情况。 Zbl 1047.68088号 尼尔森，莫根斯；蒂亚加拉扬，P.S。 5 2002 正则事件结构和有限Petri网：一个猜想。 Zbl 1060.68082号 Thiagarajan，P.S。 4 2002 离散事件系统的分支时间控制器。 Zbl 0992.68148号 马杜苏丹，P。；蒂亚加拉扬，P.S。 三 2002 产品间隔自动机。 兹伯利1019.68055 D&rsquo；迪帕克苏扎；蒂亚加拉扬，P.S。 1 2002 局部规范的分布式控制器综合。 Zbl 0986.68079号 马杜苏丹，P。；蒂亚加拉扬，P.S。 20 2001 反应环境中的开放系统：控制和合成。 兹比尔0999.68124 奥尔纳库普弗曼；马杜苏丹，P。；蒂亚加拉扬，P.S。；莫舍·瓦尔迪。 18 2000 关于消息序列图和有限生成的常规MSC语言。 Zbl 0973.68042号 杰斯珀·亨利克森。；马达瓦恩·穆昆德；K.Narayan Kumar；蒂亚加拉扬，P.S。 9 2000 消息序列图的常规集合（扩展抽象）。 Zbl 0996.68506号 杰斯珀·亨利克森。；马达瓦恩·穆昆德；Narayan Kumar，K。；蒂亚加拉扬，P.S。 4 2000 动态线性时间时序逻辑。 Zbl 0931.03033号 杰斯珀·亨利克森。；蒂亚加拉扬，P.S。 20 1999 乘积区间自动机：时间自动机的一个子类。 Zbl 0958.68087号 D&rsquo；迪帕克苏扎；蒂亚加拉扬，P.S。 5 1999 根据全球规范合成分布式转换系统。 Zbl 0956.68008号 伊利亚州卡斯特拉尼；马达瓦恩·穆昆德；蒂亚加拉扬，P.S。 5 1999 通过形态的离散事件系统控制器。 Zbl 0986.93041号 马杜苏丹，P。；蒂亚加拉扬，P.S。 6 1998 线性时间时序逻辑的分布式版本：跟踪透视图。 兹比尔0934.03025 蒂亚加拉扬，P.S。；杰斯珀·亨利克森。 2 1998 产品行为的一些逻辑和自动机理论方面。 Zbl 0917.68148号 Thiagarajan，P.S。 1 1998 动态线性时间时序逻辑的产品版本。 Zbl 1512.68156号 杰斯珀·亨利克森。；蒂亚加拉扬，P.S。 三 1997 一般Petri网的事件结构语义。 Zbl 0872.68126号 胡格斯，P.W。；H.C.M.克莱因。；蒂亚加拉扬，P.S。 18 1996 Mazurkiewicz迹上的线性时间时序逻辑。 Zbl 0886.03017号 马达瓦恩·穆昆德；蒂亚加拉扬，P.S。 9 1996 Petri网的跟踪语义。 Zbl 0826.68085号 胡格斯，P.W。；H.C.M.克莱因。；蒂亚加拉扬，P.S。 18 1995 分布式转换系统的逻辑研究。 Zbl 0832.68075号 卡玛尔·洛达亚；罗希特·帕里赫；拉马努贾姆，R。；蒂亚加拉扬，P.S。 14 1995 过渡系统、事件结构和展开。 Zbl 0826.68086号 尼尔森，M。；Rozenberg，G。；蒂亚加拉扬，P.S。 三 1995 基于偏序的时序逻辑的可判定性。 Zbl 1422.03027号 卡玛尔·洛达亚；拉马努贾姆，R。；蒂亚加拉扬，P.S。 1 1993 基本过渡系统。 Zbl 0759.68022号 尼尔森，M。；Rozenberg，G。；蒂亚加拉扬，P.S。 24 1992 井分支事件结构的逻辑特征。 Zbl 0761.68058号 马达瓦恩·穆昆德；蒂亚加拉扬，P.S。 6 1992 用于通信顺序代理的时序逻辑。一、。 Zbl 0754.68085号 卡玛尔·洛达亚；拉马努贾姆，R。；蒂亚加拉扬，P.S。 4 1992 真正并发的模型和逻辑。 兹比尔1075.68604 卡玛尔·洛达亚；马达瓦恩·穆昆德；拉马努贾姆，R。；蒂亚加拉扬，P.S。 三 1992 Petri网的跟踪语义（扩展抽象）。 Zbl 1427.68199号 胡格斯，P.W。；H.C.M.克莱因。；蒂亚加拉扬，P.S。 1 1992 事件结构和迹幺半群。 兹伯利0756.68036 布里吉特·罗佐伊；蒂亚加拉扬，P.S。 10 1991 网络理论的一些行为方面。 Zbl 0699.68083号 Thiagarajan，P.S。 1 1990 事件结构的公理化。 Zbl 0731.03021号 马达瓦恩·穆昆德；蒂亚加拉扬，P.S。 三 1989 分布式转换系统的逻辑。（技术贡献）。 Zbl 0683.68053号 Lodaya，K。；拉马努贾姆，R。；蒂亚加拉扬，P.S。 三 1989 网络理论的一些行为方面。 Zbl 0655.68071号 蒂亚加拉扬，P.S。 2 1988 基本网络系统。 Zbl 0636.68063号 蒂亚加拉扬，P.S。 14 1987 事件结构子类的模式逻辑。 Zbl 0643.68026号 Lodaya，K。；蒂亚加拉扬，P.S。 6 1987 活的和安全的Petri网的一些类。 Zbl 0634.68062号 最好的，艾克；Tiagarajan，Pazhamaneri S。 5 1987 Petri网：基本概念、结构、行为。 Zbl 0607.68045号 Rozenberg，G。；蒂亚加拉扬，P.S。 18 1986 可实现非连续过程的概念。 Zbl 0642.68028号 C·费尔南德斯。；尼尔森，M。；Thiagarajan，P.S。 1 1986 关于可观测发生网的注记。 Zbl 0574.68053号 C·费尔南德斯。；尼尔森，M。；蒂亚加拉扬，P.S。 1 1985 赞扬自由选择网。 Zbl 0603.68062号 蒂亚加拉扬，P.S。；沃斯，K。 1 1985 重新审视自由选择网。 兹伯利0589.68044 蒂亚加拉扬，P.S。；沃斯，K。 10 1984 非确定性和并发度：Petri网视图。 Zbl 0595.68051号 尼尔森，M。；蒂亚加拉扬，P.S。 7 1984 双极同步方案理论。 Zbl 0547.68054号 Genrich，H.J。；蒂亚加拉扬，P.S。 7 1984 D连续因果网：非连续过程模型。 Zbl 0531.68016号 费尔南德斯，C。；蒂亚加拉扬，P.S。 2 1984 广义句柄文法及其与Petri网的关系。 Zbl 0558.68051号 Genrich，H.J。；詹森，D。；Rozenberg，G。；蒂亚加拉扬，P.S。 1 1984 关于D-连续因果网的注记。 Zbl 0521.68063号 C·费尔南德斯。；蒂亚加拉扬，P.S。 2 1983 用于并发编程的格式良好的流程图。 Zbl 0513.68054号 Genrich，H.J。；蒂亚加拉扬，P.S。 1 1983 Petri网及其与图文法的关系。 Zbl 0517.68064号 根里奇，H.J。；詹森，D。；Rozenberg，G。；蒂亚加拉扬，P.S。 1 1983 D-连续因果网的一些性质。 Zbl 0489.68052号 费尔南德斯，C。；蒂亚加拉扬，P.S。 三 1982 网络理论与应用。《过程和系统的一般网络理论高级课程汇编》，汉堡，1979年10月8日至19日。Wilfried Brauer编辑。 兹伯利0434.68040 16 1980 替代系统——一系列基于并发的系统模型。 Zbl 0441.68064号 Genrich，H.J。；Lautenbach，K。；蒂亚加拉扬，P.S。 16 1980 双极同步系统。 Zbl 0473.68059号 Genrich，H.J。；蒂亚加拉扬，P.S。 1 1980 异步控制结构的互连。 Zbl 0331.93034号 J.Robert跳；蒂亚加拉扬，P.S。 1 1975 异步控制结构的等价性。 Zbl 0245.93020号 J.Robert跳；蒂亚加拉扬，P.S。 三 1973 所有引用出版物 前5名被引用出版物 全部的 前5名521位作者引用 23 巴扎马内里·苏布拉曼尼亚姆·蒂亚加拉扬 14 保罗·加斯丁 13 贝内迪克特·博利格 10 码头Kleijn 9 马西耶·库特尼 8 安卡·穆斯科尔 7 阿克沙伊，S。 7 最好的，艾克 7 菲利普·达伦多 7 布莱斯·基内斯特 7 雷米·莫林 7 马达瓦恩·穆昆德 7 格列泽戈兹·罗森贝格 6 帕特里夏·鲍耶 6 劳拉·佐丹奴 6 迪特里赫·库斯克 6 阿尔贝托·马泰利 6 杨绍发 5 卢卡·伯纳迪内洛 5 尼尔森，莫根斯 5 Marta Pietkiewicz-Koutny 5 露西娅·波梅尔 5 范格拉贝克、罗伯特·扬 5 伊琳娜·B·维碧茨卡岩。 4 拉杰夫·阿鲁尔 4 埃里克·巴杜埃尔 4 克里斯特尔·拜尔 4 德塞尔，约格 4 沃尔克·迪克特 4 哈维尔·埃斯帕尔扎 4 伯恩德·芬克贝纳 4 乌苏拉·戈尔茨 4 洛伊奇，Hélouët 4 卡玛尔·洛达亚 4 穆拉诺，阿尼洛 4 奥尔德罗格，恩斯特·吕迪格 4 乔尔·欧·瓦克宁。 4 Doron A.Peled。 4 纳塔利·斯兹纳杰德 4 詹姆斯·沃雷尔。 三 David A.Basin。 三 尼古拉·鲍德鲁 三 贝拉德，贝特里奇 三 劳拉·博泽利 三 阿伦·程 三 维克多·切波伊。 三 安德烈亚·科拉迪尼 三 达姆，沃纳 三 黛拉·莫妮卡，达里奥 三 安德烈·埃伦菲赫特 三 玛丽·何塞·福廷 三 Fröschle，Sibylle B。 三 曼努埃尔·吉塞金 三 丹尼尔·戈拉 三 朱利安·古铁雷斯 三 保罗·哈伦斯坦 三 Henriksen，Jesper G。 三 托马斯·希尔德布兰特。 三 瑞典雅各布斯 三 里扎德·贾尼基 三 约阿希姆·克莱因 三 Klüppelholz，萨沙 三 K.Narayan Kumar 三 圣菲拉福顿 三 金·古德斯特兰·拉森 三 米尔恰·拉扎尔 三 多雷尔·卢卡努 三 安德烈亚·马吉奥洛·谢蒂尼 三 尼古拉斯·马基 三 蒂埃里·雅克·马萨特 三 何塞·梅塞盖尔·瓜伊塔 三 乌卡斯·米库尔斯基 三 安吉洛·蒙塔纳里 三 乌戈·蒙塔纳里。 三 G.Michele Pinna 三 拉马努贾姆，拉马斯瓦米 三 布里吉特·罗佐伊 三 伊万诺·萨尔沃 三 路易吉·桑托卡纳莱 三 S.Shankar，萨斯特里 三 斯文·舍韦 三 斯莱亚特，蒂杰斯 三 塞塞迪尔·杜普雷，丹尼尔 三 吕迪格·瓦尔克 三 约阿希姆·韦勒 三 乔泽夫·温科夫斯基 三 格林·温斯克尔 三 迈克尔·J·伍尔德里奇。 三 吉田、Nobuko 2 保罗·巴尔丹 2 朱利安·贝内特 2 迪特马尔·伯旺格 2 菲利波·邦奇 2 大卫·布雷索林 2 纳迪亚·布西 2 杰雷米·查洛平 2 陈晓亮 2 乔迪·科尔塔德拉 2 瑟伦·德博伊斯 2 雷蒙德·魔鬼队 …和421多位作者 全部的 前5名56篇连载文章被引用 67 理论计算机科学 30 信息与计算 18 信息学报 12 信息处理信件 12 计算机与系统科学杂志 10 系统设计中的形式化方法 6 离散事件动态系统 4 程序设计中的逻辑和代数方法杂志 三 Automatica公司 三 编程和计算机软件 三 计算的形式方面 2 计算机程序设计科学 2 纯逻辑与应用逻辑年鉴 2 MSCS公司。计算机科学中的数学结构 2 国际计算机科学基础杂志 2 国际计算机数学杂志 2 数学与人工智能年鉴 2 计算机基础理论 2 逻辑与代数程序设计杂志 2 逻辑程序设计理论与实践 2 萨达纳 2 ACM计算逻辑事务 2 应用逻辑杂志 2 计算机科学中的逻辑方法 2 Modelirovanie i Analiz信息系统 1 人工智能 1 国际通用系统杂志 1 国际理论物理杂志 1 富兰克林学院学报 1 计算 1 组合理论杂志。系列A 1 组合理论杂志。B系列 1 哲学逻辑杂志 1 合成 1 控制论 1 系统和控制信件 1 物理D 1 订单 1 计算机科学与技术杂志 1 自动推理杂志 1 国际近似推理杂志 1 分布式计算 1 RAIRO公司。Informatique Théorique et Applications公司 1 控制论与系统分析 1 国际计算机与系统科学杂志 1 SIAM科学计算杂志 1 应用非经典逻辑杂志 1 工程中的数学问题 1 美国医学会杂志 1 自然与社会中的离散动力学 1 应用数学杂志 1 计算机语言、系统和结构 1 计算机科学中的数学 1 算法 1 萨拉托夫斯科戈大学。诺瓦亚·塞里亚。Seriya Matematika、Mekhanika、Informatika 1 计算机科学评论 全部的 前5名23个字段中引用 329 计算机科学（68至XX） 75 数学逻辑和基础（03-XX） 36 系统论；控制（93至XX） 18 博弈论、经济学、金融和其他社会和行为科学（91-XX） 8 组合数学（05-XX） 8 有序，格，有序代数结构（06-XX） 8 运筹学、数学规划（90-XX） 7 概率论与随机过程（60-XX） 7 信息与通信理论、电路（94-XX） 5 生物学和其他自然科学（92-XX） 4 范畴理论；同调代数（18-XX） 4 常微分方程（34-XX） 4 数值分析（65-XX） 三 数论（11-XX） 2 历史和传记（01-XX） 2 动力系统和遍历理论（37至XX） 2 统计学（62-XX） 2 粒子和系统力学（70-XX） 1 交换代数（13-XX） 1 偏微分方程（35-XX） 1 变分法与最优控制；最优化（49至XX） 1 凸和离散几何（52-XX） 1 流体力学（76-XX） 按年份列出的引文