×

阿列克谢·利西萨(Alexei P.Lisitsa)。

作者ID: 利西萨·阿列克西最近由“Lisitsa,Alexei P.”撰写的zbMATH文章
发布日期: 阿列克谢·利西萨阿列克谢·利西萨(Alexej P.Lisitsa)。利西萨,A.P。利西萨,A。
主页: 网址:https://cgi.csc.liv.ac.uk/~亚历克赛/
外部链接: 谷歌学者·ResearchGate研究之门·数据库许可证
编入索引的文档: 41出版物自1993年以来,包括7其他arXiv预打印
3作为编辑的贡献
合著者: 28位合著者具有38联合出版物
454位合作作者

按年份列出的出版物

zbMATH Open中包含的引文

20出版物有被引用103中的次85文件 引用人 年份
SAT攻击Erdő的差异猜想。 Zbl 1343.68217号
鲍里斯·科涅夫阿列克谢·利西萨
28
2014
Erdő差异特性的计算机辅助证明。 Zbl 1344.68205号
鲍里斯·科涅夫阿列克谢·利西萨
16
2015
等式和一元一阶时序逻辑。 Zbl 1011.03007号
安纳托利·德吉亚列夫迈克尔·费希尔阿列克谢·利西萨
12
2002
行经济学转换的成员资格和可达性问题。 Zbl 1096.68108号
阿列克谢·利西萨伊戈尔·波塔波夫
9
2004
作为参数化测试的验证(使用SCP4超级编译器的实验)。 Zbl 1120.68383号
利西萨,A.P。Nemytykh,A.P。
8
2007
通过超级编译进行验证时的可达性分析。 Zbl 1162.68477号
阿列克谢·利西萨安德烈·奈米提克(Andrei P.Nemytykh)。
5
2008
通过等式推理检测未知项。I: 探索。 Zbl 1304.68153号
安德鲁·菲什阿列克谢·利西萨
4
2014
安全验证中的有限模型与树自动机。 Zbl 1437.68084号
阿列克谢·利西萨
2012
纽结半群和纽结的(π)-orbifold群的自动推理。 Zbl 1505.57014号
阿列克谢·利西萨阿列克谢·弗尼茨基
2
2017
关于强扩张有限分支图和非良基集的线性排序。 Zbl 0897.03030号
阿列克谢·利西萨弗拉基米尔·萨佐诺夫
2
1997
可达性作为可导性、有限反模型和验证。 Zbl 1305.68119号
阿列克谢·利西萨
2
2010
人工智能中的逻辑。第十届欧洲会议,JELIA 2006,英国利物浦,2006年9月13-15日。诉讼程序。 Zbl 1145.68002号
2
2006
在一个使用oracle进行计算的应用程序上。 Zbl 1253.68089号
利西萨,A.P。Nemytykh,A.P。
2
2010
单一ASM和临时验证。 Zbl 1188.68187号
迈克尔·费希尔阿列克谢·利西萨
2
2004
有限的安全理由。通过有限模型发现进行参数化验证。 Zbl 1314.68185号
阿列克谢·利西萨
1
2013
\(Delta)-集合和LOGSPACE可计算图形变换器的语言。 Zbl 0903.68057号
阿列克谢·利西萨弗拉基米尔·萨佐诺夫
1
1997
关于查询历史的计算能力。 Zbl 1176.68082号
阿列克谢·利西萨伊戈尔·波塔波夫
1
2009
高斯词上的自动机。 Zbl 1234.68225号
阿列克谢·利西萨伊戈尔·波塔波夫拉菲克·萨利赫
1
2009
容错协议的时间验证。 Zbl 1234.68255号
迈克尔·费希尔鲍里斯·科涅夫阿列克谢·利西萨
1
2009
高斯-林特尔,一个用于探索和弦图的算法套件。 Zbl 1485.57001号
阿卜杜拉·汗阿列克谢·利西萨阿列克谢·弗尼茨基
1
2021
高斯-林特尔,一个用于探索和弦图的算法套件。 Zbl 1485.57001号
阿卜杜拉·汗阿列克谢·利西萨阿列克谢·弗尼茨基
1
2021
纽结半群和纽结的(π)-orbifold群的自动推理。 Zbl 1505.57014号
阿列克谢·利西萨阿列克谢·弗尼茨基
2
2017
Erdő差异特性的计算机辅助证明。 Zbl 1344.68205号
鲍里斯·科涅夫阿列克谢·利西萨
16
2015
SAT攻击Erdő的差异猜想。 Zbl 1343.68217号
鲍里斯·科涅夫阿列克谢·利西萨
28
2014
通过等式推理检测未知项。一: 探索。 Zbl 1304.68153号
安德鲁·菲什阿列克谢·利西萨
4
2014
有限的安全理由。通过有限模型发现进行参数化验证。 Zbl 1314.68185号
阿列克谢·利西萨
1
2013
安全验证中的有限模型与树自动机。 Zbl 1437.68084号
阿列克谢·利西萨
2012
可达性作为可导性、有限反模型和验证。 Zbl 1305.68119号
阿列克谢·利西萨
2
2010
在一个使用oracle进行计算的应用程序上。 Zbl 1253.68089号
利西萨,A.P。Nemytykh,A.P。
2
2010
关于查询历史的计算能力。 Zbl 1176.68082号
阿列克谢·利西萨伊戈尔·波塔波夫
1
2009
高斯词上的自动机。 Zbl 1234.68225号
阿列克谢·利西萨伊戈尔·波塔波夫拉菲克·萨利赫
1
2009
容错协议的时间验证。 Zbl 1234.68255号
迈克尔·费希尔鲍里斯·科涅夫阿列克谢·利西萨
1
2009
通过超级编译进行验证时的可达性分析。 Zbl 1162.68477号
阿列克谢·利西萨安德烈·奈米提克(Andrei P.Nemytykh)。
5
2008
作为参数化测试的验证(使用SCP4超级编译器的实验)。 Zbl 1120.68383号
利西萨,A.P。Nemytykh,A.P。
8
2007
人工智能中的逻辑。第十届欧洲会议,JELIA 2006,英国利物浦,2006年9月13-15日。诉讼程序。 Zbl 1145.68002号
2
2006
行单项式变换的隶属度和可达性问题。 Zbl 1096.68108号
阿列克谢·利西萨伊戈尔·波塔波夫
9
2004
单一ASM和临时验证。 Zbl 1188.68187号
迈克尔·费希尔阿列克谢·利西萨
2
2004
等式和一元一阶时序逻辑。 Zbl 1011.03007号
安纳托利·德吉亚列夫迈克尔·费希尔阿列克谢·利西萨
12
2002
关于强扩张有限分支图和非良基集的线性排序。 Zbl 0897.03030号
阿列克谢·利西萨弗拉基米尔·萨佐诺夫
2
1997
\(Delta)-集合和LOGSPACE可计算图形变换器的语言。 Zbl 0903.68057号
阿列克谢·利西萨弗拉基米尔·萨佐诺夫
1
1997
全部的 前5名

131位作者引用

10 阿列克谢·利西萨(Alexei P.Lisitsa)。
9 Heule,Marijn J.H。
8 伊戈尔·波塔波夫
7 维杰·加内什
6 布莱特,柯蒂斯
6 科齐里亚斯(Ilias S.Kotsireas)。
5 阿明·比尔
5 路易斯·克鲁兹·菲利佩
5 彼得·施奈德·坎普
4 保罗·C·贝尔。
4 帕维尔·塞穆金
Czarnecki、Krzysztof
Stéphane P.德姆里。
本杰明·基尔
谢尔盖·罗曼恩科。
阿列克谢·弗尼茨基
2 李·巴奈特(Lee A.Barnett)。
2 乔舒亚·布拉肯西克
2 张凯文·K·H。
2 克莱尔·狄克逊
2 安德鲁·菲什
2 迈克尔·费希尔
2 阿尔伯特·海因勒
2 沃尔特·侯赛克
2 卡里、莉拉
2 Klyuchnikov,I.G。
2 鲍里斯·科涅夫
2 斯特芬·科佩基
2 金·斯卡·拉森
2 约翰·麦基
2 皮埃尔·埃蒂安·梅尼尔
2 大卫·E·纳瓦兹(David E.Narváez)。
2 安德烈·奈米提克(Andrei P.Nemytykh)。
2 雷诺·尼斯卡宁
2 马修·帕蒂茨。
2 Shinnosuke Seki公司
2 布雷特·史蒂文斯
2 爱德华·祖尔科斯基
1 帕罗什·阿齐兹·阿卜杜拉
1 丹尼尔·博基尔
1 弗朗西斯科·贝拉迪内利
1 Beleĭ,Evgeniya Gennad’evna
1 费利克斯·勃兰特
1 丹尼尔·本达拉
1 克里斯蒂安·卡鲁德。
1 大卫·M·塞尔纳。
1 陈、陶璐
1 陈文祥
1 迈克尔·科迪什
1 Cuong,C.K。
1 普拉蒂斯·达塔
1 卡尔·Däubel
1 伊曼纽尔·德·安吉利斯
1 安纳托利·伊万诺维奇·德吉亚列夫
1 乔治·德尔扎诺
1 马丁·德沙奈斯
1 Deters,摩根
1 德拉戈米尔·奥科维奇。
1 拉塔·杜塔
1 法比奥·菲奥拉万蒂
1 基斯特,克里斯蒂安
1 托马斯·杰奈特
1 哈拉瓦,维萨
1 克里斯托弗·汉普森
1 特罗·哈尔朱
1 努梅内·本·亨达
1 Robert A.Hochberg。
1 伊恩·马丁·霍德金森
1 沃伦·亨特(Warren A.jun Hunt)。
1 乌尔里希·赫斯塔特
1 Jäger,斯文
1 伊利亚·克鲁奇尼科夫
1 Ko、Sang-Ki
1 萨瓦斯·科努尔
1 乔治·库蒂斯
1 罗伯特·A·科瓦尔斯基。
1 克里夫奇科夫,医学硕士。
1 阿吉·库鲁茨
1 兰科·拉齐奇
1 约昂·莱特
1 李文田
1 阿莱西奥·洛穆西奥
1 维克托·洛帕金
1 萨尔瓦多卢卡斯
1 阿马尔德夫·曼努埃尔
1 Joáo P.塞尔瓦侯爵。
1 巴纳比·D·马丁。
1 乔斯·马丁
1 哈蒙·穆萨维
1 苏拉夫·穆霍帕德海伊
1 托尔斯滕·穆策
1 玛格努斯·奥·米林。
1 赛义德·内贾蒂
1 Antonina N.内佩维奥达。
1 亚历克桑达尔·尼科洛夫
1 大卫·E·诺瓦克。
1 努乔,C。
1 马丁·奥托
1 阿南塔·帕德马纳巴
1 多米尼克·彼得斯
…还有31位作者

按年份列出的引文