编辑配置文件(在新选项卡中打开) 凯蒂尔·斯特伦 合著者距离 作者ID: 斯托伦·基蒂尔 发布日期: 凯蒂尔·斯特伦 外部链接: MGP公司 已编制索引的文档: 13出版物自1996年以来,包括1本书 合著者: 15位合著者具有12联合出版物 141位合作作者 全部的 前5名合著者 1 单作者的 6 阿特雷夫斯达尔 4 朗希尔德·科布罗·伦德 1 吉尔德·布伦德兰 1 曼弗雷德·布罗伊 1 弗兰克·德德里奇 1 拉杜·格罗苏 1 豪根,Ø伊斯滕 1 托莫德五世·Hávaldsrud。 1 克努特·埃利夫·胡萨 1 奥拉夫·利加登。 1 Lund,大量售出 1 Myrseth,Per公司 1 乔恩·内斯 1 比约纳尔·索尔豪格 1 韦伯、雷纳 系列 三 计算的形式方面 1 计算机与系统科学杂志 1 计算机程序设计科学 1 北欧计算机杂志 1 电子商务研究 领域 12 计算机科学(68至XX) 1 数学逻辑和基础(03-XX) 1 运筹学、数学规划(90-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 9出版物有被引用52次43文件 引用人▼ 年份▼ 交互式系统的规范和开发。关注流、接口和优化。 Zbl 0981.68115号 曼弗雷德·布罗伊;凯蒂尔·斯特伦 35 2001 使用假设/承诺范式规范和细化异步通信代理网络。 Zbl 0846.68067号 凯蒂尔·斯特伦;弗兰克·德德里克斯;韦伯、雷纳 5 1996 扩展UML序列图以建模信任相关行为,以支持风险分析。 兹比尔1162.68355 阿特雷夫斯达尔;凯蒂尔·斯特伦 2 2008 使用CORAS对不断变化和发展的系统进行风险分析。 兹比尔1345.91012 Lund,大量售出;比约纳尔·索尔豪格;凯蒂尔·斯特伦 2 2011 用欠规范和不确定性细化UML交互。 Zbl 1087.68023号 朗希尔德·科布罗·伦德;豪根,Ø伊斯滕;凯蒂尔·斯特伦 2 2005 序列图中的欠指定、固有不确定性和概率。 Zbl 1461.68117号 阿特雷夫斯达尔;朗希尔德·科布罗·伦德;凯蒂尔·斯特伦 2 2006 将计算机系统与序列图联系起来:不明确和固有不确定性的影响。 Zbl 1259.68133号 朗希尔德·科布罗·伦德;阿特雷夫斯达尔;凯蒂尔·斯特伦 2 2013 基于流的移动系统规范。 Zbl 0991.68050号 拉杜·格罗苏;凯蒂尔·斯特伦 1 2001 输入/输出关系上下文中的动态重新配置规范。 Zbl 0933.68094号 凯蒂尔·斯特伦 1 1999 将计算机系统与序列图联系起来:不明确和固有不确定性的影响。 Zbl 1259.68133号 朗希尔德·科布罗·伦德;阿特雷夫斯达尔;凯蒂尔·斯特伦 2 2013 使用CORAS对不断变化和发展的系统进行风险分析。 Zbl 1345.91012号 Lund,大量售出;比约纳尔·索尔豪格;凯蒂尔·斯特伦 2 2011 扩展UML序列图以建模信任相关行为,以支持风险分析。 Zbl 1162.68355号 阿特雷夫斯达尔;凯蒂尔·斯特伦 2 2008 序列图中的欠指定、固有不确定性和概率。 Zbl 1461.68117号 阿特尔,雷夫斯达尔;朗希尔德·科布罗·伦德;凯蒂尔·斯特伦 2 2006 用欠规范和不确定性细化UML交互。 兹比尔1087.68023 朗希尔德·科布罗·伦德;豪根,Ø伊斯滕;凯蒂尔·斯特伦 2 2005 交互式系统的规范和开发。关注流、接口和优化。 Zbl 0981.68115号 曼弗雷德·布罗伊;凯蒂尔·斯特伦 35 2001 基于流的移动系统规范。 Zbl 0991.68050号 拉杜·格罗苏;凯蒂尔·斯特伦 1 2001 输入/输出关系上下文中的动态重新配置规范。 Zbl 0933.68094号 凯蒂尔·斯特伦 1 1999 使用假设/承诺范式规范和细化异步通信代理网络。 Zbl 0846.68067号 凯蒂尔·斯特伦;弗兰克·德德里奇;韦伯、雷纳 5 1996 所有引用出版物 前5名被引用出版物 全部的 前5名72位作者引用 7 曼弗雷德·布罗伊 6 Owe、Olaf 4 凯蒂尔·斯特伦 三 Din、Crystal Chang 三 约翰·多夫兰 三 埃纳尔·布罗赫·约翰森 三 阿特雷夫斯达尔 2 迈克尔·戈德史密斯 2 彼得·霍夫纳 2 尼克·莫法特 2 伯恩哈德·莫勒 2 朗希尔德·科布罗·伦德 2 斯塔夫罗斯·特里帕基斯 1 马克·艾吉尔 1 苏珊娜·安多瓦 1 阿图尔·博罗纳特 1 Calinescu,Radu C。 1 安东尼奥·考伊 1 皮埃尔·科莱特 1 埃里克·P·德文克。 1 弗兰克·德德里奇 1 贝诺·德拉哈耶 1 沃尔特·多什 1 尤利亚·德拉戈米尔 1 哈拉尔德·费彻 1 JoséLuiz Fiadeiro 1 马蒂亚斯·福格尔 1 哈布托姆·卡西·吉迪 1 马里奥·格雷舍尔 1 戈登,鲍里斯 1 鲁克·格罗内韦根(Luuk P.J.Groenewegen)。 1 托莫德五世·Hávaldsrud。 1 迈克尔·R·A·胡特。 1 简·朱尔延斯 1 亚历山大·纳普 1 丹尼尔·克罗布 1 Krüger,Ingolf H。 1 Legay、Axel 1 克里斯托夫·伦岑 1 李克平 1 奥拉夫·利加登。 1 安托尼亚州洛佩斯 1 迭戈·马姆斯勒 1 何塞·曼纽尔·梅拉 1 何塞·梅塞盖尔·瓜伊塔 1 Myrseth,Per公司 1 伊萨·纳杰菲 1 杰拉尔德·埃肯贝·恩贡迪 1 马蒂亚斯·尼贝格 1 乔恩·内斯 1 普洛塔萨,维奥雷尔 1 托克塔姆,拉梅扎尼法尔卡尼 1 沃尔夫冈·雷西格 1 乌尔里希·施密德 1 海科·A·施密特。 1 Jens Schönborn 1 桑吉特·阿伦库马尔 1 娜塔莎·莎莉吉娜 1 玛丽亚·斯皮奇科娃 1 马丁·斯特芬 1 安妮特·圣佩尔 1 卡罗琳·塔尔科特。 1 唐涛 1 Tokas、Shukun 1 韦伯、雷纳 1 乔纳斯·韦斯特曼 1 马丁·威尔辛 1 詹姆斯·C·P·伍德科克。 1 徐天华 1 张燕 1 赵琳 1 朱,李 全部的 前5名15篇连载文章中引用 6 计算的形式方面 4 逻辑与代数程序设计杂志 三 理论计算机科学 2 信息学报 2 计算机与系统科学杂志 2 计算机程序设计科学 2 信息与计算 2 系统设计中的形式化方法 2 程序设计中的逻辑和代数方法杂志 1 应用数学与计算 1 自动推理杂志 1 MSCS公司。计算机科学中的数学结构 1 电子商务研究 1 科学中国。技术科学 1 国际非线性分析与应用杂志 全部的 前5名在7个字段中引用 40 计算机科学(68至XX) 5 系统论;控制(93至XX) 2 数学逻辑和基础(03-XX) 2 博弈论、经济学、金融和其他社会和行为科学(91-XX) 2 信息与通信理论、电路(94-XX) 1 动力系统和遍历理论(37至XX) 1 运筹学、数学规划(90-XX) 按年份列出的引文