×

兹马思-数学第一资源

计算机基础理论

马洛内数学社会年鉴。系列IV

简称: 芬达姆。通知。
平行标题: Roczniki Polskiegotowarzystwa Matematycznego。四级联赛
出版商: IOS出版社,阿姆斯特丹;波兰数学学会(Polskie Towarzystwo Matematyczne-PTM),华沙
ISSN编号: 0169-2968;1875-8681/e
在线: http://www.iospress.nl/journal/fundamenta-informaticae
http://www.mimuw.edu.pl/~fundam/FI/previous/issues.html
前任: 马洛内数学社会年鉴。系列IV
编制索引的文档: 2948份出版物(自1999年起)
索引的引用: 69种出版物参考文献2362篇。
全部的 前5名

最新版本

179,1号(2021年)
178,第4期(2021年)
178,第3期(2021年)
178,编号1-2(2021)
177,第3-4期(2020年)
177,第2期(2020年)
177第1期(2020年)
176,第3-4期(2020年)
176,第2期(2020年)
176,第1期(2020年)
175,第1-4期(2020年)
174,第3-4期(2020年)
174,第2期(2020年)
174,第1期(2020年)
173,第4期(2020年)
173,第2-3期(2020年)
173,第1期(2020年)
172,第4期(2020年)
172,第3期(2020年)
172,第2期(2020年)
172,第1期(2020年)
171,第1-4期(2020年)
170,第4期(2019年)
170,第1-3期(2019年)
169,第4期(2019年)
169,第3期(2019年)
169,第1-2期(2019年)
168,第2-4期(2019年)
168,第1期(2019年)
167,第4期(2019年)
167,第3期(2019年)
167,第1-2期(2019年)
166,第4期(2019年)
166,第3期(2019年)
166,第2期(2019年)
166,第1期(2019年)
165,第3-4期(2019年)
165,第2期(2019年)
165,第1期(2019年)
164,第4期(2019年)
164,第2-3期(2019年)
164,第1期(2019年)
163,第4期(2018年)
163,第3期(2018年)
163,第2期(2018年)
163,第1期(2018年)
162,第2-3期(2018年)
162,第1期(2018年)
161,第4期(2018年)
161,第3期(2018年)
161,第1-2期(2018年)
160,第4期(2018年)
160,第3期(2018年)
160,第1-2期(2018年)
159,第4期(2018年)
159,第3期(2018年)
159,第1-2期(2018年)
158,第4期(2018年)
158,第1-3期(2018年)
157,第4期(2018年)
157,第3期(2018年)
157,第1-2期(2018年)
156,2017年第3-4期
156,第2期(2017年)
156,2017年第1期
155,第4期(2017年)
155,第3期(2017年)
155,第1-2期(2017年)
154,第1-4期(2017年)
153,第4期(2017年)
153,第3期(2017年)
153,第1-2期(2017年)
152,第4期(2017年)
152,第3期(2017年)
152,第2期(2017年)
152,2017年第1期
151,第1-4期(2017年)
150,2017年第3-4期
150,第2期(2017年)
1502017年第1期
149,第4期(2016年)
149,第3期(2016年)
149,第1-2期(2016年)
148,第3-4期(2016年)
148,第1-2期(2016年)
147,第4期(2016年)
147,第2-3期(2016年)
147,第1期(2016年)
146,第4期(2016年)
146,第3期(2016年)
146,第2期(2016年)
146,第1期(2016年)
145,第4期(2016年)
145,第3期(2016年)
145,第2期(2016年)
145,第1期(2016年)
144,第3-4期(2016年)
144,第2期(2016年)
144,第1期(2016年)
143,第3-4期(2016年)
…还有285卷
全部的 前5名

作者

48 彭泽克,沃伊切赫
39 查加,路德维克
34 张金珍
32 斯考伦,安德烈
28 苏拉杰,兹比格涅夫
27 库特尼,麦基
25 Păun,盖尔赫
24 库德莱克,曼弗雷德
23 罗森伯格,格尔茨戈尔茨
22 莫斯科,米哈伊尔朱。
22 Pérez Jiménez,马里奥J。
20 彼得斯,詹姆斯·弗朗西斯三世
19 贾尼基,里扎德
19 波尔科夫斯基,莱赫T。
18 弗伦德,鲁道夫
17 迈克尔·梅勒
17 兹布尔泽兹尼,安德泽吉
16 马根斯特恩,莫里斯
16 佩托罗斯,阿尔伯托
15 格鲁斯卡,达玛斯P。
15 Maggiolo Schettini,安德里亚
15 阮林安
15 斯捷潘尼乌克,雅罗斯瓦
14 巴布提,罗伯托
14 达维德,奇奇
14 克莱恩,码头H.C.M。
14 潘林强
14 雷德齐约夫斯基,罗曼R。
14 沃尔斯基,马辛
13 伯哈德,汉斯·迪特
13 法尔,伯恩特
13 戈莫林斯卡,安娜
13 洛马佐娃,伊琳娜。
13 潘克尔兹,克鲁兹托夫
12 马格达莱纳,卡普扎克
12 卡鲁马基,朱哈尼
12 库特里布,马丁
12 米兰佐,保罗
12 齐洛斯科,比塔
11 伯格斯特拉,Jan A。
11 奇卡洛夫,伊戈尔诉。
11 德维勒,雷蒙德
11 霍尔泽,马库斯
11 胡雨辰
11 Iliopoulos,科斯塔斯S。
11 卡丽,莉拉
11 米德尔堡,科尼利斯A。
11 或者奥夫斯卡,埃瓦S。
11 波波娃·泽格曼,卢奇卡
11 普罗埃蒂,毛里齐奥
11 西姆森,丹尼尔
11 斯雷特,麦基
11 姚一玉
10 卡苏哈伊·瓦尔杰·贝特
10 杜恩茨,伊沃
10 阿莱西奥·洛穆西奥
10 奥霍廷,亚历山大
10 萨洛马,Kai T。
10 瓦卡列洛夫,迪米特
10 温科夫斯基,乔泽夫
10 亚科夫列夫,亚历山大五世。
9 贝利亚,马可
9 最好的,艾克
9 乔巴努,加布里埃尔
9 达索,约根
9 玛吉,普拉迪普塔
9 阮鸿森
9 奥奇乌托,M.尤金尼亚
9 帕罗拉,阿加塔
9 萨洛马,库斯塔
9 萨尔威基,安德烈
9 Ślęzak,多米尼克
9 蒂尼,西蒙妮
9 托罗尼,保罗
9 Vaszil,Gyorgy
9 Zandron,克劳迪奥
8 阿尔哈佐夫,阿蒂姆
8 比斯塔雷利,斯特凡诺
8 迪努,利维乌·佩特里ş或
8 杜里奥,保罗
8 弗罗西尼,安德里亚
8 乔治,玛丽安
8 哈拉瓦,维萨
8 亨德里克·扬
8 克劳德尔,汉娜
8 莱波拉蒂,阿尔伯托
8 毛里,詹卡洛
8 米库尔斯基,乌卡斯
8 佩特里昂
8 特利科夫斯基,托马斯
8 津本,树坂
8 维兰,谢尔盖
8 Virbitskaite,伊琳娜B。
8 王国银
8 沃娜,博伊娜
7 巴尔比尼,菲利普
7 巴塔查里亚,巴格布·比克拉姆
7 博迪恩,亨宁
7 卡塔尼奥,詹皮罗
7 Dennunzio,阿尔贝托
…还有3775位作者

按年份列出的出版物

zbMATH公开赛中包含的引文

1465年出版物有被引用5456时间3873份文件 引用人
尖峰神经P系统。 Zbl 1110.68043
伊奥尼斯库,米海;Păun,盖尔赫;横滨,高市
118
2006
反应系统。 Zbl 1108.68056
埃伦费赫特,A。;罗森伯格,G。
67
2007
近似熵约化。 Zbl 1092.68676
Ślȩzak,多米尼克
38
2003
博弈论粗糙集。 Zbl 1243.91016号
赫伯特,约瑟夫P。;景涛
36
2011
组合几何与编码理论。 Zbl 1421.94120
莱戈罗德斯基,上午。
32
2016
会玩游戏的特工。 Zbl 1102.68106
贾姆罗加,沃伊切赫;范德霍克,威比
31
2004
定性空间表示与推理:综述。 Zbl 0974.68206
科恩,A.G。;哈扎里卡,S.M。
30
2001
接触代数与基于区域的空间理论:一种接近方法。一。 Zbl 1111.68122
迪莫夫,乔治;瓦卡列洛夫,迪米特
29
2006
粗糙集上近似的公理化。 Zbl 1096.68150
刘桂龙
28
2006
通过识别具有受限活性膜的P系统来求解PSPACE完全问题。 邮编:1085.68048
阿尔哈佐夫,阿蒂姆;马丁维德,卡洛斯;潘林强
26
2004
关于粗糙近似的结构。 Zbl 1012.68200
乔尼,Järvinen
26
2002
覆盖物的熵和共熵及其在不完备信息系统中的应用。 Zbl 1108.68112
比努奇,丹尼拉;卡塔尼奥,詹皮罗;达维德,奇奇
25
2007
MV代数和Łukasiewicz-Moisil代数上的时态算子。 Zbl 1136.03045
迪康涅斯库,丹尼莎;乔治,乔治
24
2007
求解主丢番图方程、沙漏管和根环面的网格算法。 Zbl 1257.11109号
西姆森,丹尼尔
23
2011
关于由spiking神经P系统生成的字符串语言。 Zbl 1108.68055
陈海明;弗伦德,鲁道夫;伊奥尼斯库,米海;Păun,盖尔赫;Pérez Jiménez,马里奥J。
23
2007
保数元胞自动机规则。 Zbl 1013.37006
博卡拉,尼诺;福克,亨利
22
2002
通过有界模型检验验证多智能体系统的认知特性。 Zbl 1111.68512
彭泽克,沃伊切赫;阿莱西奥·洛穆西奥
21
2003
粗糙集,覆盖和不完全信息。 Zbl 1279.68308
库索,伊内斯;杜布瓦,迪迪埃
21
2011
局部分数偏微分方程的一个新族。 Zbl 1386.35461号
杨小军;马查多,J.A.Tenreiro;尼托,胡安J。
21
2017
一种基于决策论粗糙集的多类别分类方法。 Zbl 1248.68492
刘,敦;李天瑞;李华雄
20
2012
具有显式散度的分枝双相似性。 Zbl 1183.68404
范格拉贝克,罗伯;巴斯州卢蒂克;Trčka,尼古拉
19
2009
确定Dynkin图的矩阵磨蚀、Weyl轨道、Coxeter多项式和网格几何的算法。 Zbl 1290.68138
丹尼尔,西姆森
19
2013
属性约简中代数观点与信息观点的比较研究。 Zbl 1098.68134
王国银。;赵军;安,九江;吴宇
19
2005
关于成对比较不一致性指标的公理化。 Zbl 1303.91063号
科茨科达,沃尔德马尔W。;Szwarc,Ryszard公司
19
2014
高阶变阶分数阶导数逼近的SM算法。 Zbl 1377.65031
莫哈达姆,B.P。;马查多,J.A.T。
19
2017
接近集合。关于物体接近性的特殊理论。 Zbl 1108.68119号
彼得斯,詹姆斯F。
19
2007
正边和主边二部图和单位二次型的膨胀算法。 Zbl 1247.05241
Kosakowska,Justyna
19
2012
用决策理论粗糙集对多智能体三方决策建模。 Zbl 1248.68505
杨小平;姚景涛
18
2012
数学形态学基础。 Zbl 0958.68177
Goutsias,约翰;你好,亨克·J·A·M。
18
2000
膜上有蛋白质的P系统。 Zbl 1099.68031
Păun,安德烈;波帕,比安卡
18
2006
基于构件设计的模态界面理论。 Zbl 1242.68147
Raclet,让·巴普蒂斯特;巴杜埃尔,埃里克;本维尼斯特,艾伯特;凯劳德,贝诺;勒盖,阿克塞尔;路人,罗伯托
18
2011
边二部图的同余及其在Grothendieck群识别中的应用。二: 科克斯特式研究。 Zbl 1367.05107号
奥斯先生,安德泽伊
18
2016
边二部图的Coxeter谱分类中计算图同余的符号算法。二: 各向同性小基团。 Zbl 1371.05116
西姆森,丹尼尔
18
2016
多变量阶分数阶微分方程的优化小波方法。 Zbl 1379.65046
海达里,M.H。;Hooshmandasl先生。;卡塔尼,C。;哈里哈兰,G。
18
2017
双向可逆多头有限自动机。 Zbl 1234.68230
森田,健一
17
2011
实时逻辑:可判定性和复杂性。 Zbl 1127.03012
赫什菲尔德,约兰;拉比诺维奇,亚历山大
17
2004
独立于机构的超级产品。 Zbl 1036.03055
迪亚科内斯库,Răzvan
17
2003
状态复杂性:最近的结果和开放的问题。 Zbl 1102.68076
余,盛
17
2005
利用静态和动态观测器进行故障诊断。 Zbl 1167.68011
卡塞兹,弗兰克;特里帕基斯,斯塔夫罗斯
17
2008
带有携带数据的令牌的网络。 1156804.ZB90
拉齐奇,兰科;纽科姆,汤姆;哇克宁,乔;罗斯科,A.W。;沃雷尔,詹姆斯
17
2008
边二部图的同余及其在Grothendieck群识别中的应用。一: 通货膨胀算法重新审视。 Zbl 1367.05106
奥斯先生,安德泽伊
17
2016
用新的再生核算法求解具有非经典边界条件的DASs的近似解。 Zbl 1373.65051
阿库布,奥马尔·阿布
17
2016
边二部图的Coxeter谱分类中计算图同余的符号算法。一、 革兰氏分类法。 Zbl 1371.05115号
西姆森,丹尼尔
17
2016
环Cox正则边二部图Coxeter谱分类的网格算法。一: 网状根系。 Zbl 1335.05144
卡斯扬,斯坦尼斯;西姆森,丹尼尔
17
2015
环Cox正则边二部图Coxeter谱分类的网格算法。二: 在Coxeter光谱分析中的应用。 Zbl 1335.05145号
卡斯扬,斯坦尼斯;西姆森,丹尼尔
17
2015
基于自索引语法的压缩。 Zbl 1237.68072
克劳德,弗朗西斯科;纳瓦罗,冈萨罗
17
2011
具有比较分析的Dirichlet函数型分数阶系统解的数值算法。 Zbl 1435.65182号
阿布·阿库布,奥马尔
17
2019
边二部图的Coxeter谱分析框架,它们的有理化和根轨道的网格几何。 Zbl 1269.05073
西姆森,丹尼尔
16
2013
分水岭变换:定义、算法和并行化策略。 Zbl 0958.68184
Roerdink,乔斯·B·T·M。;梅斯特,阿诺德
16
2000
用于模拟微生物系统的循环序列的微积分。 Zbl 1101.92021
巴布提,罗伯托;Maggiolo Schettini,安德里亚;米兰佐,保罗;Troina,安吉洛
16
2006
热冲击响应的反应系统模型。 Zbl 1286.92022
阿齐米,塞皮诺德;伊恩库,博格丹;皮特,伊恩
16
2014
有序信息系统中的多粒度决策理论粗糙集。 兹布1334.68220
李文涛;徐卫华
16
2015
形式概念分析的可能性理论观点。 Zbl 1108.68114
杜布瓦,迪迪埃;佛罗伦萨圣赛尔杜平;普拉德,亨利
16
2007
粒子群优化算法的收敛性证明。 Zbl 1211.90320型
范登伯格,弗兰斯;恩格尔布雷特,安德烈·彼得鲁斯
15
2010
两种联合运算的状态复杂性:连锁之星和反转之星。 Zbl 1147.68040
高、元;萨洛马,凯;余,盛
15
2008
频繁子树挖掘-概述。 Zbl 1096.68044
迟云;齐格弗里森;芒茨,理查德R。;角,乔斯特N。
15
2005
关于Parikh矩阵映射的内射性。 Zbl 0997.68075
阿塔纳修,阿德里安;马丁维德,卡洛斯;马泰斯库,亚历山德罗
15
2002
膜分裂,神谕,和计数等级。 Zbl 1357.68064
莱波拉蒂,阿尔伯托;曼佐尼,卢卡;毛里,詹卡洛;波雷卡,安东尼奥E。;Zandron,克劳迪奥
15
2015
求正定拟Cartan矩阵Dynkin型的三次算法。 Zbl 1442.65082
佩雷斯,克劳迪娅;阿巴卡,马里奥;里维拉,丹尼尔
15
2018
一种具有寄生相互作用和环境效应的捕食-食饵细胞自动机。 Zbl 1140.37024
法里纳,法比奥;Dennunzio,阿尔贝托
14
2008
加权后缀树:一种处理分子加权序列的有效数据结构及其应用。 Zbl 1095.68029
Iliopoulos,科斯塔斯S。;马克里斯,克里斯托斯;帕纳吉斯,亚尼斯;佩迪库里,卡特琳娜;西奥多里迪斯,伊万盖洛斯;Tsakalidis,Athanasios
14
2006
纳什均衡的一个模态特征。 Zbl 1041.03016
哈伦斯坦,保罗;范德霍克,威比;迈耶,约翰·朱尔斯;维特文,中欧和东欧
14
2003
重温Parikh矩阵映射的内射性。 Zbl 1104.68058
Şerbănuţă,维吉尔·尼古拉;Şerbănuţă,特里安·弗洛林
14
2006
正定对称拟Cartan矩阵的图论和算法刻画。 Zbl 1374.68235
阿巴卡,M。;里维拉,D。
14
2016
带环Cox正则正边二部图的膨胀算法。 Zbl 1377.05078号
马库拉基,巴托斯;西姆森,丹尼尔;Zyglarski,Błażej
14
2017
区域空间理论的模态逻辑。 Zbl 1142.03012
巴尔比尼,菲利普;廷切夫,廷科;瓦卡列洛夫,迪米特
14
2007
回答集编程与懒惰接地。 Zbl 1207.68118号
达尔帕尔,亚历山德罗;多维尔,阿戈斯蒂诺;庞泰利,恩里科;罗西,詹弗兰科
13
2009
Birkhoff型问题的一种算法解法。 Zbl 1156.16011号
西姆森,丹尼尔;沃杰沃兹基,马里乌斯
13
2008
异步CA的计算问题。 Zbl 1283.68226
Dennunzio,阿尔贝托;福尔门蒂,恩里科;曼佐尼,卢卡
13
2012
信念函数的模糊模态逻辑。 Zbl 1044.03009号
哥德洛,你;哈耶克,彼得;埃斯特瓦,弗朗切斯克
13
2003
不一致决策表分析的规范化决策函数与测度。 Zbl 0970.68171
Ślȩzak,多米尼克
13
2000
前本体论与动态空间。 Zbl 1098.68131号
帕格利亚尼,皮耶罗
13
2004
RRIA:一种基于粗糙集和规则树的增量知识获取算法。 Zbl 1098.68711号
郑,郑;王国银
13
2004
概念格与非交换模糊逻辑中的相似性。 Zbl 1023.03016
乔治,乔治;波佩斯库,安德烈
13
2002
基本复杂性和相互作用的几何学。 Zbl 0973.03033
柏洛,帕特里克;佩迪奇尼,马可
13
2001
从Mirkin的prebase到Antimirov的词偏导数。 Zbl 0976.68098
尚巴诺,让马克;齐亚迪,杰卢
13
2001
关于Parikh矩阵映射的内射性。 Zbl 1102.68072
萨洛马,阿托
13
2005
小型通用尖峰神经P系统。 Zbl 1154.68054
张兴义;曾湘湘;潘林强
13
2008
无前缀正则语言基本操作的不确定性状态复杂性。 Zbl 1161.68534号
韩,友子;萨洛马,凯;伍德,德里克
13
2009
分数阶扩散方程的剩余幂级数法。 Zbl 1386.35445
库马尔,阿米特;库马尔,苏尼尔;阎盛平
13
2017
接触代数与基于区域的空间理论:邻近方法。二。 Zbl 1111.68123
迪莫夫,乔治;瓦卡列洛夫,迪米特
13
2006
离散模型的细化、分解和实例化:在Event-B中的应用。 Zbl 1118.68392
Abrial,让·雷蒙德;哈勒斯泰德,斯特凡
13
2007
物体的接近度:近似空间模型的推广。 Zbl 1124.68107
彼得斯,詹姆斯F。;斯考伦,安德烈;斯特潘尼乌克,雅罗斯劳
13
2007
区间值模糊Galois连接:代数要求和概念格构造。 Zbl 1205.68403
乔瓦迪,亚辛;普拉德,亨利
12
2010
混沌子移位及相关语言。一维元胞自动机的应用。 Zbl 1011.68054
卡塔尼奥,詹皮罗;Dennunzio,阿尔贝托;玛格丽拉,卢西亚诺
12
2002
利用偏序集的理想格表示。 Zbl 1110.06001
德鲁夫,卡雷尔;德梅耶,汉斯;德贝茨,伯纳德
12
2006
经典逻辑中割消去的强正规化。 Zbl 0982.03032
C.C。;比尔曼,G.M。
12
2001
与多值逻辑系统有关的代数结构。一: Heyting-Wajsberg代数。 Zbl 1090.03035
卡塔尼奥,詹皮罗;达维德,奇奇;吉安蒂尼,罗伯托;科尼格,马丁
12
2004
VERICS 2007–知识和实时模型检查器。 Zbl 1167.68381
马格达莱纳,卡普扎克;纳比亚耶克,沃伊切赫;尼维亚多姆斯基,阿图尔;彭泽克,沃伊切赫;帕罗拉,阿加塔;斯雷特,麦基;沃娜,博伊娜;兹布尔泽兹尼,安德泽吉
12
2008
基于P系统的背包问题的量子进化算法。 Zbl 1154.68514号
张葛祥;乔治,玛丽安;吴超忠
12
2008
膜计算与经济学:数值P系统。 Zbl 1157.68373
Păun,盖尔赫;Păun,拉杜
12
2006
Cox正则边二部图的各向同性群的算法。 Zbl 1335.05146号
卡斯扬,斯坦尼斯;西姆森,丹尼尔
12
2015
关于corank最多两个非负偏序集及其Coxeter-Dynkin类型的算法研究。 Zbl 1335.05171
Gąsiorek,马金;Zając,Katarzyna
12
2015
用于生化网络建模和分析的时间Petri网。 Zbl 1096.68110
波波娃·泽格曼,卢奇卡;海纳,莫妮卡;科赫,印第安纳州
11
2005
有效的粗糙集理论融合。 Zbl 1329.68247
格雷博夫斯基,亚当
11
2014
计算普通语言的禁词。 Zbl 1030.68059
Béal,玛丽·皮埃尔;克罗切莫尔,马克西姆;米诺西,菲利波;雷斯蒂沃,安东尼奥;斯考蒂诺,马里内拉
11
2003
基于Rebeca的反应系统建模与验证。 邮编:1082.68007
西尔贾尼,马扬;阿里,莫瓦加尔;莎莉,阿明;德波尔,弗兰克·S。
11
2004
关于Girard量子故事的领域理论。 Zbl 1193.06006
瓦兹基维茨,帕维
11
2009
正射:一种简单而广泛使用的不确定性建模方法。 Zbl 1242.68309
达维德,奇奇
11
2011
从一维到二维元胞自动机。 Zbl 1250.68204
Dennunzio,阿尔贝托
11
2012
关于互补棱镜的一般位置数。 Zbl 07350475
尼图,P.K。;钱德兰,S.V.Ullas;马诺伊,昌亚特;克拉夫扎尔,桑迪
1
2021
反应系统和使能等效。 14ZB95.68035升
克莱恩,码头;库特尼,麦基;米库尔斯基,乌卡斯
5
2020
具有规则生成和删除的P系统。 Zbl 1435.68097
潘林强;宋博生
2
2020
网络代数的验证技术。 Zbl 1464.68233
布罗多,琳达;奥拉特,卡洛斯
2
2020
产生相等的双出现词的插入。 兹布1435.68250
克鲁兹,丹尼尔A。;法拉利,玛格丽塔·玛丽亚;乔诺斯卡,娜塔莎;纳贝加尔,卢卡斯;斋藤,Masahico
1
2020
反应系统模拟的许多途径。 Zbl 1435.68094
费雷蒂,克劳迪奥;莱波拉蒂,阿尔伯托;曼佐尼,卢卡;波雷卡,安东尼奥E。
1
2020
预测格子上的沙堆有多难?调查。 Zbl 1445.37006
福尔门蒂,恩里科;佩罗,凯文
1
2020
具有活性膜的无极化P系统中的膜生成。 Zbl 1435.68096
奥雷利亚娜·马丁恩,大卫;瓦伦西亚卡布雷拉,路易斯;利斯科-努涅斯,阿古斯丁;Pérez Jiménez,马里奥J。
1
2020
如何同步细胞自动机-最近的发展。 Zbl 1441.68141
大户,弘石
1
2020
关于标记插入语法的西拉德语言。 Zbl 1464.68182号
保罗,普里斯韦内尔
1
2020
对称优化问题的一个范数宽邻域二阶校正不可行内点法。 Zbl 07271742
海尔法姆,贝鲁兹
1
2020
一种多元体模态逻辑。 Zbl 07274553
路易斯安那州Leuştean;纳塔莉亚,呻吟;Şerbănuţă,特里安·弗洛林
1
2020
图的析取全控制细分数。 Zbl 07274560
切菲,卡南;艾塔ç,韦克迪
1
2020
网络中链路剩余法与控制法的结合。 Zbl 07274562
图拉,图凡
1
2020
并发约束语言的动态切片。 Zbl 07350036
法拉希,莫雷诺;加布里埃利,毛里齐奥;奥拉特,卡洛斯;帕拉米德西,卡图西亚
1
2020
三个多发性骨髓瘤患者基因突变数据集的网络可控性分析。 Zbl 07350069
桑切斯,马丁·何塞·安杰尔;皮特,伊恩
1
2020
具有比较分析的Dirichlet函数型分数阶系统解的数值算法。 Zbl 1435.65182号
阿布·阿库布,奥马尔
17
2019
余幂级数法在一维时间分数阶薛定谔方程求解中的应用。 Zbl 1417.65184
阿库布,奥马尔·阿布
10
2019
粗糙集理论中的一种近似方法。 6832ZB35
苏拉比提瓦里;辛格,潘卡吉·库马尔
5
2019
cP系统中的哈密顿圈和旅行商问题。 Zbl 1414.68028
库珀,詹姆斯;尼古拉斯库,拉杜
5
2019
处理脉冲神经P系统中的非确定性:算法和仿真。 Zbl 1414.68026
卡兰丹,Jym Paul;卡巴尔,弗朗西斯乔治C。;阿多纳,亨利·纳提维达;埃尔南德斯,内斯汀霍普S。;马丁内斯德阿莫尔,米格尔·安格尔
2019
覆盖逼近空间中粗糙隶属函数的三向决策。 Zbl 1412.68278号
杨斌;胡宝青;乔俊生
2
2019
一个用于斜交PBW扩展的计算Maple库。 Zbl 1416.68216
Fajardo,威廉
2
2019
矿石扩张的Quillen-Suslin定理的初等矩阵计算证明。 Zbl 1429.16025号
Fajardo,威廉;奥斯瓦尔多莱扎马
2
2019
图形划分和图形关系。 Zbl 1412.68174
沙欣,Tanzeela;斯特尔,约翰G。
1
2019
通过基于公式的预测器研究反应系统的不透明度。 Zbl 1412.68059
戈里,罗伯塔;格鲁斯卡,达马斯;米兰佐,保罗
1
2019
应用现代SAT解算器解决难题。 Zbl 1412.68088
尼维亚多姆斯基,阿图尔;斯威塔尔斯基,皮奥特;西多鲁克,特奥菲尔;彭泽克,沃伊切赫
1
2019
具有von Neumann邻域的简化布朗元胞自动机的通用计算。 Zbl 1455.68116
徐文丽;李,贾;陈慧慧;Isokawa,Teijiro
1
2019
有限模型真值定义的模态逻辑。 Zbl 1435.03042
查内基,马雷克;兹达诺夫斯基,康拉德
1
2019
从Gower定理看\(k\)-均值核技巧的核函数的存在性。 Zbl 1435.68265
Kłopotek,Mieczysław A。
1
2019
命令式程序设计语言的算法完备性。 Zbl 1423.68087
马奎尔,尤安
1
2019
结合图中剩余和控制的概念。 Zbl 1415.05139号
图拉,图凡;艾塔,艾桑
1
2019
基于扩展的树分解QBF求解。 Zbl 1415.68111
查沃特,Günther;沃尔特兰,斯特凡
1
2019
连续数据双聚类的布尔表示。 Zbl 07094221
米查拉克,马金;Ślęzak,多米尼克
1
2019
关联规则优化的启发式算法比较。 Zbl 1414.68102
阿尔索拉米,法瓦兹;阿明,塔哈;米哈伊尔,米什科夫;齐洛斯科,比塔;Żabinïski,Krzysztof
1
2019
格在两个排序框架中的模算子表示。 Zbl 1435.03090
哈托单胞菌、蛹;或者奥夫斯卡,埃瓦
1
2019
具有支持/反端口规则和启动子的类细胞P系统的计算能力。 Zbl 1414.68029号
蒋素霞;王艳凤;徐金邦;徐飞
1
2019
复区间值直觉模糊集及其聚合算子。 Zbl 1414.03012
加格,哈里什;拉尼,酒窝
1
2019
点集凸包的两个中心:动态模型和限制流模型。 Zbl 1414.68135号
萨杜,桑吉布;罗伊,佐桑卡;南迪,苏门;马赫什瓦里,阿尼尔;南迪,苏哈斯·C。
1
2019
主动完整性约束的动态逻辑描述。 Zbl 1427.68064
费伊拉德,纪尧姆;赫尔兹,安德烈亚斯;兰特苏迪斯,克里斯托斯
1
2019
加权标记图Petri网的分析与综合:精确与近似方法。 Zbl 1436.68210
德维勒,雷蒙德;哈哈萨,托马斯
1
2019
简单类型有限性几个概念的可判定性。 Zbl 1446.03036
埃斯皮里托·桑托,何塞;马特斯,拉尔夫;平托,鲁伊斯
1
2019
对按值调用\(\lambda\)—演算的新语义洞察。 Zbl 1434.68092
曼佐内托,朱利奥;帕加尼,米歇尔;Ronchi Della Rocca,西蒙娜
1
2019
多方会议的观察等价性。 Zbl 1436.68214
西弗利,保拉;Dezani Ciancaglini,马里安哥拉
1
2019
求正定拟Cartan矩阵Dynkin型的三次算法。 Zbl 1442.65082
佩雷斯,克劳迪娅;阿巴卡,马里奥;里维拉,丹尼尔
15
2018
图像模糊Hamacher聚集算子及其在多属性决策中的应用。 兹布1390.68684
魏桂武
10
2018
一些互连网络上的图论一般位置问题。 Zbl 1407.68367号
曼纽尔,保罗;克拉夫扎尔,桑迪
8
2018
多属性决策中的一些新的勾股模糊交互聚合算子。 Zbl 1390.91103
高辉;陆,毛;魏桂武;魏宇
5
2018
表达描述逻辑的有理闭包:以\(\mathcal{SHIQ}\)为例。 Zbl 1408.68137
乔达诺,劳拉;格利奥兹,瓦伦蒂娜;奥利维蒂,尼古拉
4
2018
数学{SROEL}中的可撤销推理:从理性蕴涵到理性闭包。 Zbl 1404.68152号
乔达诺,劳拉;伊迪达尼尔,埃利达尼尔
2018
追逐的解剖。 兹布1390.68247
格雷恩,戈斯塔;一点,阿德里安
2018
关于图中的度量维数。 Zbl 1400.05072
哈卡宁,安妮;莱霍宁,泰罗
2
2018
单调自动机的子集同步。 Zbl 1400.68114
里日科夫,安德鲁;谢米亚科夫,安东
2
2018
用加权频率法研究单词方程式。 Zbl 1400.68115号
萨雷拉,阿列克西
2
2018
用溯因逻辑编程对数据日志本体论进行推理。 Zbl 1390.68621
加瓦内利,马可;南丫岛,伊芙丽娜;里古兹,法布里齐奥;贝洛迪,埃琳娜;泽斯,里卡多;科塔,朱塞佩
2
2018
可达性博弈中的附加获胜策略。 Zbl 1386.91035号
马尔文,瓦迪姆;穆拉诺,阿尼埃洛;索伦蒂诺,洛里达纳
2
2018
无证书聚合签名的密码分析与改进。 Zbl 1391.94775号
李继国;袁,洪;张一晨
2
2018
基于Petri网的活动对象和未来建模。 Zbl 1390.68489
德波尔,弗兰克·S。;布雷维蒂,马里奥;李,马蒂亚斯·D。;扎瓦塔罗,詹路易吉
2
2018
基于有序加权犹豫模糊信息融合的概率语言多属性决策方法。 Zbl 1390.68651
法哈迪尼亚,巴林;徐泽水
2
2018
多个链的状态复杂性。 Zbl 1393.68089
卡隆,帕斯卡;卢克,让·加布里埃尔;帕特鲁,布鲁诺
1
2018
用于范围LCP查询的线性空间数据结构。 Zbl 1405.68463
甘古利,阿纳布;帕蒂尔,曼尼什;沙阿,拉胡尔;谢谢,夏尔玛诉。
1
2018
游程编码序列上平均公共子串的计算。 Zbl 1403.68373
霍什曼德,萨哈尔;塔瓦科利,内达;阿贝丁,帕尼兹;谢谢,夏尔玛诉。
1
2018
精确双聚类的布尔表示。 Zbl 1398.68451
米查拉克,马金;Ślȩzak,多米尼克
1
2018
有限域上多项式约束的约束逻辑规划。 Zbl 1396.68030
贝根蒂,费德里科;莫妮卡,斯蒂芬妮娅;罗西,詹弗兰科
1
2018
用标记变量扩展逻辑程序设计:模型和语义。 Zbl 1396.68031
卡列加里,罗伯塔;恩里科,丹蒂;多瓦斯蒂诺;奥米奇尼,安德里亚
1
2018
分布式用餐哲学家协议的基于逻辑的验证。 Zbl 1396.68071
德尔扎诺,乔治
1
2018
直觉逻辑和模态逻辑S4中用于证据搜索和调度的多智能体对话和对话序列。 Zbl 1408.68139
斯蒂希特,马丁
1
2018
广义thorn图的剩余闭性。 Zbl 1396.05104号
丹格尔切夫,查夫达尔
1
2018
保持\(\lambda\)-置乱矩阵。 Zbl 1396.05070
古特曼,亚历山大E。;马卡耶夫,阿泰姆·M。
1
2018
在\(\mathrm{SL}(2,\mathbb{Z})\)中的向量模糊性和自由度问题。 Zbl 1406.20055
柯,桑基;伊戈尔,波塔波夫
1
2018
引用抽象域和应用程序进行字符串分析。 Zbl 1386.68031
阿玛蒂尼,罗伯托;恒河,格雷姆;高蒂埃,弗朗索瓦;约旦,亚历山大;沙赫特,彼得;桑德加德,哈拉尔德;斯图基,彼得J。;张晨仪
1
2018
具有偏好的多上下文系统。 Zbl 1386.68159
Le,Tiep公司;儿子,崔曹;庞泰利,恩里科
1
2018
集体态度建模的逻辑。 Zbl 1386.68162
波雷洛,丹妮尔
1
2018
试图理解佩格。 Zbl 1386.68081
雷德齐约夫斯基,罗曼R。
1
2018
关于乘法数论的公理化。 Zbl 1436.03307号
萨利希,赛义德
1
2018
在数字对象中寻找最短三角形路径及其族。 Zbl 1390.68729
萨卡,阿普尔巴;比斯瓦,阿林达;杜特,穆苏米;蒙达尔,舒维克
1
2018
邻域系统:粗糙集逼近与可定义性。 Zbl 1390.68679
秀,玉茹;林恩兵;Liau,Turr Jung
1
2018
基于一类特殊代数变换的全牛顿步内点法。 Zbl 1407.90346
海尔法姆,贝鲁兹;纳斯罗拉希,阿夫萨尼
1
2018
局部分数偏微分方程的一个新族。 Zbl 1386.35461号
杨小军;马查多,J.A.Tenreiro;尼托,胡安J。
21
2017
高阶变阶分数阶导数逼近的SM算法。 Zbl 1377.65031
莫哈达姆,B.P。;马查多,J.A.T。
19
2017
多变量阶分数阶微分方程的优化小波方法。 Zbl 1379.65046
海达里,M.H。;Hooshmandasl先生。;卡塔尼,C。;哈里哈兰,G。
18
2017
带环Cox正则正边二部图的膨胀算法。 Zbl 1377.05078号
巴科斯基;西姆森,丹尼尔;Zyglarski,Błażej
14
2017
分数阶扩散方程的剩余幂级数法。 Zbl 1386.35445
库马尔,阿米特;库马尔,苏尼尔;阎盛平
13
2017
corank两边二部图及其根的网格几何的数值算法。 Zbl 1375.05167
Zając,Katarzyna
10
2017
具有活性膜的无极化P系统最小合作与分布的计算效率。 兹布1377.68088
瓦伦西亚卡布雷拉,路易斯;奥雷利亚娜·马丁恩,大卫;马丁内斯德阿莫尔,米格尔A。;利斯科-努涅斯,阿古斯丁;Pérez Jiménez,马里奥J。
9
2017
扩展迭代法与分数阶微积分的单调收敛性及其应用。 Zbl 1378.65115号
阿纳斯塔苏,乔治A。;Argyros,Ioannis K。;库马尔,苏尼尔
8
2017
分数阶微积分范围内的薄层粘性流体流动模型:有无奇异核的分数阶导数。 Zbl 1375.76020号
阿坦加纳,阿布登;科卡,伊尔克努尔
7
2017
二部图及其邻接矩阵在基于覆盖的粗糙集中的应用。 Zbl 1381.68293
王静倩;朱,威廉
7
2017
保护你的匕首和痕迹:有保护的(共同)递归的属性。 Zbl 1375.68042
米利厄斯,斯特凡;利塔克,塔德乌斯
6
2017
关于Riemann-zeta分数阶导数的临界带。 Zbl 1376.26007号
卡塔尼,C。;瓜里格里亚,E。;王,S。
6
2017
粗糙集理论与有向图。 Zbl 1400.05193
基亚塞洛蒂,詹皮罗;达维德,奇奇;真蒂莱,汤玛索;输液,费德里科
6
2017
宽邻域半定优化问题的预估-校正不可行内点算法。 Zbl 1386.90100
海尔法姆,贝鲁兹
5
2017
Łukasiewicz \(\mu\)—微积分。 Zbl 1380.68281号
米奥,马特奥;辛普森,亚历克斯
5
2017
图形处理单元上反应系统的有效模拟。 Zbl 1378.68188
Nobile,马可·S。;波雷卡,安东尼奥E。;斯波拉,西蒙尼;曼佐尼,卢卡;卡扎尼加,保罗;毛里,詹卡洛;贝索齐,丹妮拉
4
2017
局部分数阶非线性Riccati微分方程的不可微解。 Zbl 1379.34015
杨小军;斯里瓦斯塔瓦,H.M。;托雷斯,德尔菲姆F.M。;张玉东
4
2017
离散浓度反应系统线性时间-时间特性的验证。 Zbl 1378.68113
Męski,阿图尔;库特尼,麦基;彭泽克,沃伊切赫
2017
基于局部语言和星形语言的语族的形态特征。 6814.83升
大久保,福宫;横滨,高市
2017
t输入驱动下推、计数器和堆栈自动机。 Zbl 1378.68107
库特里布,马丁;马尔彻,安德烈亚斯;温德兰特,马提亚斯
2017
CoCaml:具有正则共归纳类型的函数式编程。 Zbl 1374.68098
珍妮,让·巴普蒂斯特;科赞,德克斯特;席尔瓦,亚历山德拉
2017
从整数导数序列重建分数导数的解释。 Zbl 1376.26009号
塔拉索夫,瓦西里E。
2017
…还有865份文件
全部的 前5名

5245位作者引用

41 潘林强
35 Pérez Jiménez,马里奥J。
25 毛里,詹卡洛
24 萨洛马,Kai T。
23 库特尼,麦基
23 库特里布,马丁
23 姚一玉
22 曼佐尼,卢卡·E。
22 米兰佐,保罗
22 波雷卡,安东尼奥E。
20 巴布提,罗伯托
20 莱波拉蒂,阿尔伯托
20 西姆森,丹尼尔
19 伊巴拉,奥斯卡·H。
19 Păun,盖尔赫
19 Zandron,克劳迪奥
18 福尔门蒂,恩里科
18 克莱恩,码头H.C.M。
18 Maggiolo Schettini,安德里亚
18 Ojeda Aciego,曼纽尔
18 罗森伯格,格尔茨戈尔茨
17 基亚塞洛蒂,詹皮罗
17 乔巴努,加布里埃尔
17 李天瑞
17 马尔彻,安德烈亚斯
17 萨洛马,库斯塔
17 宋博生
17 瓦伦西亚卡布雷拉,路易斯
16 杜布瓦,迪迪埃
16 弗伦德,鲁道夫
16 格雷博夫斯基,亚当
16 卡丽,莉拉
16 麦地那,杰斯
15 Dennunzio,阿尔贝托
15 ç植,佐坦
15 李庆国
15 奥霍廷,亚历山大
15 Păun,安德烈
15 Teh,Wen Chean
14 阿尔哈佐夫,阿蒂姆
14 达维德,奇奇
14 玛妮亚,弗洛林
14 苗,多琴
14 普拉德,亨利M。
14 Subramanian,Kumbakonam Govindarajan
14 曾湘湘
14 朱,威廉
13 卡塔尼奥,詹皮罗
13 达索,约根
13 德贝茨,伯纳德
13 莫斯科,米哈伊尔朱。
13 奥托,弗里德里希
13 利斯科-努涅斯,阿古斯丁
13 索斯克,彼得
12 真蒂莱,汤玛索
12 输液,费德里科G。
12 加利纳,吉拉斯科娃
12 莫雷拉,内尔玛
12 穆拉诺,阿尼埃洛
12 纳瓦罗,冈萨罗
12 奥雷利亚娜·马丁恩,大卫
12 钱玉华
12 拉戈罗德斯基,安德烈·米哈洛维奇
12 王国银
12 徐卫华
12 余,盛
11 阿曼,博格丹
11 伯格斯特拉,Jan A。
11 费诺,亨宁
11 韩,友子
11 米德尔堡,科尼利斯A。
11 皮特,伊恩
11 瓦卡列洛夫,迪米特
10 阿多纳,亨利·纳提维达
10 科尼利斯,克里斯
10 迪亚科内斯库,Răzvan
10 乔治斯库,伊琳娜
10 乔治,玛丽安
10 刘,敦
10 刘桂龙
10 阮林安
10 瑞斯,罗格里奥
10 苏拉比提瓦里
10 王俊
9 阿库布,奥马尔·阿布
9 亚瓦扎德,撒基
9 Brzozowski,Janusz Antoni
9 查达,伊万
9 科拉迪尼,安德里亚
9 戴金,杰奎琳W。
9 海珠,泰罗
9 亨德里克·扬
9 伊帕特,佛罗伦萨
9 贾尼基,里扎德
9 海尔法姆,贝鲁兹
9 科内尼,一月
9 巴斯州卢蒂克
9 帕塞卡,一月
9 彭,洪
9 弗朗西斯三世,詹姆斯·彼得斯
…还有5145位作者
全部的 前5名

被342种期刊引用

494 理论计算机科学
229 信息科学
160 国际近似推理杂志
127 信息与计算
88 模糊集与系统
73 信息学报
70 自然计算
59 软计算
54 人工智能
54 膜计算杂志
52 离散应用数学
45 程序设计中的逻辑和代数方法杂志
44 数学与人工智能年鉴
44 逻辑程序设计理论与实践
41 信息处理信函
41 计算机与系统科学杂志
38 计算机科学中的逻辑方法
34 计算系统理论
33 逻辑研究
33 计算的形式化方面
31 纯逻辑与应用逻辑年鉴
30 国际计算机科学基础杂志
28 应用数学与计算
28 工程数学问题
27 逻辑与代数程序设计杂志
26 计算机基础理论
26 应用逻辑杂志
24 计算与应用数学
23 欧洲运筹学杂志
22 自动推理杂志
22 线性代数及应用
21 算法
21 MSCS公司。计算机科学中的数学结构
20 雷罗。理论信息学与应用
18 计算机程序设计学
18 符号计算杂志
17 模式识别
17 国际应用数学与计算机科学杂志
16 混沌、孤子和分形
16 机器学习
16 应用非经典逻辑杂志
16 复杂性
16 计算机科学中的数学
15 雷罗。理论信息学与应用
15 对称性
14 数学笔记
14 离散事件动态系统
14 智能与模糊系统杂志
13 计算机与数学及其应用
13 编程与计算机软件
13 系统设计中的形式化方法
13 逻辑、语言与信息杂志
13 离散算法杂志
13 形式化数学
12 哲学逻辑杂志
12 欧洲组合学杂志
11 离散数学
11 应用数学杂志
11 计算逻辑学报
11 差分方程研究进展
11 算法
10 合成
10 数理逻辑档案
10 数学成像与视觉杂志
10 泛逻辑
10 计算机科学前沿
9 符号逻辑杂志
9 运筹学年鉴
9 控制论与系统分析
9 符号逻辑公报
8 国际理论物理杂志
8 应用数值数学
8 分布式计算
8 数学科学杂志(纽约)
7 信息传递问题
7 模拟中的数学与计算机
7 拓扑学及其应用
6 通用代数
6 自动
6 代数杂志
6 组合理论杂志。A系列
6 计算与应用数学杂志
6 克贝内提卡
6 圣母院形式逻辑杂志
6 工程、通信和计算中的应用代数
6 组合优化期刊
6 数据挖掘与知识发现
6 应用数学与计算杂志
6 优化信函
6 非线性科学与应用杂志
6 符号逻辑述评
6 数学杂志
5 纯粹与应用代数杂志
5 莫斯科大学计算数学与控制论
5 命令
5 计算机科学与技术杂志
5 新一代计算
5 设计、代码和密码学
5 边界元工程分析
5 逻辑与逻辑哲学
…还有242种杂志
全部的 前5名

在56个领域被引用

2813个 计算机科学(68-XX)
820 数理逻辑与基础(03-XX)
255 组合数学(05-XX)
212 序,格,有序代数结构(06-XX)
168 博弈论、经济学、金融学和其他社会和行为科学(91-XX)
162 运筹学,数学规划(90-XX)
143 信息与通信理论,电路(94-XX)
134 生物学和其他自然科学(92-XX)
107 数值分析(65-XX)
85 动力系统与遍历理论(37-XX)
80 一般拓扑(54-XX)
60 范畴论;同调代数(18-XX)
56 偏微分方程(35-XX)
56 系统论;控制(93-XX)
55 统计学(62-XX)
50 数论(11-XX)
47 常微分方程(34-XX)
46 线性代数和多线性代数;矩阵理论(15-XX)
46 实函数(26-XX)
40 结合环与代数(16-XX)
33 概率论与随机过程(60-XX)
33 量子理论(81-XX)
31 群论与推广(20-XX)
25 一般代数系统(08-XX)
21 积分方程(45-XX)
13 测量与集成(28-XX)
13 几何学(51-XX)
12 凸与离散几何(52-XX)
11 代数几何(14-XX)
10 历史与传记(01-XX)
10 算符理论(47-XX)
10 可变形固体力学(74-XX)
9 近似和展开(41-XX)
9 变分法与最优控制;优化(49-XX)
8 统计力学,物质结构(82-XX)
7 流体力学(76-XX)
6 一般性和全局性主题;收藏(00-XX)
6 非关联环与代数(17-XX)
6 特殊功能(33-XX)
6 功能分析(46-XX)
4 交换代数(13-XX)
4 差分与泛函方程(39-XX)
4 流形和细胞复合体(57-XX)
4 经典热力学,传热(80-XX)
2 场论与多项式(12-XX)
2 欧氏空间的调和分析(42-XX)
2 积分变换,运算微积分(44-XX)
2 代数拓扑学(55-XX)
2 地球物理学(86-XX)
2 数学教育(97-XX)
1 拓扑群,李群(22-XX)
1 复变函数(30-XX)
1 序列、序列、可和性(40-XX)
1 抽象谐波分析(43-XX)
1 光学,电磁理论(78-XX)
1 相对论与引力理论(83-XX)

按年份列出的引文