Piotr Rudnicki

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