The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Piotr Rudnicki: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  22. A Wiki for Mizar: Motivation, Considerations, and Initial Prototype. [Citation Graph (, )][DBLP]


  23. A Wiki for Mizar: Motivation, Considerations, and Initial Prototype [Citation Graph (, )][DBLP]


Search in 0.016secs, Finished in 0.018secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002