编辑配置文件(在新选项卡中打开) 埃琳娜·祖卡 合著者距离 作者ID: 祖卡埃琳娜 发布日期: 埃琳娜·祖卡 外部链接: MGP公司·谷歌学者·ResearchGate研究之门·数据库许可证 编入索引的文档: 50种出版物自1981年起 1名编辑贡献 合著者: 24位合著者具有49联合出版物 282位合著者 全部的 前5名合著者 1 单作者的 27 大卫·安科纳 10 保拉·吉安尼尼 9 索尼娅·法戈齐 6 埃吉迪奥·阿斯特西亚诺 5 弗朗西斯科·达尼诺 5 马可·塞韦托 三 马里亚纽拉州Dezani-Ciancaglini 三 乔瓦尼·拉戈里奥 2 彼得罗·巴比里 2 费卢西奥·达米亚尼 2 索菲亚·克洛伊·德罗索波卢 1 菲利普·奥德巴德 1 里卡多·比安奇尼 1 维维亚娜·博诺 1 露丝·布鲁 1 安德烈亚·卡普里奇奥利 1 朱塞佩·卡斯塔尼亚 1 莫拉·塞里奥利 1 茜科内,卢卡 1 詹姆斯·科内 1 西尔维亚·克拉法 1 迪·皮罗(Di Pirro,Matteo) 1 约翰·哈特克利夫 1 尤金尼奥·莫吉 1 托马索·彼得鲁契亚尼 1 吉安娜·雷吉奥 全部的 前5名系列 5 理论计算机科学 5 MSCS公司。计算机科学中的数学结构 2 计算的形式方面 1 计算机与系统科学杂志 1 计算机程序设计科学 1 信息与计算 1 函数编程杂志 1 逻辑程序设计理论与实践 1 计算机科学课堂讲稿 1 RAIRO公司。理论信息学及其应用 全部的 前5名领域 50 计算机科学(68至XX) 6 数学逻辑和基础(03-XX) 1 总体主题;集合(00-XX) 1 范畴理论;同调代数(18-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 38出版物有被引用94中的次54文件 引用人▼ 年份▼ 用共轴概括推理系统。 Zbl 1485.68053号 大卫·安科纳;弗朗西斯科·达尼诺;埃琳娜·祖卡 12 2017 模块系统的微积分。 Zbl 0994.68033号 大卫·安科纳;埃琳娜·祖卡 8 2002 通过共导逻辑编程进行类型推理。 Zbl 1246.68079号 大卫·安科纳;乔瓦尼·拉戈里奥;埃琳娜·祖卡 6 2009 灵活的共生产逻辑编程。 Zbl 1468.68054号 弗朗西斯科·达尼诺;大卫·安科纳;埃琳娜·祖卡 6 2020 通过取消绑定和重新绑定扩展lambda-calculus。 Zbl 1220.68045号 马里亚纽拉州Dezani-Ciancaglini;保拉·吉安尼尼;埃琳娜·祖卡 5 2011 D-oids:动态数据类型的模型。 Zbl 0839.68062号 埃吉迪奥·阿斯特西亚诺;埃琳娜·祖卡 5 1995 通过CCS中的标签表达式实现参数通道。 Zbl 0542.68017号 埃吉迪奥·阿斯特西亚诺;埃琳娜·祖卡 4 1984 Java单独编译的正式框架。 Zbl 1049.68746号 大卫·安科纳;乔瓦尼·拉戈里奥;埃琳娜·祖卡 4 2002 agda中的灵活共创。 Zbl 07699430号 卢卡·西科内;弗朗西斯科·达尼诺;埃琳娜·祖卡 三 2021 多态字节码:用于类Java语言的组合编译。 Zbl 1369.68122号 大卫·安科纳;费卢西奥·达米亚尼;索菲亚·德罗索波卢;埃琳娜·祖卡 三 2005 羽毛锯。用类Java语言中的组合替换继承。 Zbl 1242.68048号 乔瓦尼·拉戈里奥;马可·塞韦托;埃琳娜·祖卡 2 2012 混合模理论:基本算子和派生算子。 Zbl 0918.68008号 大卫·安科纳;埃琳娜·祖卡 2 1998 由翻译派生的分布式进程的语义。 Zbl 0503.68020号 埃吉迪奥·阿斯特西亚诺;埃琳娜·祖卡 2 1981 Solidity足够坚固吗? Zbl 1520.91442号 西尔维亚·克拉法;迪·皮罗(Di Pirro,Matteo);埃琳娜·祖卡 2 2020 一种命令式的纯微积分。 兹比尔1345.68097 安德烈亚·卡普里奇奥利;马可·塞韦托;埃琳娜·祖卡 2 2016 类Java语言的主要类型。 Zbl 1325.68051号 大卫·安科纳;埃琳娜·祖卡 2 2004 命令式纯微积分中的混叠控制。 Zbl 1329.68082号 马可·塞韦托;埃琳娜·祖卡 2 2015 唯一性和不变性的灵活恢复。 Zbl 1417.68032号 保拉·吉安尼尼;马可·塞韦托;埃琳娜·祖卡;詹姆斯·科内 2 2019 非限定语言的语义子类型。 Zbl 07561489号 托马索·彼得鲁契亚尼;朱塞佩·卡斯塔尼亚;大卫·安科纳;埃琳娜·祖卡 2 2019 重构演算(扩展抽象)。 兹比尔1272.68102 索尼娅·法戈齐;埃琳娜·祖卡 2 2006 协调位置约束和名义约束。 Zbl 1464.68052号 大卫·安科纳;保拉·吉安尼尼;埃琳娜·祖卡 2 2013 增强检查的同体字流的表达能力。 Zbl 07570111号 大卫·安科纳;彼得罗·巴比里;埃琳娜·祖卡 2 2022 面向对象的并发语言的代数语义框架。(扩展摘要)。 Zbl 0862.68074号 露丝·布鲁;埃琳娜·祖卡 1 1996 开放模块演算:按需调用策略和汇流。 Zbl 1125.68040号 索尼娅·法戈齐;埃琳娜·祖卡 1 2007 带有状态的模块的正式框架。 Zbl 0889.68105号 大卫·安科纳;埃琳娜·祖卡 1 1996 移动代码的类型安全交换框架。 Zbl 1211.68027号 索尼娅·法戈齐;埃琳娜·祖卡 1 2007 从连续语义派生证明规则。 Zbl 0955.68073号 菲利普·奥德巴德;埃琳娜·祖卡 1 1999 混合模理论:代数定律和约简语义。 Zbl 1040.68058号 大卫·安科纳;埃琳娜·祖卡 1 2002 类Java语言的真正模块。 Zbl 0982.68809号 大卫·安科纳;埃琳娜·祖卡 1 2001 通过后期绑定扩展CASL。 Zbl 0966.68132号 大卫·安科纳;莫拉·塞里奥利;埃琳娜·祖卡 1 2000 混合模块和计算效果。 Zbl 1039.68541号 大卫·安科纳;索尼娅·法戈齐;尤金尼奥·莫吉;埃琳娜·祖卡 1 2003 具有异构系数的类Java演算。 Zbl 07729839号 里卡多·比安奇尼;弗朗西斯科·达尼诺;保拉·吉安尼尼;埃琳娜·祖卡 1 2023 使用名称多态性进行增量重新绑定。 Zbl 1345.68092号 大卫·安科纳;保拉·吉安尼尼;埃琳娜·祖卡 1 2016 混合和模块化的代数方法。 Zbl 1355.68046号 大卫·安科纳;埃琳娜·祖卡 1 1996 键入安全增量重新绑定。 Zbl 1362.68035号 大卫·安科纳;保拉·吉安尼尼;埃琳娜·祖卡 1 2017 动态术语的自由构建。 Zbl 0846.68024号 埃吉迪奥·阿斯特西亚诺;埃琳娜·祖卡 1 1996 用于取消绑定和重新绑定的交集类型。 Zbl 1457.68047号 马里亚纽拉州Dezani-Ciancaglini;保拉·吉安尼尼;埃琳娜·祖卡 1 2011 移动开放代码的参数演算。 Zbl 1277.68158号 大卫·安科纳;索尼娅·法戈齐;埃琳娜·祖卡 1 2008 具有异构系数的类Java演算。 Zbl 07729839号 里卡多·比安奇尼;弗朗西斯科·达尼诺;保拉·吉安尼尼;埃琳娜·祖卡 1 2023 增强检查的同体字流的表达能力。 Zbl 07570111号 大卫·安科纳;Barbieri,彼得罗;埃琳娜·祖卡 2 2022 agda中的灵活共创。 Zbl 07699430号 卢卡·西科内;弗朗西斯科·达尼诺;埃琳娜·祖卡 三 2021 灵活的共导逻辑编程。 Zbl 1468.68054号 弗朗西斯科·达尼诺;大卫·安科纳;埃琳娜·祖卡 6 2020 Solidity足够坚固吗? Zbl 1520.91442号 西尔维亚·克拉法;迪·皮罗(Di Pirro,Matteo);埃琳娜·祖卡 2 2020 唯一性和不变性的灵活恢复。 Zbl 1417.68032号 保拉·吉安尼尼;马可·塞韦托;埃琳娜·祖卡;詹姆斯·科内 2 2019 非限定语言的语义子类型。 兹伯利07561489 托马索·彼得鲁契亚尼;朱塞佩·卡斯塔尼亚;大卫·安科纳;埃琳娜·祖卡 2 2019 用共轴概括推理系统。 Zbl 1485.68053号 大卫·安科纳;弗朗西斯科·达尼诺;埃琳娜·祖卡 12 2017 键入安全的增量重新绑定。 Zbl 1362.68035号 大卫·安科纳;保拉·吉安尼尼;埃琳娜·祖卡 1 2017 一种命令式的纯微积分。 Zbl 1345.68097号 安德烈亚·卡普里奇奥利;马可·塞韦托;埃琳娜·祖卡 2 2016 使用名称多态性进行增量重新绑定。 Zbl 1345.68092号 大卫·安科纳;保拉·吉安尼尼;埃琳娜·祖卡 1 2016 命令式纯微积分中的混叠控制。 Zbl 1329.68082号 马可·塞韦托;埃琳娜·祖卡 2 2015 协调位置绑定和标称绑定。 Zbl 1464.68052号 大卫·安科纳;保拉·吉安尼尼;埃琳娜·祖卡 2 2013 羽毛锯。用类Java语言中的组合替换继承。 Zbl 1242.68048号 乔瓦尼·拉戈里奥;马可·塞韦托;埃琳娜·祖卡 2 2012 通过取消绑定和重新绑定扩展lambda-calculus。 Zbl 1220.68045号 马里亚纽拉州Dezani-Ciancaglini;保拉·吉安尼尼;埃琳娜·祖卡 5 2011 用于取消绑定和重新绑定的交集类型。 Zbl 1457.68047号 马里亚纽拉州Dezani-Ciancaglini;保拉·吉安尼尼;埃琳娜·祖卡 1 2011 通过共导逻辑编程进行类型推理。 Zbl 1246.68079号 大卫·安科纳;乔瓦尼·拉戈里奥;埃琳娜·祖卡 6 2009 移动开放代码的参数演算。 Zbl 1277.68158号 大卫·安科纳;索尼娅·法戈齐;埃琳娜·祖卡 1 2008 开放模块演算:按需调用策略和汇流。 Zbl 1125.68040号 索尼娅·法戈齐;埃琳娜·祖卡 1 2007 移动代码的类型安全交换框架。 Zbl 1211.68027号 索尼娅·法戈齐;埃琳娜·祖卡 1 2007 重构演算(扩展抽象)。 Zbl 1272.68102号 索尼娅·法戈齐;埃琳娜·祖卡 2 2006 多态字节码:类Java语言的组合编译。 Zbl 1369.68122号 大卫·安科纳;费卢西奥·达米亚尼;索菲亚·德罗索波卢;埃琳娜·祖卡 三 2005 类Java语言的主要类型。 兹比尔1325.68051 大卫·安科纳;埃琳娜·祖卡 2 2004 混合模块和计算效果。 Zbl 1039.68541号 大卫·安科纳;索尼娅·法戈齐;尤金尼奥·莫吉;埃琳娜·祖卡 1 2003 模块系统的微积分。 Zbl 0994.68033号 大卫·安科纳;埃琳娜·祖卡 8 2002 Java单独编译的正式框架。 Zbl 1049.68746号 大卫·安科纳;乔瓦尼·拉戈里奥;埃琳娜·祖卡 4 2002 混合模理论:代数定律和约简语义。 Zbl 1040.68058号 大卫·安科纳;埃琳娜·祖卡 1 2002 类Java语言的真正模块。 Zbl 0982.68809号 大卫·安科纳;埃琳娜·祖卡 1 2001 通过后期绑定扩展CASL。 Zbl 0966.68132号 大卫·安科纳;莫拉·塞里奥利;埃琳娜·祖卡 1 2000 从连续语义派生证明规则。 Zbl 0955.68073号 菲利普·奥德巴德;埃琳娜·祖卡 1 1999 混合模理论:基本算子和派生算子。 Zbl 0918.68008号 大卫·安科纳;埃琳娜·祖卡 2 1998 面向对象的并发语言的代数语义框架。(扩展摘要)。 Zbl 0862.68074号 露丝·布鲁;埃琳娜·祖卡 1 1996 带有状态的模块的正式框架。 兹伯利0889.68105 大卫·安科纳;埃琳娜·祖卡 1 1996 混合和模块化的代数方法。 Zbl 1355.68046号 大卫·安科纳;埃琳娜·祖卡 1 1996 动态术语的自由构建。 Zbl 0846.68024号 埃吉迪奥·阿斯特西亚诺;埃琳娜·祖卡 1 1996 D-oids:动态数据类型的模型。 Zbl 0839.68062号 埃吉迪奥·阿斯特西亚诺;埃琳娜·祖卡 5 1995 通过CCS中的标签表达式实现参数通道。 Zbl 0542.68017号 埃吉迪奥·阿斯特西亚诺;埃琳娜·祖卡 4 1984 由翻译派生的分布式进程的语义。 Zbl 0503.68020号 埃吉迪奥·阿斯特西亚诺;埃琳娜·祖卡 2 1981 所有引用出版物 前5名被引用出版物 全部的 前5名81位作者引用 19 埃琳娜·祖卡 10 大卫·安科纳 7 保拉·吉安尼尼 5 弗朗西斯科·达尼诺 5 乔瓦尼·拉戈里奥 4 马可·塞韦托 三 费卢西奥·达米亚尼 三 索尼娅·法戈齐 三 叶卡捷琳娜·科门丹斯卡娅 三 伊娜·谢弗 2 彼得罗·巴比里 2 洛伦佐·贝蒂尼 2 维维亚娜·博诺 2 马里亚纽拉州Dezani-Ciancaglini 1 亚历山大·埃亨 1 Joao Alpuim 1 泽娜·阿里奥拉。 1 埃吉迪奥·阿斯特西亚诺 1 克莱门斯·巴拉林 1 海宁·巴索尔德 1 塞巴斯蒂安·鲍尔。 1 休伯特鲍迈斯特 1 亚历山大·贝格尔 1 里卡多·比安奇尼 1 露丝·布鲁 1 朱塞佩·卡斯塔尼亚 1 卢卡·西科内 1 詹姆斯·科内 1 安德烈亚·科拉迪 1 杰拉尔多·科斯塔 1 特里斯坦·克罗拉德 1 达斯,安库什 1 亨利·德扬 1 约翰·多夫兰 1 保罗·唐恩 1 索菲亚·克洛伊·德罗索波卢 1 哈特穆特·埃里格 1 苏珊·艾森巴赫 1 伯恩德·菲舍尔 1 法比奥·加杜奇 1 内维尔·格雷奇 1 乔纳森·赫拉斯 1 雷米·Hérilier 1 沃尔特·侯赛克 1 埃纳尔·布罗赫·约翰森 1 亚历山大·基特尔曼 1 杰夫·克莱默 1 泽珊·拉哈尼 1 弗雷德里克·朗 1 龙,欢 1 埃琳娜·马奇卡索娃 1 杰夫·马吉 1 盖·安德鲁·麦库斯克 1 罗宾·米尔纳 1 尤金尼奥·莫吉 1 安德烈亚·莫迪多 1 蒂尔·莫萨科夫斯基 1 布鲁诺·C·d·S·奥利维拉。 1 费尔南多·奥雷贾斯 1 卢卡·帕多瓦尼 1 约阿希姆·帕罗 1 弗兰克,普芬宁 1 埃曼纽尔·波洛诺斯基 1 亚历克斯·波坦 1 权力,约翰 1 朱利安·拉特克 1 吉安娜·雷吉奥 1 Rozplokhas,德米特里 1 托拜厄斯·隆格 1 阿穆尔·萨布里 1 Salaün,格温 1 马丁·施密特 1 安德烈亚斯·施罗德 1 史志远 1 贝蒂·文内里 1 维罗利,米尔科 1 马丁·威尔辛 1 徐,西安 1 殷、强 1 吉田、Nobuko 1 张文波 全部的 前5名14篇连载文章中引用 9 理论计算机科学 5 计算的形式方面 4 计算机科学中的逻辑方法 三 逻辑与代数程序设计杂志 2 信息学报 2 信息与计算 2 MSCS公司。计算机科学中的数学结构 2 逻辑程序设计理论与实践 2 RAIRO公司。理论信息学及其应用 1 自动推理杂志 1 函数编程杂志 1 RAIRO公司。理论信息学及其应用 1 计算机语言、系统和结构 1 程序设计中的逻辑和代数方法杂志 在4个字段中引用 53 计算机科学(68至XX) 13 数学逻辑和基础(03-XX) 1 历史和传记(01-XX) 1 阶、格、有序代数结构(06-XX) 按年份列出的引文