编辑配置文件(在新选项卡中打开) 大卫·巴兹勒 合著者距离 作者ID: 巴西柳 发布日期: 大卫·巴兹勒;巴西尔,D。 外部链接: ORCID公司 编入索引的文档: 8出版物自2014年以来 合著者: 9合著者具有8联合出版物 207位合作作者 全部的 前5名合著者 0 单作者的 4 皮耶保罗·德加诺 4 吉安·路易吉,法拉利 3 莫里斯·比克。 2 埃米利奥·托斯托 1 亚历山德罗·范特奇 1 加莱塔,莱特里奥 1 格内西、斯特凡尼亚 1 吉安卢卡·梅泽蒂 1 罗萨里奥Pugliese 系列 2 计算机科学中的逻辑方法 2 程序设计中的逻辑和代数方法杂志 领域 8 计算机科学(68至XX) 1 系统论;控制(93至XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 5出版物有被引用23中的次15文件 引用人▼ 年份▼ 自动分析服务合同。 Zbl 1444.68110号 大卫·巴兹勒;皮耶保罗·德加诺;吉安·路易吉,法拉利 6 2014 用于指定和编排服务合同的自动化。 Zbl 1398.68296号 大卫·巴兹勒;皮耶保罗·德加诺;吉安·路易吉,法拉利 5 2016 通过契约自动机从编配到编舞。 Zbl 1433.68236号 大卫·巴兹勒;皮耶保罗·德加诺;吉安·路易吉,法拉利;埃米利奥·托斯托 4 2014 编配和舞蹈的综合:弥合监督控制和服务协调之间的差距。 Zbl 1528.68173号 大卫·巴兹勒;莫里斯·比克。;罗萨里奥Pugliese 4 2020 将两个基于自动机的编排和舞蹈模型联系起来。 Zbl 1352.68125号 D.巴兹利。;P.德加诺。;法拉利,G.L。;托斯托,E。 4 2016 编配和舞蹈的综合:弥合监督控制和服务协调之间的差距。 Zbl 1528.68173号 大卫·巴兹勒;莫里斯·比克。;罗萨里奥Pugliese 4 2020 用于指定和编排服务合同的自动化。 Zbl 1398.68296号 大卫·巴兹勒;皮耶保罗·德加诺;吉安·路易吉,法拉利 5 2016 将两个基于自动机的编排和舞蹈模型联系起来。 Zbl 1352.68125号 D.巴兹利。;P.德加诺。;法拉利,G.L。;Tuosto,E。 4 2016 自动分析服务合同。 Zbl 1444.68110号 Basile,大卫;皮耶保罗·德加诺;吉安·路易吉,法拉利 6 2014 通过契约自动机从编配到编舞。 Zbl 1433.68236号 Basile,大卫;皮耶保罗·德加诺;吉安·路易吉,法拉利;埃米利奥·托斯托 4 2014 所有引用出版物 前5名被引用出版物 全部的 前5名27位作者引用 6 埃米利奥·托斯托 4 大卫·巴兹勒 3 佛朗哥·巴巴内拉 3 乌戈·德利古罗 3 莫里斯·比克。 2 皮耶保罗·德加诺 2 吉安·路易吉,法拉利 2 Lanese,伊万 2 埃尔南·梅尔格拉蒂 1 马西莫·巴托莱蒂 1 吉安卡洛·比吉 1 保罗·波托尼 1 安德烈亚·克拉克·布拉夏利 1 Chechik,玛莎 1 蒂齐亚娜·西莫利 1 吉尔勒米纳·克莱杜 1 卡洛·盖齐 1 罗尔夫·亨尼克 1 安娜·拉布拉 1 乔瓦尼·米奇 1 克劳迪奥·蒙吉 1 毛里齐奥·穆尔吉亚 1 何塞·普伦萨 1 罗萨里奥Pugliese 1 斯波莱蒂尼,波拉 1 范·贝克尔,斯特芬 1 罗伯托·祖尼诺 4篇连载文章中引用 5 程序设计中的逻辑和代数方法杂志 1 理论计算机科学 1 计算的形式方面 1 计算机科学中的逻辑方法 在4个字段中引用 15 计算机科学(68至XX) 2 数学逻辑和基础(03-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 系统论;控制(93至XX) 按年份列出的引文