编辑配置文件(在新选项卡中打开) 伊恩·卡萨尔 合著者距离 作者ID: 卡萨里安 发布日期: 伊恩·卡萨尔 编入索引的文档: 4出版物自2018年起 合著者: 4位合著者具有4联合出版物 113位合作作者 合著者 0 单作者的 4 卢卡·埃特罗 4 阿德里安·弗兰卡兰扎 3 Anna Ingólfsdóttir 1 Anna Ingófsdóttir,安娜 系列 1 信息学报 1 计算机科学中的逻辑方法 领域 4 计算机科学(68至XX) 3 数学逻辑和基础(03-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 3出版物有被引用13中的次9文件 引用人▼ 年份▼ 通过抑制在运行时强制执行。 Zbl 1520.68069号 卢卡·埃特罗;伊恩·卡萨尔;阿德里安·弗兰卡兰扎;Anna Ingólfsdóttir 8 2018 在双向运行时强制上。 Zbl 1489.68135号 卢卡·埃特罗;伊恩·卡萨尔;阿德里安·弗兰卡兰扎;Anna Ingólfsdóttir 4 2021 一阶分支时间属性的双向运行时强制。 Zbl 07667087号 卢卡·埃特罗;伊恩·卡萨尔;阿德里安·弗兰卡兰扎;Anna Ingófsdóttir,安娜 1 2023 一阶分支时间属性的双向运行时强制。 Zbl 07667087号 卢卡·埃特罗;伊恩·卡萨尔;阿德里安·弗兰卡兰扎;Anna Ingófsdóttir,安娜 1 2023 在双向运行时强制上。 Zbl 1489.68135号 卢卡·埃特罗;伊恩·卡萨尔;阿德里安·弗兰卡兰扎;Anna Ingólfsdóttir 4 2021 通过抑制在运行时强制执行。 Zbl 1520.68069号 卢卡·埃特罗;伊恩·卡萨尔;阿德里安·弗兰卡兰扎;Anna Ingólfsdóttir 8 2018 所有引用出版物 前5名被引用出版物 全部的 前5名28位作者引用 7 阿德里安·弗兰卡兰扎 4 卢卡·埃特罗 3 伊恩·卡萨尔 3 Anna Ingólfsdóttir 2 Sr Djan Krstić 1 安东尼斯·阿奇利奥斯 1 沃尔夫冈·阿伦特 1 埃齐奥·巴托西 1 David A.Basin。 1 多梅尼科·比安库利 1 克里斯蒂安·科伦坡 1 法尔科内,伊利斯 1 弗朗索瓦·赫布利特 1 Anna Ingófsdóttir,安娜 1 克雅坦松,Svarrn 1 拉诺特、拉格罗 1 Lourenço,Joáo M。 1 马西莫·梅罗 1 安德烈·蒙泰努 1 德扬·尼科维奇 1 戈登·佩斯。 1 若泽·鲁菲诺 1 塞萨尔·桑切斯 1 杰拉尔多·施奈德 1 辛戈尔斯,朱利安 1 杰拉德·塔博内 1 德米特里·特拉泰尔 1 亚历山大·韦斯 全部的 前5名6篇连载文章中引用 2 程序设计中的逻辑和代数方法杂志 1 信息学报 1 理论计算机科学 1 信息与计算 1 系统设计中的形式化方法 1 计算机科学中的逻辑方法 在2个字段中引用 9 计算机科学(68至XX) 3 数学逻辑和基础(03-XX) 按年份列出的引文