Phys. Rev. D, Vol. 73, No. 4. (February 2006), 043515.
ArXiv High Energy Physics - Phenomenology e-prints (December 1997)
ArXiv General Relativity and Quantum Cosmology e-prints (January 2001)
Journal of Mathematical Physics, Vol. 47, No. 11. (2006)
Pervasive Computing, IEEE, Vol. 4, No. 4. (2005), pp. 91-94.
(2003)
(1993), pp. 293-300.
(2004)
(2004)
New Generation Computing, Vol. 15, No. 1. (1997), pp. 27-58.
(1993)
(1998)
Comput. Math. Organ. Theory, Vol. 7, No. 4. (December 2001), pp. 311-330.
(1997), pp. 333-348.
(2000), pp. 170-176.
(1996), pp. 621-626.
ZB 2002: Formal Specification and Development in Z and B: 2nd International Conference of B and Z Users, Grenoble, France, January 23-25, 2002. Proceedings (2002), pp. 131-138.
ArXiv Physics e-prints (October 2005)
ArXiv Physics e-prints (November 2003)
(2002)
(1994), pp. 141-160.
J Logic Computation, Vol. 3, No. 1. (1 February 1993), pp. 47-61.
(2002), pp. 326-341.
(1996)
(1992), pp. 567-581.
(16 Feb 2001)
(29 Jul 2004)
Progress of Theoretical Physics Supplement, Vol. 148 (2002), pp. 1-28.
Nuclear Physics B, Vol. 443 (February 1995), pp. 85-126.
Nuclear Physics B, Vol. 438 (February 1995), pp. 109-137.
Nuclear Physics B, Vol. 452 (February 1995), pp. 261-282.
ArXiv Mathematics e-prints (March 2001)
Software Specification and Design, 1996., Proceedings of the 8th International Workshop on (1996), pp. 46-55.
(1996), pp. 212-229.
Vol. 1647 (~March0--~February 1999), pp. 8-27.
Vol. 1104 (1996), pp. 463-477.
No. MIT/LCS/TM-361. (1988)
(2000)
ArXiv Physics e-prints (June 2004)
American Journal of Physics, Vol. 66 (September 1998), pp. 753-767.
ArXiv Quantum Physics e-prints (October 2001)
ArXiv Physics e-prints (October 2006)
(24 May 2002)