乔治·巴奇
人员信息
附属: 丹麦奥尔堡大学
优化列表
2020年-今天
2024 [i10] 乔治·巴奇 , 拉杜·马尔代尔 , 普拉卡什·帕南加登 , 戈登·普洛金 :
多项式法则逻辑。 CoRR公司 abs/2402.03543 ( 2024 ) 2023 [公元29年] 乔治·巴奇 , 拉杜·马尔代尔 , 普拉卡什·帕南加登 , 戈登·普洛金 :
Lawvere Quantale的命题逻辑。 MFPS公司 2023 2022 [公元28年] 乔治·巴奇 , 乔瓦尼·巴奇 , 马蒂亚斯·克劳斯·詹森 , 金·G·拉森 :
凸格方程组。 系统设计原则 2022 : 438-455 [第九章] 乔治·巴奇 , 拉杜·马尔代尔 , 普拉卡什·帕南加登 , 戈登·普洛金 :
数量效应的总和和张量。 CoRR公司 abs/2212.11784 ( 2022 ) 2021 [j7] 乔治·巴奇 , 乔瓦尼·巴奇 , 金·拉森 , 拉杜·马尔代尔 , 七一汤 , 弗兰克·范·布鲁格尔 :
概率自动机的概率二相似性距离的计算。 日志。 计算方法。 科学。 17 ( 1 ) ( 2021 ) [公元27年] 乔治·巴奇 , 拉杜·马尔代尔 , 普拉卡什·帕南加登 , 戈登·普洛金 :
数量等式理论张量。 CALCO公司 2021 : 7:1-7:17 [公元26年] 乔治·巴奇 , 乔瓦尼·巴奇 , 金·拉森 , Mirco Tribastone公司 , 马克斯·柴可夫斯基 , 安德烈·范丁 :
通过耦合和Up-to方法对差分互模拟进行有效的局部计算。 许可证 2021 : 1-14 [i8] 乔治·巴奇 , 乔瓦尼·巴奇 , 金·拉森 , Mirco Tribastone公司 , 马克斯·柴可夫斯基 , 安德烈·范丁 :
通过耦合和Up-to方法对差分互模拟进行有效的局部计算。 CoRR公司 abs/2104.13160 ( 2021 ) 2020 [公元25年] 曼弗雷德·杰格 , 乔治·巴奇 , 乔瓦尼·巴奇 , 金·古德斯特兰·拉森 , 彼得·杰勒·詹森 :
用不精确马尔可夫决策过程逼近欧几里德。 ISoLA(1) 2020 : 275至289 [i7] 曼弗雷德·杰格 , 乔治·巴奇 , 乔瓦尼·巴奇 , 金·古德斯特兰·拉森 , 彼得·杰勒·詹森 :
用不精确马尔可夫决策过程逼近欧几里德。 CoRR公司 abs/2006.14923 ( 2020 )
2010 – 2019
2019 [j6] 乔治·巴奇 , 乔瓦尼·巴奇 , 金·拉森 , 拉杜·马尔代尔 :
在马尔可夫链上从分支收敛到线性度量。 数学。 结构。 计算。 科学。 29 ( 1 ) : 3-37 ( 2019 ) [公元24年] 乔治·巴奇 , 乔瓦尼·巴奇 , 金·拉森 , 拉杜·马尔代尔 , 七一汤 , 弗兰克·范·布鲁格尔 :
概率自动机的概率双相似距离计算。 CONCUR公司 2019 : 9:1-9:17 【c23】 马蒂亚斯·拉加德·佩德森 , 乔治·巴奇 , 金·拉森 :
半马尔科夫决策过程的快于关系。 QAPL@ETAPS(预计到达时间) 2019 : 29-42 [i6] 乔治·巴奇 , 乔瓦尼·巴奇 , 金·拉森 , 拉杜·马尔代尔 , 七一汤 , 弗兰克·范·布鲁格尔 :
概率自动机的概率双相似距离计算。 CoRR公司 abs/1907.01768 ( 2019 ) 2018 [j5] 乔瓦尼·巴奇 , 乔治·巴奇 , 金·拉森 , 拉杜·马尔代尔 :
基于度量的马尔可夫链近似最小化。 J.日志。 代数方法课程。 100 : 36-56 ( 2018 ) 【j4】 乔治·巴奇 , 乔瓦尼·巴奇 , 金·G·拉森 , 拉杜·马尔代尔 :
马尔可夫链上双相似距离的完整定量推导系统。 日志。 方法计算。 科学。 14 ( 4 ) ( 2018 ) [公元22年] 马蒂亚斯·拉加德·佩德森 , 纳塔娜·菲亚尔科夫 , 乔治·巴奇 , 金·拉森 , 拉杜·马尔代尔 :
半马尔科夫过程的时间比较。 拉丁美洲旅游协会 2018 : 271-283 【c21】 乔治·巴奇 , 罗伯特·弗伯 , 德克斯特·科岑 , 拉杜·马尔代尔 , 普拉卡什·帕南加登 , 达纳·S·斯科特 :
随机λ-演算的布尔值语义。 低收入国家 2018 : 669-678 [公元20年] 乔治·巴奇 , 拉杜·马尔代尔 , 普拉卡什·帕南加登 , 戈登·普洛金 :
马尔可夫过程的代数理论。 低收入国家 2018 : 679-688 [第19条] 马蒂亚斯·拉加德·佩德森 , 乔治·巴奇 , 金·古尔德斯特朗·拉森 , 拉杜·马尔代尔 :
半马尔科夫决策过程模拟的一种半度量扩展。 定量测试 2018 : 339-355 [第18条] 乔治·巴奇 , 乔瓦尼·巴奇 , 金·拉森 , 拉杜·马尔代尔 :
马尔可夫链总变差距离的完全公理化。 MFPS公司 2018 : 27-39 [i5] 乔瓦尼·巴奇 , 乔治·巴奇 , 金·拉森 , 拉杜·马尔代尔 :
马尔可夫链的基于度量的近似最小化。 CoRR公司 abs/1806.00528 ( 2018 ) 2017 [j3] 乔治·巴奇 , 乔瓦尼·巴奇 , 金·拉森 , 拉杜·马尔代尔 :
双相似距离的即时计算。 日志。 方法计算。 科学。 13 ( 2 ) ( 2017 ) [第17条] 乔瓦尼·巴奇 , 乔治·巴奇 , 金·拉森 , 拉杜·马尔代尔 :
马尔可夫链的基于度量的近似最小化。 ICALP公司 2017 : 104:1-104:14 [电子1] 卢卡·埃特罗 , 乔治·巴奇 , 乔瓦尼·巴奇 , Anna Ingólfsdóttir女士 , Axel Legay公司 , 拉杜·马尔代尔 :
模型、算法、逻辑和工具——纪念金·古德斯特兰·拉森60岁生日的文章。 计算机科学课堂讲稿 10460, 施普林格 2017 ,国际标准图书编号 978-3-319-63120-2 [目录] [i4] 乔治·巴奇 , 乔瓦尼·巴奇 , 金·拉森 , 拉杜·马尔代尔 :
马尔可夫链上双相似距离的完整定量推导系统。 CoRR公司 abs/1702.02528 ( 2017 ) [i3] 乔治·巴奇 , 乔瓦尼·巴奇 , 金·G·拉森 , 拉杜·马尔代尔 :
双相似距离的动态计算。 CoRR公司 abs/1702.08306 ( 2017 ) [i2] 马蒂亚斯·拉加德·佩德森 , 纳塔娜·菲亚尔科夫 , 乔治·巴奇 , 金·古德斯特兰·拉森 , 拉杜·马尔代尔 :
半马尔科夫过程的时间比较。 CoRR公司 abs/1711.10216 ( 2017 ) 2016 [第16条] 乔治·巴奇 , 乔瓦尼·巴奇 , 金·拉森 , 拉杜·马尔代尔 :
马尔可夫链上双相似距离的完全公理化。 CONCUR公司 2016 : 21:1-21:14 2015 [注2] 乔治·巴奇 , 马里诺·米库兰 :
连续状态随机转移系统的结构操作语义。 J.计算。 系统。 科学。 81 ( 5 ) : 834-858 ( 2015 ) [第15条] 乔治·巴奇 , 乔瓦尼·巴奇 , 金·古德斯特兰·拉森 , 拉杜·马尔代尔 :
关于半马尔科夫链的总变差距离。 FoSSaCS公司 2015 : 185-199 [第14条] 乔治·巴奇 , 乔瓦尼·巴奇 , 金·G·拉森 , 拉杜·马尔代尔 :
马尔可夫链上从分支到线性度量的收敛。 ICTAC公司 2015 : 349-367 2014 [第13条] 乔治·巴奇 , 乔瓦尼·巴奇 , 金·古德斯特兰·拉森 , 拉杜·马尔代尔 :
任意可测空间上Markov过程的互模拟。 心灵的地平线 2014 : 76-95 [第12条] 乔治·巴奇 , 马里诺·米库兰 , 罗密奥·里兹 :
在树上寻找森林-宽反应系统的匹配问题。 TGC公司 2014 : 17-33 [i1] 乔治·巴奇 , 乔瓦尼·巴奇 , 金·拉森 , 拉杜·马尔代尔 :
随机马尔可夫模型的拓扑:计算方面。 CoRR公司 abs/1403.6032 ( 2014 ) 2013 【b1】 乔治·巴奇 :
广义标记马尔可夫过程,合并。 意大利乌迪内大学, 2013 [第11条] 乔治·巴奇 , 乔瓦尼·巴奇 , 金·拉森 , 拉杜·马尔代尔 :
组合计算行为距离。 MFCS公司 2013 : 74-85 [第10条] 乔治·巴奇 , 乔瓦尼·巴奇 , 金·古德斯特兰·拉森 , 拉杜·马尔代尔 :
BisimDist库:马尔可夫模型双相似距离的有效计算。 QEST公司 2013 : 278-281 【c9】 乔治·巴奇 , 乔瓦尼·巴奇 , 金·拉森 , 拉杜·马尔代尔 :
双相似距离的精确计算。 TACAS公司 2013 : 1-15 2012 [j1] 乔治·巴奇 , 马里诺·米库兰 :
Brane演算的可测随机性。 西奥。 计算。 科学。 431 : 第117页至第136页 ( 2012 ) 【c8】 乔治·巴奇 , 马里诺·米库兰 :
连续状态概率过程的结构操作语义。 CMCS公司 2012 : 71-89 2011 【c7】 乔治·巴奇 , 文森特·达诺斯 , 奥哈德·卡马尔 :
可逆通讯过程的统计热力学。 CALCO公司 2011 : 1-18 2010 【c6】 乔治·巴奇 , 马里诺·米库兰 :
Brane演算的可测随机性。 MeCBIC公司 2010 : 6月22日
2000 – 2009
2009 【c5】 乔治·巴奇 , 戴维德·格罗曼 , 马里诺·米库兰 :
DBtk:有向双图工具包。 CALCO公司 2009 : 413-422 【c4】 乔治·巴奇 , 戴维德·格罗曼 , 马里诺·米库兰 :
蛋白质和膜相互作用的双图解模型。 MeCBIC公司 2009 : 3-18 【c3】 乔治·巴奇 , 戴维德·格罗曼 , 马里诺·米库兰 :
蛋白质和膜相互作用的框架。 MeCBIC公司 2009 : 19至33 2007 【c2】 乔治·巴奇 , 马里诺·米库兰 :
Brane逻辑中模型检验的不确定性。 DCM@ICALP公司 2007 : 23-37 2006 【c1】 马里诺·米库兰 , 乔治·巴奇 :
Brane微积分的模态逻辑。 CMSB公司 2006 : 1-16