编辑配置文件（在新选项卡中打开） 塞菲加·雷扎 合著者距离 作者ID： 塞菲加尔·斯雷扎 发布日期： 塞菲加·雷扎;塞菲加，S。 编入索引的文档： 4出版物自2014年起 合著者： 4位合著者具有4联合出版物 161位合作作者 合著者 0 单作者的 2 彼得·兰米奇 1 达伍德阿里穆罕默德 1 David A.Basin。 1 安德烈亚斯·洛赫比勒 系列 1 自动推理杂志 1 密码学杂志 1 线性与拓扑代数杂志 全部的 前5名领域 三 计算机科学（68至XX） 2 组合数学（05-XX） 2 运筹学、数学规划（90-XX） 1 功能分析（46倍X倍） 1 算子理论（47-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 三出版物有被引用21中的次17文件 引用人▼ 年份▼ 形式化Edmonds-Karp算法。 Zbl 1468.68327号 彼得·兰米奇;塞菲加·雷扎 10 2016 形式化网络流算法：Isabelle/HOL中的一种改进方法。 Zbl 1468.68328号 彼得·兰米奇;塞菲加·雷扎 6 2019 CryptHOL：高阶逻辑中基于博弈的证明。 Zbl 1455.94121号 David A.Basin。;安德烈亚斯·洛赫比勒;塞菲加·雷扎 5 2020 CryptHOL：高阶逻辑中基于博弈的证明。 Zbl 1455.94121号 David A.Basin。;安德烈亚斯·洛赫比勒;塞菲加·雷扎 5 2020 形式化网络流算法：Isabelle/HOL中的一种改进方法。 Zbl 1468.68328号 彼得·兰米奇;塞菲加·雷扎 6 2019 形式化Edmonds-Karp算法。 Zbl 1468.68327号 彼得·兰米奇;塞菲加·雷扎 10 2016 所有引用出版物 前5名被引用出版物 全部的 前5名29位作者引用 5 彼得·兰米奇 4 安德烈亚斯·洛赫比勒 三 托比亚斯·尼普科 2 Fürer，巴西尔 2 Joshua P.施耐德。 2 德米特里·特拉泰尔 1 穆罕默德·阿卜杜勒·阿齐兹 1 大卫·阿斯皮纳尔 1 安妮·布罗德本特 1 费比安·卡斯塔尼奥 1 克里斯蒂安·多兹卡尔 1 曼纽尔·埃贝尔 1 阿德里亚·加斯科恩 1 Max W·哈斯贝克。 1 马克西米利安·哈斯贝克。 1 马尔蒂·卡沃宁 1 朱利安·卡姆布松 1 悉达哈·克里希纳 1 刘伟祥 1 库尔特·梅尔霍恩 1 安舒曼·莫汉 1 劳伦斯·查尔斯·保尔森 1 Damien Pous 1 安德烈·罗西 1 塞菲加·雷扎 1 亚历山大·萨默斯。 1 索尼娅·图巴林 1 马卡里乌斯·温泽尔 1 托马斯·怀斯 4篇连载文章中引用 7 自动推理杂志 2 计算机科学中的逻辑方法 1 网络 1 计算的形式方面 全部的 前5名在6个字段中引用 16 计算机科学（68至XX） 4 数学逻辑和基础（03-XX） 三 组合数学（05-XX） 2 运筹学、数学规划（90-XX） 1 概率论与随机过程（60-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文