编辑配置文件（在新选项卡中打开） 阿维纳什·马利克 合著者距离 作者ID： 马利克·阿维纳什 发布方式： 阿维纳什·马利克 已编制索引的文档： 7出版物自2015年起 合著者： 7合著者具有4联合出版物 59位合作作者 全部的 前5名合著者 2 单作者的 2 罗普，Partha S。 1 迈克尔·贾斯汀·奥沙利文 1 和平公园 1 A.卡尤姆。 1 罗，金宇 1 佐兰·萨尔西奇 1 奥利弗·辛宁 1 卡梅隆·沃克（Cameron G.Walker）。 全部的 前5名系列 2 非线性分析。混合动力系统 1 流体动力学 1 电气电子工程师学会计算机期刊 1 计算机与运筹学 1 数值算法 1 计算机语言、系统和结构 全部的 前5名领域 4 计算机科学（68至XX） 三 系统论；控制（93至XX） 1 概率论与随机过程（60-XX） 1 数值分析（65-XX） 1 可变形固体力学（74-XX） 1 流体力学（76-XX） 1 经典热力学，传热（80-XX） 1 运筹学、数学规划（90-XX） 按年份列出的出版物 zbMATH Open中包含的引文 三出版物有被引用5中的次5文件 引用人▼ 年份▼ 具有通信延迟的任务图最优调度的可满足性模理论（SMT）公式。 Zbl 1391.90290号 阿维纳什·马利克;卡梅隆·沃克;迈克尔·奥沙利文;奥利弗·辛宁 2 2018 一种用于混合自动机的动态量化状态系统执行框架。 Zbl 1441.93104号 阿维纳什·马利克;帕塔·鲁普 2 2020 编译和验证安全关键反应系统的SC-SystemJ程序。 Zbl 1387.68053号 和平公园;阿维纳什·马利克;佐兰·萨尔西奇 1 2015 一种用于混合自动机的动态量化状态系统执行框架。 Zbl 1441.93104号 阿维纳什·马利克;帕塔·鲁普 2 2020 具有通信延迟的任务图最优调度的可满足性模理论（SMT）公式。 Zbl 1391.90290号 阿维纳什·马利克;沃克，卡梅伦;运营；迈克尔·沙利文;奥利弗·辛宁 2 2018 编译和验证安全关键反应系统的SC SystemJ程序。 Zbl 1387.68053号 和平公园;阿维纳什·马利克;佐兰·萨尔西奇 1 2015 全部的 前5名11位作者引用 2 阿维纳什·马利克 1 凯特·伊娜·布雷乔娃 1 Zdeněk Hanzálek 1 法塔玛·杰巴利 1 弗雷德里克·朗 1 拉杜·马特埃斯库 1 安德烈亚·雷思 1 奥利弗·辛宁 1 罗素·斯图尔特 1 唐思玉 1 马雷克·沃尔克 4篇连载文章中引用 2 计算机与运筹学 1 计算的形式方面 1 数值算法 1 非线性分析。混合动力系统 在5个字段中引用 2 运筹学、数学规划（90-XX） 2 系统论；控制（93至XX） 1 概率论与随机过程（60-XX） 1 数值分析（65-XX） 1 计算机科学（68至XX） 按年份列出的引文