编辑配置文件(在新选项卡中打开) 克里斯滕森,拉尔斯·迈克尔 合著者距离 作者ID: 克里斯汀森·拉尔斯-米切尔 发布方式: 克里斯滕森,拉尔斯·迈克尔;Kristensen,Lars M。;Kristensen,L.M。 更多。。。较少的 已编制索引的文档: 31出版物自1996年以来,包括2本书 5名编辑的贡献 合著者: 31位合著者具有33联合出版物 821位合作作者 全部的 前5名合著者 2 单作者的 5 库尔特·延森 5 托马斯·梅隆德 4 索伦·克里斯滕森 4 萨米·伊万格利斯塔 三 乔纳森·比林顿 三 劳雷·佩特鲁奇 三 安蒂·瓦尔马里 2 马西耶·库特尼 2 欧阳春 2 沃伊切赫·彭泽克 2 沃尔克·斯托尔茨 2 迈克尔·韦斯特加德 1 福斯汀·阿希什基耶 1 马可·阿杰蒙·马尔桑 1 拉尔斯·阿格 1 克里斯蒂安·埃斯彭森。 1 保罗·弗莱舍 1 朱利安娜·弗朗西斯科尼斯 1 杰根森,延斯·伯克 1 鲍尔·亨宁(Poul Henning)·柯克加德(Kirkegaard) 1 Kjeldsen,Mads K。 1 码头Kleijn 1 查尔斯·拉科斯。 1 路易斯·洛伦森 1 海因·梅林 1 露西娅·波梅尔 1 若泽·伊格纳西奥·雷格诺·贾拉博 1 肯特·英格·法格兰德·西蒙森 1 格思·斯特林特·布罗达尔 1 Wil M.P.范德阿尔斯特。 1 王瑞 1 卡斯滕·沃尔夫 全部的 前5名系列 4 计算机科学课堂讲稿 2 计算机基础理论 1 Zeitschrift für Angewandte Mathematik und Mechanik(ZAMM) 1 理论计算机科学 1 系统设计中的形式化方法 1 高阶和符号计算 1 程序设计中的逻辑和代数方法杂志 领域 35 计算机科学(68至XX) 5 一般性和全局性主题;集合(00-XX) 1 数学逻辑和基础(03-XX) 1 流体力学(76-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 16出版物有被引用75中的次65文件 引用人▼ 年份▼ 彩色Petri网。并发系统的建模和验证。 Zbl 1215.68153号 库尔特·延森;Kristensen,Lars M。 44 2009 一种用于状态空间探测的扫描线方法。 Zbl 0978.68547号 瑟伦·克里斯滕森;克里斯滕森,拉尔斯·迈克尔;托马斯·梅隆德 5 2001 彩色Petri网的从业者指南。 Zbl 1033.68590号 Kristensen,Lars M。;瑟伦·克里斯滕森;库尔特·延森 5 1998 状态属性的问题导向的顽固集合方法。 Zbl 1109.68075号 Kristensen,L.M。;施密特,K。;A.瓦尔马里。 4 2006 有色Petri网在系统开发中的应用。 Zbl 1088.68664号 克里斯滕森,拉尔斯·迈克尔;杰根森,延斯·伯克;库尔特·延森 三 2004 改进了以问题为导向的状态属性顽固集方法。 Zbl 0986.68083号 克里斯滕森,拉尔斯·迈克尔;安蒂·瓦尔马里 2 2000 定时Petri网的压缩状态空间。 Zbl 0986.68076号 瑟伦·克里斯滕森;克里斯滕森,拉尔斯·迈克尔;托马斯·梅隆德 2 2001 彩色Petri网在协议设计功能验证中的应用。 Zbl 1382.68151号 Kristensen,Lars M。;肯特·英格·法格兰德·西蒙森 2 2013 验证修改后的WAP无线交易协议。 Zbl 1047.68508号 史蒂文·戈登;克里斯滕森,拉尔斯·迈克尔;乔纳森·比林顿 1 2002 安全特性的广义扫线法。 Zbl 1064.68553号 克里斯滕森,拉尔斯·迈克尔;托马斯·梅隆德 1 2002 一种合成扫描线状态空间探索方法。 Zbl 1037.68515号 克里斯滕森,拉尔斯·迈克尔;托马斯·梅隆德 1 2002 重温ComBack方法:缓存策略和延迟重复检测扩展。 Zbl 1266.68048号 萨米·伊万格利斯塔;迈克尔·韦斯特加德;Kristensen,Lars M。 1 2009 ComBack方法——通过回溯扩展散列压缩。 Zbl 1226.68066号 迈克尔·韦斯特加德;克里斯滕森,拉尔斯·迈克尔;格思·斯特林特·布罗达尔;拉尔斯·阿格 1 2007 移动自组织网络DYMO路由协议的建模和初始验证。 兹比尔1143.68329 克里斯蒂安·埃斯彭森。;Kjeldsen,Mads K。;Kristensen,Lars M。 1 2008 独立于搜索顺序的状态缓存。 Zbl 1312.68132号 萨米·伊万格利斯塔;克里斯滕森,拉尔斯·迈克尔 1 2010 使用彩色Petri网模型为paxos单命令协议自动生成测试用例。 Zbl 1423.68319号 王瑞;克里斯滕森,拉尔斯·迈克尔;海因·梅林;沃尔克·斯托尔茨 1 2019 使用彩色Petri网模型为paxos单命令协议自动生成测试用例。 Zbl 1423.68319号 王瑞;克里斯滕森,拉尔斯·迈克尔;海因·梅林;沃尔克·斯托尔茨 1 2019 彩色Petri网在协议设计功能验证中的应用。 Zbl 1382.68151号 Kristensen,Lars M。;肯特·英格·法格兰德·西蒙森 2 2013 独立于搜索顺序的状态缓存。 Zbl 1312.68132号 萨米·伊万格利斯塔;克里斯滕森,拉尔斯·迈克尔 1 2010 彩色Petri网。并发系统的建模和验证。 Zbl 1215.68153号 库尔特·詹森;Kristensen,Lars M。 44 2009 重温ComBack方法:缓存策略和延迟重复检测扩展。 Zbl 1266.68048号 萨米·伊万格利斯塔;迈克尔·韦斯特加德;Kristensen,Lars M。 1 2009 移动自组织网络DYMO路由协议的建模和初始验证。 Zbl 1143.68329号 克里斯蒂安·埃斯彭森。;Kjeldsen,Mads K。;Kristensen,Lars M。 1 2008 ComBack方法–使用回溯扩展散列压缩。 Zbl 1226.68066号 迈克尔·韦斯特加德;克里斯滕森,拉尔斯·迈克尔;格思·斯特林特·布罗达尔;拉尔斯·阿格 1 2007 状态属性的问题导向的顽固集合方法。 Zbl 1109.68075号 Kristensen,L.M。;施密特,K。;A.瓦尔马里。 4 2006 有色Petri网在系统开发中的应用。 兹比尔1088.68664 克里斯滕森,拉尔斯·迈克尔;杰根森,延斯·伯克;库尔特·延森 三 2004 验证修改后的WAP无线交易协议。 Zbl 1047.68508号 史蒂文·戈登;克里斯滕森,拉尔斯·迈克尔;乔纳森·比林顿 1 2002 安全特性的广义扫线法。 Zbl 1064.68553号 克里斯滕森,拉尔斯·迈克尔;托马斯·梅隆德 1 2002 一种合成扫描线状态空间探索方法。 Zbl 1037.68515号 克里斯滕森,拉尔斯·迈克尔;托马斯·梅隆德 1 2002 状态空间探索的扫线方法。 Zbl 0978.68547号 瑟伦·克里斯滕森;克里斯滕森,拉尔斯·迈克尔;托马斯·梅隆德 5 2001 定时Petri网的压缩状态空间。 Zbl 0986.68076号 瑟伦·克里斯滕森;克里斯滕森,拉尔斯·迈克尔;托马斯·梅隆德 2 2001 改进了以问题为导向的状态属性顽固集方法。 Zbl 0986.68083号 克里斯滕森,拉尔斯·迈克尔;安蒂·瓦尔马里 2 2000 彩色Petri网的从业者指南。 Zbl 1033.68590号 Kristensen,Lars M。;瑟伦·克里斯滕森;库尔特·延森 5 1998 所有引用出版物 前5名被引用出版物 全部的 前5名被151位作者引用 5 卡斯滕·沃尔夫 4 克里斯滕森,拉尔斯·迈克尔 三 彼得·格约尔·詹森 三 伊琳娜·洛马佐娃(Irina A.Lomazova)。 三 吉·斯尔巴 三 马钦·斯皮尔卡 2 约翰·C·贝兹。 2 Soumyadip Bandyopadhyay公司 2 亚历山大·比尔格拉姆 2 Leonid W·德沃赞斯基。 2 刘林 2 奇塔兰詹·曼达尔 2 马可·蒙塔利 2 瓦莱里·A·内波米纳西。 2 安德烈·里夫金 2 迪班卡·萨尔卡 2 Peter H.Taankvist。 2 索菲·沃纳 1 Aćimović,特奥多拉 1 罗斯安格拉阿尔伯克基 1 埃蒂安·安德烈 1 约翰·安德鲁斯。 1 阿吉洛夫,V.S。 1 Bäck,Thomas H.W。 1 保罗·巴尔丹 1 Guilherme A.巴雷托。 1 乔瓦尼·巴罗佐(Giovanni C.Barroso)。 1 卡米拉·巴里尔斯卡 1 Rza巴希罗夫 1 弗拉基米尔·巴什金。 1 贝洛格拉佐夫,D.M。 1 穆罕默德·马赫迪·本穆萨 1 亚历山德罗·贝尔蒂 1 贝尔纳卡,阿格涅茨卡 1 耶日·比尔纳茨基 1 胡里奥·布兰科·费尔南德斯 1 弗雷德里克·梅耶·伯内兰 1 哈尼法·布切内布 1 布兰德,塞巴斯蒂安 1 罗伯托·布鲁尼 1 Aleksandr V.拜斯特罗夫。 1 玛丽亚·艾米利亚·坎布罗内罗 1 胡里奥·卡拉斯克尔。 1 拉斐尔·卡瓦略五世。 1 切夫塔科夫,E.A。 1 克莉丝汀,杂乱无章 1 劳伦斯·M·L·钟。 1 楚里娜,T.G。 1 科内利·朱尼尔 1 安德烈亚·科拉迪尼 1 克雷斯皮、瓦伦蒂诺 1 崔一东 1 M.Torabi Dashti 1 胡安·德·拉腊 1 迈克尔·德尔尼茨 1 格雷戈里奥·迪亚兹 1 丁,雷·G。 1 丁志军 1 雅各布·迪尔 1 克里斯蒂安·埃斯彭森。 1 埃萨尼,Furqan Hussain 1 方贤文 1 法比奥·加杜奇 1 安东尼奥·加门迪亚 1 何塞·路易斯·加里多 1 法布里奇奥·基诺维塞 1 霍尔格·吉斯 1 Glybovets',Mykola M。 1 安娜·果戈林斯卡 1 戈梅斯·马丁内斯,埃琳娜 1 克里斯蒂安·格雷斯 1 戴安娜·埃琳娜·格拉蒂 1 埃丝特·格拉 1 拉希德·哈吉杰 1 萨贾德·海德尔(Sajjad A.Haider)。 1 艾莉森·希思。 1 莫尼卡·海纳 1 穆斯塔法·赫拉吉 1 弗雷德里克·赫布雷托 1 赫塞尔·冯·莫洛,米尔科 1 赫洛莫兹达,D.K。 1 玛丽亚·V·赫尔塔多。 1 巴托斯·贾西乌尔 1 库尔特·延森 1 麦德斯·约翰森 1 豪尔赫·Jülvez 1 利迪亚·卡夫拉基。 1 Kim、Deok-Soo 1 Kjeldsen,Mads K。 1 码头Kleijn 1 阿尔芬斯·拉尔曼(Alfons W.Laarman)。 1 胡安·伊格纳西奥·拉托雷·贝尔 1 李炳勋 1 李静 1 托尔斯滕·利布克 1 刘菲 1 刘俊贤 1 马,燕 1 赫梅内吉尔达梅西 1 梅西亚斯、埃米利奥·吉梅内斯 …还有51位作者 全部的 前5名30篇连载文章中引用 4 计算机基础理论 三 控制论与系统分析 三 系统设计中的形式化方法 三 非线性分析。混合动力系统 三 程序设计中的逻辑和代数方法杂志 2 信息学报 2 编程和计算机软件 2 理论计算机科学 2 计算机程序设计科学 2 计算的形式方面 2 离散事件动态系统 1 数学物理评论 1 信息科学 1 实时系统 1 日本工业与应用数学杂志 1 骨髓间充质干细胞。计算机科学中的数学结构 1 欧洲运筹学杂志 1 控制科学档案 1 工程中的数学问题 1 摘要与应用分析 1 逻辑与代数程序设计杂志 1 逻辑程序设计理论与实践 1 应用数学杂志 1 医学中的计算和数学方法 1 计算机科学中的逻辑方法 1 算法 1 对称 1 亚洲控制杂志 1 计算机科学评论 1 Modelirovanie i Analiz信息系统 全部的 前5名11个领域引用 57 计算机科学(68至XX) 8 系统论;控制(93至XX) 7 运筹学、数学规划(90-XX) 4 范畴理论;同调代数(18-XX) 4 生物学和其他自然科学(92-XX) 三 数学逻辑和基础(03-XX) 1 组合数学(05-XX) 1 动力系统和遍历理论(37至XX) 1 概率论与随机过程(60-XX) 1 数值分析(65-XX) 1 博弈论、经济学、金融学以及其他社会和行为科学(91-XX) 按年份列出的引文