停止战争！

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

对于科学家：

默认搜索操作

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

问别人

瓦伦蒂娜·卡斯蒂格利奥尼

>主页 >珀森斯

人员信息

隶属关系： 荷兰埃因霍温理工大学

优化列表

精炼活动！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2020年-今天

请参阅常见问题解答

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

2024
[j13]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jlap/CastiglioniLT24
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jlap/CastiglioniLT24
瓦伦蒂娜·卡斯蒂格利奥尼,拉格罗·拉诺特,西蒙·蒂尼:
回到形式：概率过程的SOS调查。 J.日志。代数方法程序。 137:100929(2024)
2023
[公元12年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/CastiglioniLT23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/CastiglioniLT23
瓦伦蒂娜·卡斯蒂格利奥尼,米歇尔·洛雷蒂,西蒙·蒂尼:
在不可预测的环境中衡量程序健壮性的框架。日志。方法计算。科学。 19(三)(2023)
[第18条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/协调/CastiglioniLT23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/coordination/CastiglioniLT23
瓦伦蒂娜·卡斯蒂格利奥尼,米歇尔·洛雷蒂,西蒙·蒂尼:
Stark：用于分析未知环境中鲁棒性的软件工具。协调 2023:115-132
[第17条]
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/ictcs/CastiglioniLT23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ictcs/CastiglioniLT23
瓦伦蒂娜·卡斯蒂格利奥尼,米歇尔·洛雷蒂,西蒙·蒂尼:
DisTL：用于分析网络物理系统预期行为的时间逻辑。信息通信与通信系统 2023:15-30
2022
[公元11年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/AcetoCILP22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/AcetoCILP22
卢卡·埃特罗,瓦伦蒂娜·卡斯蒂格利奥尼,Anna Ingólfsdóttir女士,巴斯·卢提克,马蒂亚斯·拉加德·佩德森:
论平行组合的公理性。日志。方法计算。科学。 18(1)(2022)
[公元10年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tocl/AcetoCFIL22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tocl/AcetoCFIL22
卢卡·埃特罗,瓦伦蒂娜·卡斯蒂格利奥尼,万·J·福克金,Anna Ingólfsdóttir女士,巴斯·卢提克:
获得并行组合的有限公理化需要两个二元运算符吗？ ACM事务处理。计算。日志。 23(4):22:1-22:56(2022)
[第16条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/生日/AcetoACI22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/AcetoACI22
卢卡·埃特罗,埃利·阿纳斯塔西亚迪,瓦伦蒂娜·卡斯蒂格利奥尼,Anna Ingólfsdóttir女士:
通过约简得到的非有限公理化结果：CSP并行组合和CCS限制。从过程代数到时间自动机到模型学习的旅程 2022:1-26
[第15条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/conver/AcetoCIL22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/AcetoCIL22
卢卡·埃特罗,瓦伦蒂娜·卡斯蒂格利奥尼,Anna Ingólfsdóttir女士,巴斯·卢提克:
CCS上分支互模拟同余的公理化。 CONCUR公司 2022:6:1-6:18
[电子2]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-2208-14777
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2208-14777
瓦伦蒂娜·卡斯蒂格利奥尼,克劳迪奥·安塔雷斯·梅齐纳:
《第29届并发表达性国际研讨会和第19届结构化操作语义研讨会论文集》，EXPRESS/SOS 2022，波兰华沙，2022年9月12日。 EPTCS公司368,2022 [目录]
[第九章]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-2204-13357
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2204-13357
瓦伦蒂娜·卡斯蒂格利奥尼,米歇尔·洛雷蒂,西蒙·蒂尼:
EvTL：用于网络物理系统瞬态分析的时间逻辑。 CoRR公司 abs/2204.13357(2022)
[i8]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2206-13927
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2206-13927
卢卡·埃特罗,瓦伦蒂娜·卡斯蒂格利奥尼,Anna Ingólfsdóttir女士,巴斯·卢提克:
CCS上分支互模拟同余的公理化。 CoRR公司 abs/2206.13927(2022)
[i7]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-2212-11158
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2212-11158
瓦伦蒂娜·卡斯蒂格利奥尼,米歇尔·洛雷蒂,西蒙·蒂尼:
RobTL：网络物理系统鲁棒性的时间逻辑。 CoRR公司 abs/2212.11158(2022)
2021
[第14条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/乙酰CFIL21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/AcetoCFIL21
卢卡·埃特罗,瓦伦蒂娜·卡斯蒂格利奥尼,万·J·福克金,Anna Ingólfsdóttir女士,巴斯·卢提克:
有限公理化并行组合需要两个二元运算符吗？ CSL公司 2021:8:1-8:17
[第13条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/forte/CastiglioniLT21公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/forte/CastiglioniLT21
瓦伦蒂娜·卡斯蒂格利奥尼,米歇尔·洛雷蒂,西蒙·蒂尼:
您的程序的适应性和可靠性如何？复地 2021:60-79
[c12]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/乙酰ACIL21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/AcetoACIL21
卢卡·埃特罗,埃利·阿纳斯塔西亚迪,瓦伦蒂娜·卡斯蒂格利奥尼,Anna Ingólfsdóttir女士,巴斯·卢提克:
寻找失去的时间：过程代数中的公理化并行合成。许可证 2021:1-14
[电子1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2108-09624
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2108-09624
奥内拉·达达,瓦伦蒂娜·卡斯蒂格利奥尼:
《第28届并发表达性国际研讨会和第18届结构操作语义研讨会论文集》，EXPRESS/SOS 2021，第18届结构性操作语义研讨会，法国巴黎（在线活动），2021年8月23日。 EPTCS公司339,2021 [目录]
[i6]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-2102-11166
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2102-11166
卢卡·埃特罗,瓦伦蒂娜·卡斯蒂格利奥尼,Anna Ingólfsdóttir女士,巴斯·卢提克,马蒂亚斯·拉加德·佩德森:
论平行组合的公理性。 CoRR公司 abs/2102.11166(2021)
[i5]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/cor/abs-2105-00735
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2105-00735
卢卡·埃特罗,埃利·阿纳斯塔西亚迪,瓦伦蒂娜·卡斯蒂格利奥尼,Anna Ingólfsdóttir女士,巴斯·卢提克:
寻找失去的时间：过程代数中的公理化并行合成。 CoRR公司 abs/2105.00735(2021)
[i4]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-2111-15319
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2111-15319
瓦伦蒂娜·卡斯蒂格利奥尼,米歇尔·洛雷蒂,西蒙·蒂尼:
在不可预测的环境中衡量程序健壮性的框架。 CoRR公司 abs/2111.15319(2021)
2020
[公元9年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/ip/CastiglioniT20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/ipl/CastiglioniT20
瓦伦蒂娜·卡斯蒂格利奥尼,西蒙·蒂尼:
失去等价性的袭击者：概率分支相似性。信息处理。莱特。 159-160:105947(2020)
[j8]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/scp/CastiglioniCP20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/scp/CastiglioniCP20
瓦伦蒂娜·卡斯蒂格利奥尼,Konstantinos Chatzikokolakis公司,帕拉米德斯猫:
差异隐私的逻辑特征。科学。计算。程序。 188:102388(2020)
[j7]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/CastiglioniT20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/CastiglioniT20
瓦伦蒂娜·卡斯蒂格利奥尼,西蒙·蒂尼:
概率除法与同余：分支相似性。西奥。计算。科学。 802:147-196(2020)
[j6]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/CastiglioniLT20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/CastiglioniLT20
瓦伦蒂娜·卡斯蒂格利奥尼,米歇尔·洛雷蒂,西蒙·蒂尼:
非确定性概率过程的度量线性时间分支时间谱。西奥。计算。科学。 813:20-69(2020)
[j5]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/AcetoACILP20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/AcetoACILP20
卢卡·埃特罗,埃利·阿纳斯塔西亚迪,瓦伦蒂娜·卡斯蒂格利奥尼,Anna Ingólfsdóttir女士,巴斯·卢提克,马蒂亚斯·拉加德·佩德森:
关于优先权III的公理化：优先权再次打击。西奥。计算。科学。 837:223-246(2020)
[第11条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/concr/AcetoCILP20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/AcetoCILP20
卢卡·埃特罗,瓦伦蒂娜·卡斯蒂格利奥尼,Anna Ingólfsdóttir女士,巴斯·卢提克,马蒂亚斯·拉加德·佩德森:
论平行合成的公理性：光谱之旅。 CONCUR公司 2020:18:1-18:22
[第10条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/isola/CastiglioniLT20公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/isola/CastiglioniLT20
瓦伦蒂娜·卡斯蒂格利奥尼,米歇尔·洛雷蒂,西蒙·蒂尼:
测量大型系统的适应性和可靠性。 ISoLA（2） 2020:380-396
[i3]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-2010-01943
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2010-01943
卢卡·埃特罗,瓦伦蒂娜·卡斯蒂格利奥尼,万·J·福克金,Anna Ingólfsdóttir女士,巴斯·卢提克:
有限公理化并行组合需要两个二元运算符吗？ CoRR公司 abs/2010.01943(2020)

2010 – 2019

请参阅常见问题解答

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

2019
【j4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/iandc/CastiglioniT19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/iandc/CastiglioniT19
瓦伦蒂娜·卡斯蒂格利奥尼,西蒙·蒂尼:
非确定概率转移系统分支度量的逻辑特征。 Inf.计算。 268(2019)
[c9]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/生日/CastiglioniLT19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/CastiglioniLT19
瓦伦蒂娜·卡斯蒂格利奥尼,拉格罗·拉诺特,西蒙·蒂尼:
互模拟度量的完全句法一致连续格式。计算系统建模的艺术 2019:293-312
【c8】
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/ictcs/AcetoACIP19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ictcs/AcetoACIP19
卢卡·埃特罗,埃利·阿纳斯塔西亚迪,瓦伦蒂娜·卡斯蒂格利奥尼,Anna Ingólfsdóttir女士,马蒂亚斯·拉加德·佩德森:
论优先权III的公理化：顺序写作的回归。信息通信与通信系统 2019:145-157
2018
[j3]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/CastiglioniGT18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/CastiglioniGT18
瓦伦蒂娜·卡斯蒂格利奥尼,丹尼尔·格布勒,西蒙·蒂尼:
基于SOS的非确定性概率过程模态分解。日志。方法计算。科学。 14(2)(2018)
【c7】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/facs2/CastiglioniCP18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/facs2/CastiglioniCP18
瓦伦蒂娜·卡斯蒂格利奥尼,Konstantinos Chatzikokolakis公司,帕拉米德斯猫:
通过行为指标对差异隐私进行逻辑描述。 FACS公司 2018:75-96
【c6】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1808-08649
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1808-08649
瓦伦蒂娜·卡斯蒂格利奥尼:
非确定性概率过程的跟踪和测试度量。快递/SOS 2018:19-36
2017
【b1】
- 看法
- 出口记录
  dblp键：
  - 博士/it/Castiglioni 17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/phd/it/Castiglioni网址17
瓦伦蒂娜·卡斯蒂格利奥尼:
概率语义学：非确定性概率过程的度量和逻辑字符。意大利因苏布里亚大学，2017
【c5】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/CastiglioniT17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/CastiglioniT17
瓦伦蒂娜·卡斯蒂格利奥尼,西蒙·蒂尼:
跟踪度量的逻辑特征。 QAPL@ETAPS（预计到达时间） 2017:39-74
[i2]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/CastiglioniGT17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/CastiglioniGT17
瓦伦蒂娜·卡斯蒂格利奥尼,丹尼尔·格布勒,西蒙·蒂尼:
基于SOS的非确定性概率过程模态分解。 CoRR公司 abs/1701.08330(2017)
2016
[注2]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fuin/CastiglioniLT16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fuin/CastiglioniLT16
瓦伦蒂娜·卡斯蒂格利奥尼,拉格罗·拉诺特,西蒙·蒂尼:
一种检验算术逻辑可满足性的函数消去方法。芬丹。信息学 143(1-2):51-71(2016)
【c4】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/concor/CastiglioniGT16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/CastiglioniGT16
瓦伦蒂娜·卡斯蒂格利奥尼,丹尼尔·格布勒,西蒙·蒂尼:
非确定性概率过程的模态分解。 CONCUR公司 2016:36:1-36:15
【c3】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/CastiglioniGT16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/CastiglioniGT16
瓦伦蒂娜·卡斯蒂格利奥尼,丹尼尔·格布勒,西蒙·蒂尼:
互模拟度量的逻辑特征。 QAPL公司 2016:44-62
2015
[i1]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/CastiglioniLM15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/CastiglioniLM15
瓦伦蒂娜·卡斯蒂格利奥尼,拉格罗·拉诺特,马西莫·梅罗:
物联网的语义理论。 CoRR公司腹肌/1510.04854(2015)
2014
[j1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fuin/CastiglioniLT14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fuin/CastiglioniLT14
瓦伦蒂娜·卡斯蒂格利奥尼,拉格罗·拉诺特,西蒙·蒂尼:
有根分支互模拟的规范格式。芬丹。信息学 135(4):355-369(2014)
【c2】
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/csp/CastiglioniLT14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csp/CastiglioniLT14
瓦伦蒂娜·卡斯蒂格利奥尼,拉格罗·拉诺特,西蒙·蒂尼:
一种检验算术逻辑可满足性的函数消去方法。 CS&P公司 2014:46-57
2013
【c1】
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/csp/CastiglioniLT13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csp/CastiglioniLT13
瓦伦蒂娜·卡斯蒂格利奥尼,拉格罗·拉诺特,西蒙·蒂尼:
有根分支互模拟的规则格式。 CS&P公司 2013:49-60

合著者索引

请参阅常见问题解答

服务

管理网站设置

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