Piotr Rudnicki

Publication Activity (10 Years)

Years Active: 1985-2013
Publications (10 Years): 0

Top Topics

Camera Calibration

Service Platform

Computer Assisted

Top Venues

Formaliz. Math.

J. Autom. Reason.

Publications

Adam St. Arnaud, Piotr Rudnicki
Some Properties of the Sorgenfrey Line and the Sorgenfrey Plane. Formaliz. Math. 21 (2) (2013)
Josef Urban, Piotr Rudnicki, Geoff Sutcliffe
ATP and Presentation Service for Mizar Formalizations. J. Autom. Reason. 50 (2) (2013)
Piotr Rudnicki, Lorna Stewart
Simple Graphs as Simplicial Complexes: the Mycielskian of a Graph. Formaliz. Math. 20 (2) (2012)
Piotr Rudnicki, Lorna Stewart
The Mycielskian of a Graph. Formaliz. Math. 19 (1) (2011)
Piotr Rudnicki, Josef Urban
Escape to ATP for Mizar. PxTP (2011)
Josef Urban, Piotr Rudnicki, Geoff Sutcliffe
ATP and Presentation Service for Mizar Formalizations CoRR (2011)
Jesse Alama, Michael Kohlhase, Lionel Mamane, Adam Naumowicz, Piotr Rudnicki, Josef Urban
Licensing the Mizar Mathematical Library. Calculemus/MKM (2011)
Jesse Alama, Michael Kohlhase, Adam Naumowicz, Piotr Rudnicki, Josef Urban, Lionel Mamane
Licensing the Mizar Mathematical Library CoRR (2011)
Josef Urban, Jesse Alama, Piotr Rudnicki, Herman Geuvers
A Wiki for Mizar: Motivation, Considerations, and Initial Prototype CoRR (2010)
Xin Li, H. James Hoover, Piotr Rudnicki
API Conformance Verification for Java Programs. ICFEM (2010)
Josef Urban, Jesse Alama, Piotr Rudnicki, Herman Geuvers
A Wiki for Mizar: Motivation, Considerations, and Initial Prototype. AISC/MKM/Calculemus (2010)
Piotr Rudnicki
Dilworth's Decomposition Theorem for Posets. Formaliz. Math. 17 (1-4) (2009)
Jessica A. Enright, Piotr Rudnicki
Helly Property for Subtrees. Formaliz. Math. 16 (1-4) (2008)
Gilbert Lee, Piotr Rudnicki
Alternative Aggregates in Mizar. Calculemus/MKM (2007)
Xin Li, H. James Hoover, Piotr Rudnicki
Towards Automatic Exception Safety Verification. FM (2006)
Daqing Hou, H. James Hoover, Piotr Rudnicki
Specifying framework constraints with FCL. CASCON (2004)
Daqing Hou, H. James Hoover, Piotr Rudnicki
Specifying the Law of Demeter and C++ Programming Guidelines with FCL. SCAM (2004)
Grzegorz Bancerek, Piotr Rudnicki
Information Retrieval in MML. MKM (2003)
Piotr Rudnicki, Gerhard J. Woeginger
The post correspondence problem over a unary alphabet. Appl. Math. Lett. 16 (5) (2003)
Piotr Rudnicki, Andrzej Trybulec
On the Integrity of a Repository of Formalized Mathematics. MKM (2003)
Grzegorz Bancerek, Piotr Rudnicki
A Compendium of Continuous Lattices in MIZAR. J. Autom. Reason. 29 (3-4) (2002)
Piotr Rudnicki, Christoph Schwarzweller, Andrzej Trybulec
Commutative Algebra in the Mizar System. J. Symb. Comput. 32 (1/2) (2001)
Piotr Rudnicki, Andrzej Trybulec
On Equivalents of Well-Foundedness. J. Autom. Reason. 23 (3-4) (1999)
H. James Hoover, Piotr Rudnicki
Uniform Self-Stabilizing Orientation of Unicyclic Networks under Read/Write Atomicity. Chic. J. Theor. Comput. Sci. 1996 (1996)
Wlodzimierz Dobosiewicz, Pawel Gburzynski, Piotr Rudnicki
On Two Collision Protocols for High Speed Bus LANs. Comput. Networks ISDN Syst. 25 (11) (1993)
Pawel Gburzynski, Piotr Rudnicki
LANSF: A Protocol Modelling Environment and its Implementation. Softw. Pract. Exp. 21 (1) (1991)
Wlodek Dobosiewicz, Pawel Gburzynski, Piotr Rudnicki
Dynamic recognition of the configuration of bus networks. Comput. Commun. 14 (4) (1991)
Wlodzimierz Dobosiewicz, Pawel Gburzynski, Piotr Rudnicki
An Ethernet-like CSMA/CD Protocol for High Speed Bus LANs. INFOCOM (1990)
Pawel Gburzynski, Piotr Rudnicki
A note on the performance of ENET II. IEEE J. Sel. Areas Commun. 7 (3) (1989)
Pawel Gburzynski, Piotr Rudnicki
On Formal Modeling of Communication Channels. INFOCOM (1989)
Joseph C. Culberson, Piotr Rudnicki
A Fast Algorithm for Constructing Trees from Distance Matrices. Inf. Process. Lett. 30 (4) (1989)
Pawel Gburzynski, Piotr Rudnicki
On Executable Specifications, Validation, and Testing of MAC-Level Protocols. PSTV (1989)
Pawel Gburzynski, Piotr Rudnicki
A better-than-token protocol with bounded packet delay time for ethernet-type LAN's. Simulation of Computer Networks (1987)
Piotr Rudnicki
Obvious Inferences. J. Autom. Reason. 3 (4) (1987)
Piotr Rudnicki, Wlodzimierz Drabent
Erratum: Proving Properties of Pascal Programs in MIZAR 2. Acta Informatica 22 (6) (1986)
Piotr Rudnicki, Wlodzimierz Drabent
Proving Properties of Pascal Programs in MIZAR 2. Acta Informatica 22 (3) (1985)
Piotr Rudnicki
On the organization of Pascal blocks. ACM SIGPLAN Notices 20 (6) (1985)