默认搜索操作

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

问别人

莫妮卡·塞森伯格

>主页 >珀森斯

人员信息

附属： 英国斯旺西大学

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2020年–今天

请参阅常见问题解答

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

2024
[i6]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2402-17516
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2402-17516
杰米·安德鲁·杜埃尔,宣福,莫妮卡·塞森伯格,范秀仪:
QUCE：生成性反事实解释中基于路径的不确定性的最小化和量化。 CoRR公司 abs/2402.17516(2024)
2023
[第15条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aime/DuellFFS23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aime/DuellFFS23
杰米·安德鲁·杜埃尔,范秀仪,宣福,莫妮卡·塞森伯格:
批量综合梯度：时间电子健康记录的解释。 AIME公司 2023:120-124
[第14条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/bibm/DuellSF23会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/bibm/DuellSF23
杰米·安德鲁·杜埃尔,莫妮卡·塞森伯格,范秀仪:
反事实综合梯度：病历的反事实特征归因。 BIBM公司 2023:2975-2982
[第13条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ictai/DuellSZFF23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ictai/DuellSZFF23
杰米·安德鲁·杜埃尔,莫妮卡·塞森伯格,钟天龙,宣福,范秀仪:
用于时间解释的批量集成梯度的正式介绍。国际通信技术协会 2023:452-459
[第12条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rssrail/BanerjeeCLLRSW23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rssrail/BanerjeeCLLRSW23
马杜斯里·班纳吉,维克多·蔡,苏妮莎·拉克什马纳帕,安德鲁·劳伦斯,马库斯·罗根巴赫,莫妮卡·塞森伯格,托马斯·沃纳:
地理方案数据验证的工具链。 RSS邮件 2023:211-224
[i5]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-2305-10125
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2305-10125
乌尔里希·伯杰,莫妮卡·塞森伯格,Dieter Spreen公司,Hideki Tsuiki先生:
并发高斯消去。 CoRR公司 abs/2305.10125(2023)
2022
[j8]
- 看法
  - 电子版@eats.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - 期刊/eats/彼得罗夫斯卡S22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/eatcs/PetrovskaS22
奥尔加·彼得罗夫斯卡,莫妮卡·塞森伯格:
关于BCTCS 2022的报告。牛。EATCS公司 137(2022)
[第11条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/insita/KovvuriLSFMF22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/inista/KovvuriLSFMF22
韦拉·拉加瓦·雷迪·科夫武里（Veera Raghava Reddy Kovvuri）,刘思源（Siyuan Liu）,莫妮卡·塞森伯格,范秀仪,伯恩特·米勒,宣福:
用特征归因算法理解可控因素的影响：一项医学案例研究。 INISTA公司 2022:1-8
[第10条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ismis/DuellFS22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ismis/DuellFS22
杰米·安德鲁·杜埃尔,范秀仪,莫妮卡·塞森伯格:
面向医疗分类器的多项式自适应局部解释。 ISMIS系统 2022:411-420
【c9】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isola/SeisenbergerBFF22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/isola/SeisenbergerBFF22
莫妮卡·塞森伯格,莫里斯·特尔·比克,范秀仪,阿莱西奥·法拉利,安妮·E·哈克斯豪森,菲利普·詹姆斯,安德鲁·劳伦斯,巴斯·卢提克,雅各·范德波尔,西蒙·威默:
安全可靠的未来AI驱动铁路技术：铁路正式方法的挑战。 ISoLA（4） 2022:246-268
[i4]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-2203-12701
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2203-12701
韦拉·拉加瓦·雷迪·科夫武里（Veera Raghava Reddy Kovvuri）,刘思源（Siyuan Liu）,莫妮卡·塞森伯格,伯恩特·米勒,范秀仪:
用特征归因算法理解可控因素的影响：一项医学案例研究。 CoRR公司 abs/2203.12701(2022)
2021
[i3]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-2101-09108
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2101-09108
杰·保罗·摩根,Adeline Paiment公司,阿诺·保利,莫妮卡·塞森伯格:
发现对手示例的自适应邻域。 CoRR公司 abs/2101.09108(2021)
[i2]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 轴颈/corr/abs-2112-14624
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2112-14624
杰米·安德鲁·杜埃尔,莫妮卡·塞森伯格,格特·阿尔茨,周尚明,范秀仪:
医学同行影响的Shapley值图框架。 CoRR公司 abs/2112.14624(2021)

2010 – 2019

请参阅常见问题解答

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

2019
[j7]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/BergerJS19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/BergerJS19
乌尔里希·伯杰,埃利斯-琼斯,莫妮卡·塞森伯格:
应用于一元分析的程序提取。 J.日志。计算。 29(4):487-518(2019)
2018
[j6]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/scp/BergerJLRS18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/scp/BergerJLRS18
乌尔里希·伯杰,菲利普·詹姆斯,安德鲁·劳伦斯,马库斯·罗根巴赫,莫妮卡·塞森伯格:
在实时莫德验证欧洲铁路交通管理系统。科学。计算。程序。 154:61-88(2018)
【c8】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/jurix/MorganPSWW18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jurix/MorganPSWW18
杰·保罗·摩根,Adeline Paiment公司,莫妮卡·塞森伯格,简·威廉姆斯,亚当·怀纳:
儿童法律中心的聊天机器人框架。朱利克斯 2018:205-209
2017
[j5]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mscs/IshiharaKPSS17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mscs/IshiharaKPSS17
石原哈吉,玛格丽塔·科罗维纳,阿诺·保利,莫妮卡·塞森伯格,Dieter Spreen公司:
特刊前言：连续性、可计算性、可构造性：从逻辑到算法2013。数学。结构。计算。科学。 27(8):1285-1286(2017)
2016
[i1]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/dagstuhl-reports/Goubault-Larrecq16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/dagstuhl-reports/Goubault-Larrecq16
让·古堡-拉雷克,莫妮卡·塞森伯格,维克托·塞利瓦诺夫,安德烈亚斯·魏尔曼:
计算机科学中的良好准序（Dagstuhl研讨会16031）。达格斯图尔报告 6(1):69-98(2016)
2015
【j4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/BergerLFS15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/BergerLFS15
乌尔里希·伯杰,安德鲁·劳伦斯,弗雷德里克·诺德瓦尔·福斯伯格,莫妮卡·塞森伯格:
提取经验证的决策程序：DPLL和Resolution。日志。方法计算。科学。 11(1)(2015)
【c7】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ftscs/JamesLRS15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ftscs/JamesLRS15
菲利普·詹姆斯,安德鲁·劳伦斯,马库斯·罗根巴赫,莫妮卡·塞森伯格:
实时建模环境中ERTMS/ETCS 2级的安全分析。 FTSCS公司 2015:103-120
2013
【c6】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sefm/JamesLMRSSKC13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sefm/JamesLMRSSKC13
菲利普·詹姆斯,安迪·劳伦斯,法伦·莫勒,马库斯·罗根巴赫,莫妮卡·塞森伯格,安东·塞泽尔,卡里姆·坎索,西蒙·查德威克:
固态联锁程序的验证。 SEFM研讨会 2013:253-268
[c5]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/types/BergerSW13配置文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/types/BergerSW13
乌尔里希·伯杰,莫妮卡·塞森伯格,格雷戈里·J·M·伍兹:
从证明中提取强制程序：就地快速排序。类型 2013:84-106
2012
[j3]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mst/BergerS12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mst/BergerS12
乌尔里希·伯杰,莫妮卡·塞森伯格:
证明、程序、流程。理论计算。系统。 51(三):313-329(2012)
【c4】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/LawrenceBS12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/LawrenceBS12
安德鲁·劳伦斯,乌尔里希·伯杰,莫妮卡·塞森伯格:
提取DPLL算法。 MFPS公司 2012:243-256
2011
【c3】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/calco/BergerMSS11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/calco/BergerMSS11
乌尔里希·伯杰,宫本健二,赫尔穆特·施维赫滕贝格,莫妮卡·塞森伯格:
Minlog-支持代数和余代数的程序提取工具。 CALCO公司 2011:393-399
2010
【c2】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cie/BergerS10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cie/BergerS10
乌尔里希·伯杰,莫妮卡·塞森伯格:
证明、程序、流程。 CiE公司 2010:39-48

2000 – 2009

请参阅常见问题解答

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

2008
[注2]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/apal/Seisenberger08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/apal/Seisenberger08
莫妮卡·塞森伯格:
使用经典依赖选择的证明程序。 Ann.纯粹应用。日志。 153(1-3):97-110(2008)
2005
【p1】
- 无可用文档
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - books/ox/05/0001S05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/books/ox/05/0001S05
乌尔里希·伯杰,莫妮卡·塞森伯格:
归纳定义和选择原则在程序综合中的应用。从集合和类型到拓扑和分析 2005
2001
[j1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jar/BergerSS01
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jar/BergerSS01
乌尔里希·伯杰,赫尔穆特·施维赫滕贝格,莫妮卡·塞森伯格:
Warshall算法和Dickson引理：真实程序提取的两个示例。 J.汽车。原因。 26(2):205-221(2001)
2000
【c1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/types/Seisenberger00型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/types/Seisenberger00网址
莫妮卡·塞森伯格:
希格曼引理的Nash-Williams最小坏序列论证的归纳版本。类型 2000:233-242

合著者索引

请参阅常见问题解答

管理网站设置

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