論文專著：
李永明教授已在《Journal of Pure and Applied Algebra》，《Semigroup Forum》，《Comment. Math. Univ. Carolinae》，《Algebra Universalis》，《Mathematica Slovaca》，《Fuzzy Sets and Systems》，《Information Sciences》，《International Journal of Theoretical Physics》，《International Journal of Intelligent Systems》，《Soft Computing》，《The Journal of Logic and Algebraic Programming》，《IEEE Transactions on Fuzzy Systems》，《Fundamenta Informaticae》，《International Journal of Approximate Reasoning》，《中國科學》，《數學學報》，《自動化學報》，《計算機學報》、《科學通報》，《數學年刊》，《軟件學報》等雜志發表論文160余篇，其中SCI源論文50余篇。
出版專著：
1、2005年 科學出版社出版 主編 《模糊系統分析》。
發表期刊論文：
1 具有DP的廣義可能性模糊時態CTL模型檢測 網絡首發 魏杰林; 袁申; 李永明; 梁常建 計算機科學與探索 2018-08-25
2 Sufficient Conditions of the Same State Order Induced by Coherence 張福剛; 李永明 Communications in Theoretical Physics 2018-08-01
3 Hierarchical Polygamy Inequality for Entanglement of Tsallis q-Entropy 羅宇; 李永明 Communications in Theoretical Physics 2018-05-01
4 Sequential Quantum Secret Sharing Using a Single Qudit 白晨明; 李志慧; 李永明 Communications in Theoretical Physics 2018-05-01
5 模糊線性時序邏輯的可實現性 范艷煥; 李永明 電子學報 2018-02-15
6 不確定型模糊Kripke結構的計算樹邏輯模型檢測 范艷煥; 李永明; 潘海玉 電子學報 2018-01-15
7 具有模糊時態的廣義可能性線性時序邏輯的模型檢測 梁常建; 李永明 電子學報 2017-12-15
8 廣義可能性計算樹邏輯的模型檢測問題 梁常建; 李永明 電子學報 2017-11-15
9 Dynamics of Cohering and Decohering Power under Markovian Channels 陳明明; 羅宇; 邵連合; 李永明 Communications in Theoretical Physics 2017-11-01
10 強賦值幺半群上的加權Mealy機與加權Moore機的關系 王敏; 李永明 計算機科學與探索 2017-09-05 09:41
11 Quantum Coherence Quantifiers Based on Rényi α-Relative Entropy 邵連合; 李永明; 羅宇; 席政軍 Communications in Theoretical Physics 2017-06-01
12 取值于賦值幺半群的加權上下文無關文法及其語言 王月; 李永明 模糊系統與數學 2017-02-15
13 確定型模糊多重集有限自動機的極小化 王擁兵; 李永明 計算機工程與科學 2016-12-15
14 基于決策過程的廣義可能性計算樹邏輯模型檢測 馬占有; 李永明 中國科學:信息科學 2016-11-20
15 量子測量邏輯與推理理論 林運國; 李永明 陜西師范大學學報(自然科學版) 2016-11-10
16 加權有限自動機的幺半群 王擁兵; 李永明 陜西師范大學學報(自然科學版) 2016-09-10
17 基于可能性混成自動機的CPS屬性驗證 陳娜; 耿生玲; 李永明; 薄瑋 陜西師范大學學報(自然科學版) 2016-09-10
18 直覺模糊測度的計算樹邏輯 魚先鋒; 李超; 李永明 計算機科學與探索 2016-08-19 09:32
19 廣義可能性計算樹邏輯和計算樹邏輯的關系 李丹; 李永明 計算機科學與探索 2016-08-19 09:32
20 取值于賦值幺半群的加權正則文法語言 趙菲; 李永明 計算機工程與科學 2016-07-15
21 廣義可能線性時序邏輯的自動機方法 張博; 李永明 內江師范學院學報 2016-06-25
22 格值代數系統的解分析 張孟青; 李永明 模糊系統與數學 2016-06-15
23 信道噪聲對量子信息分離的影響 白晨明; 李永明 計算機科學 2016-04-15
24 模糊集的邏輯等價相似度 段景瑤; 李永明 陜西師范大學學報(自然科學版) 2016-01-10
25 基于可能性混成自動機的CPS建模方法 陳娜; 耿生玲; 李永明; 張勝禮 西安郵電大學學報 2016-01-10
26 Quantitative computational tree logic model checking based on generalized possibility measures, Yongming Li, Zhanyou Ma. IEEE Transactions on Fuzzy Systems.2015,Online, http://dx.doi.org/10.1109/TFUZZ.2015.2396537. (SCI期刊)
27 Computation tree logic model checking based on possibility measures, Yongming Li, Yali Li, Zhanyou Ma, Fuzzy Sets and Systems, 2015, 262,44–59.(SCI期刊)
28 Model checking fuzzy computation tree logic. Haiyu Pan, Yongming Li*, Yongzhi Cao, Zhanyou Ma. Fuzzy Sets and Systems 2015,262:60-77.(SCI期刊)
29 On conditions for mappings to preserve optimal solutions of semiring-induced valuation algebras,Guan Xuechong, Li Yongming*, Theoretical Computer Science, 2015,563, 86–98.(SCI期刊)
30 基于安全性檢測的廣義量子Loop程序終止驗證 林運國; 李永明 中國科學:信息科學 2015-12-20
31 加權自動機的極小確定化 龐美玲; 李永明 模糊系統與數學 2015-12-15
32 開放量子行走:概率分布與中心極限定理 林運國; 李永明 計算機學報 2015-11-17 23:30
33 廣義可能性決策過程的計算樹邏輯模型檢測 馬占有; 李永明 計算機工程與科學 2015-11-15
34 Exogenous量子馬爾可夫鏈及其可達性分析 林運國; 李永明 軟件學報 2015-11-11 17:04
35 模糊正則語言的拓撲性質 王擁兵; 李永明 模糊系統與數學 2015-08-15
36 Pebble模糊有窮自動機和傳遞閉包邏輯 范艷煥; 耿生玲; 李永明 模糊系統與數學 2015-08-15
37 可逆加權樹自動機 魏秀娟; 李永明 模糊系統與數學 2015-08-15
38 廣義可能性計算樹邏輯的兩種范式 趙杰; 李永明 計算機科學與探索 2015-08-13 16:53
39 否定知識的代數表示及在模糊系統設計中的應用 張勝禮; 李永明 計算機學報 2015-07-22 11:58
40 廣義模糊集GFScom在模糊綜合評判中的應用 張勝禮; 李永明 計算機科學 2015-07-15
41 廣義可能性計算樹邏輯的不動點語義 鄧楠軼; 張興興; 李永明 陜西師范大學學報(自然科學版) 2015-07-10
42 藏語語音合成單元選擇 才讓卓瑪; 李永明; 才智杰 軟件學報 2015-06-15
43 轉移函數保半環賦值代數輪廓解的條件 許格妮; 李永明 山東大學學報(理學版) 2015-05-20 10:59
44 廣義可能性互模擬及其邏輯刻畫 張興興; 鄧楠軼; 馬占有; 李永明 計算機工程與科學 2015-05-15
45 基于軟集的無標記信息代數模型與算法 許格妮; 李永明; 管雪沖 軟件學報 2015-05-15
46 基于Mealy機的藏文字構件分解 才讓卓瑪; 李永明; 才智杰 電子學報 2015-05-15
47 模糊D0L冪級數 師瑕娟; 李永明 模糊系統與數學 2015-02-15
48 基于廣義可能性測度的可達性問題的模型檢測 馬占有; 李永明 模糊系統與數學 2014-12-15
49 線性時序邏輯基于DTMC的計量化方法 時慧嫻; 李永明 山東大學學報(理學版) 2014-12-02 15:03
50 半環誘導賦值代數的輪廓解 許格妮; 李永明; 張云 吉林大學學報(理學版) 2014-11-26
51 量子馬爾可夫鏈安全性模型檢測 林運國; 雷紅軒; 李永明 電子學報 2014-11-15
52 可能LTL模型檢測的兩種方法 李永明 陜西師范大學學報(自然科學版) 2014-11-10
53 Monogamy of Measurement-Induced Nonlocality Based on Relative Entropy 羅宇; 席政軍; 李永明 Communications in Theoretical Physics 2014-11-01
54 約束半環誘導的賦值代數的輪廓解及其算法 許格妮; 李永明; 張云 數學雜志 2014-10-22 14:34
55 含至多四個參與者的量子秘密共享方案的最優信息率 宋云; 李志慧; 李永明 電子學報 2014-10-15
56 基于可能性測度的工程管理決策的研究 李召妮; 馬占有; 李永明 計算機科學 2014-08-15
57 極小特權數組上的理想多秘密共享方案 宋云; 李志慧; 李永明 中國科學:信息科學 2014-05-20
58 格值模糊自動機及對應語言的分級 薛倩倩; 李永明 陜西師范大學學報(自然科學版) 2014-05-10
59 量子Müller自動機與單體二階量子邏輯 韓召偉; 李永明 軟件學報 2014-01-15
60 Model checking of linear-time properties based on possibility measure, Yongming Li, Lijun Li, IEEE Transactions on Fuzzy Systems, 2013, 21, 842-854.(SCI檢索，JCR 一區，TOP期刊)
61 不完備決策軟集與優勢可信規則獲取 耿生玲; 李永明; 劉震 計算機工程與科學 2013-12-15
62 可能性測度下計算樹邏輯的若干性質 李亞利; 李永明 陜西師范大學學報(自然科學版) 2013-11-10
63 測量誘發的關聯分布 席政軍; 李永明 中國科學:物理學 力學 天文學 2013-09-20
64 模糊Büchi自動機的等價刻畫 韓召偉; 李永明 計算機學報 2013-06-15
65 量子最弱自由前置條件的交換性及其性質 雷紅軒; 席政軍; 李永明 軟件學報 2013-05-15
66 格值有窮自動機和單體二階格值邏輯 范艷煥; 李永明 模糊系統與數學 2013-04-15
67 可逆模糊自動機 李琳; 李永明 模糊系統與數學 2013-04-15
68 廣義量子Loop程序的若干性質 雷紅軒; 席政軍; 李永明 電子學報 2013-04-15
69 關聯規則挖掘的軟集包含度方法 耿生玲; 李永明; 劉震 電子學報 2013-04-15
70 Remark on the One-Way Quantum Deficit for General Two-Qubit States 邵連合; 席政軍; 李永明 Communications in Theoretical Physics 2013-03-15
71 基于極小線性碼上的秘密共享方案 宋云; 李志慧; 李永明 電子學報 2013-02-15
72 基于直覺模糊的滿意度計算模型 魚先鋒; 李永明 計算機科學 2013-01-15
73 Measurement-induced nonlocality based on relative entropy, Zhengjun Xi , Xiaoguang Wang and Yongming Li, Phys. Rev. A， 2012, 85, 042325.(SCI、EI 檢索)
74 通用模糊自動機 王茜; 李永明 模糊系統與數學 2012-12-15
75 幾種量子程序終止的有效驗證 雷紅軒; 席政軍; 李永明 計算機科學 2012-11-15
76 多處理器任務調度算法TDS的建模與驗證 李召妮; 雷麗暉; 李永明 計算機科學 2012-11-15
77 偽加權轉換器及其延遲函數的實現化 李平; 李永明 計算機工程與應用 2012-10-21
78 模糊剩余自動機 張福剛; 李永明 模糊系統與數學 2012-10-15
79 模糊代數系統 張孟青; 李永明 模糊系統與數學 2012-10-15
80 基于可能性測度的計算樹邏輯CTL~*與可能性互模擬 鄧輝; 薛艷; 李亞利; 李永明 計算機科學 2012-10-15
81 基于量子邏輯的圖靈機及其通用性 李永明; 李平 計算機學報 2012-07-15
82 基于關聯方向測量的量子關聯 席政軍; 雷紅軒; 李永明 中國科學:物理學 力學 天文學 2012-05-20
83 Pairwise Quantum Correlations for Superpositions of Dicke States 席政軍; 熊恒娜; 李永明; 王曉光 Communications in Theoretical Physics 2012-05-15
84 Finite automata theory with membership values in lattices, Yongming Li, Information Sciences, 2011, 181(5)：1003-1017.(SCI、EI 檢索)
85 偽加權Mealy機與偽加權Moore機的關系 李平; 李永明 模糊系統與數學 2011-12-15
86 基于測量的量子線路 席政軍; 李永明 計算機研究與發展 2011-11-15
87 偽加權轉換器的極小確定實現化 李平; 李永明 陜西師范大學學報(自然科學版) 2011-11-10
88 基于可能性測度的計算樹邏輯 薛艷; 雷紅軒; 李永明 計算機工程與科學 2011-09-15
89 參數化的廣義量子通用相位門 王鑫; 席政軍; 李永明; 李小鵬 計算機工程與應用 2011-06-21
90 廣義量子Loop程序初探 李小鵬; 席政軍; 李永明 計算機工程與應用 2011-05-19 15:59
91 單道批處理系統的建模與驗證 魚先鋒; 雷麗暉; 李永明 計算機科學 2011-04-15
92 基于量子邏輯的幾類有窮自動機之間的關系 李平; 李永明 工程數學學報 2011-04-15
93 軟集決策信息系統的屬性約簡 耿生玲; 李永明; 馮峰 小型微型計算機系統 2011-04-15
94 連續信息代數 管雪沖; 李永明 模糊系統與數學 2011-02-15
95 基于通信延遲模糊離散事件系統的可靠分散控制的注記 李婷; 李璐; 李永明 內江師范學院學報 2011-02-15
96 量子上下文無關文法的代數性質 宋小震; 韓召偉; 李永明 計算機工程與應用 2011-01-24 14:21
97 投影問題的序關系研究 管雪沖; 李永明 陜西師范大學學報(自然科學版) 2011-01-10
98 半環誘導的賦值代數的解輪廓和解擴展 管雪沖; 李永明 計算機工程與應用 2010-12-11
99 信管專業的現狀與改革 雷秀娟; 李永明; 吳振強 計算機教育 2010-11-10
100 計量邏輯學中的近似推理 韓邦合; 李永明 模糊系統與數學 2010-10-15
101 基于量子邏輯的下推自動機與上下文無關文法 韓召偉; 李永明 軟件學報 2010-09-15
102 加權Moore機的同余與最小化 李蘇妮; 李天朝; 李永明 計算機工程與科學 2010-09-15
103 取值于完備格的同步機及其最小實現化 李平; 李永明 計算機工程與應用 2010-06-21
104 偽的弱效應代數的同余和理想 郭建勝; 李永明 陜西師范大學學報(自然科學版) 2010-05-10
105 基于模糊數的證券投資組合最優化模型 金檢華; 李永明; 李春泉 重慶工商大學學報(自然科學版) 2010-02-20
106 區間效應代數的張量積 頡永建; 李永明 數學進展 2010-02-15
107 基于量子邏輯的有窮自動機與單體二階量子邏輯 李永明 中國科學 F輯：信息科學,2009, 39(11)，1135-1145.(特級) 2009-11-20
108 計量邏輯學中的收斂理論 韓邦合; 李永明 計算機工程與應用 2009-10-21
109 量子Mealy自動機和量子Moore自動機的等價 席政軍; 王鑫; 李永明 計算機研究與發展 2009-09-15
110 分配序列效應代數的理想和同余 郭建勝; 李永明 計算機工程與應用 2009-09-01
111 模糊有窮自動機的互模擬關系 孫丹丹; 李永明; 楊文武 模糊系統與數學 2009-08-15
112 計量邏輯學中的誤差累計理論 韓邦合; 李永明 計算機工程與應用 2009-08-11
113 基于隸屬模糊二元語義的群決策方法 羅敏楠; 李永明 模糊系統與數學 2009-06-15
114 關于Scott開濾子拓撲核緊性的注記 奚小勇; 李永明 模糊系統與數學 2009-04-15
115 部分可換半群的子代數與同余關系 頡永建; 李永明 計算機工程與應用 2009-04-11
116 區間值三角模左連續的充要條件 宋佳; 羅敏楠; 李永明 山東大學學報(理學版) 2009-03-16
117 Approximation and robustness of fuzzy finite automata, Li Y.M., International Journal of Approximate Reasoning, 47(2008), 247-257.
118 Fuzzy Turing machines: variants and universality, Li Y.M., IEEE Transactions on Fuzzy Systems，16（2008），1491-1502. .(SCI、EI 檢索)
119 模糊正則文法的逼近性 王擁兵; 李永明 模糊系統與數學 2008-12-15
120 由可精確測量元控制的弱可換的偽效應代數 頡永建; 李永明 計算機工程與應用 2008-12-01
121 Domain函數空間上的Isbell拓撲和Scott拓撲的一致性(英文) 奚小勇; 李永明 數學研究與評論 2008-11-15
122 基于量子邏輯的下推自動機的代數刻畫 韓召偉; 李永明 計算機工程與科學 2008-11-15
123 格值樹自動機與格值上下文無關樹文法的等價性 楊文武; 李永明; 孫丹丹 計算機工程與科學 2008-11-15
124 模糊有窮自動機與單體二階Lukasiewicz邏輯 李永明 計算機學報 2008-10-15
125 模糊推理系統的魯棒性 金檢華; 李永明; 李春泉 模糊系統與數學 2008-10-15
126 Max-Lukasiewicz復合推理下的模糊圖靈機 張小偉; 李永明 模糊系統與數學 2008-10-15
127 模糊圖靈機的逼近性與通用性 李永明 中國科學(E輯:信息科學) 2008-08-15
128 基于G del蘊涵算子的導出算子的n值邏輯系統 楊春志; 李永明 紡織高校基礎科學學報 2008-03-30
129 正交混合態的局域分辨 任林源; 李永明 吉林大學學報(理學版) 2008-03-26
130 基于量子純態糾纏轉化的一種算法 任林源; 李得超; 李永明 計算機工程與應用 2008-01-21
131 N-可分效應代數 頡永建; 李永明; 任林源 計算機研究與發展 2008-01-15
132 標度廣義效應代數與標度效應代數的結構 李永明 數學學報 51(5)(2008)
133 布爾型模糊系統逼近的充分條件 李得超; 史忠科; 李永明 控制與決策 2007-12-15
134 量子態轉化的一些數學性質 任林源; 李永明 西北大學學報(自然科學版) 2007-10-25
135 基于兩體量子正交糾纏態集的局域刪除 任林源; 李得超; 李永明 計算機工程與應用 2007-10-21
136 RCC11復合表的表示(英文) 李永明; 李三江 軟件學報 2007-10-15
137 離散系統與模糊離散系統控制性之間的關系 劉俊萍; 李永明; 孫鵬崗 紡織高校基礎科學學報 2007-09-30
138 有限制的通用模糊圖靈機研究 李永明 陜西師范大學學報(自然科學版) 2007-09-05
139 量子信息的刪除和克隆 任林源; 李永明 計算機工程與應用 2007-08-11
140 格值Mealy自動機的同余和同態 韓召偉; 李永明 模糊系統與數學 2007-04-15
141 模糊數學方法在出版社資源優化配置中的應用 金檢華; 李永明; 李春泉 重慶工商大學學報(自然科學版) 2007-02-28
142 Pedrycz W., The equivalence between fuzzy Mealy and fuzzy Moore machines, Li Y.M., Soft Computing, 10(2006), 953 – 959.
143 LexiT序方法的推廣 崔麗聰; 李永明 陜西師范大學學報(自然科學版) 2006-12-05
144 同步格值自動機的約簡和最小化算法 雷紅軒; 李永明 計算機工程與應用 2006-06-01
145 布爾型模糊系統的逼近精度分析(英文) 李得超; 李永明 模糊系統與數學 2006-04-30
146 Fuzzy finite automata and fuzzy regular expressions with membership values in lattice-ordered monoids, Li Y.M., Pedrycz W., Fuzzy Sets and Systems, 156(2005), 68-92. .(SCI、EI 檢索)
147 An approach to measure the robustness of fuzzy reasoning, Li Y.M., Li D.C., Pedrycz W., Wu J.J., International Journal of Intelligent Systems, 20(2005), 393-413.
148 幾類格值自動機的關系 李平; 李永明 模糊系統與數學 2005-09-28
149 max-zero t-模復合意義下的模糊矩陣冪序列的收斂性 焦燁; 李永明 模糊系統與數學 2005-06-28
150 格值正則文法及其語言的性質 盛莉; 李平; 李永明 陜西師范大學學報(自然科學版) 2005-06-05
151 基于QL-蘊涵的Min-implication模糊關系方程的分解與求解 羅艷斌; 李永明 陜西師范大學學報(自然科學版) 2005-06-05
152 基于max-product復合的模糊矩陣冪序列的收斂性 焦燁; 李永明 工程數學學報 2005-04-30
153 格值正則語言的性質 盛莉; 雷紅軒; 李永明 純粹數學與應用數學 2005-03-30
154 模糊控制系統的鎮定性能 吳靜杰; 李永明 陜西師范大學學報(自然科學版) 2004-12-05
155 兩類具有輸出字符功能的模糊自動機的關系 雷紅軒; 李永明 計算機工程與應用 2004-12-01
156 θ-Fuzzy關系方程的分解與求解 羅艷斌; 李永明 模糊系統與數學 2003-12-28
157 Locale的函數空間 李永明 數學年刊A輯(中文版) 2003-12-25
158 格值自動機與語言 李永明 陜西師范大學學報(自然科學版) 2003-12-05
159 內射拓撲分子格 李永明; 張德學 數學學報 2003-09-15
160 Projective objects and injective objects in the category of quantales, Li Y.M., Zhou M., Li Z.H., J. Pure and Appl. Alg., 176(2002), 249-258.
161 非可換線性邏輯及其Quantale語義 李永明 陜西師范大學學報(自然科學版) 2001-06-05
162 對偶Quantale及其性質 李永明 陜西師范大學學報(自然科學版) 2001-03-05
163 Limit分子格 李永明; 李志慧 數學學報 2001-01-15
164 Constructive insertion theorems and extension theorems over extremely disconnected locales， Li Y.M., Li Z.H., Algebra Universalis, 44(2000), 271-281.
165 模糊控制的鎮定性能 李永明 工程數學學報 2000-12-30
166 漸近穩定性與模糊控制 李永明 陜西師范大學學報(自然科學版) 2000-09-05
167 Quantale與互模擬的進程語義 李永明; 李志慧 數學學報 1999-03-15
168 Generalized （S，I）-complete free completely distributive lattices generated by posets，Li Y.M., Semigroup Forum，57(1998)，240-248.
169 拓撲空間范疇、拓撲FUZZ范疇與拓撲分子格范疇間的反射與余反射 李永明; 王國俊 數學學報 1998-07-15
170 拓撲分子格范疇與相關范疇的關系 王國俊; 李永明 科學通報 1997-02-23
171 可連通逼近locale及其在Frm中的反射 李永明 陜西師范大學學報(自然科學版) 1996-03-05
172 一致分子格及其性質 李永明 陜西師大學報(自然科學版) 1995-06-05
173 良緊性的LF完全聚點特征 李永明 模糊系統與數學 1994-09-15
174 L-Fuzzy閉圖象與強閉圖象理論 李永明 模糊系統與數學 1991-12-31
175 格值下半連續函數的幾個問題 李永明 科學通報 1991-10-28
176 誘導空間的分子網收斂特征 李永明 陜西師大學報(自然科學版) 1991-07-02
會議論文：
1 一些量子結構的構造和Fuzzy有效空間 尚云; 李永明 第12屆全國模糊系統與模糊數學學術年會 中國會議 2004-06-30
2 模糊系統的分區域漸近穩定性分析 李永明; 李全良 中國系統工程學會模糊數學與模糊系統委員會第十屆年會 中國會議 2000-10-01
李永明，男，漢族，1966年3月生，陜西省大荔縣人，二級教授，博士生導師。 現任陜西師范大學圖書館館長。 2001年政府特殊津貼獲得者，曾獲得2002教育部第三屆“高校青年教師獎”（教育部高層次人才獎勵計劃），陜西省三秦人才津貼獲得者。
