Krzysztof齐米扬斯基
人员信息
SPARQL查询
优化列表
2020年–今天
2024 【c5】 Amazigh Amrane公司 , 雨果·巴兹勒 , 艾米丽·克莱门特 , 乌里·法伦伯格 , Krzysztof齐米扬斯基 :
使用接口显示间隔Pomset。 RAMiCS公司 2024 : 28-45 [第九章] Safa Zouari公司 , Krzysztof齐米扬斯基 , 乌里·法伦伯格 :
高维自动机的相互模拟和逻辑。 CoRR公司 abs/2402.01589 ( 2024 ) [i8] Amazigh Amrane公司 , 雨果·巴兹勒 , 艾米丽·克莱门特 , 乌里·法伦伯格 , Krzysztof齐米扬斯基 :
用接口呈现区间Pomset。 CoRR公司 abs/2403.16626 ( 2024 ) 2023 【c4】 乌里·法伦伯格 , Krzysztof齐米扬斯基 :
高维自动机的Myhill-Nerode定理。 Petri网 2023 : 167-188 【c3】 Amazigh Amrane公司 , 雨果·巴兹勒 , 乌里·法伦伯格 , Krzysztof齐米扬斯基 :
高维自动机的闭包和决策属性。 ICTAC公司 2023 : 295-312 [i7] Amazigh Amrane公司 , 雨果·巴兹勒 , 乌里·法伦伯格 , Krzysztof齐米扬斯基 :
高维自动机理论的发展。 CoRR公司 abs/2305.02873 ( 2023 ) 2022 [j8] 乌里·法伦伯格 , 克里斯蒂安·约翰森 , 乔治·斯特鲁斯 , Krzysztof齐米扬斯基 :
以接口作为并发模型的Poset。 Inf.计算。 285 ( 零件 ) : 104914 ( 2022 ) 【c2】 乌里·法伦伯格 , 克里斯蒂安·约翰森 , 乔治·斯特鲁斯 , Krzysztof齐米扬斯基 :
高维自动机的Kleene定理。 CONCUR公司 2022 : 29:1-29:18 [i6] 乌里·法伦伯格 , 克里斯蒂安·约翰森 , 乔治·斯特鲁斯 , Krzysztof齐米扬斯基 :
高维自动机的Kleene定理。 CoRR公司 abs/2202.03791 ( 2022 ) [i5] 乌里·法伦伯格 , Krzysztof齐米扬斯基 :
高维自动机的Myhill-Nerode定理。 CoRR公司 abs/2210.08298 ( 2022 ) 2021 [j7] 乌里·法伦伯格 , 克里斯蒂安·约翰森 , 克里斯托弗·特罗特 , Krzysztof齐米扬斯基 :
同时雕刻。 日志。 方法计算。 科学。 17 ( 2 ) ( 2021 ) [j6] 乌里·法伦伯格 , 克里斯蒂安·约翰森 , 乔治·斯特鲁斯 , Krzysztof齐米扬斯基 :
高维自动机语言。 数学。 结构。 计算。 科学。 31 ( 5 ) : 575-613 ( 2021 ) 【c1】 卡梅隆·卡克 , 乌里·法伦伯格 , 克里斯蒂安·约翰森 , 格奥尔格·斯特鲁思 , Krzysztof齐米扬斯基 :
ℓ r-多半群,模态量子数和局部性的起源。 RAMiCS公司 2021 : 90-107 [i4] 乌里·法伦伯格 , 克里斯蒂安·约翰森 , 乔治·斯特鲁斯 , Krzysztof齐米扬斯基 :
高维自动机语言。 CoRR公司 abs/2103.07557 ( 2021 ) [i3] 乌里·法伦伯格 , 克里斯蒂安·约翰森 , 格奥尔格·斯特鲁思 , Krzysztof齐米扬斯基 :
lr-多半群与模态卷积代数。 CoRR公司 abs/2105.00188 ( 2021 ) [i2] 乌里·法伦伯格 , 克里斯蒂安·约翰森 , 乔治·斯特鲁斯 , Krzysztof齐米扬斯基 :
并行Kleene代数的带接口的偏序集。 CoRR公司 abs/2106.10895 ( 2021 ) 2020 [j5] Krzysztof齐米扬斯基 :
前立方体集合上的有向路径空间2。 J.应用。 计算。 白杨。 4 ( 1 ) : 45-78 ( 2020 )
2010 – 2019
2019 【j4】 Krzysztof齐米扬斯基 :
通过离散向量场的有向路径空间。 申请。 代数工程通讯。 计算。 30 ( 1 ) : 51-74 ( 2019 ) [j3] Krzysztof齐米扬斯基 :
有向空间的稳定分量。 申请。 分类结构。 27 ( 三 ) : 217-244 ( 2019 ) 2018 [i1] 乌里·法伦伯格 , 克里斯蒂安·约翰森 , 克里斯托弗·特罗特 , Krzysztof齐米扬斯基 :
并发雕塑。 CoRR公司 abs/1812.02008 ( 2018 ) 2017 [注2] Krzysztof齐米扬斯基 :
前立方集上的有向路径空间。 申请。 代数工程通讯。 计算。 28 ( 6 ) : 497-525 ( 2017 ) 2016 [j1] Krzysztof齐米扬斯基 :
关于PV-programs的执行空间。 西奥。 计算。 科学。 619 : 87-98 ( 2016 )