编辑配置文件(在新选项卡中打开) 托马斯·梅隆德 合著者距离 作者ID: 邮寄.托马斯 发布日期: 托马斯·梅隆德 外部链接: ORCID公司 已编制索引的文档: 13出版物自2001年以来,包括2本书 合著者: 13合著者具有10联合出版物 197位合作作者 全部的 前5名合著者 三 单作者的 5 克里斯滕森,拉尔斯·迈克尔 2 索伦·克里斯滕森 2 佩德森(Christian N.S.Pedersen)。 2 迈克尔·韦斯特加德 1 安徒生、拉尔斯·诺旺 1 克里斯蒂安森 1 罗尔夫·法格伯格 1 安德斯·霍勒格尔(Anders E.Halager)。 1 阿斯格·霍博尔特 1 库尔特·延森 1 马丁·兰德斯 1 安德烈亚斯·桑德 1 格思·斯特林特·布罗达尔 系列 1 数学生物学杂志 1 理论计算机科学 领域 12 计算机科学(68至XX) 三 统计学(62-XX) 三 生物学和其他自然科学(92-XX) 2 组合数学(05-XX) 1 概率论与随机过程(60-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 8出版物有被引用22中的次16文件 引用人▼ 年份▼ 计算任意度树之间三元组和四元组距离的有效算法。 Zbl 1422.68337号 格思·斯特林特·布罗达尔;罗尔夫·法格伯格;托马斯·梅伦德;佩德森(Christian N.S.Pedersen)。;安德烈亚斯·桑德 8 2013 状态空间探索的扫线方法。 Zbl 0978.68547号 瑟伦·克里斯滕森;克里斯滕森,拉尔斯·迈克尔;托马斯·梅隆德 5 2001 使用扫描线方法获得内存有效可达图表示。 Zbl 1126.68506号 托马斯·梅伦德;迈克尔·韦斯特加德 2 2004 定时Petri网的压缩状态空间。 Zbl 0986.68076号 瑟伦·克里斯滕森;克里斯滕森,拉尔斯·迈克尔;托马斯·梅隆德 2 2001 IM模型中的高效计算。 Zbl 1284.92062号 安徒生、拉尔斯·诺旺;托马斯·梅隆德;阿斯格·霍博尔特 2 2014 结合等价约简和扫线法分析无限状态系统。 Zbl 1047.68609号 托马斯·梅隆德 1 2002 安全特性的广义扫线法。 兹比尔1064.68553 克里斯滕森,拉尔斯·迈克尔;托马斯·梅隆德 1 2002 一种合成扫描线状态空间探索方法。 Zbl 1037.68515号 克里斯滕森,拉尔斯·迈克尔;托马斯·梅隆德 1 2002 IM模型中的高效计算。 Zbl 1284.92062号 安徒生、拉尔斯·诺旺;托马斯·梅隆德;阿斯格·霍博尔特 2 2014 计算任意度树之间三元组和四元组距离的有效算法。 Zbl 1422.68337号 格思·斯特林特·布罗达尔;罗尔夫·法格伯格;托马斯·梅隆德;佩德森(Christian N.S.Pedersen)。;安德烈亚斯·桑德 8 2013 使用扫描线方法获得存储器有效可达性图表示。 Zbl 1126.68506号 托马斯·梅隆德;迈克尔·韦斯特加德 2 2004 结合等价约简和扫线法分析无限状态系统。 Zbl 1047.68609号 托马斯·梅隆德 1 2002 安全特性的广义扫线法。 Zbl 1064.68553号 克里斯滕森,拉尔斯·迈克尔;托马斯·梅伦德 1 2002 一种合成扫描线状态空间探索方法。 兹比尔1037.68515 克里斯滕森,拉尔斯·迈克尔;托马斯·梅隆德 1 2002 状态空间探索的扫线方法。 Zbl 0978.68547号 瑟伦·克里斯滕森;克里斯滕森,拉尔斯·迈克尔;托马斯·梅隆德 5 2001 定时Petri网的压缩状态空间。 Zbl 0986.68076号 瑟伦·克里斯滕森;克里斯滕森,拉尔斯·迈克尔;托马斯·梅隆德 2 2001 所有引用出版物 前5名被引用出版物 全部的 前5名32位作者引用 5 杰斯珀·詹森 5 Mampentzidis、Konstantinos 2 桑迪亚,T.P。 2 格思·斯特林特·布罗达尔 1 Bäck,Thomas H.W。 1 哈尼法·布切内布 1 布兰德,塞巴斯蒂安 1 劳伦斯·M·L·钟。 1 鲁伊·J·科斯塔。 1 M.Torabi Dashti 1 何塞·路易斯·加里多 1 拉希德·哈吉吉 1 María V.Hurtado。 1 库尔特·延森 1 Kim、Deok-Soo 1 克里斯滕森,拉尔斯·迈克尔 1 熊谷诚司 1 阿尔芬斯·拉尔曼(Alfons W.Laarman)。 1 李炳勋 1 李永利 1 安德烈·林加 1 法布里奇奥·玛丽亚·马吉 1 托马斯·梅隆德 1 曼努埃尔·诺格拉 1 拉梅什·拉贾比 1 玛丽亚·路易莎·罗德里格斯 1 高基町杉原 1 宋永健 1 Marcy K.Uyenoyama。 1 迈克尔·韦斯特加德 1 安东·威伊斯(Anton J.Wijs)。 1 威尔金森·赫伯特,希尔德·M·。 全部的 前5名9篇连载文章中引用 2 理论计算机科学 2 理论种群生物学 1 计算机程序设计科学 1 算法 1 信息与计算 1 日本工业与应用数学杂志 1 逻辑与代数程序设计杂志 1 ACM实验算法杂志 1 离散算法杂志 在4个字段中引用 14 计算机科学(68至XX) 7 生物学和其他自然科学(92-XX) 三 组合数学(05-XX) 2 运筹学、数学规划(90-XX) 按年份列出的引文