| 2008 |
|---|
| 22 | | Piotr Rudnicki,
Geoff Sutcliffe,
Boris Konev,
Renate A. Schmidt,
Stephan Schulz:
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
CEUR-WS.org 2008 |
| 2007 |
|---|
| 21 | EE | Gilbert Lee,
Piotr Rudnicki:
Alternative Aggregates in Mizar.
Calculemus/MKM 2007: 327-341 |
| 2006 |
|---|
| 20 | EE | Xin Li,
H. James Hoover,
Piotr Rudnicki:
Towards Automatic Exception Safety Verification.
FM 2006: 396-411 |
| 2004 |
|---|
| 19 | EE | Daqing Hou,
H. James Hoover,
Piotr Rudnicki:
Specifying framework constraints with FCL.
CASCON 2004: 96-110 |
| 18 | EE | Daqing Hou,
H. James Hoover,
Piotr Rudnicki:
Specifying the Law of Demeter and C++ Programming Guidelines with FCL.
SCAM 2004: 119-127 |
| 2003 |
|---|
| 17 | EE | Grzegorz Bancerek,
Piotr Rudnicki:
Information Retrieval in MML.
MKM 2003: 119-132 |
| 16 | EE | Piotr Rudnicki,
Andrzej Trybulec:
On the Integrity of a Repository of Formalized Mathematics.
MKM 2003: 162-174 |
| 15 | EE | Piotr Rudnicki,
Gerhard J. Woeginger:
The post correspondence problem over a unary alphabet.
Appl. Math. Lett. 16(5): 723-727 (2003) |
| 2002 |
|---|
| 14 | | Grzegorz Bancerek,
Piotr Rudnicki:
A Compendium of Continuous Lattices in MIZAR.
J. Autom. Reasoning 29(3-4): 189-224 (2002) |
| 2001 |
|---|
| 13 | | Piotr Rudnicki,
Christoph Schwarzweller,
Andrzej Trybulec:
Commutative Algebra in the Mizar System.
J. Symb. Comput. 32(1/2): 143-169 (2001) |
| 1999 |
|---|
| 12 | | Piotr Rudnicki,
Andrzej Trybulec:
On Equivalents of Well-Foundedness.
J. Autom. Reasoning 23(3-4): 197-234 (1999) |
| 1996 |
|---|
| 11 | EE | H. James Hoover,
Piotr Rudnicki:
Uniform Self-Stabilizing Orientation of Unicyclic Networks under Read/Write Atomicity.
Chicago J. Theor. Comput. Sci. 1996: (1996) |
| 1993 |
|---|
| 10 | | Wlodzimierz Dobosiewicz,
Pawel Gburzynski,
Piotr Rudnicki:
On Two Collision Protocols for High Speed Bus LANs.
Computer Networks and ISDN Systems 25(11): 1205-1225 (1993) |
| 1991 |
|---|
| 9 | EE | Wlodek Dobosiewicz,
Pawel Gburzynski,
Piotr Rudnicki:
Dynamic recognition of the configuration of bus networks.
Computer Communications 14(4): 216-222 (1991) |
| 8 | | Pawel Gburzynski,
Piotr Rudnicki:
LANSF: A Protocol Modelling Environment and its Implementation.
Softw., Pract. Exper. 21(1): 51-76 (1991) |
| 1990 |
|---|
| 7 | | Wlodzimierz Dobosiewicz,
Pawel Gburzynski,
Piotr Rudnicki:
An Ethernet-like CSMA/CD Protocol for High Speed Bus LANs.
INFOCOM 1990: 238-245 |
| 1989 |
|---|
| 6 | | Pawel Gburzynski,
Piotr Rudnicki:
On Formal Modeling of Communication Channels.
INFOCOM 1989: 143-151 |
| 5 | | Pawel Gburzynski,
Piotr Rudnicki:
On Executable Specifications, Validation, and Testing of MAC-Level Protocols.
PSTV 1989: 261-273 |
| 4 | | Joseph C. Culberson,
Piotr Rudnicki:
A Fast Algorithm for Constructing Trees from Distance Matrices.
Inf. Process. Lett. 30(4): 215-220 (1989) |
| 1987 |
|---|
| 3 | | Piotr Rudnicki:
Obvious Inferences.
J. Autom. Reasoning 3(4): 383-393 (1987) |
| 1986 |
|---|
| 2 | | Piotr Rudnicki,
Wlodzimierz Drabent:
Proving Properties of Pascal Programs in MIZAR 2.
Acta Inf. 22(6): 699-707 (1986) |
| 1985 |
|---|
| 1 | | Piotr Rudnicki,
Wlodzimierz Drabent:
Proving Properties of Pascal Programs in MIZAR 2.
Acta Inf. 22(3): 311-331 (1985) |
