西尔维娅·克拉法
人员信息
优化列表
2020年–今天
2024 [j15] 西尔维娅·克拉法 :
法律写作的算法思考:以意大利选举法为例。 数字。 Soc公司。 三 ( 2 ) : 18 ( 2024 ) [i11] 马西莫·巴托莱蒂 , 洛伦佐·贝内托洛 , 米歇尔·布列西 , 西尔维娅·克拉法 , 贾科莫·达尔·萨索 , 罗伯托·佩蒂诺 , 安德烈亚·平纳 , 马蒂亚·皮拉斯 , 萨比娜·罗西 , 斯特凡诺·萨利斯 , 阿尔维斯跨度“ , 维亚切斯拉夫·特卡琴科 , 罗伯托·托内利 , 罗伯托·祖尼诺 :
智能合约语言:比较分析。 CoRR公司 abs/2404.04129 ( 2024 ) 2023 [公元14年] 西尔维娅·克拉法 , 科西莫·拉伊夫 , 乔瓦尼·萨尔托尔 , 阿德尔·维切蒂 :
契约必须遵守:法律契约 规定(Stipula) . 科学。 计算。 程序。 225 : 102911 ( 2023 ) [公元30年] 特蕾莎·斯坎塔姆伯洛 , 西尔维娅·克拉法 , 乔瓦尼·格兰迪 :
人类监督算法决策的道德练习。 DP@人工智能 *IA公司 2023 : 57-66 [公元29年] 洛伦佐·贝内托洛 , 米歇尔·布列西 , 西尔维娅·克拉法 , 萨比娜·罗西 , 阿尔维斯跨度“ :
ALGOMOVE-Algorand的移动嵌入。 块链 2023 : 62-67 2022 [公元28年] 西尔维娅·克拉法 , 科西莫·拉伊夫 :
规划法律合同-规定初学者指南。 软件的逻辑。 形式方法品尝菜单 2022 : 129-146 [公元27年] 西尔维娅·克拉法 , 科西莫·拉伊夫 :
资源软件编程中的流动性分析。 FACS公司 2022 : 205-221 [公元26年] 西尔维娅·克拉法 :
从法律契约到法律演算:代码驱动的规范性。 快递/SOS 2022 : 23-42 2021 [i10] 西尔维娅·克拉法 , 科西莫·拉伊夫 , 乔瓦尼·萨尔托尔 :
Pacta sunt servanda:Stipula的法律合同。 CoRR公司 abs/2110.11069 ( 2021 )
2010 – 2019
2019 [公元25年] 西尔维娅·克拉法 , 马泰奥·迪·皮罗 , 埃琳娜·祖卡 :
坚固性足够吗? 金融加密研讨会 2019 : 138-153 [第九章] 西尔维娅·克拉法 , 马泰奥·迪·皮罗 :
固体0.5:键入时并不意味着类型安全。 CoRR公司 abs/1907.02952 ( 2019 ) 2018 [j13] 菲利波·塞斯蒂尼 , 西尔维娅·克拉法 :
分子生物学上下文敏感逻辑中的证明搜索。 J.日志。 计算。 28 ( 7 ) : 1565-1600 ( 2018 ) [公元24年] 西尔维娅·克拉法 , 丹尼尔·瓦拉卡 :
金融网络的反应性。 信息通信与通信系统 2018 : 230-241 2017 [公元12年] 西尔维娅·克拉法 , 卢卡·帕多瓦尼 :
面向类型状态编程的化学方法。 ACM事务处理。 程序。 语言系统。 39 ( 三 ) : 13:1-13:45 ( 2017 ) 2016 [公元11年] 伊利亚·卡斯特拉尼 , 西尔维娅·克拉法 :
CONCUR的四分之一世纪——2014年和2015年并发理论会议报告。 牛市。 原子吸收光谱 118 ( 2016 ) [i8] 西尔维娅·克拉法 , 卢卡·帕多瓦尼 :
关于以国家为导向的行动者的化学。 CoRR公司 abs/1607.02927 ( 2016 ) 2015 [公元10年] 西尔维娅·克拉法 :
并发在编程抽象的进化视图中的作用。 J.日志。 代数方法课程。 84 ( 6 ) : 732-741 ( 2015 ) [c23] 斯特凡诺·卡尔扎瓦拉 , 米歇尔·布列西 , 西尔维娅·克拉法 , 恩里科·斯特芬隆戈 :
精细检测浏览器扩展上的权限提升攻击。 员工持股计划 2015 : 510-534 [公元22年] 西尔维娅·克拉法 , 卢卡·帕多瓦尼 :
面向类型状态编程的化学方法。 OOPSLA公司 2015 : 917-934 [电子2] 西尔维娅·克拉法 , 丹尼尔·格布勒 :
第22届并发表达性国际研讨会和第12届结构操作语义研讨会联合论文集,EXPRESS/SOS 2015,西班牙马德里,2015年8月31日。 EPTCS系统 190, 2015 [目录] [i7] 西尔维娅·克拉法 , 卢卡·特隆钦 :
参与者与共享内存:大数据应用程序框架中的两个模型。 CoRR公司 abs/1505.03060 ( 2015 ) [i6] 西尔维娅·克拉法 :
并发在编程抽象的进化视图中的作用。 CoRR公司 abs/1507.07719 ( 2015 ) [i5] 西尔维娅·克拉法 :
模拟编程语言的演变。 CoRR公司 abs/1510.04440 ( 2015 ) 2014 [公元9年] 保罗·巴尔丹 , 西尔维娅·克拉法 :
真正并发的逻辑。 美国临床医学杂志 61 ( 4 ) : 24:1-24:36 ( 2014 ) [j8] 西尔维娅·克拉法 , 弗朗西斯科·兰扎托 :
概率分布转移系统上行为关系的逻辑特征。 ACM事务处理。 计算。 日志。 16 ( 1 ) : 2:1-2:24 ( 2014 ) 【c21】 保罗·巴尔丹 , 西尔维娅·克拉法 :
保持二相似性的遗传历史:逻辑学和自动机。 阿普拉斯 2014 : 469-488 [公元20年] 西尔维娅·克拉法 , 大卫·卡宁汉 , 维杰·萨拉斯瓦特 , Avraham Shinnar公司 , 奥利维尔·塔迪厄 :
(弹性)X10的语义。 ECOOP公司 2014 : 670-696 [电子1] 约翰内斯·伯格斯特伦 , 西尔维娅·克拉法 :
2014年EXPRESS第21届并发表达性国际研讨会和2014年SOS第11届结构化操作语义学研讨会论文集,意大利罗马,2014年9月1日。 EPTCS系统 160, 2014 [目录] 2013 [i4] 西尔维娅·克拉法 , 费德里卡·拉索 :
并发系统中的因果关系。 CoRR公司 abs/1303.1384 ( 2013 ) [i3] 西尔维娅·克拉法 , 大卫·卡宁汉 , 维杰·萨拉斯瓦特 , Avraham Shinnar公司 , 奥利维尔·塔迪厄 :
(弹性)X10的语义。 CoRR公司 abs/1312.3739 ( 2013 ) 2012 [j7] 西尔维娅·克拉法 , 弗朗西斯科·兰扎托 :
基于抽象解释的概率转移系统的互模拟和仿真算法。 形式方法系统。 设计。 40 ( 三 ) : 356-376 ( 2012 ) [第19条] 西尔维娅·克拉法 , 丹尼尔·瓦拉卡 , 吉田信子 :
Pi-Calculus中并行挤压的事件结构语义。 FoSSaCS公司 2012 : 225-239 [i2] 西尔维娅·克拉法 :
演员系统的行为类型。 CoRR公司 abs/1206.1687 ( 2012 ) 2011 [j6] 西尔维娅·克拉法 , 弗朗西斯科·兰扎托 , 弗朗西斯科·塔帕罗 :
节省时间效率模拟算法中的空间。 芬丹。 信息学 108 ( 1-2 ) : 23-42 ( 2011 ) [第18条] 西尔维娅·克拉法 , 弗朗西斯科·兰扎托 :
基于概率分布的LTS行为关系谱。 CONCUR公司 2011 : 124-139 [第17条] 西尔维娅·克拉法 , 弗朗西斯科·兰扎托 :
基于抽象解释的概率互模拟和仿真算法。 ICALP(二) 2011 : 295-306 [i1] 保罗·巴尔丹 , 西尔维娅·克拉法 :
真正并发的逻辑。 CoRR公司 abs/1110.4094 ( 2011 ) 2010 [第16条] 保罗·巴尔丹 , 西尔维娅·克拉法 :
真正并发的逻辑。 CONCUR公司 2010 : 147-161
2000 – 2009
2009 [j5] 米歇尔·布列西 , 达里奥·科拉佐 , 西尔维娅·克拉法 , 达米亚诺·马其顿 :
自由访问控制的类型系统。 数学。 结构。 计算。 科学。 19 ( 4 ) : 839-875 ( 2009 ) [第15条] 西尔维娅·克拉法 , 弗朗西斯科·兰扎托 , 弗朗西斯科·塔帕罗 :
节省时间效率模拟算法中的空间。 ACSD系统 2009 : 60-69 2008 [第14条] 西尔维娅·克拉法 , 马泰奥·米奥 , 马里诺·米库兰 , 卡拉广场 , 萨比娜·罗西 :
PicNIc-Pi-calculus无干扰检查器。 ACSD系统 2008 : 33-38 2007 【j4】 西尔维娅·克拉法 , 萨比娜·罗西 :
控制像素中的信息发布。 Inf.计算。 205 ( 8 ) : 1235-1273 ( 2007 ) [第13条] 西尔维娅·克拉法 , 丹尼尔·瓦拉卡 , 吉田信子 :
内部的复合事件结构语义 圆周率 -微积分。 CONCUR公司 2007 : 317-332 2006 [第12条] 西尔维娅·克拉法 , 萨比娜·罗西 :
P-同余作为pi-calculus的非干涉。 FMSE公司 2006 : 13-22 2005 [j3] 米歇尔·布列西 , 西尔维娅·克拉法 , 马西莫·梅罗 , 弗拉迪米罗·萨松 :
封闭环境中的通信和移动性控制。 Inf.计算。 202 ( 1 ) : 39-86 ( 2005 ) [第11条] 西尔维娅·克拉法 , 萨比娜·罗西 :
pi-微积分的无干涉理论。 TGC公司 2005 : 2-18 2004 [注2] 米歇尔·布列西 , 朱塞佩·卡斯塔尼亚 , 西尔维娅·克拉法 :
移动代理的访问控制:装箱环境的演算。 ACM事务处理。 程序。 语言系统。 26 ( 1 ) : 57-124 ( 2004 ) [c10] 米歇尔·布列西 , 达里奥·科拉佐 , 西尔维娅·克拉法 :
基于类型的自由访问控制。 CONCUR公司 2004 : 225-239 2003 【c9】 米歇尔·布列西 , 西尔维娅·克拉法 , 阿梅拉·普里奇 , 弗拉迪米罗·萨松 :
不受信任网络中的保密性。 ICALP公司 2003 : 969-983 2002 [j1] 维维亚娜·博诺 , 米歇尔·布列西 , 西尔维娅·克拉法 :
可扩展对象的类型化解释。 ACM事务处理。 计算。 日志。 三 ( 4 ) : 562-603 ( 2002 ) 【c8】 米歇尔·布列西 , 朱塞佩·卡斯塔尼亚 , 西尔维娅·克拉法 , 里卡多·福卡迪 , 弗拉迪米罗·萨松 :
传名演算与密码学综述。 福萨 2002 : 91-138 【c7】 米歇尔·布列西 , 西尔维娅·克拉法 , 马西莫·梅罗 , 弗拉迪米罗·萨松 :
移动盒子环境中的通信干扰。 FSTTCS公司 2002 : 71-84 【c6】 西尔维娅·克拉法 , 米歇尔·布列西 , 朱塞佩·卡斯塔尼亚 :
装箱环境的信息流安全。 F-WAN@ICALP 2002 : 76-97 2001 【c5】 米歇尔·布列西 , 朱塞佩·卡斯塔尼亚 , 西尔维娅·克拉法 :
关于移动环境安全的推理。 CONCUR公司 2001 : 102-120 【c4】 米歇尔·布列西 , 朱塞佩·卡斯塔尼亚 , 西尔维娅·克拉法 :
移动对象的子类型和匹配。 信息通信与通信系统 2001 : 235-255 【c3】 米歇尔·布列西 , 朱塞佩·卡斯塔尼亚 , 西尔维娅·克拉法 :
装箱环境。 节气门执行器控制系统 2001 : 38-63 【c2】 朱塞佩·卡斯塔尼亚 , 米歇尔·布列西 , 西尔维娅·克拉法 :
装箱环境概述。 TOSCA公司 2001 : 1-6 2000 【c1】 米歇尔·布列西 , 朱塞佩·卡斯塔尼亚 , 西尔维娅·克拉法 :
键入的移动对象。 CONCUR公司 2000 : 504-520