马蒂亚斯·拉加德·佩德森
人员信息
优化列表
2020年-今天
2022 [j3] 卢卡·埃特罗 , 瓦伦蒂娜·卡斯蒂格利奥尼 , Anna Ingólfsdóttir女士 , 巴斯·卢提克 , 马蒂亚斯·拉加德·佩德森 :
论平行组合的公理性。 日志。 方法计算。 科学。 18 ( 1 ) ( 2022 ) 【c8】 卢卡·埃特罗 , 安东尼斯·阿奇利奥斯 , 埃利·阿纳斯塔西亚迪 , 阿德里安·弗兰卡兰扎 , Anna Ingólfsdóttir女士 , 卡罗琳娜·莱蒂宁 , 马蒂亚斯·拉加德·佩德森 :
概率可监测性。 系统设计原则 2022 : 325-342 2021 【c7】 安东尼斯·阿奇利奥斯 , 马蒂亚斯·拉加德·佩德森 :
加权一元二阶逻辑的公理化和可计算性。 许可证 2021 : 1月13日 [i5] 卢卡·埃特罗 , 瓦伦蒂娜·卡斯蒂格利奥尼 , Anna Ingólfsdóttir女士 , 巴斯·卢提克 , 马蒂亚斯·拉加德·佩德森 :
论平行组合的公理性。 CoRR公司 abs/2102.11166 ( 2021 ) [i4] 安东尼斯·阿奇利奥斯 , 马蒂亚斯·拉加德·佩德森 :
加权一元二阶逻辑的公理化和可计算性。 CoRR公司 abs/2104.14266 ( 2021 ) 2020 [注2] 卢卡·埃特罗 , 埃利·阿纳斯塔西亚迪 , 瓦伦蒂娜·卡斯蒂格利奥尼 , Anna Ingólfsdóttir女士 , 巴斯·卢提克 , 马蒂亚斯·拉加德·佩德森 :
关于优先权III的公理化:优先权再次打击。 西奥。 计算。 科学。 837 : 223-246 ( 2020 ) 【c6】 卢卡·埃特罗 , 瓦伦蒂娜·卡斯蒂格利奥尼 , Anna Ingólfsdóttir女士 , 巴斯·卢提克 , 马蒂亚斯·拉加德·佩德森 :
论平行合成的公理性:光谱之旅。 CONCUR公司 2020 : 18:1-18:22
2010 – 2019
2019 【c5】 卢卡·埃特罗 , 埃利·阿纳斯塔西亚迪 , 瓦伦蒂娜·卡斯蒂格利奥尼 , Anna Ingólfsdóttir女士 , 马蒂亚斯·拉加德·佩德森 :
论优先权III的公理化:顺序写作的回归。 信息通信与通信系统 2019 : 145-157 【c4】 马蒂亚斯·拉加德·佩德森 , 乔治·巴奇 , 金·拉森 :
半马尔科夫决策过程的快于关系。 QAPL@ETAPS(预计到达时间) 2019 : 29-42 [i3] 马蒂亚斯·拉加德·佩德森 :
随机系统的行为预兆——逻辑、拓扑和计算方面。 CoRR公司 abs/1905.08531 ( 2019 ) 2018 [j1] 米克尔·汉森 , 金·古德斯特兰·拉森 , 拉杜·马尔代尔 , 马蒂亚斯·拉加德·佩德森 :
关于加权转移系统中的界的推理。 日志。 方法计算。 科学。 14 ( 4 ) ( 2018 ) 【c3】 马蒂亚斯·拉加德·佩德森 , 纳塔娜·菲亚尔科夫 , 乔治·巴奇 , 金·拉森 , 拉杜·马尔代尔 :
半马尔科夫过程的时间比较。 拉丁美洲旅游协会 2018 : 271-283 【c2】 马蒂亚斯·拉加德·佩德森 , 乔治·巴奇 , 金·古德斯特兰·拉森 , 拉杜·马尔代尔 :
半马尔科夫决策过程模拟的一种半度量扩展。 QEST公司 2018 : 339-355 2017 [i2] 米克尔·汉森 , 金·古德斯特兰·拉森 , 拉杜·马尔代尔 , 马蒂亚斯·拉加德·佩德森 , 冰天雪地 :
关于加权转移系统中边界的推理。 CoRR公司 abs/1703.03346 ( 2017 ) [i1] 马蒂亚斯·拉加德·佩德森 , 纳塔娜·菲亚尔科夫 , 乔治·巴奇 , 金·古德斯特兰·拉森 , 拉杜·马尔代尔 :
半马尔科夫过程的时间比较。 CoRR公司 abs/1711.10216 ( 2017 ) 2016 【c1】 米克尔·汉森 , 金·古德斯特兰·拉森 , 拉杜·马尔代尔 , 马蒂亚斯·拉加德·佩德森 , 冰天雪地 :
加权转移系统的完全逼近理论。 设置 2016 : 213-228