编辑配置文件(在新选项卡中打开) 瓦尔登,玛丽娜 合著者距离 作者ID: 瓦尔登·马利纳 发布日期: 瓦尔登,玛丽娜;瓦尔登,M。 已编制索引的文档: 9出版物自1999年起 4作为编辑的贡献 合著者: 11位合著者具有12联合出版物 99位合作作者 全部的 前5名合著者 1 单作者的 6 塞雷,凯萨 三 博斯特罗姆,蓬图斯 三 路易吉亚·皮特 1 迪迪埃·伯特 1 乔纳森·鲍文(Jonathan P.Bowen)。 1 弗雷德里克·德格隆德 1 Steve F.金。 1 莱昂内尔·莫雷尔 1 普洛西拉,朱哈 1 Elena A.Troubitsyna。 1 利奥尼达斯·齐奥普洛斯 全部的 前5名系列 4 北欧计算机杂志 三 计算的形式方面 1 计算机程序设计科学 1 逻辑与代数程序设计杂志 1 计算机科学课堂讲稿 1 程序设计中的逻辑和代数方法杂志 字段 12 计算机科学(68-XX) 4 总体主题;集合(00-XX) 2 系统论;控制(93至XX) 1 历史和传记(01-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的出版物 所有引用出版物 排名前五的出版物 zbMATH Open中包含的引文 7出版物有被引用18中的次9文件 引用人▼ 年份▼ 异步系统综合。 Zbl 1075.68618号 普洛西拉,J。;塞雷,K。;瓦尔登,M。 4 2005 通过Event-B模型的逐步调度导出并发程序。 Zbl 1342.68056号 博斯特罗姆,蓬图斯;弗雷德里克·德格隆德;塞雷,凯萨;瓦尔登,玛丽娜 4 2014 远程过程的数据优化。 Zbl 0972.68013号 塞雷,凯萨;瓦尔登,玛丽娜 三 2000 使用精化演算框架逐步开发Simulink模型。 Zbl 1147.68826号 博斯特罗姆,蓬图斯;莱昂内尔·莫雷尔;瓦尔登,玛丽娜 三 2007 ZB 2003:Z和B的正式规范和开发。第三届B和Z用户国际会议,芬兰图尔库,2003年6月4-6日。诉讼程序。 1020.00016兹罗提 2 2003 分布式计算的拓扑方法。 Zbl 0966.68011号 路易吉亚·皮特;塞雷,凯萨;瓦尔登,玛丽娜 1 1999 构建和验证分布式算法。 Zbl 0985.68091号 塞雷,凯萨;瓦尔登,玛丽娜 1 2001 通过逐步调度Event-B模型来派生并发程序。 Zbl 1342.68056号 博斯特罗姆,蓬图斯;弗雷德里克·德格隆德;塞雷,凯萨;瓦尔登,玛丽娜 4 2014 使用精化演算框架逐步开发Simulink模型。 Zbl 1147.68826号 博斯特罗姆,蓬图斯;莱昂内尔·莫雷尔;瓦尔登,玛丽娜 三 2007 异步系统综合。 Zbl 1075.68618号 普洛西拉,J。;塞雷,K。;瓦尔登,M。 4 2005 ZB 2003:Z和B的正式规范和开发。第三次B和Z用户国际会议,芬兰图尔库,2003年6月4日至6日。诉讼程序。 1020.00016兹罗提 2 2003 构建和验证分布式算法。 Zbl 0985.68091号 塞雷,凯萨;瓦尔登,玛丽娜 1 2001 远程过程的数据优化。 Zbl 0972.68013号 塞雷,凯萨;瓦尔登,玛丽娜 三 2000 分布式计算的拓扑方法。 Zbl 0966.68011号 路易吉亚·皮特;塞雷,凯萨;瓦尔登,玛丽娜 1 1999 所有引用出版物 排名前五的出版物 全部的 前5名23位作者引用 2 安娜·卡瓦尔坎蒂 2 瓦尔登,玛丽娜 1 博斯特罗姆,蓬图斯 1 克莱顿,菲尔 1 马克西米利亚诺·克里斯蒂亚 1 吉多·德卢卡 1 弗雷德里克·德格隆德 1 德意志,摩什 1 艾维洛·多布里科夫 1 马丁·亨森。 1 Michael Leuschel先生 1 刘志明 1 卡洛斯·卢纳 1 亚历山大·莫塔。 1 科林·奥哈洛兰 1 路易吉亚·皮特 1 埃米尔·塞克林斯基 1 塞雷,凯萨 1 孙权 1 Elena A.Troubitsyna。 1 王超 1 詹姆斯·C·P·伍德科克。 1 张伟 3篇连载文章中引用 5 计算的形式方面 1 理论计算机科学 1 自动推理杂志 在3个字段中引用 9 计算机科学(68-XX) 1 历史和传记(01-XX) 1 系统论;控制(93至XX) 按年份列出的引文