Proving Properties of Pascal Programs in MIZAR 2. - Piotr Rudnicki; Wlodzimierz Drabent (Acta Informatica, 1985)

On the organization of Pascal blocks. - Piotr Rudnicki (ACM SIGPLAN Notices, 1985)

Erratum: Proving Properties of Pascal Programs in MIZAR 2. - Piotr Rudnicki; Wlodzimierz Drabent (Acta Informatica, 1986)

A better-than-token protocol with bounded packet delay time for ethernet-type LAN's. - Pawel Gburzynski; Piotr Rudnicki (Simulation of Computer Networks, 1987)

Obvious Inferences. - Piotr Rudnicki (J. Autom. Reason., 1987)

On Formal Modeling of Communication Channels. - Pawel Gburzynski; Piotr Rudnicki (INFOCOM, 1989)

On Executable Specifications, Validation, and Testing of MAC-Level Protocols. - Pawel Gburzynski; Piotr Rudnicki (PSTV, 1989)

A Fast Algorithm for Constructing Trees from Distance Matrices. - Joseph C. Culberson; Piotr Rudnicki (Inf. Process. Lett., 1989)

A note on the performance of ENET II. - Pawel Gburzynski; Piotr Rudnicki (IEEE J. Sel. Areas Commun., 1989)

An Ethernet-like CSMA/CD Protocol for High Speed Bus LANs. - Wlodzimierz Dobosiewicz; Pawel Gburzynski; Piotr Rudnicki (INFOCOM, 1990)

Dynamic recognition of the configuration of bus networks. - Wlodek Dobosiewicz; Pawel Gburzynski; Piotr Rudnicki (Comput. Commun., 1991)

LANSF: A Protocol Modelling Environment and its Implementation. - Pawel Gburzynski; Piotr Rudnicki (Softw. Pract. Exp., 1991)

On Two Collision Protocols for High Speed Bus LANs. - Wlodzimierz Dobosiewicz; Pawel Gburzynski; Piotr Rudnicki (Comput. Networks ISDN Syst., 1993)

Uniform Self-Stabilizing Orientation of Unicyclic Networks under Read/Write Atomicity. - H. James Hoover; Piotr Rudnicki (Chic. J. Theor. Comput. Sci., 1996)

On Equivalents of Well-Foundedness. - Piotr Rudnicki; Andrzej Trybulec (J. Autom. Reason., 1999)

Commutative Algebra in the Mizar System. - Piotr Rudnicki; Christoph Schwarzweller; Andrzej Trybulec (J. Symb. Comput., 2001)

A Compendium of Continuous Lattices in MIZAR. - Grzegorz Bancerek; Piotr Rudnicki (J. Autom. Reason., 2002)

Information Retrieval in MML. - Grzegorz Bancerek; Piotr Rudnicki (MKM, 2003)

On the Integrity of a Repository of Formalized Mathematics. - Piotr Rudnicki; Andrzej Trybulec (MKM, 2003)

The post correspondence problem over a unary alphabet. - Piotr Rudnicki; Gerhard J. Woeginger (Appl. Math. Lett., 2003)

Specifying framework constraints with FCL. - Daqing Hou; H. James Hoover; Piotr Rudnicki (CASCON, 2004)

Specifying the Law of Demeter and C++ Programming Guidelines with FCL. - Daqing Hou; H. James Hoover; Piotr Rudnicki (SCAM, 2004)

Towards Automatic Exception Safety Verification. - Xin Li; H. James Hoover; Piotr Rudnicki (FM, 2006)

Alternative Aggregates in Mizar. - Gilbert Lee; Piotr Rudnicki (Calculemus/MKM, 2007)

Helly Property for Subtrees. - Jessica A. Enright; Piotr Rudnicki (Formaliz. Math., 2008)

Dilworth's Decomposition Theorem for Posets. - Piotr Rudnicki (Formaliz. Math., 2009)

A Wiki for Mizar: Motivation, Considerations, and Initial Prototype. - Josef Urban; Jesse Alama; Piotr Rudnicki; Herman Geuvers (AISC/MKM/Calculemus, 2010)

API Conformance Verification for Java Programs. - Xin Li; H. James Hoover; Piotr Rudnicki (ICFEM, 2010)

Licensing the Mizar Mathematical Library. - Jesse Alama; Michael Kohlhase; Lionel Mamane; Adam Naumowicz; Piotr Rudnicki; Josef Urban (Calculemus/MKM, 2011)

Escape to ATP for Mizar. - Piotr Rudnicki; Josef Urban (PxTP, 2011)

The Mycielskian of a Graph. - Piotr Rudnicki; Lorna Stewart (Formaliz. Math., 2011)

Simple Graphs as Simplicial Complexes: the Mycielskian of a Graph. - Piotr Rudnicki; Lorna Stewart (Formaliz. Math., 2012)

Some Properties of the Sorgenfrey Line and the Sorgenfrey Plane. - Adam St. Arnaud; Piotr Rudnicki (Formaliz. Math., 2013)

ATP and Presentation Service for Mizar Formalizations. - Josef Urban; Piotr Rudnicki; Geoff Sutcliffe (J. Autom. Reason., 2013)