编辑配置文件(在新选项卡中打开) 吉里·索科尔 合著者距离 作者ID: 索科尔·吉里 发布日期: 吉里·索科尔;J·索科尔。 已编制索引的文档: 2出版物自2009年起 合著者: 6位合著者具有2联合出版物 97合著作者 全部的 前5名合著者 0 单作者的 2 尼古拉·贝内什 2 卢博什·布里姆 2 伊万娜·乔纳 2 瓦埃科娃,帕夫利纳 1 布诺娃,B。 1 巴博拉·齐默洛娃 系列 1 计算机程序设计科学 字段 2 计算机科学(68-XX) 1 数学逻辑和基础(03-XX) 按年份列出的出版物 zbMATH Open中包含的引文 2出版物有被引用4中的次3文件 引用人▼ 年份▼ 状态/事件LTL的部分订单减少。 Zbl 1211.68244号 尼古拉·贝内什;布里姆,卢博斯;伊万娜·乔纳;吉里·索科尔;瓦埃科娃,帕夫利纳;巴博拉·齐默洛娃 三 2009 应用于组件交互自动机的状态/事件LTL的部分降阶。 Zbl 1220.68048号 北卡罗来纳州贝内什。;布里姆·L。;布诺娃,B。;乔纳,I。;J·索科尔。;Vařeková,P。 1 2011 应用于组件交互自动机的状态/事件LTL的部分降阶。 Zbl 1220.68048号 北卡罗来纳州贝内什。;布里姆·L。;布诺娃,B。;乔纳,I。;J·索科尔。;瓦·埃科娃,P。 1 2011 状态/事件LTL的部分订单减少。 Zbl 1211.68244号 尼古拉·贝内什;布里姆,卢博斯;伊万娜·乔纳;吉里索科尔;瓦埃科娃,帕夫利纳;巴博拉·齐默洛娃 三 2009 全部的 前5名11位作者引用 1 尼古拉·贝内什 1 卢博什·布里姆 1 伊万娜·乔纳 1 艾维洛·多布里科夫 1 Michael Leuschel先生 1 托马斯·内勒 1 吉里·索科尔 1 安蒂·瓦尔马里 1 瓦埃科娃,帕夫利纳 1 Tim A.C.Willemse。 1 巴博拉·齐默洛娃 连载1篇 1 计算的形式方面 在2个字段中引用 三 计算机科学(68-XX) 1 数学逻辑和基础(03-XX) 按年份列出的引文