Research Shape Analysis Publications

Bibliography in BiBTeX format.

M. Sekanina. Shape Analysis. M.Sc. dissertation, Masaryk University, Brno 1993.

C.B. Jay and M. Sekanina. Shape Checking of Array Programs. In Harland, J., editor, Computing: the Australasian Theory Seminar 1997, volume 19 of Australian Computer Science Communications, pages 113-121.

C.B Jay, M.I. Cole, M. Sekanina and P. Steckler. Costing distribution of a parallel functional language. In Euro-Par'97 Parallel Processing, volume 1300 of Lecture Notes in Computer Science, pages 650-661.

M. Sekanina. Shape Analysis. Ph.D. thesis, University of Technology, Sydney 1998.