编辑配置文件(在新选项卡中打开) Masahiro Fujita 合著者距离 作者ID: 藤田茂弘 发布日期: Masahiro Fujita 已编制索引的文档: 24出版物自1982年以来 2作为编辑的贡献 合著者: 39位合著者具有17联合出版物 676合著作者 全部的 前5名合著者 4 单作者的 三 萨昆孔恰克,Thanyapat 2 比扬·阿里扎德 2 阿米尔·马苏德·加勒巴吉 2 Sreeranga P.拉詹。 1 罗纳德·C·阿尔金。 1 阿萨达、米诺 1 塔克·巴尔奇 1 Vamsi Boppana 1 程正雪 1 克拉克(Edmund Melson jun Clarke)。 1 大卫·J·柯里。 1 冯秀珊 1 Yuzo藤中 1 小池花崎 1 里卡长谷川 1 平和,Nobuyoshi 1 胡亚伦·J·。 1 木村真二 1 Osamu Koike 1 佐藤小松 1 Kraetzschmar,Gerhard K。 1 Yuji Kukimoto 1 马克·关 1 Henrik Hautop伦德 1 帕特里克·C·麦吉尔。 1 康拉德·金庸(Conrad Jinyong Moore) 1 中村广史 1 大阪,宏宇 1 佐佐、通武 1 保罗·斯克里 1 濑户,肯尼亚 1 约翰·斯莱尼。 1 Stickel,Mark E。 1 孙鹤鸣 1 佐藤忠雄 1 Tsuyoshi高木 1 高山小一郎 1 田中秀彦 1 王培坤 1 戈登·怀斯(Gordon F.Wyeth)。 1 Yukio山口 1 赵旭东 全部的 前5名系列 2 计算物理学杂志 2 IEEE电路与系统汇刊I:常规论文 1 国际现代物理杂志B 1 AIAA期刊 1 生物控制论 1 计算机与数学及其应用 1 国际并行程序设计杂志 1 机器人与自治系统 1 系统设计中的形式化方法 1 可满足性、布尔建模与计算杂志 全部的 前5名领域 17 计算机科学(68至XX) 5 信息与通信理论、电路(94-XX) 2 总体主题;集合(00-XX) 2 组合数学(05-XX) 2 流体力学(76-XX) 2 量子理论(81-XX) 1 群论与推广(20-XX) 1 数值分析(65-XX) 1 可变形固体力学(74-XX) 1 统计力学,物质结构(82-XX) 1 运筹学、数学规划(90-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 生物学和其他自然科学(92-XX) 1 系统论;控制(93至XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 12出版物有被引用14中的次14文件 引用人▼ 年份▼ 小脑自适应滤波模型。 Zbl 0523.92006号 M.藤田。 14 1982 自动推理和穷举搜索:类群存在问题。 Zbl 0827.20083 斯莱尼,J。;M.藤田。;Stickel,Mark E。 13 1995 东京:基于时态逻辑的逻辑编程语言,并将其编译为Prolog。 Zbl 0596.68013号 M.藤田。;科诺,S。;H·田中。;莫托奥卡,T。 8 1986 致密悬浮液中纳米颗粒自组织的多尺度模拟方法。 Zbl 1109.76061号 M.藤田。;Y.山口。 三 2007 半球形机头反向喷流的轴对称振荡。 Zbl 0850.76559 Masahiro Fujita 三 1995 离散函数的表示。关于Reed-Muller扩展在电路设计中的应用的IFIP WG 10.5研讨会会议记录(Reed-Miller’95),日本千叶马库哈里。 Zbl 0841.00020号 三 1996 使用浸没自由表面模型直接模拟基底上的胶体悬浮液干燥。 兹比尔1351.82071 Masahiro Fujita;Osamu Koike;Yukio山口 2 2015 基于顺序ATPG的模型检查。 Zbl 1046.68580号 Vamsi Boppana;Sreeranga P.拉詹。;高山小一郎;Masahiro Fujita 2 1999 多端二进制决策图。 Zbl 0863.00022号 1 1997 多端二进制决策图和混合决策图。 Zbl 0855.94028号 埃德蒙·克拉克(Edmund M.Clarke)。;Masahiro Fujita;赵旭东 1 1996 人机交互的行为学和情感基础。 兹比尔1011.68797 罗纳德·C·阿尔金。;Masahiro Fujita;Tsuyoshi高木;里卡长谷川 1 2003 使用差异决策图验证SpecC描述的基于事件的同步。 Zbl 1037.68519号 萨库孔恰克,Thanyapat;Masahiro Fujita 1 2002 使用浸没自由表面模型直接模拟基底上的胶体悬浮液干燥。 兹比尔1351.82071 Masahiro Fujita;Osamu Koike;Yukio山口 2 2015 致密悬浮液中纳米颗粒自组织的多尺度模拟方法。 Zbl 1109.76061号 M.藤田。;Y.山口。 三 2007 人机交互的行为学和情感基础。 Zbl 1011.68797号 罗纳德·C·阿尔金。;Masahiro Fujita;Tsuyoshi高木;里卡长谷川 1 2003 使用差异决策图验证SpecC描述的基于事件的同步。 Zbl 1037.68519号 萨库孔恰克,Thanyapat;Masahiro Fujita 1 2002 基于顺序ATPG的模型检查。 Zbl 1046.68580号 Vamsi Boppana;Sreeranga P.拉詹。;高山小一郎;Masahiro Fujita 2 1999 多端二进制决策图。 Zbl 0863.00022号 1 1997 离散函数的表示。关于Reed-Muller扩展在电路设计中的应用的IFIP WG 10.5研讨会会议记录(Reed-Miller’95),日本千叶马库哈里。 Zbl 0841.00020号 三 1996 多端二进制决策图和混合决策图。 Zbl 0855.94028号 埃德蒙·克拉克(Edmund M.Clarke)。;Masahiro Fujita;赵旭东 1 1996 自动推理和穷举搜索:类群存在问题。 Zbl 0827.20083 斯莱尼,J。;M.藤田。;Stickel,Mark E。 13 1995 半球形机头反向喷流的轴对称振荡。 Zbl 0850.76559 Masahiro Fujita 三 1995 东京:基于时态逻辑的逻辑编程语言,并将其编译为Prolog。 Zbl 0596.68013号 M.藤田。;科诺,S。;H·田中。;莫托奥卡,T。 8 1986 小脑自适应滤波模型。 Zbl 0523.92006号 M.藤田。 14 1982 所有引用出版物 前5名被引用出版物 全部的 前5名被31位作者引用 2 克里斯特尔·拜尔 2 陈立伟 2 凯·兰普卡 2 陆锡云 2 沃尔科夫,米哈伊尔·弗拉基米罗维奇 1 萨马尔·阿卜迪 1 阿尔马尼,A.E.A。 1 克拉克(Edmund Melson jun Clarke)。 1 Daniel D.Gajski。 1 乌韦·汉佩尔 1 瓦西利基·哈特纳斯·加姆豪森 1 希格斯,C.弗雷德三世 1 贾科·卡里 1 奥斯纳特·克伦 1 Kim,Jonghwan(西蒙) 1 纳文·库普斯瓦米。 1 Marta Z.Kwiatkowska。 1 格雷戈里·勒克里文 1 李志浩 1 李康熙 1 伊利亚·伊兹拉列维奇 1 约恩·奥斯索夫斯基 1 帕切科·格雷恩(Pacheco Grein),泰萨·比特里兹(Taisa Beatriz) 1 马库斯·西格尔 1 尤金·瓦西列夫。 1 约书亚·J·瓦格纳。 1 王国雷 1 吴训伟 1 夏银水 1 徐长岳 1 山本、良知 全部的 前5名9篇连载文章中引用 1 现代物理学字母B 1 应用力学与工程中的计算机方法 1 流体动力学 1 计算物理学杂志 1 流体力学杂志 1 计算机科学与技术杂志 1 国际并行程序设计杂志 1 系统设计中的形式化方法 1 工程中的数学问题 全部的 前5名在7个字段中引用 6 计算机科学(68至XX) 5 流体力学(76-XX) 2 可变形固体力学(74-XX) 2 信息与通信理论、电路(94-XX) 1 组合数学(05-XX) 1 运筹学、数学规划(90-XX) 1 系统论;控制(93至XX) 按年份列出的引文