编辑配置文件(在新选项卡中打开) 亚历克西斯·盖塞伦 合著者距离 作者ID: ghyselen.alexis公司 发布日期: 亚历克西斯·盖塞伦 已编制索引的文档: 4出版物自2018年起 合著者: 2合著者具有4联合出版物 105位合作作者 合著者 0 单作者的 4 帕特里克·贝洛特 1 直纪小林 系列 1 理论计算机科学 字段 4 计算机科学(68-XX) 2 数学逻辑和基础(03-XX) 按年份列出的出版物 所有引用出版物 排名前五的出版物 zbMATH Open中包含的引文 三出版物有被引用10中的次8文件 引用人▼ 年份▼ 像素计算中并行计算复杂性的类型。 Zbl 1473.68111号 帕特里克·贝洛特;亚历克西斯·盖塞伦 5 2021 结合线性逻辑和大小类型以实现隐式复杂性。 Zbl 1528.68056号 帕特里克·贝洛特;亚历克西斯·盖塞伦 三 2018 大小类型,用于Pi-calculus过程的并行复杂性。 兹伯利07730636 帕特里克·贝洛特;亚历克西斯·吉斯伦;直纪小林 2 2021 pi演算中并行计算复杂性的类型。 Zbl 1473.68111号 帕特里克·贝洛特;亚历克西斯·盖塞伦 5 2021 大小类型,用于Pi-calculus过程的并行复杂性。 Zbl 07730636号 帕特里克·贝洛特;亚历克西斯·盖塞伦;直纪小林 2 2021 结合线性逻辑和大小类型以实现隐式复杂性。 Zbl 1528.68056号 帕特里克·贝洛特;亚历克西斯·盖塞伦 三 2018 所有引用出版物 排名前五的出版物 全部的 前5名18位作者引用 2 帕特里克·贝洛特 2 亚历克西斯·盖塞伦 1 克莱门·奥伯特 1 泰斯·波顿 1 悉达哈·巴斯卡 1 罗曼·德曼根 1 卡斯滕·福斯 1 劳雷·贡诺德 1 石川、高沼 1 直纪小林 1 Nguyán、LáThánh Dũng 1 皮埃尔·普拉迪奇 1 肯·萨卡约里 1 佐藤隆介 1 Tsubasa Shoshi 1 雅各布·格鲁·西蒙森 1 津田,武士 1 吉田、Nobuko 3篇连载文章中引用 1 理论计算机科学 1 信息与计算 1 函数编程杂志 在3个字段中引用 8 计算机科学(68-XX) 1 数学逻辑和基础(03-XX) 1 量子理论(81-XX) 按年份列出的引文