米贾·库尔钦斯基(Mitja Kulczynski)
人员信息
优化列表
2020年–今天
2023 [注2] 米贾·库尔钦斯基(Mitja Kulczynski) , 弗洛林·马内亚 , 德克·诺沃特卡 , 丹尼·鲍尔森 :
ZaligVinder:字符串解算器的通用测试框架。 J.软件。 进化。 过程。 35 ( 4 ) ( 2023 ) [j1] 墨菲·贝尔齐什 , 乔尔·戴伊 , 维贾伊·加内什 , 米贾·库尔钦斯基(Mitja Kulczynski) , 弗洛林·马内亚 , 费德里科·莫拉 , 德克·诺沃特卡 :
寻求更有效的方法来解决正则表达式重字符串约束。 西奥。 计算。 科学。 943 : 50-72 ( 2023 ) [第13条] 凯文·洛茨 , 米贾·库尔钦斯基(Mitja Kulczynski) , 德克·诺沃特卡 , 丹尼·鲍尔森 , 安德斯·施利奇特克鲁尔 :
验证验证:Isabelle中字符串的SMT-LIB。 CIAA公司 2023 : 206-217 2022 【b1】 米贾·库尔钦斯基(Mitja Kulczynski) :
轻量级字符串求解:高效正确求解字符串约束的方法。 德国基尔大学, 2022 [第12条] 米贾·库尔钦斯基(Mitja Kulczynski) , 凯文·洛茨 , 德克·诺沃特卡 , 丹尼·鲍尔森 :
使用SAT求解包含正则成员谓词的字符串理论。 自旋蛋白 2022 : 134-151 [i6] 乔尔·戴伊 , 阿德里安·克罗格 , 米贾·库尔钦斯基(Mitja Kulczynski) , 弗洛林·马内亚 , 德克·诺沃特卡 , 丹尼·鲍尔森 :
字符串约束的通用信息提取系统。 CoRR公司 abs/2208.08806 ( 2022 ) 2021 [第11条] 鲁道夫·伯哈默 , 米贾·库尔钦斯基(Mitja Kulczynski) :
关系具有核的充分准则的实验研究。 RAMiCS公司 2021 : 72-89 [第10条] Murphy Berzish公司 , 米贾·库尔钦斯基(Mitja Kulczynski) , 费德里科·莫拉 , 弗洛林·马内亚 , 乔尔·戴伊 , 德克·诺沃特卡 , 维贾伊·加内什 :
用于正则表达式和字符串长度上的线性算术的SMT解算器。 CAV(2) 2021 : 289-312 【c9】 墨菲·贝尔齐什 , 乔尔·戴伊 , 维贾伊·加内什 , 米贾·库尔钦斯基(Mitja Kulczynski) , 弗洛林·马内亚 , 费德里科·莫拉 , 德克·诺沃特卡 :
包含正则成员谓词的弦论:从实践到理论,再到反面。 话 2021 : 50-64 【c8】 扬尼克·艾克迈尔 , 帕梅拉·弗莱斯曼 , Mitja Kulczynski女士 , 德克·诺沃特卡 :
加权前缀普通单词:注意间隙。 分布式账本技术 2021 : 143-154 【c7】 费德里科·莫拉 , 墨菲·贝尔齐什 , 米贾·库尔钦斯基(Mitja Kulczynski) , 德克·诺沃特卡 , 维贾伊·加内什 :
Z3str4:多臂字符串解算器。 调频 2021 : 389-406 【c6】 米贾·库尔钦斯基(Mitja Kulczynski) , Axel Legay公司 , 德克·诺沃特卡 , 丹尼·鲍尔森 :
使用UPPAAL分析源代码。 F-IDE@NFM 2021 : 31-38 [i5] 墨菲·贝尔齐什 , 乔尔·戴伊 , 维贾伊·加内什 , 米贾·库尔钦斯基(Mitja Kulczynski) , 弗洛林·马内亚 , 费德里科·莫拉 , 德克·诺沃特卡 :
涉及正则成员谓词的弦论:从实践到理论再回来。 CoRR公司 abs/2105.07220 ( 2021 ) [i4] 帕梅拉·弗莱什曼 , 米贾·库尔钦斯基(Mitja Kulczynski) , 德克·诺沃特卡 :
该节目必须在大流行期间进行检查。 CoRR公司 腹肌/2107.04014 ( 2021 ) 2020 【c5】 米贾·库尔钦斯基(Mitja Kulczynski) , 弗洛林·马内亚 , 德克·诺沃特卡 , 丹尼·鲍尔森 :
解决字符串的力量:比较的简单性。 AST@ICSE公司 2020 : 85-88 【c4】 乔尔·戴伊 , 米贾·库尔钦斯基(Mitja Kulczynski) , 弗洛林·马内亚 , 德克·诺沃特卡 , 丹尼·鲍尔森 :
基于规则的单词方程求解。 FormaliSE@ICSE 2020 : 87-97 【c3】 帕梅拉·弗莱什曼 , 米贾·库尔钦斯基(Mitja Kulczynski) , 德克·诺沃特卡 , 丹尼·鲍尔森 :
关于折叠前缀普通单词。 拉丁美洲旅游协会 2020 : 412-424 [i3] 墨菲·贝尔齐什 , Mitja Kulczynski女士 , 费德里科·莫拉 , 弗洛林·马内亚 , 乔尔·戴伊 , 德克·诺沃特卡 , 维贾伊·加内什 :
一个长度感知的正则表达式SMT解算器。 CoRR公司 abs/2010.07253 ( 2020 )
2010 – 2019
2019 【c2】 乔尔·戴伊 , 托尔斯滕·埃勒 , 米贾·库尔钦斯基(Mitja Kulczynski) , 弗洛林·马内亚 , 德克·诺沃特卡 , 丹尼·鲍尔森 :
用SAT求解单词方程。 RP公司 2019 : 93-106 【c1】 帕梅拉·弗莱什曼 , 米贾·库尔钦斯基(Mitja Kulczynski) , 德克·诺沃特卡 , 托马斯·威尔克 :
管理异质性并弥合正式方法教学中的差距。 FM茶 2019 : 181-195 [i2] 帕梅拉·弗莱什曼 , 米贾·库尔钦斯基(Mitja Kulczynski) , 德克·诺沃特卡 :
关于折叠前缀普通单词。 CoRR公司 abs/1905.11847 ( 2019 ) [i1] 乔尔·戴伊 , 托尔斯滕·埃勒 , 米贾·库尔钦斯基(Mitja Kulczynski) , 弗洛林·马内亚 , 德克·诺沃特卡 , 丹尼·鲍尔森 :
关于用SAT。 CoRR公司 abs/1906.11718 ( 2019 )