停止战争！

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

对于科学家：

默认搜索操作

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

问别人

乌韦·内斯特曼

>主页 >珀森斯

人员信息

隶属关系： TU Berlin，德国电气工程与计算机科学学院

优化列表

精炼活动！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2020年-今天

请参阅常见问题解答

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

2023
[公元25年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/PetersNW23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/PetersNW23
柯斯汀·彼得斯,乌韦·内斯特曼,克里斯托夫·瓦格纳:
FTMPST：容错多方会话类型。日志。方法计算。科学。 19(4)(2023)
[公元57年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ictac/KarstenN23公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ictac/KarstenN23网址
纳丁·卡斯滕,乌韦·内斯特曼:
本地存储，全球验证。 ICTAC公司 2023:351-369
[公元56年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2308-06970
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2308-06970
纳丁·卡斯滕,弗雷德里克·克罗格斯达尔·雅各布森,金·贾娜·艾肯,乌韦·内斯特曼,约根·维拉德森:
校对助手：学习和监控的校对助手。 TFPIE公司 2023:1-21
2022
[公元24年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/BispingJN22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/BispingJN22
本杰明·比斯平,大卫·N·詹森,乌韦·内斯特曼:
一次决定所有行为等价性：线性时间分支时间光谱学的博弈。日志。方法计算。科学。 18(三)(2022)
[公元23年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/PetersNS22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/PetersNS22
柯斯汀·彼得斯,乌韦·内斯特曼,安娜·施密特:
关于可分配性。西奥。计算。科学。 913:151-173(2022)
[公元55年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/delfi/KarstenN22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/delfi/KarstenN22
纳丁·卡斯滕,乌韦·内斯特曼:
Beweiskompetenz durch Beweisassistenz公司。 DELFI公司 2022:227-228
[公元54年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/forte/PetersNW22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/forte/PetersNW22
柯斯汀·彼得斯,乌韦·内斯特曼,克里斯托夫·瓦格纳:
容错多方会话类型。复地 2022:93-113
[i12]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2204-07728
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2204-07728
柯斯汀·彼得斯,乌韦·内斯特曼,克里斯托夫·瓦格纳:
容错多方会话类型（技术报告）。 CoRR公司腹肌/2204.07728(2022)
2021
[公元53年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/BispingN21型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/BispingN21网址
本杰明·比斯平,乌韦·内斯特曼:
线性时间分支时间光谱学游戏。 TACAS（1） 2021:3-19
[i11]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-2109-15295
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2109-15295
本杰明·比斯平,乌韦·内斯特曼:
一次性决定所有行为等效性：线性时间分支时间谱的游戏。 CoRR公司腹肌/2109.15295(2021)
2020
[公元22年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/学报/比斯平NP20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/acta/BispingNP20
本杰明·比斯平,乌韦·内斯特曼,柯斯汀·彼得斯:
配对相似性：前32年。信息学报 57(3-5):439-463(2020)
[公元21年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/iandc/PetersN20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/iandc/PetersN20
柯斯汀·彼得斯,乌韦·内斯特曼:
移动环境的可分配性。 Inf.计算。 275:104608(2020)
[c52]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/KammulerN20型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/KammullerN20
弗洛里安·坎米勒,乌韦·内斯特曼:
带Isabelle基础设施框架的区块链间协议。 FMBC@CAV 2020:11:1-11:12

2010 – 2019

请参阅常见问题解答

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

2019
[c51]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ictac/PetersWN19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ictac/PetersWN19
柯斯汀·彼得斯,克里斯托夫·瓦格纳,乌韦·内斯特曼:
使用多方会话类型控制验证的并发性。 ICTAC公司 2019:196-215
[公元50年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/BispingN19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/BispingN19
本杰明·比斯平,乌韦·内斯特曼:
计算耦合相似性。 TACAS（1） 2019:244-261
[i10]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-1908-06510
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1908-06510
柯斯汀·彼得斯,克里斯托夫·瓦格纳,乌韦·内斯特曼:
使用多方会话类型控制验证的并发性（技术报告）。 CoRR公司 abs/1908.06510(2019)
2018
[公元20年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/ArbachKPN18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/ArbachKPN18
尤塞夫·阿尔巴赫,大卫·S·卡彻,柯斯汀·彼得斯,乌韦·内斯特曼:
事件结构中的动态因果关系。日志。方法计算。科学。 14(1)(2018)
[公元49年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/wipsce/WolfWN18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/wipsce/WolfWN18
亚历山大·沃尔夫,阿诺·威廉·韦德纳,乌韦·内斯特曼:
中学自动机理论翻转课堂案例研究。 WiPSCE软件 2018:23:1-23:6
[公元48年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1808-09361
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1808-09361
柯斯汀·彼得斯,乌韦·内斯特曼:
关于移动环境的可分配性。快递/SOS 2018:104-121
[第九章]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1801-02857
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1801-02857
尤塞夫·阿尔巴赫,大卫·S·卡彻,柯斯汀·彼得斯,乌韦·内斯特曼:
事件结构中的动态因果关系。 CoRR公司 abs/1801.02857(2018)
[i8]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-1808-01599
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1808-01599
柯斯汀·彼得斯,乌韦·内斯特曼:
关于移动环境的可分发性（技术报告）。 CoRR公司 abs/1808.01599(2018)
2017
[公元47年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/forte/AdameitPN17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/forte/AdameitPN17
曼努埃尔·阿达梅特,柯斯汀·彼得斯,乌韦·内斯特曼:
链接故障的会话类型。复地 2017:1-16
[e5]
- 看法
- 出口记录
  dblp键：
  - conf/concor/2017
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/2017
罗兰·梅耶,乌韦·内斯特曼:
第28届并行理论国际会议，CONCUR 2017，2017年9月5-8日，德国柏林。 LIPIcs公司85,达格斯图尔-莱布尼兹·泽特鲁姆宫（Schloss Dagstuhl-Leibniz-Zentrum für Informatik） 2017，国际标准图书编号978-3-95977-048-4 [目录]
2016
[公元19年]
- 看法
  - 电子版@isa-afp.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - 期刊/afp/BispingBJRSSWPN16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/afp/BispingBJRSSWPN16
本杰明·比斯平,保罗·大卫·布罗德曼,蒂姆·荣尼尼,克里斯蒂娜·里克曼,亨宁·赛德勒,安克·斯图贝尔,阿诺·威廉·韦德纳,柯斯汀·彼得斯,乌韦·内斯特曼:
FLP的构造性证明。拱门。正式证明 2016(2016)
[公元18年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/deds/SchmuckSRN16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/deds/SchmuckSRN16
安妮·凯瑟琳·施穆克,斯文·施奈德,约尔格·莱施,乌韦·内斯特曼:
确定性上下文无关规范语言的监督控制合成.实施可控性的限制最小。谨慎。事件动态。系统。 26(1):5-32(2016)
[公元17年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mscs/GorlaN16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mscs/GorlaN16
丹尼尔·戈拉,乌韦·内斯特曼:
对表现力的全面抽象：历史、神话和事实。数学。结构。计算。科学。 26(4):639-654(2016)
[公元16年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mscs/PetersN16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mscs/PetersN16
柯斯汀·彼得斯,乌韦·内斯特曼:
打破对称。数学。结构。计算。科学。 26(6):1054-1106(2016)
[公元15年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mscs/PetersSGN16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mscs/PetersSGN16
柯斯汀·彼得斯,延斯·沃尔夫哈德·希克·乌夫曼,乌苏拉·戈尔茨,乌韦·内斯特曼:
分布式系统中的同步与因果关系。数学。结构。计算。科学。 26(8):1459-1498(2016)
[公元46年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/conver/RickmannWNS16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/RickmannWNS16
克里斯蒂娜·里克曼,克里斯托夫·瓦格纳,乌韦·内斯特曼,斯特凡·施密德:
基于命名过程演算的拓扑自稳定。 CONCUR公司 2016:19:1-19:15
[公元45年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/itp/比斯平BJRSSWPN16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/itp/BispingBJRSSWPN16
本杰明·比斯平,保尔·戴维德·布罗德曼,蒂姆·荣尼尼,克里斯蒂娜·里克曼,亨宁·赛德勒,安克·斯图贝尔,阿诺·威廉·韦德纳,柯斯汀·彼得斯,乌韦·内斯特曼:
FLP构造性证明的机械验证。 ITP公司 2016:107-122
[i7]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/AdameitPN16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/AdameitPN16
曼努埃尔·阿达梅特,柯斯汀·彼得斯,乌韦·内斯特曼:
链路故障的会话类型（技术报告）。 CoRR公司 abs/1607.07286(2016)
2015
[公元44年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/forte/ArbachKPN15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/forte/ArbachKPN15
尤塞夫·阿尔巴赫,大卫·卡彻,柯斯汀·彼得斯,乌韦·内斯特曼:
事件结构中的动态因果关系。复地 2015:83-97
[公元43年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ictac/KarcherN15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ictac/KarcherN15
大卫·S·卡彻,乌韦·内斯特曼:
事件结构中的高阶动力学。 ICTAC公司 2015:258-271
[公元42年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/HatzelWPN15a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/HatzelWPN15a
梅克·哈特泽尔,克里斯托夫·瓦格纳,柯斯汀·彼得斯,乌韦·内斯特曼:
将CSP编码为CCS。快递/SOS 2015:61-75
[i6]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/ArbachKPN15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/ArbachKPN15
尤塞夫·阿尔巴赫,大卫·卡彻,柯斯汀·彼得斯,乌韦·内斯特曼:
事件结构中的动态因果关系（技术报告）。 CoRR公司 abs/1504.00512(2015)
[i5]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/HatzelWPN15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/HatzelWPN15
Meike Hatzel公司,克里斯托夫·瓦格纳,柯斯汀·彼得斯,乌韦·内斯特曼:
将CSP编码为CCS（扩展版本）。 CoRR公司 abs/1508.01127(2015)
2014
[公元41年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/wodes/SchneiderSNR14公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/wodes/SchneiderSNR14
斯文·施奈德,安妮·凯瑟琳·施穆克,乌韦·内斯特曼,Jörg Raisch公司:
通过确定性下推自动机的分解减少操作监控问题。 WODES公司 2014:214-221
[公元40年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/wodes/SchmuckSRN14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/wodes/SchmuckSRN14
安妮·凯瑟琳·施穆克,斯文·施奈德,Jörg Raisch公司,乌韦·内斯特曼:
将监督控制器综合推广到确定性下推自动机——实现最小约束可控性。 WODES公司 2014:286-293
[公元39年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/PetersYN14a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/PetersYN14a
柯斯汀·彼得斯,Tsvetelina Yonova-Karbe公司,乌韦·内斯特曼:
Pi-Calculus中的匹配。快递/SOS 2014:16-29
[公元38年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/WagnerN14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/WagnerN14
克里斯托夫·瓦格纳,乌韦·内斯特曼:
过程计算中的状态。快递/SOS 2014:48-62
[i4]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/SchneiderN14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/SchneiderN14
斯文·施奈德,乌韦·内斯特曼:
实施确定性下推自动机的操作属性，包括无块性。 CoRR公司 abs/1403.5081(2014)
[i3]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/PetersYN14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/PetersYN14
柯斯汀·彼得斯,Tsvetelina Yonova-Karbe公司,乌韦·内斯特曼:
Pi-Calculus中的匹配（技术报告）。 CoRR公司腹肌/1407.6406(2014)
2013
[公元37年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/PetersNG13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/PetersNG13
柯斯汀·彼得斯,乌韦·内斯特曼,乌苏拉·戈尔茨:
过程微积分中的可分配性。员工持股计划 2013:310-329
[公元36年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/ArbachPN13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/ArbachPN13
尤塞夫·阿尔巴赫,柯斯汀·彼得斯,乌韦·内斯特曼:
向事件结构添加优先级。快递/SOS 2013:17-31
2012
[公元35年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/PetersN12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/PetersN12
柯斯汀·彼得斯,乌韦·内斯特曼:
这是一个混合选择的“好”编码吗？ FoSSaCS公司 2012:210-224
[公元34年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/ifipTCS/KufnerNR12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifipTCS/KufnerNR12
菲利普·库夫纳,乌韦·内斯特曼,克里斯蒂娜·里克曼:
分布式算法的形式验证——从伪代码到校验证明。 IFIP TCS 2012:209年至224年
[i2]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1201-1410
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1201-1410
柯斯汀·彼得斯,乌韦·内斯特曼:
这是混合选择的“好”编码吗？（技术报告）。 CoRR公司 abs/1201.1410(2012)
2011
[公元33年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/formats/SchneiderN11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/formats/SchneiderN11
斯文·施奈德,乌韦·内斯特曼:
基于过程演算的混合系统严格离散化。格式 2011:301-316
[公元32年]
- 看法
  - 电子版@emis.de
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/gi/AbelsBMNV11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/gi/AbelsBMNV11
斯文·阿贝尔斯,斯特凡·布鲁格曼,马提亚斯·梅滕斯,乌韦·内斯特曼,乔安妮斯·弗拉查基斯:
沃沃草。 GI-Jahrestagung公司 2011:395-396
[公元31年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tase/LauN11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tase/LauN11
刘汉纳斯,乌韦·内斯特曼:
Java进入TLA+。 TASE公司 2011:117-124
[公元30年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1108-4469
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1108-4469
柯斯汀·彼得斯,延斯·沃尔夫哈德·希克,乌韦·内斯特曼:
异步圆周率微积分中的同步性与因果性。 EXPRESS（快递） 2011:89-103
2010
[公元29年]
- 看法
- 出口记录
  dblp键：
  - conf/gi/SarrouhBN10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/gi/SarrouhBN10
纳迪姆·萨鲁,奥利弗·布兰肯斯坦,乌韦·内斯特曼:
面向服务的民族Früherkennungs计划für Kinder。 GI Jahrestagung（1） 2010:229-234
[公元28年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/stm/SarrouhENS10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/stm/SarrouhENS10
纳迪姆·萨鲁,弗洛里安·艾勒斯,乌韦·内斯特曼,伊娜·希弗德克:
通过以用户为中心的数据控制消除网络诽谤。 STM公司 2010:179-193
[公元27年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1011-6437
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1011-6437
柯斯汀·彼得斯,乌韦·内斯特曼:
打破对称。 EXPRESS（快递） 2010:136-150
[i1]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-1007-4172
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1007-4172
柯斯汀·彼得斯,乌韦·内斯特曼:
打破对称。 CoRR公司 abs/1007.4172(2010)

2000 – 2009

请参阅常见问题解答

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

2009
[公元14年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jlp/AcetoBFIN09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jlp/AcetoBFIN09
卢卡·埃特罗,Jos C.M.Baeten先生,万·J·福克金,Anna Ingólfsdóttir女士,乌韦·内斯特曼:
前言。 J.日志。代数方法程序。 78(4)(2009)
[c26]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/forte/KuhnrichN09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/forte/KuhnrichN09
莫滕·库尼里奇,乌韦·内斯特曼:
容错分布式系统的过程代数证明方法。 FMOODS/FORTE公司 2009:198-212
[公元25年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ifip1-7/EilersN09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifip1-7/EilersN09
弗洛里安·艾尔斯,乌韦·内斯特曼:
从经验中获得信任。安全和信任的形式方面 2009:36-50
2008
[j13]
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - 期刊/期刊/AcetoBFIN08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/eatcs/AcetoBFIN08
卢卡·埃特罗,Jos C.M.Baeten先生,万·J·福克金,Anna Ingólfsdóttir女士,乌韦·内斯特曼:
在战略研讨会的行业报告中应用并行研究。牛市。EATCS公司 94:113-129(2008)
[公元24年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jtb/0001BN08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jtb/0001BN08
斯文·施奈德,约翰内斯·博格斯特罗姆,乌韦·内斯特曼:
进程演算在对等算法领域的应用。 SJTU-TUB联合车间 2008:97-104
2007
[公元12年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/活动/FuzzatiMN07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/acta/FuzzatiMN07
Rachele Fuzzati公司,马西莫·梅罗,乌韦·内斯特曼:
分布式共识，重温。信息学报 44(6):377-425(2007)
[公元11年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/BriaisN07a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/BriaisN07a
塞巴斯蒂安·布赖斯,乌韦·内斯特曼:
开放互模拟，再次访问。西奥。计算。科学。 386(三):236至271(2007)
[公元10年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/tcs/BriaisN07
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/BriaisN07
塞巴斯蒂安·布赖斯,乌韦·内斯特曼:
协议叙述的形式语义。西奥。计算。科学。 389(三):484-511(2007)
2006
【c23】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concor/Nestmann06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/Nestmann06
乌韦·内斯特曼:
欢迎来到丛林：移动过程计算的主观指南。 CONCUR公司 2006:52-63
[公元22年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/dics/BunzliFMNRSW06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dics/BunzliFMNRSW06
丹尼尔·班兹利,Rachele Fuzzati公司,塞尔吉奥·梅纳,乌韦·内斯特曼,奥利维尔·吕蒂,安德烈·希珀,Pawel T.Wojciechowski先生:
群组通信中间件的设计与实现进展。 DICS程序的研究结果 2006:172-194
2005
[公元9年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jlp/NestmannV05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jlp/NestmannV05
乌韦·内斯特曼,比约恩·维克多:
客座编辑介绍：圆周率微积分特刊。 J.日志。代数方法程序。 63(1):1-2(2005)
[j8]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mscs/BorgstromN05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mscs/BorgstromN05
约翰内斯·博格斯特罗姆,乌韦·内斯特曼:
关于spi演算的互模拟。数学。结构。计算。科学。 15(三):487-552(2005)
[j7]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/CorradiniN05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/CorradiniN05
弗拉维奥·科拉迪尼,乌韦·内斯特曼:
编辑：第十届并发表达能力国际研讨会论文集（EXPRESS 2003）。西奥。计算。科学。 330(三):375至376(2005)
【c21】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/nca/BunzliMN05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/nca/BunzliMN05
丹尼尔·班兹利,塞尔吉奥·梅纳,乌韦·内斯特曼:
协议合成框架是一个头部驱动模型。国家协调局 2005:243-246
[公元20年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tgc/BriaisN05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tgc/BriaisN05
塞巴斯蒂安·布赖斯,乌韦·内斯特曼:
协议叙述的形式语义。 TGC公司 2005:163-181
[第19条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/BriaisN06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/BriaisN06
塞巴斯蒂安·布赖斯,乌韦·内斯特曼:
打开双向模拟，重新访问。 EXPRESS（快递） 2005:109-123
[第18条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/entcs/FuzzatiN06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/FuzzatiN06
Rachele Fuzzati公司,乌韦·内斯特曼:
无事生非？ APC 25 2005:167-171
2004
[第17条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concur/BorgstromBN04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concur/BurgstromBN04
约翰内斯·博格斯特罗姆,塞巴斯蒂安·布赖斯,乌韦·内斯特曼:
Spi演算中的符号互模拟。 CONCUR公司 2004:161-176
[第16条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/gc/BorgstromNAG04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/gc/BorgstromNAG04
约翰内斯·博格斯特罗姆,乌韦·内斯特曼,吕克·奥纳娜·阿利玛,迪利安·古罗夫:
验证结构化对等覆盖网络：静态案例。全球计算 2004:250-265
[e4]
- 看法
- 出口记录
  dblp键：
  - conf/express/2003
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/express/2003
弗拉维奥·科拉迪尼,乌韦·内斯特曼:
2003年9月2日，法国马赛，EXPRESS 2003，第十届并发表达能力国际研讨会论文集。理论计算机科学电子笔记96,爱思维尔 2004 [目录]
2003
[j6]
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - 期刊/njc/NestmannP03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/njc/NestmannP03
乌韦·内斯特曼,普拉卡什·帕南加登:
特邀编辑前言。 Nord.J.计算。 10(2):69(2003)
[第15条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/asian/NestmannF03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/asian/NestmannF03
乌韦·内斯特曼,Rachele Fuzzati公司:
通过操作语义的不可靠故障检测器。亚洲的 2003:54-71
[第14条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/concor/NestmannFM03
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/NestmannFM03
乌韦·内斯特曼,Rachele Fuzzati公司,马西莫·梅罗:
过程微积分中的共识建模。 CONCUR公司 2003:393-407
[第13条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/CorradiniN04
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/CorradiniN04
弗拉维奥·科拉迪尼,乌韦·内斯特曼:
前言：第十届并行表达国际研讨会论文集。 EXPRESS（快递） 2003:1-3
[电子3]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmoods/2003
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmoods/2003
埃利·纳伊姆,乌韦·内斯特曼,佩迪塔·史蒂文斯:
开放对象分布式系统的形式化方法，第六届IFIP WG 6.1国际会议，FMOODS 2003，法国巴黎，2003年11月19日21日，会议记录。计算机科学课堂讲稿2884,施普林格 2003，国际标准图书编号3-540-20491-1 [目录]
2002
[j5]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/iandc/NestmannHKM02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/iandc/NestmannHKM02
乌韦·内斯特曼,汉斯·海特尔,乔斯瓦·克莱斯特,马西莫·梅罗:
移动对象的别名模型。 Inf.计算。 175(1):3-33(2002)
【j4】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/iandc/MerroKN02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/iandc/MerroKN02
马西莫·梅罗,乔斯瓦·克莱斯特,乌韦·内斯特曼:
移动对象作为移动进程。 Inf.计算。 177(2):195-241(2002)
[c12]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/amast/BorgstromN02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/amast/BorgstromN02
约翰内斯·博格斯特罗姆,乌韦·内斯特曼:
关于Spi演算的互模拟。 AMAST公司 2002:第287页至第303页
[第11条]
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fmoods/BriaisN02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmoods/BriaisN02
Sébastien Briais公司,乌韦·内斯特曼:
移动物体“必须”安全移动。 FMOODS公司 2002:129-146
[第10条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/entcs/NestmannP02
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/NestmannP02
乌韦·内斯特曼,普拉卡什·帕南加登:
前言。 EXPRESS（快递） 2002:1-2
[电子2]
- 看法
- 出口记录
  dblp键：
  - conf/express/2002
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/express/2002
乌韦·内斯特曼,普拉卡什·帕南加登:
第九届并行表达国际研讨会，EXPRESS 2002，CONCUR 2002卫星研讨会，捷克共和国布尔诺，2002年8月19日。理论计算机科学电子笔记68(2),爱思维尔 2002 [目录]
2000
[j3]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/iandc/Nestmann00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/iandc/Nestmann00
乌韦·内斯特曼:
什么是保护选择的“好”编码？ Inf.计算。 156(1-2):287-319(2000)
[注2]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/iandc/NestmannP00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/iandc/NestmannP00
乌韦·内斯特曼,本杰明·皮尔斯:
解码选择编码。 Inf.计算。 163(1):1-59(2000)
[c9]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ifipTCS/MerroKN00
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ifipTCS/MerroKN00
马西莫·梅罗,乔斯瓦·克莱斯特,乌韦·内斯特曼:
工作中的局部pi-Calculus:移动对象作为移动进程。 IFIP TCS 2000:390-408

1990 – 1999

请参阅常见问题解答

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

1999
【c8】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ecopw/NestmannR99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ecopw/NestmannR99
乌韦·内斯特曼,安托尼奥·拉瓦拉:
对象作为进程的语义（SOAP）。 ECOOP研讨会 1999:314至325
【c7】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/europar/NestmannHKM99
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/europar/NestmannHKM99
乌韦·内斯特曼,汉斯·海特尔,乔斯瓦·克莱斯特,马西莫·梅罗:
对象迁移的别名模型。欧元兑美元 1999:1353-1368
【c6】
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fbt/Nestmann99公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fbt/Nestmann99
乌韦·内斯特曼:
移动对象（项目概述）。 FBT公司 1999:155-164
1998
[j1]
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - 期刊/eatcs/NestmannV98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/eatcs/NestmannV98
乌韦·内斯特曼,比约恩·维克多:
移动进程计算-书目和网页。牛市。EATCS公司 64(1998)
【c5】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/Nestmann98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/Nestmann98
乌韦·内斯特曼:
论联合输入的表现力。 EXPRESS（快递） 1998:145-152
【c4】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/NestmannP98
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/NestmannP98
乌韦·内斯特曼,本杰明·皮尔斯:
前言。 HLCL公司 1998:291
[电子1]
- 看法
- 出口记录
  dblp键：
  - conf/hlcl/1998
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/hlcl/1998
乌韦·内斯特曼,本杰明·C·皮尔斯:
第三届高级并发语言国际研讨会，HLCL 1998，CONCUR 1998卫星研讨会，法国尼斯，1998年9月12日。理论计算机科学电子笔记16(3),爱思维尔 1998 [目录]
1997
【c3】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/Nestmann97
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/Nestmann97
乌韦·内斯特曼:
保护选择的“好”编码是什么？ EXPRESS（快递） 1997:206-226
1996
【b1】
- 看法
  - 没有参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 博士/dnb/Nestmann96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/phd/dnb/Nestmann96
乌韦·内斯特曼:
并发编程中的确定性和不确定性。埃朗根-纽伦堡大学，1996，第1-254页
【c2】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/colcol/NestmannP96
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/NestmannP96
乌韦·内斯特曼,本杰明·皮尔斯:
解码选择编码。 CONCUR公司 1996:179-194
1995
【c1】
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/dagstuhl/NestmannS95
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dagstuhl/NestmannS95
乌韦·内斯特曼,马丁·斯特芬:
并发搜索结构的正确转换设计。具有并行性和持久性的对象定向 1995:23至42

合著者索引

请参阅常见问题解答

服务

管理网站设置

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