彼得罗·鲁德尼基
人员信息
优化列表
2010 – 2019
2013 [公元20年] 亚当·圣阿尔诺 , 彼得罗·鲁德尼基 :
Sorgenfrey线和Sorgenferey平面的一些性质。 福尔马利兹。 数学。 21 ( 2 ) : 83-85 ( 2013 ) [公元19年] 约瑟夫·乌尔班 , 彼得罗·鲁德尼基 , 杰夫·萨特克利夫 :
Mizar形式化的ATP和演示服务。 J.汽车。 原因。 50 ( 2 ) : 229-241 ( 2013 ) 2012 [公元18年] 彼得罗·鲁德尼基 , 洛娜·斯图尔特 :
作为简单复数的简单图:图的Mycielskian。 福尔马利兹。 数学。 20 ( 2 ) : 161-174 ( 2012 ) 2011 [公元17年] 彼得罗·鲁德尼基 , 洛娜·斯图尔特 :
图中的迈基尔斯基。 福尔马利兹。 数学。 19 ( 1 ) : 27-34 ( 2011 ) [第14条] 杰西·阿拉玛 , 迈克尔·科尔哈斯 , 莱昂内尔·马马尼 , 亚当·诺莫维奇 , 彼得罗·鲁德尼基 , 约瑟夫·乌尔班 :
授权Mizar数学库。 结石/MKM 2011 : 149-163 [第13条] 彼得罗·鲁德尼基 , 约瑟夫·乌尔班 :
为Mizar逃往ATP。 PxTP公司 2011 : 46-59 [i3] 杰西·阿拉玛 , 迈克尔·科尔哈斯 , 亚当·诺莫维奇 , 彼得罗·鲁德尼基 , 约瑟夫·乌尔班 , 莱昂内尔·马曼 :
Mizar数学图书馆授权。 CoRR公司 abs/1107.3212 ( 2011 ) [i2] 约瑟夫·乌尔班 , 彼得罗·鲁德尼基 , 杰夫·萨特克利夫 :
Mizar形式化的ATP和演示服务。 CoRR公司 abs/1109.0616 ( 2011 ) 2010 [第12条] 约瑟夫·乌尔班 , 杰西·阿拉玛 , 彼得罗·鲁德尼基 , 赫尔曼·盖弗斯 :
Mizar的Wiki:动机、考虑因素和初始原型。 AISC/MKM/结石 2010 : 455-469 [第11条] 辛莉(Xin Li) , H.詹姆斯·胡佛 , 彼得罗·鲁德尼基 :
Java程序的API一致性验证。 ICFEM公司 2010 : 188-203 [i1] 约瑟夫·乌尔班 , 杰西·阿拉玛 , 彼得·鲁德尼基 , 赫尔曼·盖弗斯 :
Mizar的Wiki:动机、考虑因素和初始原型。 CoRR公司 abs/1005.4552 ( 2010 )
2000 – 2009
2009 [公元16年] 彼得罗·鲁德尼基 :
Dilworth的偏序集分解定理。 福尔马利兹。 数学。 17 ( 1-4 ) : 223-232 ( 2009 ) 2008 [j15] 杰西卡·恩赖特 , 彼得罗·鲁德尼基 :
子树的Helly属性。 福尔马利兹。 数学。 16 ( 1-4 ) : 91-96 ( 2008 ) [电子2] 彼得罗·鲁德尼基 , 杰夫·萨特克利夫 , 波利斯·寇涅夫 , 雷娜特·施密特 , 斯蒂芬·舒尔茨 :
2008年11月22日,卡塔尔多哈,LPAR 2008年研讨会会议记录,《知识交流:自动证明人和证明助理》,以及第七届物流实施国际研讨会。 CEUR研讨会记录 418, CEUR-WS.org公司 2008 [目录] 2007 [c10] 李国华 , 彼得罗·鲁德尼基 :
米扎尔的替代骨料。 结石/MKM 2007 : 327-341 2006 【c9】 辛莉(Xin Li) , H.詹姆斯·胡佛 , 彼得罗·鲁德尼基 :
走向自动例外安全验证。 FM公司 2006 : 396-411 2004 【c8】 大庆侯 , H.詹姆斯·胡佛 , 彼得罗·鲁德尼基 :
使用FCL指定框架约束。 CASCON公司 2004 : 96-110 【c7】 大庆侯 , H.詹姆斯·胡佛 , 彼得罗·鲁德尼基 :
用FCL指定德米特定律和C++编程指南。 SCAM公司 2004 : 119-127 2003 [公元14年] 彼得罗·鲁德尼基 , 格哈德·沃金格(Gerhard J.Woeginger) :
一元字母表上的后对应问题。 申请。 数学。 莱特。 16 ( 5 ) : 723-727 ( 2003 ) 【c6】 格拉泽戈兹·班塞雷克 , 彼得罗·鲁德尼基 :
MML中的信息检索。 MKM公司 2003 : 119-132 【c5】 彼得·鲁德尼基 , 安德烈·特雷布利克 :
形式化数学知识库的完整性。 MKM公司 2003 : 162-174 2002 [j13] 格拉泽戈兹·班塞雷克 , 彼得罗·鲁德尼基 :
MIZAR中的连续格简编。 J.汽车。 原因。 29 ( 3-4 ) : 189-224 ( 2002 ) 2001 [公元12年] 彼得罗·鲁德尼基 , 克里斯托夫·施瓦茨韦勒 , 安德烈·特雷布利克 :
Mizar系统中的交换代数。 J.塞姆。 计算。 32 ( 1/2 ) : 143-169 ( 2001 )
1990 – 1999
1999 [公元11年] 彼得罗·鲁德尼基 , 安德烈·特雷布利克 :
论基础良好的等价物。 J.汽车。 原因。 23 ( 3-4 ) : 197-234 ( 1999 ) 1996 [公元10年] H.詹姆斯·胡佛 , 彼得罗·鲁德尼基 :
读/写原子性下单循环网络的一致自稳定定向。 别致。 J.西奥。 计算。 科学。 1996 ( 1996 ) 1993 [公元9年] Wlodzimierz Dobosiewicz公司 , 巴维尔·巴津斯基(Pawel Gburzynski) , 彼得罗·鲁德尼基 :
高速总线局域网的两种碰撞协议。 计算。 网络ISDN系统。 25 ( 11 ) : 1205-1225 ( 1993 ) 1991 [j8] Wlodek Dobosiewicz公司 , 巴维尔·巴津斯基(Pawel Gburzynski) , 彼得罗·鲁德尼基 :
总线网络配置的动态识别。 计算。 Commun公司。 14 ( 4 ) : 216-222 ( 1991 ) [j7] 巴维尔·巴津斯基(Pawel Gburzynski) , 彼得罗·鲁德尼基 :
LANSF:一个协议建模环境及其实现。 柔和。 实际。 支出。 21 ( 1 ) : 51-76 ( 1991 ) 1990 【c4】 Wlodzimierz Dobosiewicz公司 , 巴维尔·巴津斯基(Pawel Gburzynski) , 彼得罗·鲁德尼基 :
用于高速总线LAN的类以太网CSMA/CD协议。 信息通信 1990 : 238-245
1980 – 1989
1989 [j6] 约瑟夫·卡尔伯森 , 彼得罗·鲁德尼基 :
一种从距离矩阵构造树的快速算法。 信息处理。 莱特。 30 ( 4 ) : 215-220 ( 1989 ) [j5] 巴维尔·巴津斯基(Pawel Gburzynski) , 彼得罗·鲁德尼基 :
关于ENET II性能的说明。 IEEE J.选择。 公共区域。 7 ( 三 ) : 424-427 ( 1989 ) 【c3】 巴维尔·巴津斯基(Pawel Gburzynski) , 彼得罗·鲁德尼基 :
关于传播渠道的形式化建模。 信息通信 1989 : 143-151 【c2】 帕维尔·格布尔津斯基 , 彼得·鲁德尼基 :
MAC级协议的可执行规范、验证和测试。 公共电视 1989 : 261-273 [电子1] 彼得罗·鲁德尼基 :
1989年8月14日至16日,加拿大艾伯塔省埃德蒙顿市,第八届ACM分布式计算原理年度研讨会论文集。 ACM公司 1989 ,国际标准图书编号 0-89791-326-4 [目录] 1987 【j4】 彼得罗·鲁德尼基 :
明显的推断。 J.汽车。 原因。 三 ( 4 ) : 383-393 ( 1987 ) 【c1】 巴维尔·巴津斯基(Pawel Gburzynski) , 彼得罗·鲁德尼基 :
以太网型LAN的一种优于传统协议的有限包延迟时间协议。 计算机网络仿真 1987 : 110-117 1986 [j3] 彼得罗·鲁德尼基 , 沃德齐米尔兹·德拉本特 :
勘误表:证明MIZAR 2中Pascal程序的属性。 信息学报 22 ( 6 ) : 699-707 ( 1986 ) 1985 [注2] 彼得罗·鲁德尼基 , Wlodzimierz Drabent公司 :
证明MIZAR 2中Pascal程序的属性。 信息学报 22 ( 三 ) : 311-331 ( 1985 ) [j1] 彼得罗·鲁德尼基 :
关于Pascal块的组织。 ACM SIGPLAN通知 20 ( 6 ) : 47-55 ( 1985 )