编辑配置文件（在新选项卡中打开） 亚历山大·纳普 合著者距离 作者ID： 夹竹桃 发布方式： 亚历山大·纳普 已编制索引的文档： 30份出版物自2001年以来，包括1本书 1名编辑贡献·1进一步贡献 合著者： 25位合著者具有30联合出版物 420位合作作者 全部的 前5名合著者 1 单作者的 8 罗尔夫·亨尼克 8 马丁·威尔辛 5 维多利亚州玛丽亚·桑加尔 4 亚历山大·马德拉 4 蒂尔·莫萨科夫斯基 4 马库斯·罗根巴赫 三 斯蒂芬·默兹 2 杰里特·安德斯 2 沃尔夫冈·雷夫 2 亚历山大·希恩多夫 1 西蒙娜塔·巴萨莫 1 萨德克·本萨勒姆 1 沃尔夫冈·比贝尔 1 海因兹·迪特·Böcker 1 哈罗德·博利 1 阿图尔·博罗纳特 1 彼得罗·森恰雷利 1 德雷施勒，L。 1 诺伯特·艾辛格 1 乔根·福思（Joergen P.Foith）。 1 克里斯托弗·哈贝尔 1 阿克塞尔·哈贝梅耶 1 莫里茨·哈默 1 汉斯·沃纳·海因 1 克劳斯·马丁·霍尔宁 1 君特霍农 1 菲利普·詹姆斯 1 Knapp，美国。 1 幸运，K.v。 1 亨氏马伯格 1 何塞·梅塞盖尔·瓜伊塔 1 费利克斯·明德 1 卡萨琳娜·莫里克 1 汉斯·赫尔穆特·纳格尔 1 汉斯·约阿希姆·诺瓦克 1 沃尔特·奥尔特霍夫 1 伯尔尼Owsnicki 1 沃尔夫冈·波拉克 1 B.普雷施纳。 1 拉迪格，W。 1 彼得·劳列夫斯 1 克劳斯·雷纳罗林格 1 托拜厄斯·罗森伯格 1 彼得·舍夫 1 埃利奥诺拉·西比里奥 1 希本巴赫，H。 1 弗洛里安·西弗特 1 谢克曼，Jörg H。 1 格特·斯莫尔卡 1 詹·菲利普·斯特格费尔 1 彼得·萨博 1 安德烈·塔莱基 1 沃尔夫冈·沃尔斯特 1 朱利亚·扎佩 全部的 前5名系列 2 理论计算机科学 2 计算的形式方面 2 程序设计中的逻辑和代数方法杂志 1 信息学报 1 约束条件 1 IGPL逻辑杂志 1 信息-Fachberichte 1 计算机科学课堂讲稿 全部的 前5名领域 31 计算机科学（68至XX） 6 数学逻辑和基础（03-XX） 三 一般性和全局性主题；集合（00-XX） 1 范畴理论；同调代数（18-XX） 1 运筹学、数学规划（90-XX） 1 系统论；控制（93至XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 20出版物有被引用83中的次54文件 引用人▼ 年份▼ 面向对象软件工程的形式化方法。 Zbl 1001.68024号 马丁·威尔辛;亚历山大·纳普 14 2002 什么是多模型语言？ Zbl 1253.68225号 阿图尔·博罗纳特;亚历山大·纳普;何塞·梅塞盖尔;马丁·威尔辛 13 2009 UML语义的异构方法。 Zbl 1143.68373号 维多利亚州玛丽亚·桑加尔;亚历山大·纳普;安德烈·塔莱基;马丁·威尔辛 9 2008 通信安全组件的模态接口理论。 Zbl 1350.68182号 罗尔夫·亨尼克;亚历山大·纳普 6 2011 MTLA和移动UML中移动系统的规范和细化。 Zbl 1086.68016号 亚历山大·纳普;斯蒂芬·默兹;马丁·威尔辛;朱利亚·扎佩 5 2006 真正的在线LTL模型检查。 Zbl 1087.68591号 莫里茨·哈默;亚历山大·纳普;斯蒂芬·默兹 5 2005 设计特定领域的语言–工匠使用的铁路领域方法容器. Zbl 1394.68239号 菲利普·詹姆斯;亚历山大·克纳普;蒂尔·莫萨科夫斯基;马库斯·罗根巴赫 4 2013 Java内存模型：操作性、指称性、公理性。 Zbl 1187.68114号 彼得罗·森恰雷利;亚历山大·克纳普;埃利奥诺拉·西比里奥 三 2007 从界面理论转向组装理论。 Zbl 1309.68047号 罗尔夫·亨尼克;亚历山大·纳普 三 2015 定性软约束的部分估值结构。 Zbl 1453.68157号 亚历山大·希恩多夫;亚历山大·纳普;詹·菲利普·斯特格费尔;杰里特·安德斯;弗洛里安·西弗特;沃尔夫冈·雷夫 三 2015 UML中的多视图一致性：一项调查。 Zbl 1383.68024号 亚历山大·纳普;蒂尔·莫萨科夫斯基 三 2018 GPU的SIMT执行模型的正确性。 Zbl 1352.68028号 阿克塞尔·哈贝梅耶;亚历山大·纳普 2 2012 类OCL表达语言机构。 Zbl 1453.68106号 亚历山大·纳普;维多利亚州玛丽亚·桑加尔 2 2015 面向UML中异构正式开发的机构框架——一份立场文件。 Zbl 1453.68107号 亚历山大·纳普;蒂尔·莫萨科夫斯基;马库斯·罗根巴赫 2 2015 通信安全组件系统的组装理论。 Zbl 1310.68057号 罗尔夫·亨尼克;亚历山大·纳普;马丁·威尔辛 2 2014 UML交互满足状态机——一种机构方法。 Zbl 1433.68097号 亚历山大·纳普;蒂尔·莫萨科夫斯基 2 2017 基于事件/数据的系统的混合动态逻辑。 兹比尔1524.68192 罗尔夫·亨尼克;亚历山大·马德拉;亚历山大·纳普 2 2019 基于事件/数据的系统的混合动态逻辑机构。 Zbl 1522.68322号 罗尔夫·亨尼克;亚历山大·纳普;亚历山大·马德拉 1 2021 具有绑定器和静默转换的动态逻辑的行为和抽象规范。 Zbl 1496.03133号 罗尔夫·亨尼克;亚历山大·纳普;亚历山大·马德拉;费利克斯·明特 1 2020 MiniBrass：MiniZin的软约束。 Zbl 1430.90525号 亚历山大·希恩多夫;亚历山大·纳普;杰里特·安德斯;沃尔夫冈·雷夫 1 2018 基于事件/数据的系统的混合动态逻辑机构。 Zbl 1522.68322号 罗尔夫·亨尼克;亚历山大·纳普;亚历山大·马德拉 1 2021 带有绑定器和静默转换的动态逻辑的行为和抽象规范。 Zbl 1496.03133号 罗尔夫·亨尼克;亚历山大·纳普;亚历山大·马德拉;费利克斯·明德 1 2020 基于事件/数据的系统的混合动态逻辑。 Zbl 1524.68192号 罗尔夫·亨尼克;亚历山大·马德拉;亚历山大·纳普 2 2019 UML中的多视图一致性：一项调查。 Zbl 1383.68024号 亚历山大·纳普;蒂尔·莫萨科夫斯基 三 2018 MiniBrass：MiniZin的软约束。 Zbl 1430.90525号 亚历山大·希恩多夫;亚历山大·纳普;杰里特·安德斯;沃尔夫冈·雷夫 1 2018 UML交互满足状态机——一种机构方法。 Zbl 1433.68097号 亚历山大·纳普;蒂尔·莫萨科夫斯基 2 2017 从界面理论转向组装理论。 Zbl 1309.68047号 罗尔夫·亨尼克;亚历山大·纳普 三 2015 定性软约束的部分估值结构。 Zbl 1453.68157号 亚历山大·希恩多夫;亚历山大·纳普;斯特弗，扬·菲利普;杰里特·安德斯;弗洛里安·西弗特;沃尔夫冈·雷夫 三 2015 类似OCL的表达语言的机构。 Zbl 1453.68106号 亚历山大·纳普;玛丽亚·维多利亚·森加勒 2 2015 面向UML中异构正式开发的机构框架——一份立场文件。 Zbl 1453.68107号 亚历山大·纳普;蒂尔·莫萨科夫斯基;马库斯·罗根巴赫 2 2015 通信安全组件系统的组装理论。 Zbl 1310.68057号 罗尔夫·亨尼克;亚历山大·纳普;马丁·威尔辛 2 2014 设计特定领域的语言–使用Casl公司. Zbl 1394.68239号 菲利普·詹姆斯;亚历山大·纳普;蒂尔·莫萨科夫斯基;马库斯·罗根巴赫 4 2013 GPU的SIMT执行模型的正确性。 Zbl 1352.68028号 阿克塞尔·哈贝梅耶;亚历山大·纳普 2 2012 通信安全组件的模态接口理论。 Zbl 1350.68182号 罗尔夫·亨尼克;亚历山大·纳普 6 2011 什么是多模型语言？ Zbl 1253.68225号 阿图尔·博罗纳特;亚历山大·纳普;何塞·梅塞盖尔;马丁·威尔辛 13 2009 UML语义的异构方法。 Zbl 1143.68373号 维多利亚州玛丽亚·桑加尔;亚历山大·纳普;安德烈·塔莱基;马丁·威尔辛 9 2008 Java内存模型：操作性、指称性、公理性。 Zbl 1187.68114号 彼得罗·森恰雷利;亚历山大·纳普;埃利奥诺拉·西比里奥 三 2007 MTLA和移动UML中移动系统的规范和细化。 Zbl 1086.68016号 亚历山大·克纳普;斯蒂芬·默兹;马丁·威尔辛;朱利亚·扎佩 5 2006 真正的实时LTL模型检查。 Zbl 1087.68591号 莫里茨·哈默;亚历山大·克纳普;斯蒂芬·默兹 5 2005 面向对象软件工程的形式化方法。 Zbl 1001.68024号 马丁·威尔辛;亚历山大·纳普 14 2002 所有引用出版物 前5名被引用出版物 全部的 前5名108位作者引用 10 亚历山大·纳普 8 罗尔夫·亨尼克 7 何塞·梅塞盖尔·瓜伊塔 5 蒂尔·莫萨科夫斯基 5 马丁·威尔辛 三 安娜贝拉·克拉尔 三 哈拉尔德·科尼格 三 马库斯·罗根巴赫 2 伦茨·贝尔兹纳 2 阿图尔·博罗纳特 2 维多利亚州玛丽亚·桑加尔 2 芬德里奇、萨沙 2 法比奥·加杜奇 2 约翰·格兰特。 2 Atsushi Igarashi 2 小岛贤介 2 Yngve拉莫 2 杰拉尔德·吕特根 2 马丁·奥列特，纳西索 2 弗朗切斯科·帕里西 2 格里高·罗什乌 2 阿德里安·鲁特尔 2 弗朗西斯科·桑蒂尼 2 帕特里克·Stünkel 2 安德烈·塔莱基 1 杰里特·安德斯 1 JiříBarnat 1 休伯特鲍迈斯特 1 格列布·贝洛夫 1 萨德克·本萨勒姆 1 达尼埃拉·贝拉迪 1 穆罕默德·贝塔兹 1 František，布拉胡德克 1 卢博什·布里姆 1 Bui，Thang H。 1 Busch，玛丽安 1 丹尼尔·卡莱加里 1 迭戈·卡尔瓦内斯 1 乔塞普·卡莫纳 1 陈文钦 1 陈玉芳 1 克劳迪娅·埃琳娜·奇里 1 吉尔勒米纳·克莱杜 1 米海·Codescu 1 托拜厄斯·科扎德纳 1 朱塞佩·德贾科莫 1 De Nicola，罗科 1 奇诺维·迪斯金 1 董金松 1 安东·法辛 1 冯新余 1 皮埃特罗·费拉拉 1 JoséLuiz Fiadeiro 1 玛丽亚·加西亚·德拉班达 1 克里斯托夫·加斯顿 1 Hölzl，Matthias M。 1 伊巴涅兹，雅兹明·安吉利卡 1 菲利普·詹姆斯 1 马蒂亚斯·克拉珀斯图克 1 码头Kleijn 1 诺拉·科赫 1 克里斯蒂安·克罗伊斯 1 奥利弗·库茨 1 马克·劳福德 1 帕斯卡尔·勒加尔 1 利奥，凯文 1 刘，杨 1 萨尔瓦多卢卡斯 1 罗、池建 1 亚历山大·马德拉 1 埃尔万·马埃 1 Juraj少校 1 穆拉德·毛奇 1 奥斯卡·马汀 1 Martinez、Maria Vanina 1 菲利普·迈耶 1 克里斯蒂安·莫里纳罗 1 彼得·莫塞斯（Peter D.Mosses）。 1 穆罕默德·莫斯特加内米 1 史蒂芬妮·纽伯特 1 费边·纽豪斯 1 新，Mark J。 1 阿尔伯特·奈梅耶 1 费尔南多·奥雷贾斯 1 庞、军 1 何塞·普伦萨 1 莱思·雷德 1 沃尔夫冈·雷夫 1 Ročkai，佩特 1 托拜厄斯·罗森伯格 1 唐纳德·桑内拉。 1 亚历山大·希恩多夫 1 安德烈亚斯·施罗德 1 伊兰凯科内Senthooran 1 司元杰 1 斯特雷切克，简 1 孙骏 1 诺拉·萨兹 1 ter Beek，Maurice H。 1 蔡明勋 …还有8位作者 全部的 前5名引用于16个系列 三 理论计算机科学 三 计算的形式方面 2 信息学报 2 约束条件 2 计算机科学前沿 2 程序设计中的逻辑和代数方法杂志 1 人工智能 1 信息处理信件 1 计算机程序设计科学 1 信息与计算 1 国际近似推理杂志 1 人工智能研究杂志 1 逻辑与代数程序设计杂志 1 逻辑程序设计理论与实践 1 ACM计算逻辑事务 1 计算机科学中的数学 全部的 前5名在6个字段中引用 52 计算机科学（68至XX） 13 数学逻辑和基础（03-XX） 2 历史与传记（01-XX） 2 范畴理论；同调代数（18-XX） 2 运筹学、数学规划（90-XX） 1 概率论与随机过程（60-XX） 按年份列出的引文