Piotr Rudnicki

Geoff Sutcliffe

J. Autom. Reason., 2013

Some Properties of the Sorgenfrey Line and the Sorgenfrey Plane.

[BibT_eX]

[DOI]

Adam St. Arnaud

Formaliz. Math., 2013

2012

Simple Graphs as Simplicial Complexes: the Mycielskian of a Graph.

[BibT_eX]

[DOI]

Lorna Stewart

Formaliz. Math., 2012

2011

The Mycielskian of a Graph.

[BibT_eX]

[DOI]

Lorna Stewart

Formaliz. Math., 2011

Escape to ATP for Mizar.

[BibT_eX]

[DOI]

Josef Urban

Proceedings of the PxTP 2011: First International Workshop on Proof eXchange for Theorem Proving, 2011

Licensing the Mizar Mathematical Library.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics - 18th Symposium, 2011

2010

API Conformance Verification for Java Programs.

[BibT_eX]

[DOI]

Xin Li

Proceedings of the Formal Methods and Software Engineering, 2010

A Wiki for Mizar: Motivation, Considerations, and Initial Prototype.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Computer Mathematics, 10th International Conference, 2010

2009

Dilworth's Decomposition Theorem for Posets.

[BibT_eX]

[DOI]

Formaliz. Math., 2009

2008

Helly Property for Subtrees.

[BibT_eX]

[DOI]

Jessica A. Enright

Formaliz. Math., 2008

2007

Alternative Aggregates in Mizar.

[BibT_eX]

[DOI]

Gilbert Lee

Proceedings of the Towards Mechanized Mathematical Assistants, 14th Symposium, 2007

2006

Towards Automatic Exception Safety Verification.

[BibT_eX]

[DOI]

Xin Li

Proceedings of the FM 2006: Formal Methods, 2006

2004

Specifying the Law of Demeter and C++ Programming Guidelines with FCL.

[BibT_eX]

[DOI]

Daqing Hou

Proceedings of the 4th IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2004), 2004

Specifying framework constraints with FCL.

[BibT_eX]

[DOI]

Daqing Hou

Proceedings of the 2004 conference of the Centre for Advanced Studies on Collaborative research, 2004

2003

The post correspondence problem over a unary alphabet.

[BibT_eX]

[DOI]

Gerhard J. Woeginger

Appl. Math. Lett., 2003

On the Integrity of a Repository of Formalized Mathematics.

[BibT_eX]

[DOI]

Andrzej Trybulec

Proceedings of the Mathematical Knowledge Management, Second International Conference, 2003

Information Retrieval in MML.

[BibT_eX]

[DOI]

Grzegorz Bancerek

Proceedings of the Mathematical Knowledge Management, Second International Conference, 2003

2002

A Compendium of Continuous Lattices in MIZAR.

[BibT_eX]

[DOI]

Grzegorz Bancerek

J. Autom. Reason., 2002

2001

Commutative Algebra in the Mizar System.

[BibT_eX]

[DOI]

Christoph Schwarzweller

Andrzej Trybulec

J. Symb. Comput., 2001

1999

On Equivalents of Well-Foundedness.

[BibT_eX]

[DOI]

Andrzej Trybulec

J. Autom. Reason., 1999

1996

Uniform Self-Stabilizing Orientation of Unicyclic Networks under Read/Write Atomicity.

[BibT_eX]

[DOI]

Chic. J. Theor. Comput. Sci., 1996

1993

On Two Collision Protocols for High Speed Bus LANs.

[BibT_eX]

[DOI]

Wlodzimierz Dobosiewicz

Comput. Networks ISDN Syst., 1993

1991

LANSF: A Protocol Modelling Environment and its Implementation.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 1991

Dynamic recognition of the configuration of bus networks.

[BibT_eX]

[DOI]

Wlodek Dobosiewicz

Comput. Commun., 1991

1990

An Ethernet-like CSMA/CD Protocol for High Speed Bus LANs.

[BibT_eX]

[DOI]

Wlodzimierz Dobosiewicz

Proceedings of the Proceedings IEEE INFOCOM '90, 1990

1989

A note on the performance of ENET II.

[BibT_eX]

[DOI]

IEEE J. Sel. Areas Commun., 1989

A Fast Algorithm for Constructing Trees from Distance Matrices.

[BibT_eX]

[DOI]

Joseph C. Culberson

Inf. Process. Lett., 1989

On Executable Specifications, Validation, and Testing of MAC-Level Protocols.

[BibT_eX]

Proceedings of the Protocol Specification, 1989

On Formal Modeling of Communication Channels.

[BibT_eX]

[DOI]

Proceedings of the Proceedings IEEE INFOCOM '89, 1989

1987

Obvious Inferences.

[BibT_eX]

[DOI]

J. Autom. Reason., 1987

A better-than-token protocol with bounded packet delay time for ethernet-type LAN's.

[BibT_eX]

[DOI]

Proceedings of the 1987 Symposium on the Simulation of Computer Networks, 1987

1986

Erratum: Proving Properties of Pascal Programs in MIZAR 2.

[BibT_eX]

[DOI]

Wlodzimierz Drabent

Acta Informatica, 1986

1985

On the organization of Pascal blocks.

[BibT_eX]

[DOI]

ACM SIGPLAN Notices, 1985

Proving Properties of Pascal Programs in MIZAR 2.

[BibT_eX]

[DOI]