默认搜索操作

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

问别人

辛西娅·科普

>主页 >珀森斯

人员信息

附属： 荷兰奈梅亨Radboud大学软件科学系
隶属关系（前）： 丹麦哥本哈根大学
隶属关系（前）： 奥地利因斯布鲁克大学
隶属关系（前）： 荷兰阿姆斯特丹VU大学

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2020年–今天

请参阅常见问题解答

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

2024
[公元25年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/国家K24
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/GuoK24
郭立业（Liye Guo）,辛西娅·科普:
高阶LCTRS及其终止。员工持股计划（2） 2024:331-357
[公元24年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/BaillotLKV24
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/BaillotLKV24（网址：https://dblp.org/rec/conf/fossacs/BaillotLKV24）
帕特里克·贝洛特,乌戈·达尔·拉戈,辛西娅·科普,迪维德·维尔:
关于基本可行函数和解释方法。 FoSSaCS（2） 2024:70-91
【c23】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lopstr/哈根斯K24
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lopstr/HagensK24
卡斯珀·哈根斯,辛西娅·科普:
高阶约束项重写系统的重写归纳。洛普斯特 2024:202-219
[公元22年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/国HKV24
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/国HKV24
郭立业（Liye Guo）,卡斯珀·哈根斯,辛西娅·科普,迪维德·维尔:
用于（通用）可计算性的高阶约束依赖对。 MFCS公司 2024:57:1-57:15
【i24】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2401-12385
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2401-12385
帕特里克·贝洛特,乌戈·达尔·拉戈,辛西娅·科普,迪维德·维尔:
关于基本可行函数和解释方法。 CoRR公司 abs/2401.12385(2024)
[第23条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-2406-18493
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2406-18493
辛西娅·科普:
弱单调、逻辑约束的HORPO-variant。 CoRR公司腹肌/2406.18493(2024)
[i22]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-2406-19379
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2406-19379
郭立业（Liye Guo）,卡斯珀·哈根斯,辛西娅·科普,迪维德·维尔:
用于（通用）可计算性的高阶约束依赖对。 CoRR公司 abs/2406.19379(2024)
2023
[j5]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mst/BhaskarKS23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mst/BhaskarKS23
Siddharth Bhaskar公司,辛西娅·科普,雅各布·格鲁·西蒙森:
编程语言解释的Ptime子类。理论计算。系统。 67(三):437-472(2023)
[c21]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fscd/KopV23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fscd/KopV23
辛西娅·科普,迪维德·维尔:
按值调用高阶重写的成本大小语义。金融稳定与发展部 2023:15:1-15:19
[公元20年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/itp/WeideVK23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/itp/WideVK23
尼尔斯·范德魏德,迪维德·维尔,辛西娅·科普:
证明高阶多项式解释。 ITP公司 2023:30:1-30:20
【i21】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-2302-11892
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2302-11892
尼尔斯·范德魏德,迪维德·维尔,辛西娅·科普:
证明高阶多项式解释。 CoRR公司 abs/2302.11892(2023)
[i20]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2307-13426
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2307-13426
辛西娅·科普,迪维德·维尔:
按调用值高阶重写的复杂性分析。 CoRR公司腹肌/230713426(2023)
[i19]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2307-13519
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2307-13519
郭立业（Liye Guo）,辛西娅·科普:
高阶LCTRS及其终止。 CoRR公司腹肌/230713519(2023)
2022
[第19条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fscd/Kop22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fscd/Kop22
辛西娅·科普:
将证明切割成比特大小的块：在高阶术语重写（邀请谈话）中逐步证明终止。金融稳定与发展部 2022:1:1-1:17
[i18]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-2206-15202
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2206-15202
辛西娅·科普,迪维德·维尔:
高阶运行时复杂性的元组解释和应用。 CoRR公司 abs/2206.15202(2022)
2021
[第18条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fscd/KopV21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fscd/KopV21
辛西娅·科普,迪维德·维尔:
高阶复杂性的元组解释。金融稳定与发展部 2021:31:1-31:22
[i17]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-2105-01112
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2105-01112
迪维德·维尔,辛西娅·科普:
高阶重写的元组解释。 CoRR公司腹肌/2105.01112(2021)
2020
[第17条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmics/KlinikGKE20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmics/KlinikGKE20
马库斯·克林克,伯纳德·范·加斯特尔,辛西娅·科普,马可·C·J·D·范·埃克伦:
符号能耗分析的天际线。飞行管理信息系统 2020:93-112
[第16条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fscd/Kop20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fscd/Kop20
辛西娅·科普:
WANDA-高阶终止工具（系统描述）。金融稳定与发展部 2020:36:1-36:19
[第15条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-2008-02932
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2008-02932
尼尔·D·琼斯,Siddharth Bhaskar公司,辛西娅·科普,雅各布·格鲁·西蒙森:
LOGSPACE和PTIME之间的无约束程序和复杂性类。视频处理技术/HCVS@ETAPS 2020:65-79

2010 – 2019

请参阅常见问题解答

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

2019
[第14条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/FuhsK19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/FuhsK19
卡斯滕·福斯,辛西娅·科普:
静态高阶依赖对框架。员工持股计划 2019:752-782
[第13条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/rta/0001K19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/0001K19
卢卡斯·扎伊卡,辛西娅·科普:
多态高阶终止。金融稳定与发展部 2019:12:1-12:18
[i16]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-1902-06733
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1902-06733
卡斯滕·福斯,辛西娅·科普:
一个静态的高阶依赖对框架。 CoRR公司 abs/1902.06733(2019)
【i15】
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-1904-09859
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1904-09859
卢卡斯·扎伊卡,辛西娅·科普:
多态高阶终止。 CoRR公司 abs/1904.09859(2019)
2018
[第14条]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1805-09390
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1805-09390
卡斯滕·福斯,辛西娅·科普:
统一的高阶依赖对框架。 CoRR公司 abs/1805.09390(2018)
2017
【j4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/KopMS15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/KopMS15
辛西娅·科普,阿尔特·米德尔多普,托马斯·斯特纳格尔:
条件项重写的复杂性。日志。方法计算。科学。 13(1)(2017)
[j3]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/KopS17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/KopS17
辛西娅·科普,雅各布·格鲁·西蒙森:
复杂性层次结构和高阶无Cons-free Term重写。日志。方法计算。科学。 13(三)(2017)
[注2]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tocl/FuhsKN17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tocl/FuhsKN17
卡斯滕·福斯,辛西娅·科普,西田直树:
通过约束重写归纳法验证程序程序。 ACM事务处理。计算。日志。 18(2):14:1-14:50(2017)
[第12条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/esop/KopS17公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/esop/KopS17
辛西娅·科普,雅各布·格鲁·西蒙森:
高阶隐式复杂度中非确定性的力量——使用非确定性无约束编程表征复杂类。员工持股计划 2017:668-695
[i13]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/KopS17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/KopS17
辛西娅·科普,雅各布·格鲁·西蒙森:
高阶隐式复杂性中非确定性的力量。 CoRR公司 abs/1701.05382(2017)
[i12]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/Kop17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/Kop17
辛西娅·科普:
逻辑约束项重写系统的准可导性。 CoRR公司 abs/1702.02397(2017)
[i11]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1711-03399
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1711-03399
辛西娅·科普:
关于一阶无约束项重写和PTIME。 CoRR公司 abs/1711.03399(2017)
[i10]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1711-03407
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1711-03407
辛西娅·科普,雅各布·格鲁·西蒙森:
高级无良口译员。 CoRR公司腹肌/1711.03407(2017)
[第九章]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1711-03415
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1711-03415
辛西娅·科普:
非确定性特征。 CoRR公司 abs/1711.03415(2017)
[i8]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1711-03424
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1711-03424
辛西娅·科普:
具有不变函数的无因次编程。 CoRR公司 abs/1711.03424(2017)
[i7]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1711-03433
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1711-03433
辛西娅·科普,克里斯托弗·罗斯:
h：一种用于高阶属性压缩方案的厚木板。 CoRR公司 abs/1711.03433(2017)
2016
[第11条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/rta/KopS16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/KopS16
辛西娅·科普,雅各布·格鲁·西蒙森:
复杂性层次结构和高阶无缺点重写。金融稳定与发展部 2016:23:1-23:18
[i6]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/Kop16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/Kop16
辛西娅·科普:
LCTRS的终止。 CoRR公司 abs/1601.03206(2016)
[i5]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/KopS16a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/KopS16a
辛西娅·科普,雅各布·格鲁·西蒙森:
复杂性层次结构和高阶无缺点重写。 CoRR公司腹肌/1604.08936(2016)
[i4]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/KopS16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/KopS16
辛西娅·科普,雅各布·格鲁·西蒙森:
复杂性层次结构和高阶无Cons-free Term重写。 CoRR公司 abs/1611.10334(2016)
2015
[c10]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/Kop015
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/Kop015
辛西娅·科普,西田直树:
约束条件重写工具。 LPAR公司 2015:549-557
【c9】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/rta/KopMS15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/KopMS15
辛西娅·科普,阿尔特·米德尔多普,托马斯·斯特纳格尔:
条件复杂性。区域贸易协定 2015:223-240
2014
【c8】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/aplas/Kop014
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aplas/Kop014
辛西娅·科普,西田直树:
面向验证程序程序的自动约束重写归纳。阿普拉斯 2014:334-353
【c7】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/rta/FuhsK14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/FuhsK14网址
卡斯滕·福斯,辛西娅·科普:
一阶形成规则。 RTA-薄层色谱分析 2014:240-256
[i3]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/FuhsK14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/FuhsK14网址
卡斯滕·福斯,辛西娅·科普:
一阶形成规则。 CoRR公司腹肌/1404.7695(2014)
[i2]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/Kop014
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/Kop014
辛西娅·科普,西田直树:
使用约束重写归纳法验证程序程序。 CoRR公司 abs/1409.0166(2014)
2013
【c6】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/frocos/KopN13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/frocos/KopN13
辛西娅·科普,西田直树:
带逻辑约束的术语重写。 FroCos公司 2013:343-358
2012
[j1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-1205-2519
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1205-2519
辛西娅·科普,费尔克·范·拉姆斯登克:
代数泛函系统的动态依赖对。日志。方法计算。科学。 8(2)(2012)
【c5】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/ra/FuhsK12公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/FuhsK12
卡斯滕·福斯,辛西娅·科普:
高阶重写的多项式解释。区域贸易协定 2012:176-192
[i1]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1203-5754
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1203-5754
卡斯滕·福斯,辛西娅·科普:
高阶重写的多项式解释。 CoRR公司 abs/1203.5754(2012)
2011
【c4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cai/Kop11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cai/Kop11
辛西娅·科普:
简化代数函数系统。计算机辅助教学 2011:201-215
【c3】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/frocos/FuhsK11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/frocos/FuhsK11网址
卡斯滕·福斯,辛西娅·科普:
利用高阶依赖对的一阶终止检验器。 FroCoS公司 2011:147-162
【c2】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/rta/KopR11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/KopR11
辛西娅·科普,费尔克·范·拉姆斯登克:
代数泛函系统的高阶依赖对。区域贸易协定 2011:203-218

2000 – 2009

请参阅常见问题解答

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

2008
【c1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lpar/KopR08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/KopR08
辛西娅·科普,费尔克·范·拉姆斯登克:
高阶迭代路径排序。 LPAR公司 2008:697-711

合著者索引

请参阅常见问题解答

管理网站设置

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