编辑配置文件(在新选项卡中打开) 米贾·库尔琴斯基 合著者距离 作者ID: kulczynski-mitja公司 发布方式: 米贾·库尔琴斯基 已编制索引的文档: 9出版物自2019年起 合著者: 13合著者具有9联合出版物 251合著作者 全部的 前5名合著者 0 单作者的 8 德克·诺沃特卡 4 丹尼·鲍尔森(Danny Bougsted Poulsen) 4 戴,乔尔·D·。 4 弗罗林·马内亚 三 墨菲·贝尔齐什 三 维杰·加内什 三 费德里科·莫拉 2 帕梅拉·弗莱什曼 2 凯文·洛茨 1 鲁道夫·伯哈默 1 托尔斯滕·埃勒 1 扬尼克·艾克迈尔 1 安德斯·施利奇克鲁尔 系列 1 理论计算机科学 领域 9 计算机科学(68至XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 6出版物有被引用20中的次12文件 引用人▼ 年份▼ 关于使用SAT解单词方程。 Zbl 1511.68211号 戴,乔尔·D·。;托尔斯滕·埃勒;米贾·库尔琴斯基;弗罗林·马内亚;德克·诺沃特卡;丹尼·鲍尔森 6 2019 用于字符串长度上的正则表达式和线性算法的SMT解算器。 Zbl 1493.68182号 墨菲·贝尔齐什;米贾·库尔琴斯基;费德里科·莫拉;弗罗林·马内亚;戴,乔尔·D·。;德克·诺沃特卡;维杰·加内什 5 2021 涉及正则成员谓词的字符串理论:从实践到理论再到实践。 Zbl 1528.68425号 墨菲·贝尔齐什;戴,乔尔·D·。;维杰·加内什;米贾·库尔琴斯基;弗罗林·马内亚;费德里科·莫拉;德克·诺沃特卡 4 2021 关于折叠前缀的正常单词。 Zbl 1460.68080号 帕梅拉·弗莱什曼;米贾·库尔琴斯基;德克·诺沃特卡;丹尼·鲍尔森 三 2020 使用SAT解决涉及正则成员谓词的字符串理论。 Zbl 1514.68330号 米贾·库尔琴斯基;凯文·洛茨;德克·诺沃特卡;丹尼·鲍尔森 1 2022 关系具有核的充分标准的实验研究。 Zbl 07670512号 鲁道夫·伯哈默;米贾·库尔琴斯基 1 2021 使用SAT解决涉及正则成员谓词的字符串理论。 Zbl 1514.68330号 米贾·库尔琴斯基;凯文·洛茨;德克·诺沃特卡;丹尼·鲍尔森 1 2022 用于字符串长度上的正则表达式和线性算法的SMT解算器。 Zbl 1493.68182号 墨菲·贝尔齐什;米贾·库尔琴斯基;费德里科·莫拉;弗罗林·马内亚;戴,乔尔·D·。;德克·诺沃特卡;维杰·加内什 5 2021 涉及正则成员谓词的字符串理论:从实践到理论再到实践。 Zbl 1528.68425号 墨菲·贝尔齐什;戴,乔尔·D·。;维杰·加内什;米贾·库尔琴斯基;弗罗林·马内亚;费德里科·莫拉;德克·诺沃特卡 4 2021 关系具有核的充分标准的实验研究。 Zbl 07670512号 鲁道夫·伯哈默;米贾·库尔琴斯基 1 2021 关于收拢前缀普通单词。 Zbl 1460.68080号 帕梅拉·弗莱什曼;米贾·库尔琴斯基;德克·诺沃特卡;丹尼·鲍尔森 三 2020 关于使用SAT解单词方程。 Zbl 1511.68211号 戴,乔尔·D·。;托尔斯滕·埃勒;米贾·库尔琴斯基;弗罗林·马内亚;德克·诺沃特卡;丹尼·鲍尔森 6 2019 所有引用出版物 前5名被引用出版物 全部的 前5名32位作者引用 6 米贾·库尔琴斯基 6 德克·诺沃特卡 4 戴,乔尔·D·。 三 墨菲·贝尔齐什 三 维杰·加内什 三 弗罗林·马内亚 三 费德里科·莫拉 2 丹尼·鲍尔森(Danny Bougsted Poulsen) 2 苏珊娜·利普塔克 2 凯文·洛茨 1 鲁道夫·伯哈默 1 弗兰蒂舍克·布拉胡德克 1 佩特·布尔西 1 陈玉芳 1 乔利亚特,大卫 1 费迪南多·齐卡莱斯 1 扬尼克·艾克迈尔 1 加布里埃尔·菲奇 1 帕梅拉·弗莱什曼 1 马修·黑格 1 沃伊特·哈夫勒纳 1 卢卡什·霍利克 1 Ondřej Lengál 1 Anthony Widjaja林 1 拉杰夫·拉曼 1 马西米利亚诺·罗西 1 菲利普·吕默 1 乔·萨瓦达 1 安德斯·施利奇克鲁尔 1 尤拉吉·西奇 1 温特,迈克尔 1 吴志林 在1个序列中引用 三 理论计算机科学 在1个字段中引用 12 计算机科学(68至XX) 按年份列出的引文