编辑配置文件(在新选项卡中打开) 朱利安·布伦纳 合著者距离 作者ID: 布伦纳·朱利安 发布日期: 朱利安·布伦纳 已编制索引的文档: 7出版物自1982年以来 合著者: 3位合著者具有2联合出版物 36位合作作者 全部的 前5名合著者 3 单作者的 1 玛丽亚·莱蒂齐亚·贝尔托蒂 1 托马斯·德雷舍尔 1 彼得·兰米奇 1 乔瓦尼·莫达内塞 1 莱因哈德·普舍尔 1 塞德尔,贝内迪克特 1 所罗门·西克特 系列 1 混沌、孤子和分形 1 代数普遍性 1 信息处理与控制论杂志 1 自动推理杂志 全部的 前5名领域 3 一般代数系统(08-XX) 3 计算机科学(68至XX) 2 有序,格,有序代数结构(06-XX) 1 数学逻辑和基础(03-XX) 1 运筹学、数学规划(90-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 4出版物有被引用11中的次10文件 引用人▼ 年份▼ 通过部分降阶对可执行LTL模型检查器进行形式验证。 Zbl 1426.68162号 朱利安·布伦纳;彼得·兰米奇 10 2018 具有相关性和非均匀广告的网络上的Bass扩散模型。 Zbl 1360.91104号 伯托蒂,M.L。;J.布伦纳。;莫达内斯,G。 5 2016 幂代数:克隆和关系。 Zbl 0821.08003号 J.布伦纳。;德雷舍尔,Th。;Pöschel,R。;塞德尔,H。 1 1993 LTL到确定性Rabin自动机的验证和合成转换。 Zbl 07649960号 朱利安·布伦纳;塞德尔,贝内迪克特;所罗门·西克特 1 2019 LTL到确定性Rabin自动机的验证和合成转换。 Zbl 07649960号 朱利安·布伦纳;塞德尔,贝内迪克特;所罗门·西克特 1 2019 通过部分降阶对可执行LTL模型检查器进行形式验证。 Zbl 1426.68162号 朱利安·布伦纳;彼得·兰米奇 10 2018 具有相关性和非均匀广告的网络上的Bass扩散模型。 Zbl 1360.91104号 伯托蒂,M.L。;J.布伦纳。;莫达内塞,G。 5 2016 幂代数:克隆和关系。 Zbl 0821.08003号 布鲁纳,J。;德雷舍尔,Th。;Pöschel,R。;塞德尔,H。 1 1993 所有引用出版物 前5名被引用出版物 全部的 前5名18位作者引用 4 彼得·兰米奇 2 朱利安·布伦纳 2 范德波尔,扬·科内利斯 2 西蒙·威默 1 穆罕默德·阿卜杜勒·阿齐兹 1 查尔斯·格雷顿 1 弗雷德里克·赫布雷托 1 玛丽克·赫斯曼 1 Joosten,Sebastian J.C。 1 安德烈亚斯·洛赫比勒 1 托比亚斯·尼普科 1 诺里斯,迈克尔 1 Wytse Oortwijn公司 1 劳伦斯·查尔斯·保尔森 1 塞德尔,贝内迪克特 1 所罗门·西克特 1 冯·穆提乌斯,约书亚 1 马卡里乌斯·温泽尔 2篇连载文章中引用 3 自动推理杂志 1 计算的形式方面 在1个字段中引用 10 计算机科学(68至XX) 按年份列出的引文