编辑配置文件(在新选项卡中打开) 马明辉 合著者距离 作者ID: 马明慧 发布日期: 马明辉;马明慧 编入索引的文档: 74出版物自1990年以来,包括4个附加arXiv预打印 1名编辑贡献 合著者: 51位合著者具有66联合出版物 1072合著作者 全部的 前5名合著者 3 单作者的 11 梁世东 8 林哲 7 阿赫蒂·韦科·彼得雷宁(Ahti-Veikko Pietarinen) 7 胜彦三野 6 杨庆芳 5 查克拉博蒂,米希尔·库马尔 5 林元雷 4 亚历山德拉·帕尔米吉亚诺 3 陈倩 3 马光毅 3 沈俊浩 2 陈金生 2 O.F.休斯。 2 李志林 2 梅赫努什·萨德扎德 2 史伟娟 2 王岩松 2 王亚石 2 赵志光 1 曹元达 1 凯里,格雷厄姆·弗朗西斯 1 詹姆斯·克鲁斯。 1 崔璐 1 杜伟 1 朱塞佩·格雷科 1 顾伟晨 1 郭美云 1 唐纳德·哈德温。 1 金、钻 1 Ju,Shier先生 1 马里兰州阿基尔汗 1 李桂英 1 梁飞 1 刘华生 1 马巧初 1 Popkowski Leszczyc,Peter T.L。 1 弗朗索瓦州施瓦岑特鲁伯 1 杰里米·塞利格曼。 1 维杰·辛格。 1 阿波斯托洛斯·齐莫利斯 1 汉斯·皮特·范·迪特马什 1 费尔南多·雷蒙多(Fernando Raymundo) 1 王珊霞 1 王文杰 1 魏雪武 1 王春婷 1 邢如儒 1 姚红光 1 尹磊 1 袁乃通 1 张,胡 1 张耀宗 1 张泽林 1 赵淑芝 1 庄和君 全部的 前5名系列 11 Studia Logica公司 3 物理A 3 哲学逻辑杂志 3 逻辑与计算杂志 2 计算机和结构 2 国际近似推理杂志 2 工程中的数学问题 2 符号逻辑述评 1 精密科学史档案 1 美国数学学会会刊 1 合成 1 算子理论杂志 1 纯逻辑与应用逻辑年鉴 1 应用数学建模 1 欧洲运筹学杂志 1 计算统计与数据分析 1 工程数值方法中的通信 1 IGPL逻辑杂志 1 自然与社会中的离散动力学 1 非线性科学与数值模拟中的通信 1 计算机基础理论 1 浙江大学学报。工程科学 1 哈尔滨工业大学学报 1 哈尔滨工程大学学报 1 北京工业大学学报 1 泛逻辑 1 计算机应用杂志 1 科学中国。数学 1 亚洲逻辑:Studia Logica图书馆 全部的 前5名领域 52 数学逻辑和基础(03-XX) 11 计算机科学(68至XX) 11 运筹学、数学规划(90-XX) 6 有序,格,有序代数结构(06-XX) 3 可变形固体力学(74-XX) 2 历史和传记(01-XX) 2 算子理论(47-XX) 2 一般拓扑结构(54至XX) 2 数值分析(65-XX) 2 统计力学,物质结构(82-XX) 1 总体主题;集合(00-XX) 1 数论(11-XX) 1 范畴理论;同调代数(18-XX) 1 测量和集成(28-XX) 1 偏微分方程(35-XX) 1 动力系统和遍历理论(37至XX) 1 变分法与最优控制;最优化(49至XX) 1 统计学(62-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 46出版物有被引用165中的次116文件 引用人▼ 年份▼ 作为证明理论工具的统一通信。 Zbl 1444.03055号 朱塞佩·格雷科;马明辉;亚历山德拉·帕尔米吉亚诺;阿波斯托洛斯·齐莫利斯;赵志光 14 2018 考虑到时滞速度差和后视效应,改进了车辆允许模型。 Zbl 1452.65169号 马光毅;马明辉;梁世东;王燕松;张耀宗 13 2020 直觉公告逻辑的代数语义和模型完备性。 Zbl 1320.03050号 马明辉;亚历山德拉·帕尔米吉亚诺;梅赫努什·萨德扎德 13 2014 基于覆盖的粗糙集和模态逻辑。二、。 Zbl 1446.03091号 马明辉;查克拉博蒂,米希尔·库马尔 9 2018 考虑车头时距随记忆变化和后向效应的跟驰模型的非线性分析。 Zbl 07542618号 马光毅;马明辉;梁世东;王燕松;郭慧 9 2021 模态逻辑的伽马图计算。 Zbl 1398.03025号 马明辉;阿赫蒂·韦科·彼得雷宁(Ahti-Veikko Pietarinen) 8 2018 基于覆盖的粗糙集和模态逻辑。一、。 Zbl 1446.03090号 马明辉;查克拉博蒂,米希尔·库马尔 8 2016 皮尔士经典命题逻辑演算。 Zbl 1485.03017号 马明辉;阿赫蒂·韦科·彼得雷宁(Ahti-Veikko Pietarinen) 7 2020 Belnap-Dunn逻辑有很多弱点。 Zbl 1484.03041号 马明辉;林元雷 7 2020 皮尔士对分配性的连续证明。 Zbl 1485.03065号 马明辉;阿赫蒂·韦科·彼得雷宁(Ahti-Veikko Pietarinen) 6 2017 皮尔士α系图的证明分析。 兹比尔1417.03281 马明辉;阿赫蒂·韦科·彼得雷宁(Ahti-Veikko Pietarinen) 6 2017 具有后视效应的自动车辆允许车辆模型中的密度波。 Zbl 1481.90120号 马明辉;马光毅;梁世东 6 2021 贝尔纳普·邓恩逻辑的一种确定性弱化。 Zbl 1494.03060号 马明辉;林元雷 5 2019 严格蕴涵的统一对应和证明理论。 Zbl 1444.03082号 马明辉;赵志光 5 2017 如何更新邻域模型。 Zbl 1407.03021号 马明辉;胜彦三野 5 2013 基于CTM的信号交叉口实时排队长度估计。 Zbl 1394.90208号 赵树芝;梁世东;刘华生;马明辉 3 2015 公告数学。 Zbl 1298.03055号 马明辉 3 2011 分级模态语言的Goldblatt-Thomason型定理。 Zbl 1254.03038号 胜彦三野;马明辉 3 2010 半De Morgan和De Morgen代数的序列计算。 Zbl 1437.03181号 马明辉;梁飞 2 2018 让我们调查一下!作为诱拐的形式逻辑的动态猜想。 Zbl 1457.03033号 马明辉;阿赫蒂·韦科·彼得雷宁(Ahti-Veikko Pietarinen) 2 2018 通过蒙特卡罗模拟对三参数对数正态分布的估计量进行比较评估。 Zbl 0825.62390号 辛格,V.P。;J.F.克鲁斯。;马,M。 2 1990 各种拓扑拟布尔代数的序列计算。 Zbl 1528.03139号 马明辉;查克拉博蒂,米希尔·库马尔;林哲 2 2018 全局模态结果关系的顺序计算。 Zbl 07100695号 马明辉;陈金生 2 2019 如何更新邻里模型。 Zbl 1444.03033号 马明辉;胜彦三野 2 2018 维瑟命题逻辑的替代语义。 Zbl 1326.03017号 胜彦三野;马明辉 2 2015 否定作为模态运算符的极性语义。 Zbl 1486.03049号 林元雷;马明辉 2 2020 \第二类因子中格拉斯曼空间的(L^p\)-等距。 兹比尔1524.47041 史伟娟;沈俊浩;顾伟晨;马明辉 2 2022 α图的弱化:拟布尔代数。 Zbl 1528.03229号 马明辉;阿赫蒂·韦科·彼得雷宁(Ahti-Veikko Pietarinen) 2 2018 动态分级认知逻辑。 Zbl 07171847号 马明辉;汉斯·范·迪特马什 1 2019 高速公路瓶颈区域的集成可变限速控制和匝道计量。 Zbl 1394.90180号 马明慧;杨庆芳;梁世栋;李志林 1 2015 联合元素、应力后处理和超收敛提取,并应用于Mohr-Coulomb破坏。 Zbl 0926.74102号 凯里·G·F·。;马,M。 1 1999 关于剩余布尔代数方程理论的复杂性。 Zbl 1478.03083号 林哲;马明辉 1 2016 优惠券期限对消费者赎回行为和品牌盈利能力的影响。 Zbl 1430.90364号 张泽林;马明辉;Popkowski Leszczyc,Peter T.L。;庄和君 1 2020 一些亚直觉逻辑的标签表系统。 Zbl 1472.03017号 马明辉 1 2019 关于基本命题逻辑的扩展。 Zbl 1432.03017号 马明辉;胜彦三野 1 2015 带有伽罗瓦否定的直觉主义命题逻辑。 Zbl 07678788号 马明辉;李桂英 1 2023 多源容差近似空间的模态逻辑。 Zbl 1303.03050号 马里兰州阿基尔汗;马明辉 1 2010 表aux表示非正常公告逻辑。 Zbl 1304.03047号 马明辉;胜彦三野;弗朗索瓦州施瓦岑特鲁伯;费尔南多·奎萨达(Fernando R.Velázquez-Quesada)。 1 2015 动态动态逻辑的代数语义。 Zbl 1471.03033号 马明辉;杰瑞米·塞利格曼 1 2015 直觉公告逻辑的代数语义和模型完备性。 Zbl 1348.03019号 梅赫努什·萨德扎德;亚历山德拉·帕尔米吉亚诺;马明辉 1 2011 带有值运算符的Belnap-Dunn模态逻辑。 Zbl 07424397号 林元雷;马明辉 1 2021 前粗糙代数和可判定性附近的剩余代数结构。 Zbl 07426110号 林哲;查克拉博蒂,米希尔·库马尔;马明辉 1 2021 一些直觉模态逻辑的Gentzen序列计算。 Zbl 1477.03055号 林哲;马明辉 1 2019 有限可替换正规时态逻辑的格。 Zbl 07450687号 马明辉;陈倩 1 2021 基于收费站车道配置和可变限速控制的高速公路最优控制方法。 Zbl 1528.90075号 袁乃通;马明辉;梁世东;王文杰;张,胡 1 2022 直觉主义时态逻辑中否定翻译的证明理论方法。 兹伯利07595959 林哲;马明辉 1 2022 带有伽罗瓦否定的直觉主义命题逻辑。 Zbl 07678788号 马明辉;李桂英 1 2023 \第二类因子中格拉斯曼空间的(L^p\)-等距。 Zbl 1524.47041号 史伟娟;沈俊浩;顾伟晨;马明辉 2 2022 基于收费站车道配置和可变限速控制的高速公路最优控制方法。 Zbl 1528.90075号 袁乃通;马明辉;梁世东;王文杰;张,胡 1 2022 直觉主义时态逻辑中否定翻译的证明理论方法。 Zbl 07595959号 林哲;马明辉 1 2022 考虑车头时距变化和记忆和后向效应的车辆允许模型的非线性分析。 Zbl 07542618号 马光毅;马明辉;梁世东;王岩松;郭慧 9 2021 具有后视效应的自动车辆允许车辆模型中的密度波。 Zbl 1481.90120号 马明辉;马光毅;梁世东 6 2021 带有值运算符的Belnap-Dunn模态逻辑。 Zbl 07424397号 林元雷;马明辉 1 2021 前粗糙代数和可判定性附近的剩余代数结构。 Zbl 07426110号 林哲;查克拉博蒂,米希尔·库马尔;马明辉 1 2021 有限可替换正规时态逻辑的格。 Zbl 07450687号 马明辉;陈倩 1 2021 考虑到时滞速度差和后视效应,改进了车辆允许模型。 Zbl 1452.65169号 马光毅;马明辉;梁世东;王燕松;张耀宗 13 2020 皮尔士经典命题逻辑演算。 Zbl 1485.03017号 马明辉;阿赫蒂·韦科·彼得雷宁(Ahti-Veikko Pietarinen) 7 2020 贝尔纳普·邓恩逻辑的弱点数不胜数。 Zbl 1484.03041号 马明辉;林元雷 7 2020 作为模态运算符的否定的极性语义。 Zbl 1486.03049号 林元雷;马明辉 2 2020 优惠券期限对消费者赎回行为和品牌盈利能力的影响。 Zbl 1430.90364号 张泽林;马明辉;Popkowski Leszczyc,Peter T.L。;庄和君 1 2020 Belnap-Dunn逻辑的确定性削弱。 Zbl 1494.03060号 马明辉;林元雷 5 2019 全局模态结果关系的顺序计算。 Zbl 07100695号 马明辉;陈金生 2 2019 动态分级认知逻辑。 兹伯利07171847 马明辉;汉斯·范·迪特马什 1 2019 一些亚直觉逻辑的标签表系统。 Zbl 1472.03017号 马明辉 1 2019 一些直觉模态逻辑的Gentzen序列计算。 Zbl 1477.03055号 林哲;马明辉 1 2019 作为证明理论工具的统一通信。 Zbl 1444.03055号 朱塞佩·格雷科;马明辉;亚历山德拉·帕尔米吉亚诺;阿波斯托洛斯·齐莫利斯;赵志光 14 2018 基于覆盖的粗糙集和模态逻辑。二、。 Zbl 1446.03091号 马明辉;查克拉博蒂,米希尔·库马尔 9 2018 模态逻辑的伽马图计算。 Zbl 1398.03025号 马明辉;阿赫蒂·韦科·彼得雷宁(Ahti-Veikko Pietarinen) 8 2018 半De Morgan和De Morgen代数的序列计算。 Zbl 1437.03181号 马明辉;梁飞 2 2018 让我们调查一下!作为诱拐的形式逻辑的动态猜想。 Zbl 1457.03033号 马明辉;阿赫蒂·韦科·彼得雷宁(Ahti-Veikko Pietarinen) 2 2018 各种拓扑拟布尔代数的序列计算。 Zbl 1528.03139号 马明辉;查克拉博蒂,米希尔·库马尔;林哲 2 2018 如何更新邻里模型。 Zbl 1444.03033号 马明辉;胜彦三野 2 2018 α图的弱化:拟布尔代数。 Zbl 1528.03229号 马明辉;阿赫蒂·韦科·彼得雷宁(Ahti-Veikko Pietarinen) 2 2018 皮尔士对分配性的连续证明。 Zbl 1485.03065号 马明辉;阿赫蒂·韦科·彼得雷宁(Ahti-Veikko Pietarinen) 6 2017 皮尔士α系图的证明分析。 Zbl 1417.03281号 马明辉;阿赫蒂·韦科·彼得雷宁(Ahti-Veikko Pietarinen) 6 2017 严格蕴涵的统一对应和证明理论。 Zbl 1444.03082号 马明辉;赵志光 5 2017 基于覆盖的粗糙集和模态逻辑。一、。 Zbl 1446.03090号 马明辉;查克拉博蒂,米希尔·库马尔 8 2016 关于剩余布尔代数方程理论的复杂性。 Zbl 1478.03083号 林哲;马明辉 1 2016 基于CTM的信号交叉口实时排队长度估计。 兹比尔1394.90208 赵树芝;梁世东;刘华生;马明辉 3 2015 维瑟命题逻辑的替代语义。 兹伯利1326.03017 胜彦三野;马明辉 2 2015 高速公路瓶颈区域的集成可变限速控制和匝道计量。 Zbl 1394.90180号 马明慧;杨庆芳;梁世栋;李志林 1 2015 关于基本命题逻辑的扩展。 Zbl 1432.03017号 马明辉;胜彦三野 1 2015 表aux表示非正常公告逻辑。 Zbl 1304.03047号 马明辉;胜彦三野;弗朗索瓦州施瓦岑特鲁伯;费尔南多·奎萨达(Fernando R.Velázquez-Quesada)。 1 2015 动态动态逻辑的代数语义。 Zbl 1471.03033号 马明辉;杰里米·塞利格曼 1 2015 直觉公告逻辑的代数语义和模型完备性。 Zbl 1320.03050号 马明辉;亚历山德拉·帕尔米吉亚诺;穆罕默德·萨德尔扎德 13 2014 如何更新邻域模型。 Zbl 1407.03021号 马明辉;胜彦三野 5 2013 公告数学。 Zbl 1298.03055号 马明辉 3 2011 直觉公告逻辑的代数语义和模型完备性。 Zbl 1348.03019号 梅赫努什·萨德扎德;亚历山德拉·帕尔米吉亚诺;马明辉 1 2011 分级模态语言的Goldblatt-Thomason型定理。 Zbl 1254.03038号 胜彦三野;马明辉 3 2010 多源容差近似空间的模态逻辑。 Zbl 1303.03050号 马里兰州阿基尔汗;马明辉 1 2010 联合元素、应力后处理和超收敛提取,并应用于Mohr-Coulomb破坏。 Zbl 0926.74102号 凯里·G·F·。;马,M。 1 1999 通过蒙特卡罗模拟对三参数对数正态分布的估计量进行比较评估。 Zbl 0825.62390号 辛格,V.P。;J.F.克鲁斯。;马,M。 2 1990 所有引用出版物 前5名被引用出版物 全部的 前5名被192位作者引用 23 马明辉 15 亚历山德拉·帕尔米吉亚诺 15 阿赫蒂·韦科·彼得雷宁(Ahti-Veikko Pietarinen) 9 朱塞佩·格雷科 7 阿波斯托洛斯·齐莫利斯 6 威廉·康拉迪 5 查克拉博蒂,米希尔·库马尔 5 胜彦三野 4 克里希纳·B·马诺卡尔。 4 翁贝托·里维奇奥 4 汉斯·皮特·范·迪特马什 4 吴伟条 4 翟聪 3 陈金生 3 丹尼尔·奇菲 3 萨宾·弗里特拉 3 梁飞 3 梁世东 3 林元雷 3 林哲 3 纳乔姆·维恩伯格。 2 安德烈亚·德·多梅尼科 2 谢尔盖·德罗比舍维奇 2 范洁 2 李金金 2 李凌强 2 马光毅 2 Motoura、Shota 2 马蒂亚·帕内蒂埃 2 伊戈尔·塞德拉尔 2 沈俊浩 2 史伟娟 2 乔尼·维尔特玛 1 艾,文欢 1 马吉德·阿里扎德 1 阿尔梅达,墨西哥。 1 Almiñana,费德里科·加布里埃尔 1 扎伊纳布·巴赫蒂亚里 1 Bakhtiarinodeh,扎伊纳布 1 亚历克斯·贝里科夫 1 弗朗切斯科·贝鲁奇 1 巴塔查吉,里图 1 贝尔科娃,玛尔塔 1 安吉丽娜·谢尔盖夫娜·博布罗娃 1 沃伊切赫·巴斯科夫斯基 1 莱昂纳多·曼纽尔·卡布勒 1 吉安卢卡·卡特琳娜 1 陈建忠 1 陈倩 1 陈宇毅 1 程荣军 1 洛帕穆德拉·乔杜里 1 词玉生 1 弗雷德里科·克鲁兹。 1 马科斯·安吉洛。 1 迪克·乔恩。 1 范一鸣 1 阿里·法贾米 1 弗洛雷斯,豪尔赫·阿莱杭德罗 1 甘、京 1 恒河、洛克 1 高燕飞 1 高子友 1 诺伯特·格拉茨 1 斯特凡诺游击队 1 古普塔,阿文德·库马尔 1 韩相恩 1 韩子坤 1 鸠山由纪夫 1 内森·海登 1 马里兰州阿诺瓦尔侯赛因 1 胡凯 1 胡,杨 1 胡燕梅 1 胡、周瑜 1 黄,丹 1 黄,魏 1 黄哲煌 1 贾斌 1 蒋瑞 1 焦、帅扬 1 金、邱 1 金、钻 1 考尔,大吉特 1 马里兰州阿基尔汗 1 Kohei的Kishida 1 索菲亚·奈特 1 奥里邦拉哈夫 1 弗雷德里克·莫勒斯特罗姆·劳里德森 1 李桂英 1 李海军 1 李克平 1 李林恒 1 李伟 1 李宇轩 1 李兆文 1 刘大伟 1 刘敏庄 1 刘晓峰 1 刘新文 …还有92位作者 全部的 前5名引用于31个系列 16 Studia Logica公司 15 物理A 7 国际近似推理杂志 4 泛逻辑 3 合成 3 纯逻辑与应用逻辑年鉴 3 应用数学建模 3 逻辑与逻辑哲学 2 模糊集与系统 2 信息科学 2 哲学逻辑杂志 2 应用非经典逻辑杂志 2 非线性科学与数值模拟中的通信 2 ACM计算逻辑事务 2 计算机科学中的逻辑方法 2 符号逻辑述评 1 精密科学史档案 1 国际通用系统杂志 1 美国数学学会会刊 1 逻辑科公报 1 信息与计算 1 数学应用 1 国际应用科学与工程分叉与混沌杂志 1 逻辑、语言与信息杂志 1 运筹学国际交易 1 工程中的数学问题 1 软计算 1 自然与社会中的离散动力学 1 计算机基础理论 1 科学中国。数学 1 AIMS数学 全部的 前5名18个领域被引用 79 数学逻辑和基础(03-XX) 20 计算机科学(68至XX) 15 统计力学,物质结构(82-XX) 9 运筹学、数学规划(90-XX) 8 有序,格,有序代数结构(06-XX) 6 历史和传记(01-XX) 4 系统论;控制(93至XX) 3 一般拓扑结构(54至XX) 3 流体力学(76-XX) 2 偏微分方程(35-XX) 2 算子理论(47-XX) 1 总体主题;集合(00-XX) 1 范畴理论;同调代数(18-XX) 1 常微分方程(34-XX) 1 概率论与随机过程(60-XX) 1 统计学(62-XX) 1 数值分析(65-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的引文