Piotr Rudnicki - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 34 from 34

2013

Some Properties of the Sorgenfrey Line and the Sorgenfrey PlaneAdam St. Arnaud, Piotr Rudnicki. fm, 21(2):83-85, 2013. [doi]

ATP and Presentation Service for Mizar FormalizationsJosef Urban, Piotr Rudnicki, Geoff Sutcliffe. JAR, 50(2):229-241, 2013. [doi]

2012

Simple Graphs as Simplicial Complexes: the Mycielskian of a GraphPiotr Rudnicki, Lorna Stewart. fm, 20(2):161-174, 2012. [doi]

2011

Licensing the Mizar Mathematical LibraryJesse Alama, Michael Kohlhase, Lionel Mamane, Adam Naumowicz, Piotr Rudnicki, Josef Urban. mkm 2011: 149-163 [doi]

The Mycielskian of a GraphPiotr Rudnicki, Lorna Stewart. fm, 19(1):27-34, 2011. [doi]

Escape to ATP for MizarPiotr Rudnicki, Josef Urban. pxtp 2011: 46-59 [doi]

2010

API Conformance Verification for Java ProgramsXin Li, H. James Hoover, Piotr Rudnicki. icfem 2010: 188-203 [doi]

A Wiki for Mizar: Motivation, Considerations, and Initial PrototypeJosef Urban, Jesse Alama, Piotr Rudnicki, Herman Geuvers. AISC 2010: 455-469 [doi]

2009

Dilworth's Decomposition Theorem for PosetsPiotr Rudnicki. fm, 17(1-4):223-232, 2009. [doi]

2008

Helly Property for SubtreesJessica Enright, Piotr Rudnicki. fm, 16(1-4):91-96, 2008. [doi]

2007

Alternative Aggregates in MizarGilbert Lee, Piotr Rudnicki. AISC 2007: 327-341 [doi]

2006

Towards Automatic Exception Safety VerificationXin Li, H. James Hoover, Piotr Rudnicki. FM 2006: 396-411 [doi]

2004

Specifying framework constraints with FCLDaqing Hou, H. James Hoover, Piotr Rudnicki. cascon 2004: 96-110 [doi]

Specifying the Law of Demeter and C++ Programming Guidelines with FCLDaqing Hou, H. James Hoover, Piotr Rudnicki. SCAM 2004: 119-127 [doi]

2003

Information Retrieval in MMLGrzegorz Bancerek, Piotr Rudnicki. mkm 2003: 119-132 [doi]

On the Integrity of a Repository of Formalized MathematicsPiotr Rudnicki, Andrzej Trybulec. mkm 2003: 162-174 [doi]

The post correspondence problem over a unary alphabetPiotr Rudnicki, Gerhard J. Woeginger. appml, 16(5):723-727, 2003. [doi]

2002

A Compendium of Continuous Lattices in MIZARGrzegorz Bancerek, Piotr Rudnicki. JAR, 29(3-4):189-224, 2002.

2001

Commutative Algebra in the Mizar SystemPiotr Rudnicki, Christoph Schwarzweller, Andrzej Trybulec. JSC, 32(1/2):143-169, 2001.

1999

On Equivalents of Well-FoundednessPiotr Rudnicki, Andrzej Trybulec. JAR, 23(3-4):197-234, 1999.

1996

Uniform Self-Stabilizing Orientation of Unicyclic Networks under Read/Write AtomicityH. James Hoover, Piotr Rudnicki. cjtcs, 1996, 1996. [doi]

1993

On Two Collision Protocols for High Speed Bus LANsWlodzimierz Dobosiewicz, Pawel Gburzynski, Piotr Rudnicki. cn, 25(11):1205-1225, 1993.

1991

Dynamic recognition of the configuration of bus networksWlodek Dobosiewicz, Pawel Gburzynski, Piotr Rudnicki. comcom, 14(4):216-222, 1991. [doi]

LANSF: A Protocol Modelling Environment and its ImplementationPawel Gburzynski, Piotr Rudnicki. SPE, 21(1):51-76, 1991.

1990

An Ethernet-like CSMA/CD Protocol for High Speed Bus LANsWlodzimierz Dobosiewicz, Pawel Gburzynski, Piotr Rudnicki. infocom 1990: 238-245

1989

A Fast Algorithm for Constructing Trees from Distance MatricesJoseph C. Culberson, Piotr Rudnicki. ipl, 30(4):215-220, 1989.

On Formal Modeling of Communication ChannelsPawel Gburzynski, Piotr Rudnicki. infocom 1989: 143-151

On Executable Specifications, Validation, and Testing of MAC-Level ProtocolsPawel Gburzynski, Piotr Rudnicki. pstv 1990: 261-273

A note on the performance of ENET IIPawel Gburzynski, Piotr Rudnicki. jsac, 7(3):424-427, 1989. [doi]

1987

A better-than-token protocol with bounded packet delay time for ethernet-type LAN'sPawel Gburzynski, Piotr Rudnicki. simcn 1987: 110-117 [doi]

Obvious InferencesPiotr Rudnicki. JAR, 3(4):383-393, 1987.

1986

Proving Properties of Pascal Programs in MIZAR 2Piotr Rudnicki, Wlodzimierz Drabent. ACTA, 22(6):699-707, 1986.

1985

On the organization of Pascal blocksPiotr Rudnicki. SIGPLAN, 20(6):47-55, 1985. [doi]

Proving Properties of Pascal Programs in MIZAR 2Piotr Rudnicki, Wlodzimierz Drabent. ACTA, 22(3):311-331, 1985.

Sign in or sign up to see more results.

runs on WebDSL