编辑配置文件（在新选项卡中打开） 迪米特拉·吉安娜科波卢 合著者距离 作者ID： 吉安娜科普洛·迪米特拉 发布日期： 迪米特拉·吉安娜科波卢 外部链接： 管理程序 已编制索引的文档： 9出版物自2002年起 5作为编辑的贡献 合著者： 22合著者具有14份联合出版物 354位合作作者 全部的 前5名合著者 0 单作者的 7 科琳娜·s·佩斯勒诺。 2 杰米森·科布雷。 2 米哈埃拉·盖奥古·博巴鲁 2 格温·萨拉恩 1 霍华德·巴林杰 1 纪尧姆·布拉特 1 大卫·H·布什内尔。 1 多龙·德鲁辛斯基 1 Heinz Erzberger公司 1 米哈埃拉·乔尔吉 1 克劳斯·哈维隆德 1 凯伦·希雷 1 丹尼尔·科宁 1 弗拉维奥·勒尔达 1 洛瑞，迈克 1 多米尼克·梅里 1 Kedar S.Namjoshi。 1 费尔南多·奥雷贾斯 1 Schumann，Johann M.博士。 1 阿尔诺·J·维内特。 1 威廉·维瑟 1 华盛顿，里奇 系列 4 计算机科学课堂讲稿 2 系统设计中的形式化方法 1 计算的形式方面 1 数学与人工智能年鉴 领域 14 计算机科学（68至XX） 5 总体主题；集合（00-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 10出版物有被引用124中的次96文件 引用人▼ 年份▼ 学习成分验证的假设。 Zbl 1031.68545号 杰米森·科布雷。；迪米特拉·吉安娜科波卢；科琳娜·s·佩斯勒诺。 51 2003 从状态到转换：改进LTL公式到Büchi自动机的转换。 Zbl 1037.68553号 迪米特拉·吉安娜科波卢；弗拉维奥·勒尔达 22 2002 学习分而治之：应用（L^*）算法自动进行假设保证推理。 Zbl 1147.68053号 科琳娜·s·佩斯勒诺。；迪米特拉·吉安娜科波卢；波巴鲁、米哈埃拉·盖奥古奥；杰米森·科布雷。；霍华德·巴林杰 18 2008 通过抽象细化实现自动假设保证推理。 Zbl 1155.68435号 米哈埃拉·盖奥古·博巴鲁；科琳娜·s·佩斯勒诺。；迪米特拉·吉安娜科波卢 13 2008 优化界面字母以进行成分验证。 Zbl 1186.68290号 米哈埃拉·乔尔吉；迪米特拉·吉安娜科波卢；科琳娜·s·佩斯勒诺。 9 2007 火星探测器软件验证和确认工具的实验评估。 Zbl 1078.68665号 纪尧姆·布拉特；多龙·德鲁辛斯基；迪米特拉·吉安娜科波卢；艾伦·戈德堡；克劳斯·哈维隆德；洛瑞，迈克；科琳娜·帕萨雷努；阿尔诺·维尼特；威廉·维瑟；华盛顿，里奇 4 2004 FM 2012：正式方法。第18届国际研讨会，2012年8月27日至31日，法国巴黎。诉讼程序。 Zbl 1250.68029号 2 2012 软件工程和形式化方法。2014年9月1日至5日在法国格勒诺布尔举行的SEFM 2014第12届国际会议。诉讼程序。 Zbl 1316.68012号 2 2014 组合推理。 Zbl 1392.68249号 迪米特拉·吉安娜科波卢；Kedar S.Namjoshi。；科琳娜·s·佩斯勒诺。 2 2018 软件工程的基本方法。2011年3月26日至4月3日在德国萨尔布吕肯举行的第14届国际会议，FASE 2011，作为欧洲软件理论与实践联合会议的一部分。诉讼程序。 Zbl 1214.68013号 1 2011 组合推理。 Zbl 1392.68249号 迪米特拉·吉安娜科波卢；Kedar S.Namjoshi。；科琳娜·s·佩斯勒诺。 2 2018 软件工程和形式化方法。2014年9月1日至5日，法国格勒诺布尔，第12届国际会议，SEFM 2014。诉讼程序。 Zbl 1316.68012号 2 2014 FM 2012：正式方法。第18届国际研讨会，2012年8月27日至31日，法国巴黎。诉讼程序。 Zbl 1250.68029号 2 2012 软件工程的基本方法。2011年3月26日至4月3日在德国萨尔布吕肯举行的第14届国际会议，FASE 2011，作为欧洲软件理论与实践联合会议的一部分。诉讼程序。 Zbl 1214.68013号 1 2011 学习分而治之：应用（L^*）算法自动进行假设保证推理。 Zbl 1147.68053号 科琳娜·s·佩斯勒诺。；迪米特拉·吉安娜科波卢；波巴鲁、米哈埃拉·盖奥古奥；杰米森·科布雷。；霍华德·巴林杰 18 2008 通过抽象细化实现自动化假设保证推理。 Zbl 1155.68435号 米哈埃拉·盖奥古·博巴鲁；科琳娜·s·佩斯勒诺。；迪米特拉·吉安娜科波卢 13 2008 优化界面字母以进行成分验证。 Zbl 1186.68290号 米哈埃拉·乔尔吉；迪米特拉·吉安娜科波卢；科琳娜·s·佩斯勒诺。 9 2007 火星探测器软件验证和确认工具的实验评估。 Zbl 1078.68665号 纪尧姆·布拉特；多龙·德鲁辛斯基；迪米特拉·吉安娜科波卢；艾伦·戈德堡；克劳斯·哈维隆德；洛瑞，迈克；科琳娜·帕萨雷努；阿尔诺·维尼特；威廉·维瑟；华盛顿，里奇 4 2004 学习成分验证的假设。 Zbl 1031.68545号 杰米森·科布雷。；迪米特拉·吉安娜科波卢；科琳娜·s·佩斯勒诺。 51 2003 从状态到过渡：改进LTL公式到Büchi自动机的转换。 Zbl 1037.68553号 迪米特拉·吉安娜科波卢；弗拉维奥·勒尔达 22 2002 所有引用出版物 前5名被引用出版物 全部的 前5名209位作者引用 8 奥尔纳·格伦伯格 8 科琳娜·s·佩斯勒诺。 6 达纳·菲斯曼 6 Tsay，Yih-Kuen先生 5 陈玉芳 5 奥尔纳库普弗曼 4 达纳·安格鲁因 4 沙龙·肖姆 三 达拉·阿拉杰 三 大卫·贾科莫 三 萨加·查基 三 克拉克（Edmund Melson jun Clarke）。 三 哈达尔·弗兰克尔 三 迪米特拉·吉安娜科波卢 三 帕塔萨拉西马杜苏丹 三 莎莱·申瓦尔德 三 蔡明勋 三 张丽君 2 卡拉姆Abd Elkader 2 霍华德·巴林杰 2 陈文钦 2 张进淑 2 亚历山德罗·西马蒂 2 伯恩德·芬克贝纳 2 普拉纳夫·加格 2 Gheorghiu Bobaru，米哈伊拉 2 阿尔贝托·格里乔 2 阿里·古芬克尔 2 安德拉斯·吉尔吉 2 福尔克·豪尔 2 金·古德斯特兰·拉森 2 李勇 2 刘德鹏 2 罗、池建 2 恩里科·马格纳戈 2 肯尼思·麦克米兰。 2 Kedar S.Namjoshi。 2 秦、郑 2 曲洪阳 2 巴德·阿布·拉迪 2 塞·库什克 2 Shan、Laixiang 2 所罗门·西克特 2 伯恩哈德·斯特芬 2 斯特里赫曼（Ofer Strichman） 2 莫西·亚亚科夫·瓦尔迪 2 威廉·维瑟 2 王，弯腰 1 艺术、忠诚 1 罗莎·阿巴西 1 阿布·拉迪·巴德 1 亚历克斯·艾肯 1 玛丽亚·阿尔普特 1 拉杰夫·阿鲁尔 1 蒂莫斯·安东尼奥普洛斯 1 藤崎青木 1 西里尔·阿尔托 1 克里斯特尔·拜尔 1 爱德华·巴拉诺夫 1 David A.Basin。 1 萨米克·巴苏 1 塞巴斯蒂安·伯恩特 1 巴塔拉克索尔，帕塔拉西尼 1 豪尔赫·布拉兹奎兹 1 西蒙·布利兹 1 乌迪·博克 1 马蒂亚斯·布里尔 1 保罗·布鲁内特 1 张一文 1 克里希南德·查特吉 1 玛莎·契契克 1 陈明石 1 陈英科 1 马丁·奇梅利克 1 杰米森·科布雷。 1 Jean-Michel库弗勒 1 Daca，Przemysław公司 1 达姆，丹尼斯·雷内 1 德普特、桑德 1 邓婷 1 迪马罗戈纳斯，迪莫斯五世。 1 雷娜·迪米特洛娃 1 朱尔根·丁格尔 1 杜晓敏 1 杜宗霞 1 亚历山大·杜雷特·卢茨 1 伊迪丝·埃尔金 1 埃里克·恩斯特罗姆 1 哈维尔·埃斯帕尔扎 1 伊利耶斯·法尔科内 1 阿扎德法尔赞 1 尼尔斯·弗利什哈克 1 皮埃尔·弗拉吉奥德 1 傅朝辉 1 布莱斯·基内斯特 1 法特梅·加塞米 1 卡洛·盖齐 1 帕特丽斯·戈德弗里德 1 奥哈德·古兹米德 1 郭慧鹏 …和109多位作者 全部的 前5名19篇连载文章中引用 16 系统设计中的形式化方法 6 信息与计算 5 计算的形式方面 4 信息学报 4 计算机科学中的逻辑方法 三 理论计算机科学 2 机器学习 2 程序设计中的逻辑和代数方法杂志 1 国际计算机科学基础杂志 1 函数编程杂志 1 工程中的数学问题 1 计算机基础理论 1 应用数学杂志 1 中国科学。F系列 1 非线性分析。混合动力系统 1 理论计算机科学的基础和发展趋势 1 计算机科学前沿 1 计算机科学评论 1 应用与计算拓扑杂志 全部的 前5名在7个字段中引用 94 计算机科学（68至XX） 16 数学逻辑和基础（03-XX） 三 博弈论、经济学、金融和其他社会和行为科学（91-XX） 2 测量和集成（28-XX） 1 运筹学、数学规划（90-XX） 1 系统论；控制（93至XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文