编辑配置文件(在新选项卡中打开) 科琳娜·科斯特 合著者距离 作者ID: 科里纳卷叶树 发布日期: 科琳娜·科斯特;科琳娜·西尔斯泰;Cêrstea,C。 更多。。。较少的 编入索引的文档: 34出版物自1994年以来,包括1个附加arXiv预打印 3作为编辑的贡献 合著者: 15位合著者具有13联合出版物 306合著作者 全部的 前5名合著者 24 单作者的 4 德克·帕丁森 2 一郎·哈索 2 克莱门斯·库普克 2 梅赫努什·萨德扎德 2 清水、顺介 1 帕斯卡·安德烈 1 Dan Chiorean 1 安德烈亚·科拉迪尼 1 乔·格兰迪 1 尼克·哈里斯 1 巴托克·克林 1 马修·普格 1 让-克洛德·罗伊尔 1 安娜·索科洛娃 1 朱晨阳 全部的 前5名系列 5 理论计算机科学 2 计算机科学课堂讲稿 1 信息与计算 1 逻辑与计算杂志 1 博莱大学Studia Universitatis Babeș。数学软件 1 RAIRO公司。理论信息学及其应用 1 计算机基础理论 1 逻辑与代数程序设计杂志 1 计算机科学中的逻辑方法 领域 30 计算机科学(68至XX) 19 数理逻辑与基础(03-XX) 4 范畴理论;同调代数(18-XX) 三 总体主题;集合(00-XX) 三 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 27出版物被引用127中的次87文件 引用人▼ 年份▼ 完整组合逻辑的模块化结构。 Zbl 1126.03020号 科琳娜·科斯特;德克·帕丁森 13 2007 模态逻辑的模块化结构。 Zbl 1099.03018号 科琳娜·科斯特;德克·帕丁森 11 2004 用于余代数\(\mu\)-演算的EXPTIME表格。 Zbl 1257.03045号 科琳娜·科斯特;克莱门斯·库普克;德克·帕丁森 10 2009 隐藏代数的Coalgebra语义:参数化对象和继承。 Zbl 0906.68094号 科琳娜·科斯特 10 1998 线性时间逻辑的联合方法。 Zbl 1405.68192号 科琳娜·科斯特 8 2014 定义余代数逻辑的组合方法。 Zbl 1088.03030号 科琳娜·科斯特 7 2004 用于余代数\(\mu\)-演算的EXPTIME表格。 Zbl 1237.03014号 科琳娜·科斯特;克莱门斯·库普克;德克·帕丁森 7 2011 格理论进度措施和联合模型检验。 Zbl 1347.68227号 一郎·哈索;清水、顺介;科琳娜·科斯特 5 2016 用于系统规范的代数-代数框架。 Zbl 0966.68129号 科琳娜·科斯特 5 2000 通用无限迹和基于路径的组合时序逻辑。 Zbl 1247.68173号 科琳娜·科斯特 5 2010 联合不动点逻辑的模块化游戏。 Zbl 1279.03056号 科琳娜·科斯特;梅赫努什·萨德扎德 5 2008 用于指定观测结构的联合方程方法。 Zbl 1002.68095号 科琳娜·科斯特 4 2002 最大迹和基于路径的代数时态逻辑。 兹比尔1254.68147 科琳娜·Cîrstea 4 2011 不改变模型的协同认知更新。 Zbl 1214.68408号 科琳娜·科斯特;梅赫努什·萨德扎德 4 2007 代数-代数结构的规范逻辑:协调可达性和可观性。 Zbl 1077.68710号 科琳娜·科斯特 4 2002 关于余代数逻辑中的表示性和合成性。 Zbl 1270.03036号 科琳娜·科斯特 三 2003 从分支到线性时间,聚合。 Zbl 1429.68146号 科琳娜·科斯特 三 2017 指定行为的等式方法。 Zbl 0918.68063号 科琳娜·科斯特 三 1999 余代数的模态逻辑机构。 Zbl 1095.03081号 科琳娜·科斯特 三 2006 将多分类联合模态逻辑制度化。 Zbl 1270.03140号 科琳娜·科斯特 2 2002 定量线性时间逻辑的奇偶自动机。 Zbl 1433.68212号 科琳娜·科斯特;清水、顺介;一郎·哈索 2 2017 对象规范的语义结构。 Zbl 0973.68149号 Cêrstea,C。 2 2001 定义和描述仿真概念的模块化方法。 Zbl 1101.68937号 科琳娜·科斯特 2 2006 典型余代数线性时间逻辑。 Zbl 1366.03242号 科琳娜·西尔斯泰 2 2015 隐代数的语义结构。 兹比尔0949.68110 科琳娜·Cîrstea 1 1999 计算机科学中的代数和代数。2011年8月30日至9月2日在英国温彻斯特举行的2011年CALCO第四届国际会议。诉讼程序。 Zbl 1221.68011号 1 2011 关于联合模拟的逻辑。 Zbl 1271.03047号 科琳娜·科斯特 1 2004 从分支到线性时间,聚合。 Zbl 1429.68146号 科琳娜·科斯特 三 2017 定量线性时间逻辑的奇偶自动机。 Zbl 1433.68212号 科琳娜·科斯特;清水、顺介;一郎·哈索 2 2017 格理论进度措施和联合模型检验。 Zbl 1347.68227号 一郎·哈索;清水、顺介;科琳娜·科斯特 5 2016 典型余代数线性时间逻辑。 Zbl 1366.03242号 科琳娜·西尔斯泰 2 2015 线性时间逻辑的联合方法。 Zbl 1405.68192号 科琳娜·科斯特 8 2014 用于余代数\(\mu\)-演算的EXPTIME表格。 Zbl 1237.03014号 科琳娜·科斯特;克莱门斯·库普克;德克·帕丁森 7 2011 最大迹和基于路径的联合时序逻辑。 Zbl 1254.68147号 科琳娜·科斯特 4 2011 计算机科学中的代数和余代数。2011年8月30日至9月2日在英国温彻斯特举行的2011年CALCO第四届国际会议。诉讼程序。 Zbl 1221.68011号 1 2011 通用无限迹和基于路径的组合时序逻辑。 Zbl 1247.68173号 科琳娜·科斯特 5 2010 用于余代数\(\mu\)-演算的EXPTIME表格。 兹比尔1257.03045 科琳娜·Cîrstea;克莱门斯·库普克;德克·帕丁森 10 2009 联合不动点逻辑的模块化游戏。 Zbl 1279.03056号 科琳娜·Cîrstea;梅赫努什·萨德扎德 5 2008 完整组合逻辑的模块化结构。 Zbl 1126.03020号 科琳娜·科斯特;德克·帕丁森 13 2007 不改变模型的协同认知更新。 Zbl 1214.68408号 科琳娜·科斯特;梅赫努什·萨德扎德 4 2007 余代数的模态逻辑机构。 Zbl 1095.03081号 科琳娜·科斯特 三 2006 定义和描述仿真概念的模块化方法。 Zbl 1101.68937号 科琳娜·科斯特 2 2006 模态逻辑的模块化结构。 Zbl 1099.03018号 科琳娜·科斯特;德克·帕丁森 11 2004 定义余代数逻辑的组合方法。 Zbl 1088.03030号 科琳娜·科斯特 7 2004 关于联合模拟的逻辑。 Zbl 1271.03047号 科琳娜·科斯特 1 2004 关于余代数逻辑中的表示性和合成性。 Zbl 1270.03036号 科琳娜·科斯特 三 2003 用于指定观测结构的联合方程方法。 Zbl 1002.68095号 科琳娜·科斯特 4 2002 代数-代数结构的规范逻辑:协调可达性和可观性。 Zbl 1077.68710号 科琳娜·科斯特 4 2002 将多分类联合模态逻辑制度化。 Zbl 1270.03140号 科琳娜·科斯特 2 2002 对象规范的语义结构。 Zbl 0973.68149号 Cîrstea,C。 2 2001 用于系统规范的代数代数代数框架。 兹伯利0966.68129 科琳娜·科斯特 5 2000 指定行为的等式方法。 Zbl 0918.68063号 科琳娜·科斯特 三 1999 隐代数的语义结构。 Zbl 0949.68110号 科琳娜·科斯特 1 1999 隐藏代数的Coalgebra语义:参数化对象和继承。 Zbl 0906.68094号 科琳娜·科斯特 10 1998 所有引用出版物 前5名被引用出版物 全部的 前5名95位作者引用 12 卢茨·施罗德 11 科琳娜·科斯特 8 克莱门斯·库普克 7 德克·帕丁森 6 亚历山大·库兹 5 一郎·哈索 4 塞巴斯蒂安·恩奎斯特 4 简·J·M·M·鲁顿。 4 维尼马,伊德 三 拉兹万·迪亚科内斯库 三 丹尼尔·豪斯曼 三 罗尔夫·亨尼克 三 巴托克·克林 三 斯特凡·米利厄斯 三 格里高·罗什乌 三 罗特,尤里安 2 托马斯·布伦戈斯 2 肯塔·乔 2 文森佐·西安西亚 2 弗雷德里克·达尔奎斯特 2 费德里科·德·马奇 2 Ernst-Erich Doberkat 2 乌尔里希·多尔希 2 瓦伦丁·F·戈兰科。 2 巴特·雅各布斯 2 Toshiki Kataoka 2 亚历山大·马德拉 2 马丁斯(Manuel António Martins) 2 乌戈·蒙塔纳里。 2 塞凡·法特梅 2 Natsuki Urabe 1 阿达梅克,吉安尼 1 马克·艾吉尔 1 阿德里亚娜·阿佩特里 1 阿道夫芭蕾舞团 1 巴博萨、路易斯·索亚雷斯 1 贝内维特斯,马里奥·R·F·。 1 尼克·贝扎尼什维利 1 米歇尔·比多特 1 菲律宾邦奇 1 乔治·卡林 1 陈良婷 1 安里克·科斯梅·洛佩斯 1 塞萨尔·多明格斯 1 马塞洛·菲奥雷(Marcelo P.Fiore)。 1 盖尔·方丹 1 尼尔·加尼 1 奥维迪乌·盖奥吉斯 1 约瑟夫·阿马迪·戈根 1 拉杰夫·普拉巴卡尔·戈尔 1 亚历山大·戈伊 1 Helle Hvid Hansen先生 1 中基尔胡尔 1 阿希姆·荣格 1 马尔钦·尤尔季安斯基 1 胜本,Shin-ya 1 坎普,汤姆 1 Kohei的Kishida 1 安蒂·库西斯托 1 Laureano Lambán 1 保罗·布莱恩·利维 1 多雷尔·卢卡努 1 克里斯托夫·吕斯 1 格兰特·马尔科姆 1 德拉甘·马什乌洛维奇 1 何塞·梅塞盖尔·瓜伊塔 1 雷米·莫尔万 1 蒂尔·莫萨科夫斯基 1 Motoura、Shota 1 罗伯特·S·R·迈尔斯。 1 马吕斯·佩特里亚 1 Petrisan、Daniela Luan 1 波尔,埃里克 1 汉斯·埃伯哈德 1 权力,约翰 1 大卫·J·派姆。 1 霍斯特·赖切尔 1 西蒙·基思·理查兹 1 马库斯·罗根巴赫 1 雷恩·Rönnholm 1 简·罗特 1 鲁比奥·加西亚、朱利奥·杰苏斯 1 梅赫努什·萨德扎德 1 朱利安·萨拉曼卡 1 阿莱西奥·桑塔马利亚 1 Stefaneas,Petros S.公司。 1 亨德里克·图斯 1 Thejaswini,K.S。 1 马修·瓦莱里奥特(Matthew A.Valeriote)。 1 van Benthem,Johan F.A.K。 1 本诺·范登伯格 1 威尔德,保罗 1 托比·威尔金森 1 托尔斯滕·维曼 1 兹瓦恩堡,一月 全部的 前5名15篇连载文章中引用 16 理论计算机科学 6 信息与计算 5 计算机科学中的逻辑方法 三 纯逻辑与应用逻辑年鉴 三 RAIRO公司。理论信息学及其应用 三 逻辑与代数程序设计杂志 2 MSCS公司。计算机科学中的数学结构 2 应用逻辑杂志 1 信息处理信件 1 Studia Logica公司 1 计算的形式方面 1 数学逻辑档案 1 符号逻辑公报 1 ACM计算逻辑事务 1 程序设计中的逻辑和代数方法杂志 全部的 前5名在7个字段中引用 70 计算机科学(68至XX) 55 数理逻辑与基础(03-XX) 24 范畴理论;同调代数(18-XX) 6 博弈论、经济学、金融和其他社会和行为科学(91-XX) 5 一般代数系统(08-XX) 1 总体主题;集合(00-XX) 1 结合环与代数(16-XX) 按年份列出的引文