编辑配置文件(在新选项卡中打开) 克里斯蒂安·席林 合著者距离 作者ID: 希林·克里斯蒂安 发布日期: 克里斯蒂安·席林;席林,C。 已编制索引的文档: 31出版物自2013年以来,包括11附加arXiv预打印 1名编辑贡献 合著者: 48位合著者具有28联合出版物 1126位合作作者 全部的 前5名合著者 4 单作者的 5 塞尔吉·博戈莫洛夫 5 前言,马塞洛 5 托马斯·亨辛格(Thomas A.Henzinger)。 4 朱莉娅·利伯特 三 戈兰·弗雷斯 三 米丽亚姆·加西亚·索托 2 费边·鲍尔·马尔夸特 2 费德里科·卡斯蒂略 2 丁,乐信 2 蒋云平 2 孔慧 2 珍妮·菲利佩·拉贝 2 斯特凡·洛伊 2 安德烈亚斯·波德尔斯基 2 罗尔夫·席林 1 Alivert-Piuri,达米亚诺 1 格格利·巴扎 1 埃齐奥·巴托西 1 Benavides-Riveros,Carlos L。 1 大卫·博埃蒂乌斯 1 乔治亚娜·卡尔泰斯 1 考斯塔夫·查特吉 1 杰西·齐奥斯洛夫斯基 1 拉杜·格罗苏 1 马蒂亚斯·海兹曼 1 洪成林 1 金·古德斯特兰·拉森 1 勒吉萨,厄尔斯 1 廖、柯 1 亚历山大·洛佩斯 1 托马斯·马西·埃克 1 米哈利·马特 1 阿诺·帕德罗尔 1 菲利普,伊娃 1 斯特凡诺·皮塔利斯 1 科斯蒂安·波托姆金 1 亚当·萨维基 1 斯马乌斯,Jan-Georg 1 吉·斯尔巴 1 斯齐拉德·萨莱 1 费利克斯·特尼 1 丹尼尔·蒂施纳 1 维特拉科·维达尔 1 Viry,Frédéric 1 佩特尔·弗拉纳 1 费比安·温泽尔曼 1 卢卡·泽勒兹尼克 1 佐尔坦Zimborás 系列 2 物理学报A:数学与理论 1 信息与计算 1 新物理学杂志 1 亨利·彭加莱年鉴 1 计算机科学课堂讲稿 全部的 前5名领域 13 计算机科学(68至XX) 7 系统论;控制(93至XX) 6 量子理论(81-XX) 1 一般性和全局性主题;集合(00-XX) 1 交换代数(13-XX) 1 线性代数和多线性代数;矩阵理论(15-XX) 1 算子理论(47-XX) 1 凸和离散几何(52至XX) 1 统计力学,物质结构(82-XX) 1 运筹学、数学规划(90-XX) 1 生物学和其他自然科学(92-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 12出版物有被引用47中的次37文件 引用人▼ 年份▼ JuliaReach:基于集合的可达性工具箱。 Zbl 07120139号 塞尔吉·博戈莫洛夫;前言,马塞洛;戈兰·弗雷斯;科斯蒂安·波托姆金;克里斯蒂安·席林 16 2019 通过低维集和高维矩阵的分解达到集近似。 Zbl 1417.93059号 塞尔吉·博戈莫洛夫;前言,马塞洛;戈兰·弗雷斯;Viry,Frédéric;安德烈亚斯·波德尔斯基;克里斯蒂安·席林 11 2018 量子边际问题。 Zbl 1339.81104号 席林,C。 4 2015 基于不变簇的非线性混合系统的安全性验证。 Zbl 1369.93185号 孔慧;塞尔吉·博戈莫洛夫;克里斯蒂安·席林;姜瑜;托马斯·亨辛格(Thomas A.Henzinger)。 4 2017 保守时间离散化:一项比较研究。 Zbl 1504.93022号 前言,马塞洛;克里斯蒂安·席林 三 2022 使用部分Max-SAT最小化可视下推自动机。 Zbl 1452.68107号 马蒂亚斯·海兹曼;克里斯蒂安·席林;丹尼尔·蒂施纳 2 2017 使用Carleman线性化的弱非线性系统的可达性。 Zbl 07670974号 前言,马塞洛;克里斯蒂安·席林 2 2021 凸1-体(N\)可表示性的一个有效解。 Zbl 1530.81148号 费德里科·卡斯蒂略;珍妮·菲利佩·拉贝;朱莉娅·利伯特;阿诺·帕德罗尔;伊娃·菲利普;克里斯蒂安·席林 1 2023 量子信息人的费米子系统。 兹比尔1519.81120 斯齐拉德·萨莱;佐尔坦Zimborás;米哈利·马特;格格利·巴扎;克里斯蒂安·席林;勒格扎,Örs 1 2021 约化密度矩阵及其特征值的对偶性。 Zbl 1301.81373号 克里斯蒂安·席林;罗尔夫·席林 1 2014 基于成员关系的线性混合自动机综合。 Zbl 07805538号 米里亚姆·加西亚·索托;托马斯·亨辛格(Thomas A.Henzinger)。;克里斯蒂安·席林;卢卡·泽勒兹尼克 1 2019 SpecRepair:深度神经网络引导安全修复的反例。 Zbl 1514.68119号 费边·鲍尔·马尔夸特;大卫·博埃蒂乌斯;斯特凡·洛伊;克里斯蒂安·席林 1 2022 凸1-体(N\)可表示性的一个有效解。 Zbl 1530.81148号 费德里科·卡斯蒂略;珍妮·菲利佩·拉贝;朱莉娅·利伯特;阿诺·帕德罗尔;伊娃·菲利普;克里斯蒂安·席林 1 2023 保守时间离散化:一项比较研究。 兹比尔1504.93022 前言,马塞洛;克里斯蒂安·席林 三 2022 SpecRepair:深度神经网络引导安全修复的反例。 Zbl 1514.68119号 费边·鲍尔·马尔夸特;大卫·博埃蒂乌斯;斯特凡·洛伊;克里斯蒂安·席林 1 2022 使用Carleman线性化的弱非线性系统的可达性。 Zbl 07670974号 前言,马塞洛;克里斯蒂安·席林 2 2021 量子信息人的费米子系统。 Zbl 1519.81120号 斯齐拉德·萨莱;佐尔坦Zimborás;米哈利·马特;格格利·巴扎;克里斯蒂安·席林;勒吉萨,厄尔斯 1 2021 JuliaReach:基于集合的可达性工具箱。 Zbl 07120139号 塞尔吉·博戈莫洛夫;前言,马塞洛;戈兰·弗雷斯;科斯蒂安·波托姆金;克里斯蒂安·席林 16 2019 基于成员关系的线性混合自动机综合。 Zbl 07805538号 米里亚姆·加西亚·索托;托马斯·亨辛格(Thomas A.Henzinger)。;克里斯蒂安·席林;卢卡·泽列兹尼克 1 2019 通过低维集和高维矩阵的分解达到集近似。 Zbl 1417.93059号 塞尔吉·博戈莫洛夫;前言,马塞洛;戈兰·弗雷斯;Viry,Frédéric;安德烈亚斯·波德尔斯基;克里斯蒂安·席林 11 2018 基于不变簇的非线性混合系统的安全性验证。 兹比尔1369.93185 孔慧;塞尔吉·博戈莫洛夫;克里斯蒂安·席林;姜瑜;托马斯·亨辛格(Thomas A.Henzinger)。 4 2017 使用部分Max-SAT最小化可视下推自动机。 Zbl 1452.68107号 马蒂亚斯·海兹曼;克里斯蒂安·席林;丹尼尔·蒂施纳 2 2017 量子边际问题。 Zbl 1339.81104号 席林,C。 4 2015 约化密度矩阵及其特征值的对偶性。 Zbl 1301.81373号 克里斯蒂安·席林;罗尔夫·席林 1 2014 所有引用出版物 前5名被引用出版物 全部的 前5名92位作者引用 8 克里斯蒂安·席林 5 马蒂亚斯·阿尔霍夫 5 塞尔吉·博戈莫洛夫 4 巴克·斯坦利 三 米歇尔·博雷尔 三 前言,马塞洛 三 尼古拉斯·科奇杜普尔 三 马克·韦兹林格 2 戈兰·弗雷斯 2 托马斯·亨辛格(Thomas A.Henzinger)。 2 阿德里安·库姆伯格 2 李东旭 2 米丽亚姆·加西亚·索托 1 艾丽卡·阿尔布拉汉姆 1 阿文德·阿迪穆兰 1 艾特·阿穆尔,亚明 1 阿尔达扎巴尔,I。 1 西蒙·巴尔迪 1 费边·鲍尔·马尔夸特 1 亚历山大·布莱克(Alexander E.Black)。 1 阿尔贝托·卡萨格兰德 1 费德里科·卡斯蒂略 1 科林斯,贝诺 1 路易斯·科洛迪 1 凯瑟琳·科德威尔 1 达默斯,朱利安 1 Thao Dang先生 1 Jesús A.De Loera。 1 丁明辉 1 董伟杰 1 卢卡·多里戈 1 托马索·德罗西 1 纪尧姆·杜邦 1 特里斯坦·埃伯特 1 奥利维·高文 1 阿米特·古龙 1 纳撒尼尔·P·汉密尔顿。 1 布兰登·亨西 1 卢克·杰林 1 泰勒·T·约翰逊。 1 珍妮·菲利佩·拉贝 1 托拜厄斯·拉德纳 1 金·古德斯特兰·拉森 1 亚历克西斯·勒彭文 1 勒吉萨,厄尔斯 1 斯特凡·洛伊 1 伊桑·卢 1 李绍元 1 李一农 1 朱莉娅·利伯特 1 罗二太 1 Lütjeharms,尼克拉斯 1 迭戈·曼扎纳斯·洛佩兹 1 塞尔吉奥·曼泽蒂 1 乔治·马蒂乌斯 1 米哈利·马特 1 科林·麦克斯威根 1 斯特凡·米奇 1 帕特里克·穆索 1 安卡·穆斯科尔 1 Nam、Phan Thanh 1 阿诺·帕德罗尔 1 克拉拉·彼得罗夫 1 伊娃·菲利普 1 卡拉广场 1 埃莉诺拉·皮皮亚 1 安德烈·普拉泽 1 安德烈亚斯·波德尔斯基 1 科斯蒂安·波托姆金 1 迈克尔·拉斯金(Michael A.Raskin)。 1 贾加特·乔蒂·拉特 1 Rayarshi Ray 1 西蒙·罗霍 1 因德拉尼尔·萨哈 1 桑亚尔、拉曼 1 斯特凡·舒普 1 尼拉杰·库马尔·辛格 1 安德鲁·索戈孔 1 吉·斯尔巴 1 保利乌斯·斯坦凯蒂斯 1 斯齐拉德·萨莱 1 Tan,Yong Kiam先生 1 乐光督安 1 Kan王 1 尹、香 1 英明生 1 应胜刚 1 于能坤 1 于新义 1 章子伟 1 郑玲 1 周,李 全部的 前5名12篇连载文章中引用 4 信息与计算 三 Automatica公司 三 非线性分析。混合动力系统 2 数学化学杂志 1 富兰克林学院学报 1 数学物理杂志 1 美国数学学会会刊 1 计算数学与建模 1 系统设计中的形式化方法 1 亨利·彭加莱年鉴 1 计算机科学中的逻辑方法 1 SIAM应用代数和几何杂志 全部的 前5名16个领域引用 22 计算机科学(68至XX) 16 系统论;控制(93至XX) 7 量子理论(81-XX) 三 粒子和系统力学(70-XX) 三 运筹学、数学规划(90-XX) 2 组合数学(05-XX) 2 几何图形(51至XX) 2 凸和离散几何(52至XX) 1 数学逻辑和基础(03-XX) 1 拓扑群、李群(22日至XX日) 1 常微分方程(34-XX) 1 偏微分方程(35-XX) 1 算子理论(47-XX) 1 数值分析(65-XX) 1 统计力学,物质结构(82-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文