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

约翰·佩尼克斯

合著者距离
作者ID： 彭尼克斯·约翰“Penix，John”最近发表的zbMATH文章
发布日期： 约翰·佩尼克斯
已编制索引的文档： 1出版物自2005年以来
1作为编辑的贡献
合著者： 7合著者具有2联合出版物
108位合作作者
全部的 前5名

合著者

0 单作者的
2 威廉·维瑟
1 埃里克·恩斯特罗姆
1 克劳斯·哈维隆德
1 亚伦·拉尔森
1 Park，Seungjoon公园
1 Păsăreanu，科琳娜·s。
1 尼古拉斯·威宁格

系列

1 系统设计中的形式化方法
1 计算机科学课堂讲稿

领域

2 计算机科学（68至XX）
1 总体主题；集合（00-XX）

按年份列出的出版物

zbMATH Open中包含的引文

1出版物有被引用3中的次3文件 引用人▼ 年份▼
验证DEOS调度内核中的时间分区。 Zbl 1083.68575号
约翰·佩尼克斯；威廉·维瑟；SeungJoon公园；科琳娜·帕萨雷努；埃里克·恩斯特罗姆；亚伦·拉尔森；尼古拉斯·威宁格
三
2005
验证DEOS调度内核中的时间分区。 Zbl 1083.68575号
约翰·佩尼克斯；威廉·维瑟；SeungJoon公园；科琳娜·帕萨雷努；埃里克·恩斯特罗姆；亚伦·拉尔森；尼古拉斯·威宁格
三
2005
全部的 前5名

11位作者引用

1 奥斯马·马奇·多斯桑托斯
1 埃里克·恩斯特罗姆
1 帕特丽斯·戈德弗里德
1 亚伦·拉尔森
1 Park，Seungjoon公园
1 Păsăreanu，科琳娜·s。
1 约翰·佩尼克斯
1 塞·库什克
1 威廉·维瑟
1 尼古拉斯·威宁格
1 Wellings，安迪

2篇连载文章中引用

1 实时系统
1 系统设计中的形式化方法

在1个字段中引用

三 计算机科学（68至XX）

按年份列出的引文