编辑配置文件（在新选项卡中打开） 瑟伦·德博伊斯 合著者距离 作者ID： 德比斯·索伦 发布日期： 瑟伦·德博伊斯;德博伊斯，S。 外部链接： MGP公司 已编制索引的文档： 11出版物自2006年起 合著者： 9合著者具有10联合出版物 181位合作作者 全部的 前5名合著者 1 单作者的 8 托马斯·希尔德布兰特。 5 斯莱亚特，蒂杰斯 三 拉尔斯·比克达尔 2 马尔科·卡博尼 2 雨果·A·洛佩兹。 1 E.埃尔斯堡。 1 马德森，马德斯·弗雷德里克 1 Niss，H。 1 吉田、Nobuko 系列 1 信息学报 1 高阶和符号计算 1 计算机科学中的逻辑方法 领域 11 计算机科学（68至XX） 1 运筹学、数学规划（90-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 7出版物有被引用30次24文件 引用人▼ 年份▼ 具有动态子进程的模块化进程软件信息系统的安全性、活性和运行时优化。 Zbl 1427.68188号 瑟伦·德博伊斯;托马斯·希尔德布兰特;斯莱亚特，蒂杰斯 9 2015 web服务中结构化通信进度的图形方法。 Zbl 1455.68119号 马尔科·卡博尼;瑟伦·德博伊斯 8 2010 上下文软件系统的双图形模型。 Zbl 1180.68187号 伯克达尔。;德博伊斯，S。;E.埃尔斯堡。;希尔德布兰特，T。;Niss，H。 4 2006 反应系统的分类。 Zbl 1151.68506号 拉尔斯·比克达尔;瑟伦·德博伊斯;托马斯·希尔德布兰特 三 2006 通过仪器化解释器专业化进行必要的程序转换。 Zbl 1176.68103号 瑟伦·德博伊斯 2 2008 具有有界和无界递归的协作过程的类型检查活性。 Zbl 1448.68338号 瑟伦·德博伊斯;托马斯·希尔德布兰特;斯莱亚特，蒂杰斯;吉田、Nobuko 2 2016 复制、细化和可达性：动态条件响应图的复杂性。 Zbl 1398.68094号 瑟伦·德博伊斯;托马斯·希尔德布兰特。;斯莱亚特，蒂杰斯 2 2018 复制、细化和可达性：动态条件响应图的复杂性。 Zbl 1398.68094号 瑟伦·德博伊斯;托马斯·希尔德布兰特。;斯莱亚特，蒂杰斯 2 2018 具有有界和无界递归的协作过程的类型检查活性。 Zbl 1448.68338号 瑟伦·德博伊斯;托马斯·希尔德布兰特;斯莱亚特，蒂杰斯;吉田、Nobuko 2 2016 具有动态子进程的模块化进程软件信息系统的安全性、活性和运行时优化。 Zbl 1427.68188号 瑟伦·德博伊斯;托马斯·希尔德布兰特;斯莱亚特，蒂杰斯 9 2015 web服务中结构化通信进度的图形方法。 Zbl 1455.68119号 马尔科·卡博尼;瑟伦·德博伊斯 8 2010 通过仪器化解释器专业化进行必要的程序转换。 Zbl 1176.68103号 瑟伦·德博伊斯 2 2008 上下文软件系统的双图形模型。 兹比尔1180.68187 伯克达尔，L。;德博伊斯，S。;E.埃尔斯堡。;希尔德布兰特，T。;Niss，H。 4 2006 反应系统的分类。 Zbl 1151.68506号 拉尔斯·比克达尔;瑟伦·德博伊斯;托马斯·希尔德布兰特 三 2006 所有引用出版物 前5名被引用出版物 全部的 前5名38位作者引用 5 奥尔内拉·达达 5 托马斯·希尔德布兰特。 4 瑟伦·德博伊斯 4 阿德里安·弗兰卡兰扎 4 斯莱亚特，蒂杰斯 三 温·科克 三 米尔纳，罗宾 三 佩雷斯（Jorge A.Pérez）。 2 卢卡·埃特罗 2 拉尔斯·比克达尔 2 马尔科·卡博尼 2 特洛伊尔斯·克里斯托弗·丹加德 2 阿恩·约翰·格伦斯特鲁普 2 罗伯特·格莱克 2 Anna Ingólfsdóttir 2 雨果·A·洛佩兹。 1 安东尼斯·阿奇利奥斯 1 多伊纳·布库尔 1 Cassar，伊恩 1 伊利亚州卡斯特拉尼 1 安东尼奥·考伊 1 Dezani Ciancaglini，马里亚焦拉 1 西蒙·福勒 1 保拉·吉安尼尼 1 罗斯·霍恩 1 Juan C.Jaramillo。 1 克里斯蒂安·约翰森 1 克雅坦松，Svarrn 1 萨姆·林德利 1 法布里西奥·蒙泰西 1 J.Garrett莫里斯 1 尼尔森，莫根斯 1 Håkon诺曼 1 卡洛斯·阿尔贝托，拉米雷斯·雷斯特雷波 1 卡斯滕·舒尔曼 1 法国Siewe 1 吉田、Nobuko 1 侯赛因·泽丹 全部的 前5名9连载 4 程序设计中的逻辑和代数方法杂志 三 信息学报 2 计算机科学中的逻辑方法 1 信息处理信件 1 计算机与系统科学杂志 1 理论计算机科学 1 信息与计算 1 计算的形式方面 1 高阶和符号计算 在5个字段中引用 24 计算机科学（68至XX） 6 数学逻辑和基础（03-XX） 2 组合数学（05-XX） 1 范畴理论；同调代数（18-XX） 1 运筹学、数学规划（90-XX） 按年份列出的引文