停止战争！

Остановите войну!

对于科学家：

默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

玛丽亚娜·拉齐奇

>主页 >珀森斯

人员信息

附属： 德国慕尼黑大学信息学系
附属： TU维也纳，LogiCS，奥地利

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2020年–今天

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2023
[j5]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日志/lmcs/0001LSW23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/0001LSW23
伊戈尔·康诺夫,玛丽亚娜·拉齐奇,伊琳娜·斯托尔科夫斯卡,约瑟夫·威德:
门限自动机和拜占庭模型检查器参数化验证综述。日志。方法计算。科学。 19(1)(2023)
2022
[第11条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/podc/0001G0LTW22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/podc/0001G0LTW22
纳塔莉·贝特朗,文森特·格拉莫利,伊戈尔·康诺夫,玛丽亚娜·拉齐奇,皮埃尔·索罗尼亚特,约瑟夫·维德:
简要公告：区块链共识的整体验证。 PODC公司 2022:424-426
[第10条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/wdag/0001G0LTW22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/wdag/0001G0LTW22
纳塔莉·贝特朗,文森特·格拉莫利,伊戈尔·康诺夫,玛丽亚娜·拉齐奇,皮埃尔·索罗尼亚特,约瑟夫·威德:
区块链共识的整体验证。磁盘 2022:10:1-10:24
[i6]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2206-04489
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2206-04489
纳塔莉·贝特朗,文森特·格拉莫利,伊戈尔·康诺夫,玛丽亚娜·拉齐奇,皮埃尔·索罗尼亚特,约瑟夫·威德:
区块链共识的整体验证。 CoRR公司 abs/2206.04489(2022)
2021
【j4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jlap/DitmarschGLLR21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jlap/DitmarschGLLR21
汉斯·范·迪特马什,埃里克·古博,玛丽亚娜·拉齐奇,杰雷米·莱登特,塞尔吉奥·拉兹鲍姆:
平等否定和其他认知覆盖任务的动态认知逻辑分析。 J.日志。代数方法程序。 121:100662(2021)
[j3]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/BertrandKLW21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/BertrandKLW21
纳塔莉·贝特朗,伊戈尔·康诺夫,玛丽亚娜·拉齐奇,约瑟夫·威德:
在圆形对手下验证随机一致性算法。 Int.J.软件。技术工具。Transf公司。 23(5):797-821(2021)
[注2]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/sttt/BertrandKLW21a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sett/BertrandKLW21a
纳塔莉·贝特朗,伊戈尔·康诺夫,玛丽亚娜·拉齐奇,约瑟夫·威德:
更正：在圆形对手下验证随机一致性算法。 Int.J.软件。技术工具。Transf公司。 23(5):823(2021)
【c9】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/BertrandLW21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/BertrandLW21
纳塔莉·贝特朗,玛丽亚娜·拉齐奇,约瑟夫·维德:
弱对手下随机分布算法的一个约简定理。 VMCAI公司 2021:219-239
2020
【c8】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/Balasubramanian20号机组
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/Balasubramanian20
A.R.巴拉苏布拉曼尼亚语,哈维尔·埃斯帕尔扎,玛丽亚娜·拉齐奇:
门限自动机验证和合成的复杂性。 ATVA公司 2020:144-160
【c7】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/forte/0001LSW20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/forte/0001LSW20
伊戈尔·康诺夫,玛丽亚娜·拉齐奇,伊琳娜·斯托尔科夫斯卡,约瑟夫·威德:
教程：使用拜占庭模型检查器进行参数化验证。复地 2020:189-207
[i5]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-2007-06248
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2007-06248
A.R.巴拉苏布拉曼尼亚语,哈维尔·埃斯帕尔扎,玛丽亚娜·拉齐奇:
门限自动机验证和合成的复杂性。 CoRR公司 abs/2007.06248(2020)
[i4]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-2011-14789
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2011-14789
伊戈尔·康诺夫,玛丽亚娜·拉齐奇,伊琳娜·斯托尔科夫斯卡,约瑟夫·威德:
门限自动机和拜占庭模型检查器参数化验证综述。 CoRR公司 abs/2011.14789(2020)

2010 – 2019

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2019
【c6】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/BerkovitsLLPS19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/BerkovitsLLPS19
伊丹·贝尔科维茨,玛丽亚娜·拉齐奇,朱利亚诺·洛萨,奇怪的帕顿,沙伦·肖姆:
通过分解到可判定逻辑对基于阈值的分布式算法进行验证。 CAV（2） 2019:245-266
[c5]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/concor/BertrandKLW19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/BertrandKLW19
纳塔莉·贝特朗,伊戈尔·康诺夫,玛丽亚娜·拉齐奇,约瑟夫·威德:
圆形对手下随机一致性算法的验证。 CONCUR公司 2019:33:1-33:15
【c4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tap/GoubaultLLR19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tap/GoubaultLLR19
埃里克·古堡,玛丽亚娜·拉齐奇,杰雷米·莱登特,塞尔吉奥·拉兹鲍姆:
平等否定任务的动态认识逻辑分析。 DaLí 2019:53-70
【c3】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/wdag/古堡LLR19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/wdag/GoubaultLLR19
埃里克·古博,玛丽亚娜·拉齐奇,杰雷米·莱登特,塞尔吉奥·拉兹鲍姆:
等式否定任务的无等待可解性。磁盘 2019:21:1-21:16
[i3]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-1905-07805
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1905-07805
伊丹·贝尔科维茨,玛丽亚娜·拉齐奇,朱利安诺·洛萨,奇怪的帕顿,沙伦·肖姆:
通过分解可判定逻辑验证基于阈值的分布式算法。 CoRR公司 abs/1905.07805(2019)
[i2]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-1909-03263
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1909-03263
埃里克·古堡,玛丽亚娜·拉齐奇,杰雷米·莱登特,塞尔吉奥·拉兹鲍姆:
平等否定任务的动态认知逻辑分析。 CoRR公司 abs/1909.03263(2019)
2017
[j1]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fmsd/KonnovLVW17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fmsd/KonnovLVW17
伊戈尔·科诺夫,玛丽亚娜·拉齐奇,赫尔穆特·维思,约瑟夫·威德:
帕拉²：参数化路径缩减、加速和SMT，用于阈值保护分布式算法中的可达性。形式方法系统。设计。 51(2):270-307(2017)
【c2】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/opodis/Lazic0WB17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/opodis/Lazic0WB17
玛丽亚娜·拉齐奇,伊戈尔·康诺夫,约瑟夫·威德,罗德里克·布隆:
带参数化阈值保护的分布式算法综合。奥波迪斯 2017:32:1-32:20
【c1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/popl/KonnovLVW17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/popl/KonnovLVW17
伊戈尔·康诺夫,玛丽亚娜·拉齐奇,赫尔穆特·维思,约瑟夫·威德:
容错分布式算法安全性和活性验证的简短反例属性。 POPL公司 2017:719-734
2016
[i1]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/KonnovLVW16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/KonnovLVW16
伊戈尔·康诺夫,玛丽亚娜·拉齐奇,赫尔穆特·维思,约瑟夫·威德:
容错分布式算法安全性和生存性验证的简短反例属性。 CoRR公司 abs/1608.05327(2016)

合著者索引

请参阅常见问题解答

服务

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。