编辑配置文件（在新选项卡中打开） 乔迪·科尔塔德拉 合著者距离 作者ID： 科尔塔德拉·约旦 发布日期： 乔迪·科尔塔德拉;科尔塔德拉，J。 编入索引的文档： 27出版物自1994年以来，包括1本书 2作为编辑的贡献 合著者： 25位合著者具有29联合出版物 438位合作作者 全部的 前5名合著者 0 单作者的 8 乔塞普·卡莫纳 8 卢西亚诺·拉瓦尼奥 8 亚历山大五世·雅科夫列夫。 7 亚历克斯·孔德拉提耶夫 6 迈克尔·基希内夫斯基 4 罗伯特·克拉里斯托 4 恩里克牧师 三 豪尔赫·Jülvez 三 亚历山大·托宾。 2 戈戈尼奥，凯勒·科斯塔 2 Mike Kishinevsky先生 2 奥里奥尔罗伊格 2 渡边洋里 2 夏，费 1 戴维·巴内雷斯 1 德米特里·布菲斯托夫 1 维克托·科门科 1 汤姆·朗 1 克劳迪奥·帕塞罗内 1 皮特斯（Ad M.G.Peeters）。 1 沃尔夫冈·雷西格 1 恩里克·罗德里格斯-卡博内尔 1 格列泽戈兹·罗森贝格 1 维克托·特伦 1 蒂齐亚诺别墅 全部的 前5名系列 5 电气电子工程师学会计算机期刊 5 计算机基础理论 2 计算机科学课堂讲稿 1 计算机程序设计科学 1 离散事件动态系统 1 国际应用数学与计算机科学杂志 1 电子设计自动化的基础与发展趋势 领域 27 计算机科学（68至XX） 6 信息与通信理论、电路（94-XX） 2 总体主题；集合（00-XX） 1 运筹学、数学规划（90-XX） 1 系统论；控制（93至XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 17出版物有被引用123中的次98文件 引用人▼ 年份▼ 异步控制器和接口的逻辑综合。 Zbl 1013.68273号 科尔塔德拉，J。;M.基希内夫斯基。;Kondratyev，A。;拉瓦尼奥。;雅科夫列夫，A。 24 2002 从有限转移系统导出Petri网。 Zbl 1392.68291号 乔迪·科尔塔德拉;迈克尔·基希内夫斯基;卢西亚诺·拉瓦尼奥;亚历山大·雅科夫列夫 18 1998 八面体抽象域。 Zbl 1104.68410号 罗伯特·克拉里斯托;乔迪·科尔塔德拉 14 2004 八面体抽象域。 Zbl 1171.68540号 罗伯特·克拉里斯托;乔迪·科尔塔德拉 13 2007 有界Petri网综合的符号算法。 Zbl 1143.68478号 J·卡莫纳。;科尔塔德拉，J。;M.基希内夫斯基。;Kondratyev，A。;拉瓦尼奥。;雅科夫列夫，A。 12 2008 用于导出有界Petri网的新的基于区域的算法。 Zbl 1368.68259号 乔塞普·卡莫纳;乔迪·科尔塔德拉;Mike Kishinevsky先生 12 2010 无功系统的输入/输出兼容性。 Zbl 1019.68616号 乔塞普·卡莫纳;乔迪·科尔塔德拉 6 2002 解决布尔关系的递归范例。 Zbl 1367.94472号 戴维·巴内雷斯;乔迪·科尔塔德拉;Kishinevsky，迈克 4 2009 使用八面体验证具有参数延迟的并发系统。 Zbl 1138.68465号 罗伯特·克拉里斯托;乔迪·科尔塔德拉 4 2007 通过基于BDD的Petri网模型检查验证异步电路。 Zbl 1496.68194号 奥里奥尔·罗伊格;乔迪·科尔塔德拉;恩里克·帕斯特 4 1995 从Petri网合成异步硬件。 Zbl 1088.68504号 乔塞普·卡莫纳;乔迪·科尔塔德拉;维克托·科门科;亚历克斯·雅科夫列夫 三 2004 耦合异步和中断：放置图表网络。 Zbl 1510.68062号 迈克尔·基希内夫斯基;乔迪·科尔塔德拉;亚历克斯·孔德拉提耶夫;卢西亚诺·拉瓦尼奥;亚历山大·陶宾;亚历克斯·雅科夫列夫 三 1997 有界Petri网的符号分析。 Zbl 1392.68312号 恩里克牧师;乔迪·科尔塔德拉;奥里奥尔·罗伊格 2 2001 同步弹性设计的调度策略。 Zbl 1242.68354号 乔塞普·卡莫纳;豪尔赫·Jülvez;乔迪·科尔塔德拉;迈克尔·基希内夫斯基 1 2011 关于单服务器语义的多保护标记图的性能评估。 Zbl 1200.93099号 豪尔赫·Jülvez;乔迪·科尔塔德拉;迈克尔·基希内夫斯基 1 2010 反应系统的合成：在异步电路设计中的应用。 Zbl 1029.68505号 乔塞普·卡莫纳;乔迪·科尔塔德拉;恩里克·帕斯特 1 2002 硬件和Petri网：在异步电路设计中的应用。 Zbl 0986.68525号 乔迪·科尔塔德拉;迈克尔·基希内夫斯基;亚历克斯·孔德拉提耶夫;卢西亚诺·拉瓦尼奥;亚历克斯·雅科夫列夫 1 2000 同步弹性设计的调度策略。 Zbl 1242.68354号 乔塞普·卡莫纳;豪尔赫·Jülvez;乔迪·科尔塔德拉;迈克尔·基希内夫斯基 1 2011 用于导出有界Petri网的新的基于区域的算法。 Zbl 1368.68259号 乔塞普·卡莫纳;乔迪·科尔塔德拉;Kishinevsky，迈克 12 2010 关于单服务器语义的多保护标记图的性能评估。 Zbl 1200.93099号 豪尔赫·Jülvez;乔迪·科尔塔德拉;迈克尔·基希内夫斯基 1 2010 解决布尔关系的递归范例。 兹比尔1367.94472 戴维·巴内雷斯;乔迪·科尔塔德拉;Mike Kishinevsky先生 4 2009 有界Petri网综合的符号算法。 Zbl 1143.68478号 J·卡莫纳。;科尔塔德拉，J。;M.基希内夫斯基。;Kondratyev，A。;拉瓦尼奥。;雅科夫列夫，A。 12 2008 八面体抽象域。 Zbl 1171.68540号 罗伯特·克拉里斯托;乔迪·科尔塔德拉 13 2007 使用八面体验证具有参数延迟的并发系统。 Zbl 1138.68465号 罗伯特·克拉里斯托;乔迪·科尔塔德拉 4 2007 八面体抽象域。 Zbl 1104.68410号 罗伯特·克拉里斯托;乔迪·科尔塔德拉 14 2004 从Petri网合成异步硬件。 兹比尔1088.68504 乔塞普·卡莫纳;乔迪·科尔塔德拉;维克托·科门科;亚历克斯·雅科夫列夫 三 2004 异步控制器和接口的逻辑综合。 Zbl 1013.68273号 科尔塔德拉，J。;M.基希内夫斯基。;Kondratyev，A。;拉瓦尼奥。;雅科夫列夫，A。 24 2002 无功系统的输入/输出兼容性。 Zbl 1019.68616号 乔塞普·卡莫纳;乔迪·科尔塔德拉 6 2002 反应系统的合成：在异步电路设计中的应用。 Zbl 1029.68505号 乔塞普·卡莫纳;乔迪·科尔塔德拉;恩里克·帕斯特 1 2002 有界Petri网的符号分析。 Zbl 1392.68312号 恩里克·帕斯特;乔迪·科尔塔德拉;奥里奥尔罗伊格 2 2001 硬件和Petri网：在异步电路设计中的应用。 Zbl 0986.68525号 乔迪·科尔塔德拉;迈克尔·基希内夫斯基;亚历克斯·孔德拉提耶夫;卢西亚诺·拉瓦尼奥;亚历克斯·雅科夫列夫 1 2000 从有限转移系统导出Petri网。 Zbl 1392.68291号 乔迪·科尔塔德拉;迈克尔·基希内夫斯基;卢西亚诺·拉瓦尼奥;亚历山大·雅科夫列夫 18 1998 耦合异步和中断：放置图表网络。 Zbl 1510.68062号 迈克尔·基希内夫斯基;乔迪·科尔塔德拉;亚历克斯·孔德拉提耶夫;卢西亚诺·拉瓦尼奥;亚历山大·陶宾;亚历克斯·雅科夫列夫 三 1997 通过基于BDD的Petri网模型检查验证异步电路。 Zbl 1496.68194号 奥里奥尔·罗伊格;乔迪·科尔塔德拉;恩里克·帕斯特 4 1995 所有引用出版物 前5名被引用出版物 全部的 前5名186位作者引用 8 马西耶·库特尼 6 乔塞普·卡莫纳 6 雷蒙德·魔鬼队 6 Marta Pietkiewicz-Koutny 6 Wil M.P.范德阿尔斯特。 5 埃蒂安·安德烈 5 码头Kleijn 5 特雷杜普，罗尼 4 乔迪·科尔塔德拉 4 安迪·金 4 亚历山大五世·雅科夫列夫。 三 最好的，艾克 三 劳伦·弗里堡 三 罗尔夫·亨尼克 三 雅各布·M·豪。 三 安娜·A·卡伦科娃。 三 维克托·科门科 三 迈克尔·基希内夫斯基 三 亚历克斯·孔德拉提耶夫 三 桑卡拉纳拉亚南，斯里拉姆 三 乌里·施拉赫特 三 埃纳州扎法内拉 2 罗伯托·巴格纳拉 2 托马斯·查泰恩 2 吉尔勒米纳·克莱杜 2 菲利普·达伦多 2 丹尼·多列夫 2 埃曼纽尔·恩克雷纳兹 2 曼努埃尔·Fähndrich 2 马蒂亚斯·福格尔 2 帕特里夏·M·希尔。 2 弗兰乔·伊万契奇 2 马塞洛·拉罗莎 2 卢西亚诺·拉瓦尼奥 2 Sander J.J.Leemans。 2 克里斯托夫·伦岑 2 弗朗西斯科·洛戈佐 2 曼内尔，丽莎·路易斯 2 Polyvyany，Artem公司 2 何塞·普伦萨 2 格列泽戈兹·罗森贝格 2 阿里·穆罕默德·阿里·拉什迪 2 马克·施费尔 2 乌尔里希·施密德 2 埃克塞尔·西蒙 2 孙骏 2 亚历山大·托宾。 2 ter Beek，Maurice H。 2 沃尔特·福格勒 2 哈罗·威梅尔 1 罗莎·阿巴斯 1 艾沙·艾哈迈德 1 亚历克斯·艾肯 1 阿克西，S。 1 侯赛因·穆巴拉克·阿尔巴拉卡蒂 1 弗朗西斯科·阿尔贝蒂 1 莫塔兹·H·阿玛沙阿。 1 文森佐·阿塞里 1 普拉纳夫·阿沙尔 1 Bäck，Thomas H.W。 1 埃里克·巴杜埃尔 1 斯坦利·巴克 1 理查德·班克斯 1 巴兹德·奥格里戈兹 1 斯蒂芬·贝克尔。 1 本·萨西，穆罕默德·阿明 1 阿尔伯特·本文尼斯特 1 卢卡·伯纳迪内洛 1 亚历山德罗·贝尔蒂 1 Krzysztof比林斯基 1 梅迪·布阿齐兹 1 布兰德，塞巴斯蒂安 1 Frank Markham布朗 1 罗伯托·布鲁托梅索 1 德米特里·布菲斯托夫 1 伯克，亚当 1 纳迪亚·布西 1 谢尔盖·拜斯特罗夫 1 玛丽亚·保拉·卡巴西诺 1 贝诺·凯劳德 1 查克拉波蒂，苏普拉特克 1 纳撒尼尔·查尔顿 1 陈和峰 1 雪佛兰，雷米 1 赵春润 1 迈克尔·科隆。 1 阿戈斯蒂诺·科尔特斯 1 埃里克·L·达格利斯。 1 Thao Dang先生 1 董金松 1 马里亚格拉齐亚·多托利 1 帕拉萨拉·斯里达尔·达吉拉拉 1 马龙·杜马 1 哈特穆特·埃里格 1 埃马纽埃尔 1 埃罗菲耶夫·叶夫根尼 1 里克·埃舒伊斯 1 德克·法兰德 1 玛丽亚·皮亚·范蒂 1 约翰逊·费尔南德斯 …还有86位作者 全部的 前5名23篇连载文章中引用 9 理论计算机科学 8 信息学报 8 系统设计中的形式化方法 6 计算机基础理论 4 信息科学 2 计算机与系统科学杂志 2 信息与计算 2 计算的形式方面 2 高阶和符号计算 2 国际应用数学与计算机科学杂志 1 离散应用数学 1 Automatica公司 1 计算机程序设计科学 1 实时系统 1 计算几何 1 MSCS公司。计算机科学中的数学结构 1 国际计算机科学基础杂志 1 离散事件动态系统 1 国际计算机数学杂志 1 数据挖掘与知识发现 1 逻辑与代数程序设计杂志 1 国际系统科学杂志。系统与集成原理与应用 1 Modelirovanie i Analiz信息系统 全部的 前5名在9个字段中引用 89 计算机科学（68至XX） 10 运筹学、数学规划（90-XX） 5 信息与通信理论、电路（94-XX） 4 系统论；控制（93至XX） 三 阶、格、有序代数结构（06-XX） 2 凸几何和离散几何（52至XX） 2 数值分析（65-XX） 1 数学逻辑和基础（03-XX） 1 生物学和其他自然科学（92-XX） 按年份列出的引文