编辑配置文件(在新选项卡中打开) 阿列克谢·利西萨(Alexei P.Lisitsa)。 合著者距离 作者ID: 利西萨·阿列克西 发布日期: 阿列克谢·利西萨;阿列克谢·利西萨(Alexej P.Lisitsa)。;利西萨,A.P。;利西萨,A。 更多。。。较少的 主页: 网址:https://cgi.csc.liv.ac.uk/~亚历克赛/ 外部链接: 谷歌学者·ResearchGate研究之门·数据库许可证 编入索引的文档: 41出版物自1993年以来,包括7其他arXiv预打印 3作为编辑的贡献 合著者: 28位合著者具有38联合出版物 454位合作作者 全部的 前5名合著者 6 单作者的 11 阿列克谢·弗尼茨基 8 迈克尔·费希尔 5 安德烈·奈米提克(Andrei P.Nemytykh)。 4 安德鲁·菲什 4 阿卜杜拉·汗。 4 鲍里斯·科涅夫 4 伊戈尔·波塔波夫 三 克莱尔·狄克逊 三 萨佐诺夫,弗拉基米尔·余。 2 安纳托利·伊万诺维奇·德吉亚列夫 2 乔治·库蒂斯 2 维克托·洛帕金 2 拉菲克·萨利赫 2 Salles,Mateo公司 2 大卫,斯坦诺夫斯克 1 法拉·阿尔沙雷菲 1 丹尼斯,路易斯·阿比盖尔 1 尼古拉斯·林肯。 1 罗珊 1 聂子培 1 马诺利斯皮茨卡利斯 1 科莱特·蓬切尔 1 安托尼奥·拉瓦拉 1 莎拉·斯瓦特伍德 1 莫里斯·比克。 1 莱拉·图西 1 范德霍克,威比 1 萨恩多·维雷斯(Sándor M.Veres)。 全部的 前5名系列 2 编程和计算机软件 2 理论计算机科学 2 国际计算机科学基础杂志 2 系统设计中的形式化方法 1 人工智能 1 半群论坛 1 逻辑研究 1 自动推理杂志 1 结理论杂志及其分歧 1 计算机基础理论 1 计算机科学课堂讲稿 1 程序设计中的逻辑和代数方法杂志 1 理论计算机科学电子论文集(EPTCS) 全部的 前5名字段 31 计算机科学(68至XX) 12 数学逻辑和基础(03-XX) 9 流形和细胞复合体(57至XX) 三 总体主题;集合(00-XX) 三 群论与推广(20-XX) 2 数论(11-XX) 2 代数几何(14-XX) 1 组合数学(05-XX) 1 系统论;控制(93至XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 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名被引用出版物 全部的 前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位作者 全部的 前5名33篇连载文章中引用 8 自动推理杂志 4 编程和计算机软件 4 理论计算机科学 4 信息与计算 三 人工智能 三 逻辑程序设计理论与实践 2 计算机与系统科学杂志 2 逻辑研究 2 纯逻辑与应用逻辑年鉴 2 国际计算机科学基础杂志 2 应用非经典逻辑杂志 2 ACM计算逻辑事务 2 程序设计中的逻辑和代数方法杂志 1 离散应用数学 1 美国数学学会会刊 1 半群论坛 1 数学社会科学 1 图与组合 1 符号计算杂志 1 算法 1 计算的形式方面 1 AI通信 1 美国数学学会公报。新系列 1 工程、通信和计算中的应用代数 1 结理论杂志及其分歧 1 系统设计中的形式化方法 1 组合数学电子杂志 1 数学与人工智能年鉴 1 计算机科学中的数学 1 理论生物学杂志 1 伊尔库茨科戈大学。马特马提卡丝里亚 1 计算机科学前沿 1 离散分析 全部的 前5名在14个字段中引用 65 计算机科学(68至XX) 28 数学逻辑和基础(03-XX) 13 组合数学(05-XX) 9 数论(11-XX) 8 群论与推广(20-XX) 5 线性代数和多线性代数;矩阵理论(15-XX) 4 流形和细胞复合体(57至XX) 2 博弈论、经济学、金融和其他社会和行为科学(91-XX) 2 信息与通信理论、电路(94-XX) 1 阶、格、有序代数结构(06-XX) 1 代数几何(14-XX) 1 几何图形(51至XX) 1 运筹学、数学规划(90-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的引文