编辑配置文件（在新选项卡中打开） 伊万娜·乔纳 合著者距离 作者ID: 塞纳·伊瓦纳 发布日期： 伊万娜·乔纳;乔纳，I。;伊万娜·塞尔纳;伊万娜·乔纳 更多。。。较少的 编入索引的文档： 40出版物自1990年以来 4作为编辑的贡献 合著者： 51位合著者具有43联合出版物 786位合作作者 全部的 前5名合著者 1 单作者的 12 JiříBarnat 11 卢博什 10 尼古拉·贝内什 7 雅罗斯拉夫·本迪克 6 Calin A.Belta。 4 拉德克·佩拉内克 4 马里亚·斯沃雷奥娃 三 彼得·贝兹克 三 克里希南德·查特吉 三 马丁·切梅里克 三 简·Křetínsk 三 帕维尔，莫拉维克 三 Šimša，Jiř 三 贾纳·Tůmová 2 艾丁·戈尔（Ebru Aydin Gol） 2 托马斯·布拉兹迪尔 2 斯文·德拉赞 2 帕维尔·克查尔 2 莫西尔·Křetínsk \345] 2 安东尼·库塞拉 2 萨夫拉内克，大卫 2 艾哈迈特·塞肯 2 吉里·索科尔 2 瓦埃科娃，帕夫利纳 2 博扬·约丹诺夫 1 大卫·安托什 1 简·布达 1 布诺娃，B。 1 哈桑·费里特·恩塞尔 1 贾纳·法布里科娃 1 埃拉赫·加萨巴尼 1 蒂博尔·吉莫西 1 沃伊特·哈维尔 1 Boudewijn R.哈维尔科特。 1 朱拉吉·赫罗姆科维奇 1 基思·杰弗里 1 Ondřej，克里马 1 兹登·科塔塞克 1 拉斯蒂斯拉夫·克拉洛维奇 1 莱希、凯文 1 杰拉尔德·吕特根 1 马丁·内切萨尔 1 卢卡什塞卡尼纳 1 吉·斯尔巴 1 Štefaňák，Filip 1 斯特里布纳，吉特卡 1 托马斯·沃伊纳尔 1 马尔科·武科利奇 1 迈克尔·沃伦。 1 斯特凡·沃尔夫 1 巴博拉·齐默洛娃 全部的 前5名系列 2 IEEE自动控制汇刊 2 计算与信息学 2 计算机科学课堂讲稿 2 理论计算机科学电子笔记 1 信息学报 1 Automatica公司 1 理论计算机科学 1 计算机程序设计科学 1 系统设计中的形式化方法 1 计算机科学中的逻辑方法 1 非线性分析。混合动力系统 1 程序设计中的逻辑和代数方法杂志 全部的 前5名领域 41 计算机科学（68至XX） 8 数理逻辑与基础（03-XX） 6 系统论；控制（93至XX） 4 总体主题；集合（00-XX） 三 运筹学、数学规划（90-XX） 三 博弈论、经济学、金融和其他社会和行为科学（91-XX） 三 生物学和其他自然科学（92-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 30出版物被引用113中的次75文件 引用人▼ 年份▼ 模态转换系统：组成和LTL模型检查。 Zbl 1348.68119号 尼古拉·贝内什;伊万娜·乔纳;简·Křetínsk 13 2011 离散时间分段仿射系统的时间逻辑控制。 Zbl 1369.93355号 博扬·约丹诺夫;贾纳·Tůmová;伊万娜·乔纳;JiříBarnat;卡林·贝尔塔 12 2012 分布式显式公平周期检测（基于集合的方法）。 Zbl 1023.68523号 伊万娜·塞尔纳;拉德克·佩拉内克 9 2003 参数时间自动机的LTL参数综合。 Zbl 1390.68422号 彼得·贝兹克;尼古拉·贝内什;JiříBarnat;伊万娜·乔纳 7 2016 在分布式LTL模型检查中，接受前辈优于后缘。 兹比尔1117.68422 卢博什;伊万娜·乔纳;巴维尔·莫拉维克;Šimša，Jiří 7 2004 将时间属性的层次结构与模型检查相关联。 Zbl 1124.68385号 伊万娜·乔纳;拉德克·佩拉内克 7 2003 通过公式引导精化对分段仿射系统进行形式化分析。 Zbl 1257.93030号 博扬·约丹诺夫;贾纳·Tůmová;伊万娜·乔纳;JiříBarnat;卡林·贝尔塔 6 2013 比较规范BPA和规范BPP过程的表达能力。 Zbl 0947.68109号 伊万娜·乔纳;莫西尔·Křetínsk \345];安东·库切拉 5 1999 使用DiVinE检查大规模基因调控网络的并行模型。 Zbl 1279.68194号 巴纳特，J。;布里姆·L。;乔纳，I。;德拉赞，S。;萨夫拉内克，D。 4 2008 使用具有奇偶目标的POMDP进行时序逻辑运动规划（案例研究论文）。 Zbl 1364.93521号 马里亚·斯沃雷奥娃;马丁·切梅里克;莱希、凯文;哈桑·费里特·恩塞尔;克里希南德·查特吉;伊万娜·乔纳;卡林·贝尔塔 4 2015 可调在线MUS/MSS枚举。 Zbl 1391.68099号 雅罗斯拉夫·本迪克;尼古拉·贝内斯;伊万娜·塞尔纳;吉尔·巴纳特 三 2016 随机线性系统的时间逻辑控制，使用概率对策的抽象精化。 Zbl 1351.93138号 马里亚·斯沃雷奥娃;简·Křetínsk;马丁·切梅里克;克里希南德·查特吉;伊万娜·乔纳;卡林·贝尔塔 三 2017 状态/事件LTL的部分订单减少。 兹比尔1211.68244 尼古拉·贝内什;布里姆，卢博斯;伊万娜·乔纳;吉里·索科尔;瓦埃科娃，帕夫利纳;巴博拉·齐默洛娃 三 2009 可到达性的时间自动机松弛。 Zbl 1467.68079号 雅罗斯拉夫·本迪克;艾哈迈特·塞肯;艾布鲁·艾丁（Ebru Aydin Gol）;伊万娜·乔纳 三 2021 所有最小不可满足子集的递归在线枚举。 Zbl 1517.68265号 雅罗斯拉夫·本迪克;伊万娜·乔纳;尼古拉·贝内什 三 2018 随机线性系统的时间逻辑控制，使用概率对策的抽象精化。 Zbl 1364.93751号 马里亚·斯沃雷奥娃;简·Křetínsk;马丁·切梅里克;克里希南德·查特吉;伊万娜·乔纳;卡林·贝尔塔 三 2015 时间自动机的时钟LTL参数综合。 Zbl 1395.68164号 彼得·贝兹克;尼古拉·贝内什;伊万娜·乔纳;JiříBarnat 2 2018 RegCTL的模型检查。 Zbl 1139.68380号 托马斯·布拉兹迪尔;伊万娜·乔纳 2 2006 大型系统的基于集群的LTL模型检查。 兹比尔1196.68124 JiříBarnat;卢博什;伊万娜·乔纳 2 2006 状态空间的分布式部分降阶。 Zbl 1272.68232号 布里姆·L。;乔纳，I。;莫拉维克，P。;西蒙萨，J。 2 2005 基于负周期检测的分布式LTL模型检测。 Zbl 1052.68631号 卢博什;伊万娜·乔纳;帕维尔·克查尔;拉德克·佩拉内克 2 2001 定时自动机的时钟软件LTL属性。 Zbl 1432.68256号 彼得·贝兹克;尼古拉·贝内什;沃伊特·哈维尔;JiříBarnat;伊万娜·乔纳 2 2014 在线枚举所有最小归纳有效性核心。 兹比尔1509.68158 雅罗斯拉夫·本迪克;埃拉赫·加萨巴尼;迈克尔·威伦;伊万娜·乔纳 2 2018 最小不可满足子集枚举的领域无关方法的评估。 Zbl 1415.68184号 雅罗斯拉夫·本迪克;伊万娜·乔纳 1 2018 在规范化BPA和规范化BPP过程的结合中，相似性是可以决定的。 Zbl 0911.68065号 乔纳，I。;Křetínsk \345]，M。;库切拉，A。 1 1997 分布式宽度第一搜索LTL模型检查。 兹比尔1102.68503 JiříBarnat;伊万娜·乔纳 1 2006 应用于组件交互自动机的状态/事件LTL的部分降阶。 Zbl 1220.68048号 北卡罗来纳州贝内什。;布里姆·L。;布诺娃，B。;乔纳，I。;J·索科尔。;瓦·埃科娃，P。 1 2011 如何为基于接受前辈的分布式LTL模型检查订购顶点。 兹比尔1272.68233 布里姆·L。;乔纳，I。;莫拉维克，P。;西蒙萨，J。 1 2006 计算机科学中的数学和工程方法。2011年10月14日至16日，第七届国际博士研讨会，MEMICS 2011，捷克共和国莱德尼斯。修订了选定的论文。 Zbl 1234.68009号 1 2012 2008年3月29日，匈牙利布达佩斯，第七届平行和分布式验证方法国际研讨会会议记录（PDMC 2008）。 Zbl 1279.68009号 1 2008 可到达性的时间自动机松弛。 Zbl 1467.68079号 雅罗斯拉夫·本迪克;艾哈迈特·塞肯;艾布鲁·艾丁（Ebru Aydin Gol）;伊万娜·乔纳 三 2021 所有最小不可满足子集的递归在线枚举。 Zbl 1517.68265号 雅罗斯拉夫·本迪克;伊万娜·乔纳;尼古拉·贝内什 三 2018 时间自动机的时钟LTL参数综合。 Zbl 1395.68164号 彼得·贝兹克;尼古拉·贝内什;伊万娜·乔纳;JiříBarnat 2 2018 在线枚举所有最小归纳有效性核心。 Zbl 1509.68158号 雅罗斯拉夫·本迪克;埃拉赫，加萨巴尼;迈克尔·威伦;伊万娜·乔纳 2 2018 最小不可满足子集枚举的领域无关方法的评估。 Zbl 1415.68184号 雅罗斯拉夫·本迪克;伊万娜·乔纳 1 2018 随机线性系统的时间逻辑控制，使用概率对策的抽象精化。 Zbl 1351.93138号 马里亚·斯沃雷奥娃;简·Křetínsk;马丁·切梅里克;克里希南德·查特吉;伊万娜·乔纳;卡林·贝尔塔 三 2017 参数时间自动机的LTL参数综合。 Zbl 1390.68422号 彼得·贝兹克;尼古拉·贝内什;JiříBarnat;伊万娜·乔纳 7 2016 可调在线MUS/MSS枚举。 Zbl 1391.68099号 雅罗斯拉夫·本迪克;尼古拉·贝内斯;伊万娜·塞尔纳;吉尔·巴纳特 三 2016 使用具有奇偶目标的POMDP进行时序逻辑运动规划（案例研究论文）。 Zbl 1364.93521号 马里亚·斯沃雷奥娃;马丁·切梅里克;莱希、凯文;哈桑·费里特·恩塞尔;克里希南德·查特吉;伊万娜·乔纳;卡林·贝尔塔 4 2015 随机线性系统的时间逻辑控制，使用概率对策的抽象精化。 Zbl 1364.93751号 马里亚·斯沃雷奥娃;简·Křetínsk;马丁·切梅里克;克里希南德·查特吉;伊万娜·乔纳;卡林·贝尔塔 三 2015 定时自动机的时钟软件LTL属性。 兹比尔1432.68256 彼得·贝兹克;尼古拉·贝内什;沃伊特·哈维尔;JiříBarnat;伊万娜·乔纳 2 2014 通过公式引导精化对分段仿射系统进行形式化分析。 Zbl 1257.93030号 博扬·约丹诺夫;贾纳·Tůmová;伊万娜·乔纳;JiříBarnat;卡林·贝尔塔 6 2013 离散时间分段仿射系统的时序逻辑控制。 Zbl 1369.93355号 博扬·约丹诺夫;Tůmová，贾纳;伊万娜·乔纳;JiříBarnat;卡林·贝尔塔 12 2012 计算机科学中的数学和工程方法。2011年10月14日至16日，第七届国际博士研讨会，MEMICS 2011，捷克共和国莱德尼斯。修订了选定的论文。 Zbl 1234.68009号 1 2012 模态转换系统：组成和LTL模型检查。 Zbl 1348.68119号 尼古拉·贝内什;伊万娜·乔纳;简·Křetínsk 13 2011 应用于组件交互自动机的状态/事件LTL的部分降阶。 Zbl 1220.68048号 北卡罗来纳州贝内什。;布里姆·L。;布诺娃，B。;乔纳，I。;J·索科尔。;瓦·埃科娃，P。 1 2011 状态/事件LTL的部分订单减少。 Zbl 1211.68244号 尼古拉·贝内什;布里姆，卢博斯;伊万娜·乔纳;吉里·索科尔;瓦埃科娃，帕夫利纳;巴博拉·齐默洛娃 三 2009 使用DiVinE检查大规模基因调控网络的并行模型。 Zbl 1279.68194号 J.巴纳特。;布里姆·L。;乔纳，I。;德拉赞，S。;萨夫拉内克，D。 4 2008 2008年3月29日，匈牙利布达佩斯，第七届平行和分布式验证方法国际研讨会会议记录（PDMC 2008）。 Zbl 1279.68009号 1 2008 RegCTL的模型检查。 Zbl 1139.68380号 托马斯·布拉兹迪尔;伊万娜·乔纳 2 2006 大型系统的基于集群的LTL模型检查。 Zbl 1196.68124号 JiříBarnat;卢博什;伊万娜·乔纳 2 2006 分布式宽度第一搜索LTL模型检查。 Zbl 1102.68503号 吉里巴纳特;伊万娜·乔纳 1 2006 如何为基于接受前辈的分布式LTL模型检查订购顶点。 Zbl 1272.68233号 布里姆·L。;乔纳，I。;莫拉维克，P。;西蒙萨，J。 1 2006 状态空间的分布式部分降阶。 Zbl 1272.68232号 布里姆·L。;乔纳，I。;莫拉维克，P。;西蒙萨，J。 2 2005 在分布式LTL模型检查中，接受前辈优于后缘。 Zbl 1117.68422号 卢博什;伊万娜·乔纳;巴维尔·莫拉维克;Šimša，吉里耶 7 2004 分布式显式公平周期检测（基于集合的方法）。 Zbl 1023.68523号 伊万娜·塞尔纳;拉德克·佩拉内克 9 2003 将时间属性的层次结构与模型检查相关联。 Zbl 1124.68385号 伊万娜·乔纳;拉德克·佩拉内克 7 2003 基于负周期检测的分布式LTL模型检测。 Zbl 1052.68631号 卢博什;伊万娜·乔纳;帕维尔·克查尔;拉德克·佩拉内克 2 2001 比较规范化BPA和规范化BPP过程的表达能力。 Zbl 0947.68109号 伊万娜·乔纳;莫西尔·Křetínsk \345];安东·库切拉 5 1999 在规范化BPA和规范化BPP过程的结合中，相似性是可以决定的。 Zbl 0911.68065号 乔纳，I。;Křetínsk \345]，M。;库切拉，A。 1 1997 所有引用出版物 前5名被引用出版物 全部的 前5名162位作者引用 9 伊万娜·乔纳 8 JiříBarnat 7 卢博什 6 乌里·法伦贝格 6 Legay、Axel 5 尼古拉·贝内什 4 艾丁·戈尔（Ebru Aydin Gol） 4 彼得·扬查尔 4 简·Křetínsk 4 范德波尔，扬·科内利斯 三 Calin A.Belta。 三 雅罗斯拉夫·本迪克 三 斯特凡·爱德坎普 三 安东尼·库塞拉 三 劳雷·佩特鲁奇 三 萨夫拉内克，大卫 三 桑吉特·阿伦库马尔·塞希亚 三 所罗门·西克特 三 西蒙切克，帕维尔 2 安德烈，艾蒂安 2 穆拉特·阿卡克 2 彼得·贝兹克 2 塞缪尔·库根 2 德容、希德 2 斯文·德拉赞 2 埃斯特尔·杜马斯 2 马丁·科特 2 金·古德斯特兰·拉森 2 杰拉尔德·吕特根 2 拉杜·马特埃斯库 2 理查德·梅尔（Richard M.Mayr）。 2 佩德罗·蒙泰罗。 2 格钦·诺曼 2 Zdeněk萨瓦 2 艾哈迈特·塞肯 2 达米安·苏鲁夫斯基 2 路易斯·马里·特劳努埃兹 2 沃尔特·福格勒 1 亚历山德罗·阿巴特 1 迪基·阿兹基亚 1 詹姆·阿里亚斯 1 阿伊萨巴尔干 1 霍华德·巴林格 1 塞巴斯蒂安·鲍尔。 1 乌迪·博克 1 亚历山德罗·博里 1 费伦茨·巴伊托 1 马可·卡卡莫 1 科什卡，米兰 1 克里希南德·查特吉 1 马丁·切梅里克 1 亚历山德罗·西马蒂 1 克里斯蒂安·达克斯 1 乔纳森·德卡斯特罗。 1 迪·贝内代托，玛丽亚·多梅尼卡 1 迪马罗戈纳斯，迪莫斯五世。 1 艾维洛·多布里科夫 1 亚历山大·杜雷特·卢茨 1 马克森·杜特雷克斯 1 吕迪格·埃勒斯 1 约琴·艾辛格 1 埃默森，欧内斯特·艾伦 1 哈维尔·埃斯帕尔扎 1 乔纳森·以西结 1 贾纳·法布里科娃 1 芬德里奇、萨沙 1 道格拉斯·弗雷泽 1 卢卡·盖蒂 1 鲁本·贾昆塔 1 尼古拉·吉甘特 1 安托万·吉拉德 1 格内西、斯特凡尼亚 1 韩飞 1 鲁思·霍夫曼 1 啊，Jeongmin 1 玛丽克·赫斯曼 1 科妮莉亚·英格斯。 1 爱尔兰，穆雷 1 沙希德·贾巴尔 1 尼尔斯·詹森 1 库尔特·延森 1 蒂埃里·杰伦 1 苏斯米特·贾 1 Jozef jun，Jirásek。 1 Joosten，Sebastian J.C。 1 乔丹、迈克尔·欧文 1 Juhl，Line公司 1 塞巴斯蒂安·荣格斯 1 埃里克·S·金。 1 费利克斯·克莱特克 1 马丁·科尔布尔 1 Kress-Gazit，哈达斯 1 克里斯滕森，拉尔斯·迈克尔 1 马丁·兰格 1 马库斯拿铁 1 阿波法兹·拉瓦伊 1 米尔恰·拉扎尔 1 卡罗琳娜·莱赫蒂宁 1 约翰·莱思 1 斯特凡·洛伊 …还有62位作者 全部的 前5名19篇连载文章中引用 7 理论计算机科学 6 非线性分析。混合动力系统 5 Automatica公司 5 系统设计中的形式化方法 三 信息学报 三 离散事件动态系统 2 计算机程序设计科学 2 信息与计算 2 计算的形式方面 2 机器学习研究杂志（JMLR） 2 程序设计中的逻辑和代数方法杂志 1 富兰克林学院学报 1 计算机与系统科学杂志 1 自动推理杂志 1 实时系统 1 国际计算机科学基础杂志 1 软计算 1 国际应用数学与计算机科学杂志 1 计算机科学中的逻辑方法 全部的 前5名在8个字段中引用 62 计算机科学（68至XX） 17 系统论；控制（93至XX） 14 数理逻辑与基础（03-XX） 6 运筹学、数学规划（90-XX） 6 生物学和其他自然科学（92-XX） 三 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 组合数学（05-XX） 1 变分法与最优控制；最优化（49至XX） 按年份列出的引文