Piotr Rudnicki

	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		Gilbert Lee, Piotr Rudnicki: Alternative Aggregates in Mizar. Calculemus/MKM 2007: 327-341
	2006
20		Xin Li, H. James Hoover, Piotr Rudnicki: Towards Automatic Exception Safety Verification. FM 2006: 396-411
	2004
19		Daqing Hou, H. James Hoover, Piotr Rudnicki: Specifying framework constraints with FCL. CASCON 2004: 96-110
18		Daqing Hou, H. James Hoover, Piotr Rudnicki: Specifying the Law of Demeter and C++ Programming Guidelines with FCL. SCAM 2004: 119-127
	2003
17		Grzegorz Bancerek, Piotr Rudnicki: Information Retrieval in MML. MKM 2003: 119-132
16		Piotr Rudnicki, Andrzej Trybulec: On the Integrity of a Repository of Formalized Mathematics. MKM 2003: 162-174
15		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		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		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)

Coauthor Index

1	Grzegorz Bancerek	[14] [17]
2	Joseph C. Culberson	[4]
3	Wlodek Dobosiewicz	[9]
4	Wlodzimierz Dobosiewicz	[7] [10]
5	Wlodzimierz Drabent (Wlodek Drabent)	[1] [2]
6	Pawel Gburzynski	[5] [6] [7] [8] [9] [10]
7	H. James Hoover	[11] [18] [19] [20]
8	Daqing Hou	[18] [19]
9	Boris Konev	[22]
10	Gilbert Lee	[21]
11	Xin Li	[20]
12	Renate A. Schmidt	[22]
13	Stephan Schulz	[22]
14	Christoph Schwarzweller	[13]
15	Geoff Sutcliffe	[22]
16	Andrzej Trybulec	[12] [13] [16]
17	Gerhard J. Woeginger	[15]

Colors in the list of coauthors