莫里茨·利希特
人员信息
优化列表
2020年-今天
2024 [j3] 莫里茨·利希特 , 帕斯卡·施韦策 :
见证对称选择的无选择多项式时间。 美国临床医学杂志 71 ( 2 ) : 7:1-7:70 ( 2024 ) [c9] 莫里茨·利希特 , Benedikt Pago公司 , 蒂姆·塞佩尔特 :
通过同态不可分辨性对游戏Comona的可逆映射等价性的限制。 CSL公司 2024 : 36:1-36:19 [i11] 莫里茨·利希特 , 西蒙·拉曼 , 帕斯卡·施韦策 :
Weisfeiler-Leman维数的计算复杂性。 CoRR公司 腹肌/24021531 ( 2024 ) 2023 [注2] 莫里茨·利希特 :
从多项式时间中分离秩逻辑。 美国临床医学杂志 70 ( 2 ) : 14:1-14:53 ( 2023 ) [j1] 阿努杰·达瓦尔 , 埃里希·格拉德尔 , 莫里茨·利希特 :
可逆映射等价的限制。 J.日志。 计算。 33 ( 5 ) : 961-969 ( 2023 ) 【c8】 马丁·格罗 , 莫里茨·利希特 , 丹尼尔·诺恩 , 帕斯卡·施韦策 :
Weisfeiler-Leman精化的压缩CFI图和下限。 光纤通信系统 2023 : 798-809 【c7】 莫里茨·利希特 :
计数定点逻辑中的对称选择和解释。 ICALP公司 2023 : 133:1-133:20 【c6】 马丁·格罗 , 莫里茨·利希特 , 丹尼尔·诺因 :
Weisfeiler-Leman算法的迭代次数。 许可证 2023 : 1月13日 [i10] 马丁·格罗 , 莫里茨·利希特 , 丹尼尔·诺恩 :
Weisfeiler-Leman算法的迭代次数。 CoRR公司 abs/2301.13317 ( 2023 ) [第九章] 莫里茨·利希特 , Benedikt Pago公司 , 蒂姆·塞佩尔特 :
通过同态不可分辨性的游戏Comonad的局限性。 CoRR公司 abs/2308.05693 ( 2023 ) [i8] 马丁·格罗 , 莫里茨·利希特 , 丹尼尔·诺恩 , 帕斯卡·施韦策 :
Weisfeiler-Leman精化的压缩CFI图和下限。 CoRR公司 abs/2308.11970 ( 2023 ) 2022 【c5】 莫里茨·利奇特 , 帕斯卡·施韦策 :
有见证对称选择的无选择多项式时间。 许可证 2022 : 30:1-30:13 [i7] 莫里茨·利希特 , 帕斯卡·施韦策 :
见证对称选择的无选择多项式时间。 CoRR公司 abs/2205.14003 ( 2022 ) [i6] 莫里茨·利希特 :
计数定点逻辑中的对称选择和解释。 CoRR公司 abs/2210.07869 ( 2022 ) 2021 【c4】 莫里茨·利希特 , 帕斯卡·施韦策 :
无选择多项式时间中有界和二面体颜色类的标准化。 CSL公司 2021 : 31:1-31:18 【c3】 莫里茨·利希特 :
从多项式时间中分离秩逻辑。 许可证 2021 : 1月13日 [i5] 莫里茨·利希特 :
从多项式时间中分离秩逻辑。 CoRR公司 abs/2104.12999 ( 2021 ) [i4] 阿努杰·达瓦尔 , 埃里希·格拉德尔 , 莫里茨·利希特 :
可逆映射等价的局限性。 CoRR公司 abs/2109.07218 ( 2021 ) 2020 [i3] 莫里茨·利希特 , 帕斯卡·施韦策 :
无选择多项式时间中有界和二面体颜色类的标准化。 CoRR公司 abs/2010.12182 ( 2020 )
2010 – 2019
2019 【c2】 莫里茨·利希特 , 伊利亚·波诺马连科 , 帕斯卡·施韦策 :
行走细化、行走逻辑和Weisfeiler-Leman算法的迭代次数。 许可证 2019 : 1月13日 [i2] 莫里茨·利希特 , 伊利亚·波诺马连科 , 帕斯卡·施韦策 :
行走细化、行走逻辑和Weisfeiler-Leman算法的迭代次数。 CoRR公司 abs/1905.03008 ( 2019 ) 2018 [i1] 莫里茨·利希特 , 格特·斯莫尔卡 :
S1S和Büchi自动机的构造性分析。 CoRR公司 abs/1804.04967 ( 2018 ) 2015 【c1】 塞巴斯蒂安·埃尔德维格 , 莫里茨·利希特 , 曼纽尔·魏尔 :
一个具有动态依赖性的可靠且最佳的增量构建系统。 OOPSLA公司 2015 : 89-106