dblp.uni-trier.dewww.uni-trier.de

Piotr Rudnicki

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)