科研业绩:

《汉语照应省略的类型逻辑研究》。北京：对外经济贸易大学出版社，2014。

邹崇理、满海霞（编）《自然语言逻辑经典文献研究》，中国社会科学出版社，2016年4月。

译著

《后罗马时代的不列颠》，上海：上海社会科学院出版社，2023年12月。

《逻辑思维入门》，北京：中国人民大学出版社，2023年8月。

《逻辑、语言与意义（第一卷）》。北京：商务印书馆，2017。

《真实的亚当•斯密》，北京：中信出版社，2007。

《六个瓶子里的历史》，北京：中信出版社，2006。

期刊论文

Jiawei Ma, Shu Tian, Haixia Man, Songlu Chen, Jingyan Qin, Xucheng Yin, Decoupling and interaction: task coordination in single-stage object detection, Multimedia Tools and Applications, 2024.

Jiawei Ma, Min Liang, Haixia Man, Shu Tian, Jingyan Qin, Xucheng Yin, Attention decoupling for query-based object detection, ICASSP 2024, 2024.

Haixia Man, Understanding Korean Webtoon Culture: Transmedia storytelling, digital platforms, and genres, International Journal of Communication, 2023.

满海霞、邹崇理，从语言的断定结构看亚里士多德逻辑与中国古代逻辑的发生——兼为爱因斯坦对李约瑟难题的回答赋以逻辑解，《逻辑学动态与评论》，2023年第1辑：85-98。

Haixia Man, Manyi Wan, Yunbao Shi, Peng Chen, “Parsing Chinese with Combinatory Categorial Grammar: A linguistic and computational study”, Complexity, 2022 (5): 1-13.

Haixia Man, Congli Zou, Kesheng Li, “Calculating Zero Pronominals in situ: A type logical approach”, Complexity, 2022.

满海霞，组合范畴语法：通向人工智能语义理解的一种逻辑经验主义路径，《哲学动态》，2022（1）：119-125。

满海霞，《中国大百科全书》（第三版），兰姆达演算、兰贝克演算、对称的范畴逻辑、非连续的范畴逻辑、古典范畴语法、组合范畴语法6个词条，https://www.zgbk.com/，2021。

满海霞，汉语句法构造的哲学基础探析——基于亚里士多德逻辑与墨辩逻辑的对比分析，《天津外国语大学学报》，2021（6）：96-106。

满海霞，“有”的个体/事件量化分野及其语义生成机制，《当代语言学》，2020（3）：366-380。

满海霞、邹崇理，构建汉语行为语法的金字塔结构，《湖北大学学报（社会科学版）》，2019（5）：77-84。

满海霞，《事件语义学引论》述评—纪念戴维森提出事件论元思想五十周年，《逻辑学研究》，2019（4）：102-104。

MAN Haixia (trans., by WANG Lu), 2019, Innovation and Application of Logic: An Interview with Jaakko Hintikka, Logca Univrsalis: 263-271.

Fan Fang, Bo-wen Zhang, Xu-cheng Yin, Haixia Man, TED-KISS: A Known-Item Speech Video Search Benchmark, CIKM’18: Proceedings of the 27th ACM International Conference on Information and Knowledge Management: 1803-1806, 2018.

Xu-Cheng Yin, Chun Yang, Wei-Yi Pei, Haixia Man, Jun Zhang, Erik Learned-Miller, and Hong Yu, DeTEXT: A database for evaluating text extraction from biomedical literature figures, PLoS ONE, vol. 10, no. 5, pp. e0126200, 2015. (SCI: 3.057)

满海霞、梁雅梦，乔姆斯基层级与自然语言语法-从短语结构语法到非转换语法，《外国语文》，2015（3）：84-89。

满海霞、崔佳悦，组合范畴语法的量词辖域歧义研究新思路，《哲学动态》，2015（8）：108-111。

满海霞，关于逻辑语义学的句法系统，《安徽大学学报》，2014（7）：23-28。

崔佳悦、满海霞，蒙太格语法框架下的汉语被动句分析，《外国语文》，2014（4）：62-66。

满海霞，汉语把字句及相关句式的CCG形式计算，《湖北大学学报》，2013（6）：42-49。【人大复印资料全文转载】

满海霞，IF逻辑与IF模态逻辑，《毕节学院学报》，2013（9）：53-57。

李可胜、满海霞，VP的有界性与连动式的事件结构，《现代外语》，2013（2）：127-134。

满海霞，组合范畴语法与其计算特征，《毕节学院学报》，2013（6）：50-56。

满海霞，函项分层思想在语言学研究中的应用，《重庆理工大学学报（社会科学版）》，2011（8）：83-88。

张晓君、满海霞，带有受限缩并规则的兰贝克演算中的照应算子，《重庆理工大学学报（社会科学版）》，2011（4）：6-11。

孔繁清、满海霞，类型逻辑语法的词汇主义思想，《哲学动态》，2011（2）：98-101。

孔繁清、满海霞，类型逻辑语法与汉语中的照应省略，《湖南科技大学学报（社会科学版）》，2011（2）：35-39。【人大复印资料全文转载】

邹崇理、满海霞，事件语义学的发展与思考，《中国社会科学报》，2010.11。

满海霞、李可胜，类型逻辑语法，《哲学动态》，2010（10）：103-106。

满海霞，对‘一+单位词+N+否定词’类周遍性主语的广义量词个案研究，《重庆理工大学学报（社会科学版）》，2010（7）：12-16。

满海霞，类型相配与类型贴合，《中国社会科学院研究生院学报》，2010（5）：59-63。

满海霞，《形式语义学研究两题》，《毕节学院学报》，2010（2）：37-41。

书中章节

满海霞，《自然语言信息处理的逻辑语义学研究》第八章。北京：科学出版社，2017。

满海霞，《句法描述的半数学化标记》评介，《自然语言逻辑经典文献研究》：1-12。北京：中国社会科学出版社，2016。

满海霞，《形式语义学与述谓语法》评介，《自然语言逻辑经典文献研究》：176-206。北京：中国社会科学出版社，2016。

满海霞、李可胜，《中国自然语言逻辑的发展与思考》，《中国哲学年鉴2013》：165-174。北京：中国社会科学出版社，2013。

参与编写教材

《通用学术英语1》《通用学术英语2》，北京：高等教育出版社。

《跨文化交际教程1》《跨文化交际教程2》《跨文化交际教程3》，上海：外语教育出版社。

主持的科研项目

2021.12-2024.12 面向汉语的组合范畴语法研究 国家社科基金（21FZXB020）

2019.6-2021.6 泛欧亚文学、文化与研究 北京科技大学院长基金

2017.11-2022.9面向人工智能的组合范畴语法研究，第二子课题负责人 国家社科基金重大项目（17ZDA027）

2014.6-2018.9组合范畴语法CCG的逻辑语义研究 国家社科基金（14CZX044）

2012.6-2015.6面向自然语言信息处理的组合范畴语法研究 教育部社科基金（12YJCZH153）

2014.9-2015.8基于形式语义学经典理论的汉语本体论研究 中央高校基本科研业务费专项资金资助项目（FRF-TP-14-086A2）

2012.1-2013.12面向自然语言信息处理的组合范畴语法基础理论研究 北京科技大学青年人才科研项目 (06112021)

2013.11-2015.11混合范畴类型逻辑与汉语的形式处理 中国逻辑学会学术研究项目( 13CLYB009)

2012.1-2013.12面向自然语言信息处理的组合范畴语法基础理论研究 北京科技大学青年人才科研项目 (06112021)

大会发言

2024.5.18 汉语CCG树库的现状与思考，2024年逻辑、语言与人工智能研讨会，合肥。

2021.9.25 汉语CCGBank的数据与分析，2021逻辑、汉语与人工智能研讨会，首都师范大学。

2021.4.26-27 汉语句法构造的哲学基础研究，第21届《哲学分析》论坛，清华大学。

2019.8.16-17 汉语行为语法的语义语用构建，第十六届全国语用学研讨会暨第十届中国逻辑学会语用学专业委员会年会 主旨演讲，江西南昌，江西师范大学。

2019.6.21-22 “有”的个体/事件量化分野及其语义生成机制，“汉语形式语义研究”国际研讨会 大会发言，北京，北京语言大学。

2019.4.20-21构建汉语行为语法的金字塔结构，范畴语法2019国际会议 大会发言，湖南湘潭，湘潭大学。

2018.10.29 “有”的事件量化问题，“第二届语义与语用理论研讨会”主旨发言，北京，北京语言大学。

2018.9.15-16 CCGBank的语义匹配问题，“语言、逻辑与计算交叉学科研讨会”暨国家社科基金重大招标课题后期研讨会 大会发言，安徽合肥。

2018.4.14 试论“有”的一种量化用法，“2018年中国逻辑学会语言逻辑专业委员会年会—暨第四届语言与逻辑交叉学科研讨会”大会发言，北京，北京语言大学。

2018.1.6 CCG的语义分析与标注，“湘潭大学国家社科基金重大项目开题论证会”大会发言，湖南湘潭，湘潭大学。

2014.6.8 关于逻辑语义学的句法系统，“数理逻辑与哲学逻辑—2014年全国现代逻辑学术研讨会”大会发言，河北保定，河北大学。

2011.6.11 函项分层思想，“中国逻辑学会2011年学术研讨会”大会发言，四川重庆，重庆理工大学。

2011.3.11 Type Logical Analysis for Anaphora in Mandarin Chinese, 逻辑、语言与信息国际研讨会 大会发言，浙江杭州，浙江大学。

2009.10 ‘一+单位词+N+否定词’类周遍性主语的广义量词研究，“纪念中国逻辑学会成立30周年大会”大会发言，成都，四川大学。