编辑配置文件（在新选项卡中打开） Dan R.吉卡。 合著者距离 作者ID： ghica.dan-r型 发布日期： Dan R.吉卡。；D.R.吉卡。；丹·吉卡 更多。。。较少的 外部链接： 管理程序 已编制索引的文档： 42出版物自2000年以来，包括4个附加arXiv预打印 5名编辑的贡献 合著者： 27位合著者具有40联合出版物 331合著作者 全部的 前5名合著者 7 单作者的 6 安德烈·穆拉夫斯基。 4 Koko Muroya 4 亚历克斯·I·史密斯。 三 盖·安德鲁·麦库斯克 2 萨姆森·艾布拉姆斯基 2 库洛德·阿利亚亚 2 亚当·贝克韦尔 2 Steven W.T.Cheung。 2 奥勒·弗雷德里克森 2 默多克·詹姆斯·加贝 2 阿希姆·荣格 2 乔治·凯 2 阿利奥姆·洛佩兹 2 穆罕默德·梅纳。 2 法比奥·扎纳西 1 扎伊德Al-Zobaidi 1 维克托·阿莱克桑德鲁·达尔瓦鲁 1 阿列克桑达尔·迪莫夫斯基。 1 哈默（Russ Harmer） 1 兰科·拉齐奇 1 Daniela Luan Petrisan 1 鲁本·罗伊，N.S。 1 萨特南·辛格 1 大卫·斯普伦格 1 罗伯特·坦南特。 1 尼科斯·齐夫列科斯 1 保罗·W·威尔逊。 全部的 前5名系列 4 纯逻辑与应用逻辑年鉴 2 理论计算机科学 1 高阶和符号计算 1 理论计算机科学电子笔记 1 计算机科学中的逻辑方法 1 LIPIcs–莱布尼茨国际信息学会议录 1 程序设计中的逻辑和代数方法杂志 全部的 前5名领域 40 计算机科学（68至XX） 11 数学逻辑和基础（03-XX） 8 博弈论、经济学、金融和其他社会和行为科学（91-XX） 5 总体主题；集合（00-XX） 三 范畴理论；同调代数（18-XX） 三 信息与通信理论、电路（94-XX） 1 量子理论（81-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 34出版物有被引用192中的次113文件 引用人▼ 年份▼ 用正则语言推理理想化算法。 Zbl 0973.68506号 Dan R.吉卡。；盖·麦库斯克 16 2000 二阶理想化ALGOL的正规语言语义。 Zbl 1070.68083号 Dan R.吉卡。；盖·麦库斯克 16 2003 资源半环中的有界线性类型。 兹比尔1405.68059 Dan R.吉卡。；亚历克斯·I·史密斯。 13 2014 细粒度并发的天使语义。 Zbl 1126.68499号 Dan R.吉卡。；安德烈·穆拉夫斯基。 12 2004 合成几何：VLSI设计的结构化方法。 Zbl 1295.68062号 Dan R.吉卡。 11 2007 将游戏语义应用于组合软件建模和验证。 Zbl 1126.68343号 萨姆森·艾布拉姆斯基；Dan R.吉卡。；安德烈·穆拉夫斯基。；C.·H·卢克·翁 11 2004 高阶并发程序的组合模型提取。 Zbl 1180.68115号 D.R.吉卡。；穆拉夫斯基。 9 2006 延迟敏感异步电路的图解推理。 Zbl 1264.94126号 Dan R.吉卡。 9 2013 数据抽象细化：一种游戏语义方法。 Zbl 1141.68366号 阿列克桑达尔·迪莫夫斯基；Dan R.吉卡。；兰科·拉齐奇 8 2005 调用值编程语言的正则语言语义。 Zbl 1260.68095号 Dan R.吉卡。 8 2001 数字电路的图解语义。 Zbl 1440.68169号 Dan R.吉卡。；阿希姆·荣格；阿利奥姆·洛佩兹 8 2017 系统级游戏语义。 Zbl 1342.68196号 Dan R.吉卡。；尼科斯·齐夫列科斯 8 2012 细粒度并发的天使语义。 Zbl 1133.68011号 Dan R.吉卡。；安德烈·穆拉夫斯基。 8 2008 合成几何。三： 通过类型推理进行资源管理。 Zbl 1284.68183号 Dan R.吉卡。；亚历克斯·史密斯 6 2011 吃角子老虎：一种定量计算模型。 Zbl 1369.68074号 Dan R.吉卡。 5 2005 并发的语法控制。 兹比尔1086.68087 D.R.吉卡。；穆拉夫斯基。；Ong，C.-H.L。 4 2006 基于游戏的软件模型检查的即时技术。 Zbl 1134.68396号 亚当·贝克韦尔；Dan R.吉卡。 4 2008 图表的结构和标称语法。 Zbl 1486.18027号 Dan R.吉卡。；阿利奥姆·洛佩兹 4 2018 存储的抽象模型。 Zbl 0949.68536号 罗伯特·坦南特。；Dan R.吉卡。 三 2000 并发的句法控制。 Zbl 1099.68656号 D.R.吉卡。；穆拉夫斯基。；Ong，C.-H.L。 三 2004 从游戏语义中提取组合谓词。 Zbl 1234.68069号 亚当·贝克韦尔；Dan R.吉卡。 三 2009 第27届EACSL计算机科学逻辑年会，2018年9月4日至8日，英国伯明翰，CSL 2018。诉讼程序。 Zbl 1402.68019号 三 2018 离开嵌套：具有交错作用域的变量的标称技术。 Zbl 1373.68179号 默多克·J·加贝。；Dan R.吉卡。；丹尼尔·彼得里桑 三 2015 通过可编程归纳和溯源对机器学习进行功能透视。 Zbl 1507.68241号 史蒂文·张；维克托·达尔瓦鲁；Dan R.吉卡。；Koko Muroya；鲁本·罗伊，N.S。 2 2018 交互机器的动态几何：一个标记引导的图形重写器。 Zbl 1442.68030号 Koko Muroya；Dan R.吉卡。 2 2019 交互机器的动态几何：一个可调用的图形重写器。 Zbl 1440.68044号 Koko Muroya；Dan R.吉卡。 2 2017 合成几何。四： 将仿射递归编译为静态硬件。 Zbl 1323.68206号 Dan R.吉卡。；亚历克斯·史密斯；萨特南·辛格 2 2011 合成几何。二： 从游戏到延迟敏感电路。 Zbl 1342.68084号 Dan R.吉卡。；亚历克斯·史密斯 2 2010 名义模型中的游戏语义。 Zbl 1342.68195号 默多克·加贝；丹·吉卡 2 2012 规范逻辑的语义分析。III、 一种操作方法。 Zbl 1126.68463号 Dan R.吉卡。 1 2004 关于圆形抽象的组合性。 Zbl 1287.68134号 Dan R.吉卡。；穆罕默德·梅纳。 1 2010 使用LSTM对游戏模型进行潜在语义分析。 Zbl 1423.68086号 Dan R.吉卡。；库洛德·阿利亚亚 1 2019 2015年6月22日至25日，荷兰奈梅亨举行的第31届编程语义数学基础会议记录（MFPS XXXI）。 兹比尔1342.68016 1 2015 游戏语义的抽象机器，重温。 Zbl 1366.68022号 奥勒·弗雷德里克森；Dan R.吉卡。 1 2013 交互机器的动态几何：一个标记引导的图形重写器。 Zbl 1442.68030号 Koko Muroya；Dan R.吉卡。 2 2019 使用LSTM对游戏模型进行潜在语义分析。 Zbl 1423.68086号 Dan R.吉卡。；库洛德·阿利亚亚 1 2019 图表的结构和标称语法。 Zbl 1486.18027号 Dan R.吉卡。；阿利奥姆·洛佩兹 4 2018 第27届EACSL计算机科学逻辑年会，2018年9月4日至8日，英国伯明翰，CSL 2018。诉讼程序。 Zbl 1402.68019号 三 2018 通过可编程归纳和溯源对机器学习进行功能透视。 Zbl 1507.68241号 史蒂文·张；维克托·达尔瓦鲁；Dan R.吉卡。；Koko Muroya；鲁本·罗伊，N.S。 2 2018 数字电路的图解语义。 Zbl 1440.68169号 Dan R.吉卡。；阿希姆·荣格；阿利奥姆·洛佩兹 8 2017 交互机器的动态几何：一个可调用的图形重写器。 Zbl 1440.68044号 Koko Muroya；Dan R.吉卡。 2 2017 离开嵌套：具有交错作用域的变量的标称技术。 Zbl 1373.68179号 默多克·J·加贝。；Dan R.吉卡。；丹尼尔·彼得里桑 三 2015 2015年6月22日至25日，荷兰奈梅亨举行的第31届编程语义数学基础会议记录（MFPS XXXI）。 Zbl 1342.68016号 1 2015 资源半环中的有界线性类型。 Zbl 1405.68059号 Dan R.吉卡。；亚历克斯·I·史密斯。 13 2014 延迟敏感异步电路的图解推理。 Zbl 1264.94126号 Dan R.吉卡。 9 2013 游戏语义的抽象机器，重温。 Zbl 1366.68022号 奥勒·弗雷德里克森；Dan R.吉卡。 1 2013 系统级游戏语义。 Zbl 1342.68196号 Dan R.吉卡。；尼科斯·齐夫列科斯 8 2012 名义模型中的游戏语义。 兹比尔1342.68195 默多克·加贝；丹·吉卡 2 2012 合成几何。三： 通过类型推理进行资源管理。 Zbl 1284.68183号 Dan R.吉卡。；亚历克斯·史密斯 6 2011 合成几何。四： 将仿射递归编译为静态硬件。 兹比尔1323.68206 Dan R.吉卡。；亚历克斯·史密斯；萨特南·辛格 2 2011 合成几何。二： 从游戏到延迟敏感电路。 Zbl 1342.68084号 Dan R.吉卡。；亚历克斯·史密斯 2 2010 关于圆形抽象的组合性。 Zbl 1287.68134号 Dan R.吉卡。；穆罕默德·梅纳。 1 2010 从游戏语义中提取组合谓词。 Zbl 1234.68069号 亚当·贝克韦尔；Dan R.吉卡。 三 2009 细粒度并发的天使语义。 Zbl 1133.68011号 Dan R.吉卡。；安德烈·穆拉夫斯基。 8 2008 基于游戏的软件模型检查的即时技术。 Zbl 1134.68396号 亚当·贝克韦尔；Dan R.吉卡。 4 2008 合成几何：VLSI设计的结构化方法。 Zbl 1295.68062号 Dan R.吉卡。 11 2007 高阶并发程序的组合模型提取。 Zbl 1180.68115号 D.R.吉卡。；Murawski，美国。 9 2006 并发的语法控制。 Zbl 1086.68087号 D.R.吉卡。；穆拉夫斯基。；Ong，C.-H.L。 4 2006 数据抽象细化：一种游戏语义方法。 Zbl 1141.68366号 阿列克桑达尔·迪莫夫斯基；Dan R.吉卡。；兰科·拉齐奇 8 2005 吃角子老虎：一种定量计算模型。 兹比尔1369.68074 Dan R.吉卡。 5 2005 细粒度并发的天使语义。 Zbl 1126.68499号 Dan R.吉卡。；安德烈·穆拉夫斯基。 12 2004 将游戏语义应用于组合软件建模和验证。 Zbl 1126.68343号 萨姆森·艾布拉姆斯基；Dan R.吉卡。；安德烈·穆拉夫斯基。；C.·H·卢克·翁 11 2004 并发的语法控制。 Zbl 1099.68656号 D.R.吉卡。；穆拉夫斯基。；Ong，C.-H.L。 三 2004 规范逻辑的语义分析。三、 操作方法。 Zbl 1126.68463号 Dan R.吉卡。 1 2004 二阶理想化ALGOL的正规语言语义。 Zbl 1070.68083号 Dan R.吉卡。；盖·麦库斯克 16 2003 调用值编程语言的正则语言语义。 Zbl 1260.68095号 Dan R.吉卡。 8 2001 用正则语言推理理想化算法。 Zbl 0973.68506号 Dan R.吉卡。；盖·麦库斯克 16 2000 存储的抽象模型。 Zbl 0949.68536号 罗伯特·坦南特。；Dan R.吉卡。 三 2000 所有引用出版物 前5名被引用出版物 全部的 前5名132位作者引用 15 安德烈·穆拉夫斯基。 14 Dan R.吉卡。 12 巴布亚州索波辛斯基 9 菲利波·邦奇 9 法比奥·扎纳西 7 尼科斯·齐夫列科斯 4 萨姆森·艾布拉姆斯基 4 多米尼克·A·乌节。 三 阿列克桑达尔·迪莫夫斯基。 三 哈雷III伊德斯 三 卢卡·福萨蒂 三 法比奥·加杜奇 三 亚历克斯·基辛格 三 詹姆斯·D·莱尔德。 三 罗宾·皮德卢 2 罗伯特·艾奇 2 亚当·贝克韦尔 2 塞缪尔·巴尔科 2 乌戈·达尔拉戈 2 埃琳娜·迪拉沃雷 2 克劳迪娅·法根 2 默多克·詹姆斯·加贝 2 阿德里安·瓜托 2 拉德哈·贾加迪桑 2 胜本，Shin-ya 2 亚历山大·库兹 2 兰科·拉齐奇 2 玛丽娜·莱妮莎 2 帕斯夸尔马拉卡里亚 2 盖·安德鲁·麦库斯克 2 乔治·梅特卡夫 2 毛罗·皮科洛 2 西蒙·桑斯基 2 范古尔，塞缪尔·雅各布 2 丹尼尔·瓦拉卡 2 伊戈尔·瓦卢基维奇 2 北海山田 1 贝尼亚米·阿卡托利 1 达内尔·阿赫曼 1 纪尧姆·阿拉伊斯 1 阿尔维斯，桑德拉 1 库洛德·阿利亚亚 1 安徒生，雅各布·莱克 1 马西莫·巴托莱蒂 1 尼古拉斯·贝尔 1 马丁·伯杰（Martin J.Berger）。 1 里卡多·比安奇尼 1 布兰奇，桑德琳 1 劳拉·博奇 1 托马斯·布雷班特 1 保罗·布鲁内特 1 西蒙·卡斯特伦 1 阿皮瓦特·昌塔维布尔 1 詹姆斯·查普曼（James T.E.Chapman）。 1 普里塔姆·乔杜里 1 皮埃尔·克莱兰堡 1 克拉克、戴夫 1 杰弗里·S·H·克鲁特韦尔。 1 皮埃尔·卢伊斯·居里 1 弗朗西斯科·达格尼诺 1 安东尼·德尔佩赫 1 亚历克斯·迪克森 1 索菲亚·德罗索波洛 1 苏珊·艾森巴赫 1 雨果·弗雷 1 福原洋司 1 马可·加博阿迪 1 布鲁诺加夫拉诺维奇 1 尼尔·加尼 1 保拉·吉安尼尼 1 克里斯·汉金。 1 一郎·哈索 1 卢多维奇·亨里奥 1 克劳迪奥·赫米达 1 本田、高黑 1 Furio Honsell 1 北彦浩弘 1 我是宣城 1 吉勒姆·贾伯 1 巴特·雅各布斯 1 索菲亚·奈特 1 杰雷米·柯尼格 1 德克斯特·C·科赞。 1 吉恩·克里文 1 库兹涅佐夫（Kuznetsov，Stepan L'vovich） 1 Shuvendu Kumar拉希里 1 Anna Chiara Lai 1 泽维尔·勒罗伊 1 阿利奥姆·洛佩兹 1 松田，Kazutaka 1 达米亚诺·马扎 1 麦克布赖德，康纳·托马斯 1 詹姆斯·麦金纳 1 丹尼尔·默克尔 1 斯特凡·米利厄斯 1 阿尔贝托·莫米利亚诺 1 本杰明·穆恩 1 Koko Muroya 1 卡图西亚帕拉米德斯 1 松武公园 …还有32位作者 全部的 前5名14篇连载文章中引用 15 理论计算机科学 6 MSCS公司。计算机科学中的数学结构 6 计算机科学中的逻辑方法 5 纯逻辑与应用逻辑年鉴 5 信息与计算 三 程序设计中的逻辑和代数方法杂志 2 纯粹与应用代数杂志 2 函数编程杂志 2 计算机语言、系统和结构 1 计算机与系统科学杂志 1 计算机程序设计科学 1 自动推理杂志 1 范畴的理论与应用 1 数学科学研究 全部的 前5名在12个字段中引用 105 计算机科学（68至XX） 29 数学逻辑和基础（03-XX） 26 范畴理论；同调代数（18-XX） 20 博弈论、经济学、金融和其他社会和行为科学（91-XX） 5 信息与通信理论、电路（94-XX） 三 量子理论（81-XX） 2 组合数学（05-XX） 1 总体主题；集合（00-XX） 1 结合环与代数（16-XX） 1 概率论与随机过程（60-XX） 1 生物学和其他自然科学（92-XX） 1 系统论；控制（93至XX） 按年份列出的引文