编辑配置文件(在新选项卡中打开) 伊曼·纳拉萨姆迪亚 合著者距离 作者ID: 纳拉萨姆迪亚·伊曼 发布日期: 伊曼·纳拉萨姆迪亚 已编制索引的文档: 4出版物自2005年以来 合著者: 3位合著者具有4联合出版物 168位合作作者 合著者 0 单作者的 2 亚历山德罗·西马蒂 2 马可·罗维里 2 安德烈·沃伦科夫 系列 1 计算机科学中的逻辑方法 字段 4 计算机科学(68-XX) 按年份列出的出版物 zbMATH Open中包含的引文 2出版物有被引用3中的次2文件 引用人▼ 年份▼ 程序间属性。 Zbl 1248.68156号 安德烈·沃伦科夫;伊曼·纳拉萨姆迪亚 2 2009 寻找基本块和变量的对应关系。 Zbl 1141.68361号 伊曼·纳拉萨姆迪亚;安德烈·沃伦科夫 1 2005 程序间属性。 Zbl 1248.68156号 安德烈·沃伦科夫;伊曼·纳拉萨姆迪亚 2 2009 寻找基本块和变量的对应关系。 Zbl 1141.68361号 伊曼·纳拉萨姆迪亚;安德烈·沃伦科夫 1 2005 3位作者引用 1 伦纳特·贝林格 1 伊曼·纳拉萨姆迪亚 1 安德烈·沃伦科夫 0连载引用 在2个字段中引用 2 计算机科学(68-XX) 1 数学逻辑和基础(03-XX) 按年份列出的引文