编辑配置文件（在新选项卡中打开） 列奥尼德·雷日克 合著者距离 作者ID： 雷日克·利奥尼德 发布日期： 列奥尼德·雷日克 编入索引的文档： 2出版物自2015年起 合著者： 6位合著者具有2份联合出版物 296位联合作者 全部的 前5名合著者 0 单作者的 2 乔恩，帕沃 2 克拉克（Edmund Melson jun Clarke）。 2 托马斯·亨辛格（Thomas A.Henzinger）。 2 阿琼·拉德哈克利什纳 2 萨曼塔（Samanta，Roopsha） 2 托尔斯滕·塔拉赫 系列 1 系统设计中的形式化方法 领域 2 计算机科学（68至XX） 按年份列出的出版物 zbMATH Open中包含的引文 2出版物有被引用5中的次4文件 引用人▼ 年份▼ 使用同步合成从非抢占调度到抢占调度。 Zbl 1381.68040号 乔恩，帕沃;埃德蒙·克拉克（Edmund M.Clarke）。;托马斯·亨辛格（Thomas A.Henzinger）。;阿琼·拉德哈克利什纳;列奥尼德·雷日克;萨曼塔（Samanta，Roopsha）;托尔斯滕·塔拉赫 4 2015 使用同步合成从非抢占调度到抢占调度。 Zbl 1360.68346号 乔恩，帕沃;埃德蒙·克拉克（Edmund M.Clarke）。;托马斯·亨辛格（Thomas A.Henzinger）。;阿琼·拉德哈克利什纳;列昂尼德·雷日克;萨曼塔，罗普莎;托尔斯滕·塔拉奇 1 2017 使用同步合成从非抢占调度到抢占调度。 Zbl 1360.68346号 乔恩，帕沃;埃德蒙·克拉克（Edmund M.Clarke）。;托马斯·亨辛格（Thomas A.Henzinger）。;阿琼·拉德哈克利什纳;列奥尼德·雷日克;萨曼塔（Samanta，Roopsha）;托尔斯滕·塔拉赫 1 2017 使用同步合成从非抢占调度到抢占调度。 Zbl 1381.68040号 乔恩，帕沃;埃德蒙·克拉克（Edmund M.Clarke）。;托马斯·亨辛格（Thomas A.Henzinger）。;阿琼·拉德哈克利什纳;列奥尼德·雷日克;萨曼塔（Samanta，Roopsha）;托尔斯滕·塔拉赫 4 2015 全部的 前5名12位作者引用 2 艾哈迈德·布瓦贾尼 2 克拉克（Edmund Melson jun Clarke）。 2 康斯坦丁·埃纳 2 托马斯·亨辛格（Thomas A.Henzinger）。 2 拉希里、舒文杜·库马尔 1 西迪·穆罕默德·贝拉希 1 乔恩，帕沃 1 阿琼·拉德哈克利什纳 1 列奥尼德·雷日克 1 萨曼塔（Samanta，Roopsha） 1 托尔斯滕·塔拉赫 1 赫尔穆特·维思 连载1篇 2 系统设计中的形式化方法 在1个字段中引用 4 计算机科学（68至XX） 按年份列出的引文