Piotr Rudnicki Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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