编辑配置文件(在新选项卡中打开) 朱利安·施马耳茨 合著者距离 作者ID: 舒马耳茨·朱利安 发布日期: 朱利安·施马耳茨 已编制索引的文档: 12出版物自2003年以来,包括1本书 3作为编辑的贡献 合著者: 19位合著者具有15联合出版物 305位联合作者 全部的 前5名合著者 0 单作者的 5 多米尼克·博里奥内 三 弗里克·韦贝克 2 Vaandrager,Frits W。 1 贾斯珀·贝伦德森 1 亨利克·博恩坎普(Henrik C.Bohnenkamp)。 1 简·赫尔曼·杰弗斯 1 Jan Friso,格鲁特 1 大卫·S·哈丁。 1 法拉纳克·海达尔 1 大卫·詹森(David N.Jansen)。 1 罗尔夫·莫雷尔 1 皮埃尔·奥斯蒂尔 1 吉亚特·艾尔·萨马内 1 汤玛·戴安娜 1 特雷特曼,简 1 马克·范·埃克伦 1 萨布丽娜·冯·斯特普 1 亚当·沃特金斯 1 弗里克·威迪杰克 全部的 前5名系列 2 理论计算机科学电子论文集(EPTCS) 1 理论计算机科学 1 自动推理杂志 1 计算的形式方面 1 应用逻辑杂志 1 计算机科学课堂讲稿 领域 15 计算机科学(68至XX) 三 总体主题;集合(00-XX) 1 数理逻辑与基础(03-XX) 1 一般代数系统(08-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 10出版物有被引用29中的次26文件 引用人▼ 年份▼ 覆盖和更新的公理化。 Zbl 1194.03020号 贾斯珀·贝伦德森;詹森,大卫·N。;朱利安·施马耳茨;Vaandrager,Frits W。 9 2010 定时系统的一致性测试。 Zbl 1171.68556号 朱利安·施马耳茨;特雷特曼,简 6 2008 无线传感器网络时钟同步协议分析。 Zbl 1307.68009号 法拉纳克·海达尔;朱利安·施马耳茨;Vaandrager,Frits公司 4 2012 证明珍珠:Dally和Seitz在互连网络中实现无死锁路由的充要条件的形式证明。 Zbl 1242.68284号 弗里克·韦贝克;朱利安·施马耳茨 2 2012 以功能风格规范化片上通信。 Zbl 1247.68241号 朱利安·施马耳茨;多米尼克·博里奥内 2 2006 第十届ACL2定理证明器及其应用国际研讨会论文集,美国德克萨斯州奥斯汀,2011年11月3-4日。 Zbl 1490.68018号 2 2011 通用片上网络模型。 Zbl 1152.68533号 朱利安·施马耳茨;多米尼克·博里奥内 1 2005 芯片上网络形式规范的功能方法。 Zbl 1117.68304号 朱利安·施马耳茨;多米尼克·博里奥内 1 2004 片上通信的功能形式化。 Zbl 1147.68698号 朱利安·施马耳茨;多米尼克·博里奥内 1 2008 逻辑门、电路、处理器、编译器和计算机。 Zbl 1473.68005号 Jan Friso,格鲁特;罗尔夫·莫雷尔;朱利安·施马耳茨;亚当·沃特金斯 1 2021 逻辑门、电路、处理器、编译器和计算机。 Zbl 1473.68005号 Jan Friso,格鲁特;罗尔夫·莫雷尔;朱利安·施马耳茨;亚当·沃特金斯 1 2021 无线传感器网络时钟同步协议分析。 Zbl 1307.68009号 法拉纳克·海达尔;朱利安·施马耳茨;Vaandrager,Frits公司 4 2012 证明珠:Dally和Seitz对互连网络中无死锁路由的充分必要条件的正式证明。 Zbl 1242.68284号 弗里克·韦贝克;朱利安·施马耳茨 2 2012 第十届ACL2定理证明器及其应用国际研讨会论文集,美国德克萨斯州奥斯汀,2011年11月3-4日。 Zbl 1490.68018号 2 2011 覆盖和更新的公理化。 Zbl 1194.03020号 贾斯珀·贝伦德森;大卫·詹森(David N.Jansen)。;朱利安·施马耳茨;Vaandrager,Frits W。 9 2010 定时系统的一致性测试。 Zbl 1171.68556号 朱利安·施马耳茨;特雷特曼,简 6 2008 片上通信的功能形式化。 Zbl 1147.68698号 朱利安·施马耳茨;多米尼克·博里奥内 1 2008 以功能风格规范化片上通信。 Zbl 1247.68241号 朱利安·施马耳茨;多米尼克·博里奥内 2 2006 一种通用的片上网络模型。 Zbl 1152.68533号 朱利安·施马耳茨;多米尼克·博里奥内 1 2005 芯片上网络形式规范的功能方法。 Zbl 1117.68304号 朱利安·施马耳茨;多米尼克·博里奥内 1 2004 所有引用的出版物 前5名被引用出版物 全部的 前5名被71位作者引用 2 塞利亚·博利多 2 卡琳·Cvetko-Vah 2 马塞尔·杰克逊。 2 乔纳森·埃德蒙·利奇 2 布雷特·麦克莱恩 2 朱利安·施马耳茨 2 阿梅利·施泰纳 2 蒂莫西·斯托克斯(Timothy E.Stokes)。 1 艾切尔尼格,伯恩哈德·K。 1 吉尔·巴特 1 安德烈·鲍尔 1 詹姆斯·巴克斯特 1 纳塔莉·伯特兰 1 古斯塔沃·贝塔特 1 多米尼克·博里奥内 1 帕特里夏·鲍耶 1 胡安·迭戈·坎波 1 安娜·卡瓦尔坎蒂 1 汤姆·乔西亚 1 德波尔(Frank S。 1 克莱尔·狄克逊 1 方建安 1 迈克尔·费舍尔 1 傅敏岳 1 保罗·盖纳 1 马西耶·加兹达。 1 吉勒·杰勒茨 1 梅·盖尔克 1 乔·古森 1 罗伯特·马克·海伦斯 1 尼古拉斯·海姆。 1 罗宾·赫希 1 乌尔里希·赫斯塔特 1 穆罕默德·马赫迪·贾古奥里 1 蒂埃里·杰伦 1 吉川 1 马蒂亚斯·科瓦尔 1 莫伊斯·克里钦 1 甘纳州Kudryavtseva 1 李庆国 1 斯文·林克尔 1 马耳他州洛豪 1 Delphine Longuet 1 弗洛里安·洛伯 1 卡洛斯·卢纳 1 尼古拉斯·马基 1 西奥·A·玛丽。 1 米库拉斯(Mikulás,Szabolcs) 1 牟金平 1 阮氏文安 1 德扬·尼科维奇 1 托比亚斯·尼普科 1 奥莫多,尤金尼奥·乔瓦尼 1 劳伦斯·查尔斯·保尔森 1 斯文·佩尔德苏斯 1 阿姆诺·罗森曼 1 奥坎·桑库尔 1 伊娜·谢弗 1 马尔詹·西尔贾尼 1 马修·斯宾克斯 1 兰登·泰勒 1 亚历山德鲁·伊昂·托梅斯库 1 范古尔,塞缪尔·雅各布 1 弗里克·韦贝克 1 王天波 1 马卡里乌斯·温泽尔 1 杨文伦 1 张震 1 致远 1 周武能 1 周,湘南 全部的 前5名19篇连载文章中引用 三 自动推理杂志 2 纯粹与应用代数杂志 2 计算的形式方面 1 信息学报 1 富兰克林学院学报 1 代数普遍性 1 信息科学 1 代数杂志 1 半群论坛 1 理论计算机科学 1 拓扑及其应用 1 信息与计算 1 实时系统 1 系统设计中的形式化方法 1 ACM计算逻辑事务 1 应用逻辑杂志 1 数字学报 1 亚洲控制杂志 1 离散与应用数学的艺术 全部的 前5名13个领域引用 15 计算机科学(68至XX) 7 数理逻辑与基础(03-XX) 5 阶、格、有序代数结构(06-XX) 4 一般代数系统(08-XX) 2 范畴理论;同调代数(18-XX) 2 群论与推广(20-XX) 1 组合数学(05-XX) 1 一般拓扑结构(54至XX) 1 数值分析(65-XX) 1 运筹学、数学规划(90-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 系统论;控制(93至XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文