Piotr Rudnicki

According to our database1, Piotr Rudnicki
  • authored at least 35 papers between 1985 and 2013.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2013
ATP and Presentation Service for Mizar Formalizations.
J. Autom. Reasoning, 2013

Some Properties of the Sorgenfrey Line and the Sorgenfrey Plane.
Formalized Mathematics, 2013

2012
Simple Graphs as Simplicial Complexes: the Mycielskian of a Graph.
Formalized Mathematics, 2012

2011
The Mycielskian of a Graph.
Formalized Mathematics, 2011

ATP and Presentation Service for Mizar Formalizations
CoRR, 2011

Licensing the Mizar Mathematical Library
CoRR, 2011

Licensing the Mizar Mathematical Library.
Proceedings of the Intelligent Computer Mathematics - 18th Symposium, 2011

2010
A Wiki for Mizar: Motivation, Considerations, and Initial Prototype
CoRR, 2010

API Conformance Verification for Java Programs.
Proceedings of the Formal Methods and Software Engineering, 2010

A Wiki for Mizar: Motivation, Considerations, and Initial Prototype.
Proceedings of the Intelligent Computer Mathematics, 10th International Conference, 2010

2009
Dilworth's Decomposition Theorem for Posets.
Formalized Mathematics, 2009

2008
Helly Property for Subtrees.
Formalized Mathematics, 2008

2007
Alternative Aggregates in Mizar.
Proceedings of the Towards Mechanized Mathematical Assistants, 14th Symposium, 2007

2006
Towards Automatic Exception Safety Verification.
Proceedings of the FM 2006: Formal Methods, 2006

2004
Specifying the Law of Demeter and C++ Programming Guidelines with FCL.
Proceedings of the 4th IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2004), 2004

Specifying framework constraints with FCL.
Proceedings of the 2004 conference of the Centre for Advanced Studies on Collaborative research, 2004

2003
The post correspondence problem over a unary alphabet.
Appl. Math. Lett., 2003

On the Integrity of a Repository of Formalized Mathematics.
Proceedings of the Mathematical Knowledge Management, Second International Conference, 2003

Information Retrieval in MML.
Proceedings of the Mathematical Knowledge Management, Second International Conference, 2003

2002
A Compendium of Continuous Lattices in MIZAR.
J. Autom. Reasoning, 2002

2001
Commutative Algebra in the Mizar System.
J. Symb. Comput., 2001

1999
On Equivalents of Well-Foundedness.
J. Autom. Reasoning, 1999

1996
Uniform Self-Stabilizing Orientation of Unicyclic Networks under Read/Write Atomicity.
Chicago J. Theor. Comput. Sci., 1996

1993
On Two Collision Protocols for High Speed Bus LANs.
Computer Networks and ISDN Systems, 1993

1991
LANSF: A Protocol Modelling Environment and its Implementation.
Softw., Pract. Exper., 1991

Dynamic recognition of the configuration of bus networks.
Computer Communications, 1991

1990
An Ethernet-like CSMA/CD Protocol for High Speed Bus LANs.
Proceedings of the Proceedings IEEE INFOCOM '90, 1990

1989
A note on the performance of ENET II.
IEEE Journal on Selected Areas in Communications, 1989

A Fast Algorithm for Constructing Trees from Distance Matrices.
Inf. Process. Lett., 1989

On Executable Specifications, Validation, and Testing of MAC-Level Protocols.
Proceedings of the Protocol Specification, 1989

On Formal Modeling of Communication Channels.
Proceedings of the Proceedings IEEE INFOCOM '89, 1989

1987
Obvious Inferences.
J. Autom. Reasoning, 1987

1986
Erratum: Proving Properties of Pascal Programs in MIZAR 2.
Acta Inf., 1986

1985
On the organization of Pascal blocks.
SIGPLAN Notices, 1985

Proving Properties of Pascal Programs in MIZAR 2.
Acta Inf., 1985


  Loading...