×
编辑配置文件（在新选项卡中打开）

亚罗斯拉夫·乌森科。

合著者距离
作者ID： 乌森科·亚罗斯拉夫“Usenko，Yaroslav S.”最近发表的zbMATH文章
发布日期： 亚罗斯拉夫·乌森科。;Usenko，Y.S。;亚罗斯拉夫乌森科
已编制索引的文档： 8出版物自2001年起
合著者： 12位合著者具有7联合出版物
237位合作作者
全部的 前5名

合著者

1 单一作者
4 Jan Friso，格鲁特
2 亚德·马蒂杰森
2 阿尔班·蓬塞
2 米歇尔·阿德里安·雷尼尔
2 Van Weerdenburg，Muck J。
1 Jan A.Bergstra。
1 威廉·扬·福克金
1 娜塔莉亚·尤斯蒂诺娃
1 恩斯特·凯塞勒
1 Middelburg，Cornelis A。
1 范德波尔，扬·科内利斯
1 Yuri A.Yushtein。

系列

1 信息处理信件
1 计算机程序设计科学
1 逻辑与代数程序设计杂志

领域

8 计算机科学（68至XX）

按年份列出的出版物

所有引用出版物 前5名被引用出版物

zbMATH Open中包含的引文

7出版物有被引用31中的次28文件 引用人▼ 年份▼
使用mCRL2分析分布式系统。 Zbl 1171.68400号
Jan Friso，格鲁特;亚德·马蒂杰森;米歇尔·雷尼尔斯（Michel A.Reniers）。;亚罗斯拉夫·乌森科。;蒙克·范·维尔登堡
11
2009
并行pCRL中的线性化。 Zbl 0988.68121号
格罗特，J.F。;A.Ponse。;Usenko，Y.S。
8
2001
离散时间过程代数和SDL的语义。 Zbl 1020.68063号
J.A.伯格斯特拉。;加利福尼亚州米德尔堡。;Usenko，Y.S。
4
2001
从\（\mu\）CRL到mCRL2：动机和大纲。 Zbl 1316.68094号
Jan Friso，格鲁特;亚德·马蒂杰森;蒙克·范·维尔登堡;亚罗斯拉夫乌森科
4
2006
进程代数中递归规范的等价性。 Zbl 1003.68088号
阿尔班·蓬塞;亚罗斯拉夫·乌森科。
2
2001
适用于飞行数据采集装置的改进和验证。 Zbl 1012.68828号
Wan Fokkink公司;娜塔莉亚·尤斯蒂诺娃;恩斯特·凯塞勒;范德波尔（Jaco van de Pol）;亚罗斯拉夫·乌森科。;Yuri A.Yushtein。
1
2002
HAVi领导人选举协议的状态空间生成。 Zbl 1004.68099号
亚罗斯拉夫·乌森科。
1
2002
使用mCRL2分析分布式系统。 Zbl 1171.68400号
Jan Friso，格鲁特;亚德·马蒂杰森;米歇尔·雷尼尔斯（Michel A.Reniers）。;雅罗斯拉夫·乌申科。;蒙克·范·维尔登堡
11
2009
从\（\mu\）CRL到mCRL2：动机和大纲。 Zbl 1316.68094号
Jan Friso，格鲁特;亚德·马蒂杰森;蒙克·范·维尔登堡;亚罗斯拉夫乌森科
4
2006
适用于飞行数据采集装置的改进和验证。 Zbl 1012.68828号
Wan Fokkink公司;娜塔莉亚·尤斯蒂诺娃;恩斯特·凯塞勒;范德波尔（Jaco van de Pol）;亚罗斯拉夫·乌森科。;Yuri A.Yushtein。
1
2002
HAVi领导人选举协议的状态空间生成。 Zbl 1004.68099号
亚罗斯拉夫·乌森科。
1
2002
并行pCRL中的线性化。 Zbl 0988.68121号
J.F.格罗特。;A.Ponse。;Usenko，Y.S。
8
2001
离散时间进程代数和SDL的语义。 Zbl 1020.68063号
J.A.伯格斯特拉。;加利福尼亚州米德尔堡。;Usenko，Y.S。
4
2001
进程代数中递归规范的等价性。 Zbl 1003.68088号
阿尔班·蓬塞;亚罗斯拉夫·乌森科。
2
2001
所有引用出版物 前5名被引用出版物
全部的 前5名

50位作者引用

5 科内利斯·A·米德尔堡。
4 Jan A.Bergstra。
4 威廉·扬·福克金
4 Jan Friso，格鲁特
4 范德波尔，扬·科内利斯
三 米歇尔·阿德里安·雷尼尔
2 埃里克·P·德文克。
2 休伯特·加拉维
2 C.A.R.Tony Hoare
2 伯恩哈德·莫勒
2 庞、军
2 阿尔班·蓬塞
2 马尔詹·西尔贾尼
2 乔治·斯特鲁斯
2 亚罗斯拉夫·乌森科。
2 伊恩·卫尔曼
1 卢卡·埃特罗
1 苏珊娜·安多瓦
1 法哈德·阿尔巴
1 Jos C.M.Baeten。
1 博特尼克，E。
1 斯乔德·克兰恩
1 Cuijpers、Pieter J.L。
1 弗朗西斯科·杜兰
1 鲁克·格罗内韦根（Luuk P.J.Groenewegen）。
1 罗格·霍夫曼
1 侯赛因·霍贾特
1 Anna Ingólfsdóttir
1 纳塔莉亚·科卡什
1 克里斯蒂安·克劳斯
1 弗雷德里克·朗
1 巴斯·卢提克
1 穆罕默德·穆萨维
1 梅里姆·乌代尔尼
1 贝斯·普洛格
1 巴赫曼·普瓦坦
1 雅各布斯·E·罗达。
1 哈米德·萨布里
1 Salaün，格温
1 斯普林菲尔德，一月
1 斯坦珀斯，弗兰克·P·M。
1 马克·蒂默
1 尼古拉·特里卡
1 米盖尔·瓦莱罗·埃斯帕达
1 范·德·莫特尔·弗朗恰克（van de Mortel-Fronczak），乔安娜·M·。
1 范登·布兰德。
1 罗纳德·维尔德马。
1 韦塞林克，J.W。
1 安东·威伊斯（Anton J.Wijs）。
1 Tim A.C.Willemse。
全部的 前5名

9连载

7 逻辑与代数程序设计杂志
4 计算机程序设计科学
三 信息与计算
2 理论计算机科学
2 系统设计中的形式化方法
1 信息学学报
1 信息处理信件
1 计算系统理论
1 程序设计中的逻辑和代数方法杂志

在4个字段中引用

28 计算机科学（68至XX）
2 数学逻辑和基础（03-XX）
1 运筹学、数学规划（90-XX）
1 博弈论、经济学、金融和其他社会和行为科学（91-XX）

按年份列出的引文