编辑配置文件（在新选项卡中打开） 维奥里卡Sofrone-Stokkerman 合著者距离 作者ID： 维奥里卡Sofrone-stokkermans 发布日期： 维奥里卡Sofrone-Stokkerman 外部链接： MGP公司 已编制索引的文档： 47出版物自1999年起 7作为编辑的贡献 审查活动： 21评论 合著者： 18位合著者具有27联合出版物 384位合作作者 全部的 前5名合著者 27 单作者的 5 卡斯滕·伊勒曼 4 尼古拉斯·佩尔蒂埃 三 达姆，沃纳 三 马提亚斯·霍巴赫 三 瑞典雅各布斯 2 尼古拉·S·比约纳。 2 哈拉尔德·甘辛格 2 丹尼斯·佩特尔 2 安德烈·里巴尔琴科 2 乌韦·沃尔德曼 1 马库斯·本德 1 玛丽亚·保拉（Maria Paola Bonacina） 1 约翰·费伯 1 乌尔里希·富巴赫 1 Jandson S.里贝罗。 1 卡雷尔·斯托克曼 1 马蒂亚斯·蒂姆 1 塞萨尔·蒂内利 全部的 前5名系列 4 计算机科学课堂讲稿 三 符号计算杂志 2 Studia Logica公司 2 自动推理杂志 2 多值逻辑 2 计算机基础理论 2 计算机科学中的逻辑方法 1 信息与计算 1 数学与人工智能年鉴 1 ACM计算逻辑事务 1 多值逻辑与软计算杂志 1 计算机科学中的数学 1 计算机科学科学年鉴 全部的 前5名领域 39 计算机科学（68至XX） 35 数学逻辑和基础（03-XX） 11 阶、格、有序代数结构（06-XX） 7 总体主题；集合（00-XX） 1 范畴理论；同调代数（18-XX） 1 一般拓扑结构（54至XX） 1 信息与通信理论、电路（94-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 41出版物有被引用319中的次153文件 引用人▼ 年份▼ 局部理论扩展中的层次推理。 Zbl 1135.03330号 维奥里卡Sofrone-Stokkerman 33 2005 插值的约束求解。 Zbl 1132.68480号 安德烈·里巴尔琴科;维奥里卡Sofrone-Stokkerman 25 2007 关于验证中的局部推理。 Zbl 1134.68410号 卡斯滕·伊勒曼;瑞典雅各布斯;维奥里卡Sofrone-Stokkerman 21 2008 局部理论扩展中的插值。 兹伯利1222.03018 维奥里卡Sofrone-Stokkerman 17 2006 带算子的有界分配格的对偶性和规范扩张，以及在非经典逻辑语义中的应用。一、。 Zbl 0948.06009 维奥里卡Sofrone-Stokkerman 17 2000 插值的约束求解。 Zbl 1213.68389号 安德烈·里巴尔琴科;维奥里卡Sofrone-Stokkerman 15 2010 具有Evans等式的部分函数的模证明系统。 Zbl 1103.68112号 哈拉尔德·甘辛格;维奥里卡Sofrone-Stokkerman;乌韦·沃尔德曼 14 2006 局部理论扩展中的插值。 Zbl 1170.03018号 维奥里卡Sofrone-Stokkerman 13 2008 有序结构的某些局部扩展中的自动推理。 Zbl 1137.03007号 维奥里卡Sofrone-Stokkerman;卡斯滕·伊赫曼 13 2007 关于理论扩展中的插值和符号消除。 Zbl 1476.03042号 维奥里卡Sofrone-Stokkerman 10 2016 具有桥接函数的理论的某些扩展的局部性结果。 Zbl 1250.03022号 维奥里卡Sofrone-Stokkerman 10 2009 关于理论扩展中的插值和符号消除。 Zbl 1476.03043号 维奥里卡Sofrone-Stokkerman 10 2018 表示定理和非经典逻辑的语义，以及在自动定理证明中的应用。 Zbl 1042.03013号 维奥里卡Sofrone-Stokkerman 10 2003 论理论组合中的层次推理。 Zbl 1291.03018号 卡斯滕·伊勒曼;维奥里卡Sofrone-Stokkerman 10 2010 基于带算子分配格的有限值逻辑的自动定理解析证明。 Zbl 1019.03003号 维奥里卡Sofrone-Stokkerman 9 2001 基于一阶模型的推理。 Zbl 1322.03013号 玛丽亚·保拉（Maria Paola Bonacina）;乌尔里希·富巴赫;维奥里卡Sofrone-Stokkerman 8 2015 非经典逻辑中通过解析实现定理的自动证明。 Zbl 1130.03010号 维奥里卡Sofrone-Stokkerman 8 2007 带算子的有界分配格的对偶性和规范扩张，以及在非经典逻辑语义中的应用。二、。 Zbl 0955.03038号 维奥里卡Sofrone-Stokkerman 8 2000 复杂理论中的层次和模块推理：局部理论扩展的案例。 Zbl 1148.68469号 维奥里卡Sofrone-Stokkerman 7 2007 参数系统验证的层次推理。 Zbl 1291.68269号 维奥里卡Sofrone-Stokkerman 6 2010 弱等式部分函数的模证明系统。 Zbl 1126.68564号 哈拉尔德·甘辛格;维奥里卡Sofrone-Stokkerman;乌韦·沃尔德曼 6 2004 （{\mathcal{EL}}\）中的位置和包含测试及其一些扩展。 兹比尔1219.68149 维奥里卡Sofrone-Stokkerman 6 2008 层次推理在复杂系统验证中的应用。 Zbl 1277.68135号 瑞典雅各布斯;维奥里卡Sofrone-Stokkerman 5 2007 用于参数混合系统验证的层次推理和模型生成。 Zbl 1381.68181号 维奥里卡Sofrone-Stokkerman 5 2013 一类具有算子的分配格的普遍理论的基于分辨率的决策过程。 Zbl 1043.03013号 维奥里卡Sofrone-Stokkerman 5 2003 关于参数系统的不变综合。 Zbl 07178988号 丹尼斯·佩特尔;维奥里卡Sofrone-Stokkerman 4 2019 使用复杂的数据类型和定时参数验证CSP-OZ-DC规范。 兹比尔1213.68374 约翰·费伯;瑞典雅各布斯;维奥里卡Sofrone-Stokkerman 4 2007 位置转移：从约束公理化到可达性谓词。 Zbl 1423.68420号 马提亚斯·霍巴赫;维奥里卡Sofrone-Stokkerman 2 2014 自动扣除–CADE-23。2011年7月31日至8月5日在波兰Wrocław举行的第23届自动扣减国际会议。诉讼程序。 Zbl 1218.68006号 2 2011 关于局部理论扩展的组合。 Zbl 1383.03020号 维奥里卡Sofrone-Stokkerman 2 2013 通过饱和获得有限局部理论公理化。 Zbl 1398.68482号 马提亚斯·霍巴赫;维奥里卡Sofrone-Stokkerman 2 2013 合理线性混合自动机安全特性的PTIME参数验证。 Zbl 1262.68113号 达姆，沃纳;卡斯滕·伊勒曼;维奥里卡Sofrone-Stokkerman 2 2011 自动推理。2020年7月1日至4日，法国巴黎，第十届国际联合会议，IJCAR 2020。诉讼程序。第一部分。 Zbl 1498.68016号 2 2020 滑轮和几何逻辑以及在复杂系统模块验证中的应用。 Zbl 1339.68192号 维奥里卡Sofrone-Stokkerman 1 2009 组合系统的前沿。2011年10月5日至7日，第八届国际研讨会，FroCoS 2011，德国萨尔布吕肯。诉讼程序。 Zbl 1223.68012号 1 2011 测度集合理论的决策程序。 Zbl 1496.03038号 马库斯·本德;维奥里卡Sofrone-Stokkerman 1 2017 线性混合自动机空间族安全属性验证的可判定性。 Zbl 1471.68114号 达姆，沃纳;马提亚斯·霍巴赫;维奥里卡Sofrone-Stokkerman 1 2015 自动推理。2020年7月1日至4日，法国巴黎，第十届国际联合会议，IJCAR 2020。诉讼程序。第二部分。 Zbl 1498.68017号 1 2020 关于分配格上涉及桥接算子的一致词问题。 Zbl 1016.06005号 维奥里卡Sofrone-Stokkerman 1 2002 关于带算子的分配格簇的普适理论：一些可判定性和复杂性结果。 兹伯利0938.06005 维奥里卡Sofrone-Stokkerman 1 1999 通过滑轮和几何逻辑对相互作用进行建模。 Zbl 0955.68050号 维奥里卡Sofrone-Stokkerman;卡雷尔·斯托克曼 1 1999 自动推理。2020年7月1日至4日，法国巴黎，第十届国际联合会议，IJCAR 2020。诉讼程序。第一部分。 Zbl 1498.68016号 2 2020 自动推理。2020年7月1日至4日，法国巴黎，第十届国际联合会议，IJCAR 2020。诉讼程序。第二部分。 Zbl 1498.68017号 1 2020 关于参数系统的不变综合。 Zbl 07178988号 丹尼斯·佩特尔;维奥里卡Sofrone-Stokkerman 4 2019 关于理论扩展中的插值和符号消除。 Zbl 1476.03043号 维奥里卡Sofrone-Stokkerman 10 2018 测度集合理论的决策程序。 Zbl 1496.03038号 马库斯·本德;维奥里卡Sofrone-Stokkerman 1 2017 关于理论扩展中的插值和符号消除。 Zbl 1476.03042号 维奥里卡Sofrone-Stokkerman 10 2016 基于一阶模型的推理。 Zbl 1322.03013号 玛丽亚·保拉（Maria Paola Bonacina）;乌尔里希·富巴赫;维奥里卡Sofrone-Stokkerman 8 2015 线性混合自动机空间族安全属性验证的可判定性。 Zbl 1471.68114号 达姆，沃纳;马提亚斯·霍巴赫;维奥里卡Sofrone-Stokkerman 1 2015 位置转移：从约束公理化到可达性谓词。 Zbl 1423.68420号 马提亚斯·霍巴赫;维奥里卡Sofrone-Stokkerman 2 2014 用于参数混合系统验证的层次推理和模型生成。 Zbl 1381.68181号 维奥里卡Sofrone-Stokkerman 5 2013 关于局部理论扩展的组合。 Zbl 1383.03020号 维奥里卡Sofrone-Stokkerman 2 2013 通过饱和获得有限局部理论公理化。 Zbl 1398.68482号 马蒂亚斯·霍巴赫;维奥里卡Sofrone-Stokkerman 2 2013 自动扣除–CADE-23。2011年7月31日至8月5日在波兰Wrocław举行的第23届自动扣减国际会议。诉讼程序。 Zbl 1218.68006号 2 2011 合理线性混合自动机安全特性的PTIME参数验证。 Zbl 1262.68113号 达姆，沃纳;卡斯滕·伊赫曼;维奥里卡Sofrone-Stokkerman 2 2011 组合系统的前沿。2011年10月5日至7日，第八届国际研讨会，FroCoS 2011，德国萨尔布吕肯。诉讼程序。 Zbl 1223.68012号 1 2011 插值的约束求解。 Zbl 1213.68389号 安德烈·里巴尔琴科;维奥里卡Sofrone-Stokkerman 15 2010 论理论组合中的层次推理。 兹比尔1291.03018 卡斯滕·伊勒曼;维奥里卡Sofrone-Stokkerman 10 2010 参数系统验证的层次推理。 Zbl 1291.68269号 维奥里卡Sofrone-Stokkerman 6 2010 具有桥接函数的理论的某些扩展的局部性结果。 Zbl 1250.03022号 维奥里卡Sofrone-Stokkerman 10 2009 滑轮和几何逻辑以及在复杂系统模块验证中的应用。 Zbl 1339.68192号 维奥里卡Sofrone-Stokkerman 1 2009 关于验证中的局部推理。 Zbl 1134.68410号 卡斯滕·伊勒曼;瑞典雅各布斯;维奥里卡Sofrone-Stokkerman 21 2008 局部理论扩展中的插值。 Zbl 1170.03018号 维奥里卡Sofrone-Stokkerman 13 2008 （{\mathcal{EL}}\）中的位置和包含测试及其一些扩展。 Zbl 1219.68149号 维奥里卡Sofrone-Stokkerman 6 2008 插值的约束求解。 Zbl 1132.68480号 安德烈·里巴尔琴科;维奥里卡Sofrone-Stokkerman 25 2007 有序结构的某些局部扩展中的自动推理。 Zbl 1137.03007号 维奥里卡Sofrone-Stokkerman;卡斯滕·伊勒曼 13 2007 非经典逻辑中通过解析实现定理的自动证明。 Zbl 1130.03010号 维奥里卡Sofrone-Stokkerman 8 2007 复杂理论中的层次和模块推理：局部理论扩展的案例。 Zbl 1148.68469号 维奥里卡Sofrone-Stokkerman 7 2007 层次推理在复杂系统验证中的应用。 Zbl 1277.68135号 瑞典雅各布斯;维奥里卡Sofrone-Stokkerman 5 2007 使用复杂的数据类型和定时参数验证CSP-OZ-DC规范。 Zbl 1213.68374号 约翰·法伯;瑞典雅各布斯;维奥里卡Sofrone-Stokkerman 4 2007 局部理论扩展中的插值。 Zbl 1222.03018号 维奥里卡Sofrone-Stokkerman 17 2006 具有Evans等式的部分函数的模证明系统。 Zbl 1103.68112号 哈拉尔德·甘辛格;维奥里卡Sofrone-Stokkerman;乌韦·沃尔德曼 14 2006 局部理论扩展中的层次推理。 Zbl 1135.03330号 维奥里卡Sofrone-Stokkerman 33 2005 弱等式部分函数的模证明系统。 Zbl 1126.68564号 哈拉尔德·甘辛格;维奥里卡Sofrone-Stokkerman;乌韦·沃尔德曼 6 2004 表示定理和非经典逻辑的语义，以及在自动定理证明中的应用。 Zbl 1042.03013号 维奥里卡Sofrone-Stokkerman 10 2003 一些带算子的分配格的普适理论的基于分辨率的决策过程。 兹比尔1043.03013 维奥里卡Sofrone-Stokkerman 5 2003 关于分配格上涉及桥接算子的一致词问题。 Zbl 1016.06005号 维奥里卡Sofrone-Stokkerman 1 2002 基于带算子分配格的有限值逻辑的自动定理解析证明。 Zbl 1019.03003号 维奥里卡Sofrone-Stokkerman 9 2001 带算子的有界分配格的对偶性和规范扩张，以及在非经典逻辑语义中的应用。一、。 Zbl 0948.06009 维奥里卡Sofrone-Stokkerman 17 2000 带算子的有界分配格的对偶性和规范扩张，以及在非经典逻辑语义中的应用。二、。 Zbl 0955.03038号 维奥里卡Sofrone-Stokkerman 8 2000 关于带算子的分配格簇的普适理论：一些可判定性和复杂性结果。 Zbl 0938.06005 维奥里卡Sofrone-Stokkerman 1 1999 通过滑轮和几何逻辑对相互作用进行建模。 Zbl 0955.68050号 维奥里卡Sofrone-Stokkerman;卡雷尔·斯托克曼 1 1999 所有引用出版物 前5名被引用出版物 全部的 前5名245位作者引用 18 维奥里卡Sofrone-Stokkerman 12 西尔维奥·吉拉尔迪 9 玛丽亚·保拉（Maria Paola Bonacina） 8 亚历山德罗·吉亚诺拉 6 迪帕克·卡普尔 6 克里斯托弗·林盖森 5 克拉克·W·巴雷特。 5 迭戈·卡尔瓦内斯 5 帕斯卡·方丹 5 马可·蒙塔利 5 安德烈·里夫金 5 安德烈·里巴尔琴科 5 塞萨尔·蒂内利 5 克里斯托夫·韦登巴赫 4 梅·盖尔克 4 西尔维奥·兰伊斯 三 Paula Chocron 三 穆纳乔·埃切宁 三 阿尔贝托·格里乔 三 卡斯滕·伊勒曼 三 瑞典雅各布斯 三 丹尼尔·科宁 三 亚历山德拉·帕尔米吉亚诺 三 希拉里·普里斯特利（Hilary A.Priestley）。 三 菲利普·吕默 三 罗伯托·塞巴斯蒂安 三 安德烈·沃伦科夫 三 托马斯·维斯 三 弗兰克·沃尔特 2 弗兰兹·巴德 2 迈克尔·布隆丁 2 安吉洛·布里洛特 2 罗伯特·布鲁托梅索 2 塞拉尼、塞尔吉奥·阿图罗 2 陈明帅 2 亚历山德罗·西马蒂 2 威廉·康雷迪 2 达姆，沃纳 2 莱昂纳多·德·莫拉 2 朱尔斯·德沙奈斯 2 哈维尔·埃斯帕尔扎 2 阿尔多·维多利亚·菲加洛 2 杜珊·格勒 2 Chrysafis哈托纳斯 2 Jochen Hoenicke公司 2 科格普·恩杰努（Koguep Njionou）、布莱斯·布莱里奥（Blaise Bleriot） 2 科瓦奇，劳拉·伊尔迪科 2 维克多·昆卡 2 奥尔纳·库普弗曼 2 简·兰格 2 亨德里克·莱丁格 2 塞莱斯汀·勒勒 2 卢斯蒂格，尤德 2 克里斯托弗·林奇（Christopher A.Lynch）。 2 巴巴拉·莫拉夫斯卡 2 恩里卡·尼科里尼 2 塔卡马萨·奥库多诺 2 古斯塔沃·佩莱泰 2 尼古拉斯·佩尔蒂埃 2 丹尼斯·佩特尔 2 普莱斯特德，大卫·艾伦 2 安德鲁·雷诺兹 2 阮，达 2 乔纳森·萨米恩托 2 娜塔莎·莎莉吉娜 2 盛英 2 苏米特·苏拉布 2 Strüngmann，Lutz H。 2 乔治·斯特鲁斯 2 Tallee Kakeu，Ariane G。 2 唐岳峰 2 托马斯·沃尔 2 乌韦·沃尔德曼 2 徐，杨 2 詹乃军 2 尤尼·佐哈尔 2 丹尼尔·祖切利 1 弗朗西斯科·阿尔贝蒂 1 安、杰 1 卡洛斯·阿雷塞斯 1 塞皮德·阿萨迪 1 克什蒂吉·班萨尔 1 迈克尔·比森。 1 德克·拜尔 1 古拉姆·贝扎尼什维利 1 尼克·贝扎尼什维利 1 阮晋平 1 马丁·布利查 1 马塞洛·玛丽亚·邦桑格 1 斯特凡·博格沃德 1 William J.Zuluaga Botero 1 马吕斯·博兹加 1 托马斯·布朗宁。 1 汉斯·布鲁恩 1 莱昂纳多·曼纽尔·卡布勒 1 伊斯梅尔·卡洛米诺 1 何塞·路易斯·卡斯蒂格利奥尼 1 Supratik查克拉博蒂 1 陈金生 1 Cheng，Xi（西成） …还有145位作者 全部的 前5名41篇连载文章中引用 25 自动推理杂志 5 符号计算杂志 5 计算机科学中的逻辑方法 4 Studia Logica公司 三 模糊集与系统 三 应用非经典逻辑杂志 三 ACM计算逻辑事务 2 信息学报 2 代数普遍性 2 信息科学 2 斯洛伐克数学 2 纯逻辑与应用逻辑年鉴 2 应用的分类结构 2 计算机科学中的数学 1 人工智能 1 离散应用数学 1 印度纯粹与应用数学杂志 1 信息处理信件 1 数学笔记 1 国际数学与数学科学杂志 1 代数杂志 1 纯代数与应用代数杂志 1 符号逻辑杂志 1 圣母院形式逻辑杂志 1 理论计算机科学 1 拓扑及其应用 1 计算机程序设计科学 1 信息与计算 1 计算的形式方面 1 MSCS公司。计算机科学中的数学结构 1 国际计算机科学基础杂志 1 实验数学 1 系统设计中的形式化方法 1 数学逻辑季刊（MLQ） 1 符号逻辑公报 1 数学与人工智能年鉴 1 系统科学与复杂性杂志 1 逻辑程序设计理论与实践 1 中欧数学杂志 1 泛逻辑 1 程序设计中的逻辑与代数方法杂志 全部的 前5名在15个字段中引用 115 计算机科学（68至XX） 88 数学逻辑和基础（03-XX） 20 阶、格、有序代数结构（06-XX） 三 一般拓扑结构（54至XX） 三 信息与通信理论、电路（94-XX） 2 历史与传记（01-XX） 2 一般代数系统（08-XX） 2 结合环与代数（16-XX） 2 范畴理论；同调代数（18-XX） 2 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 总体主题；集合（00-XX） 1 数论（11-XX） 1 场论和多项式（12-XX） 1 代数几何（14-XX） 1 运筹学、数学规划（90-XX） 按年份列出的引文