equal
deleted
inserted
replaced
91 <p><B>Priority Inheritance Protocol Proved Correct.</B> |
91 <p><B>Priority Inheritance Protocol Proved Correct.</B> |
92 (with Zhang and Wu) Journal version. Submitted. |
92 (with Zhang and Wu) Journal version. Submitted. |
93 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/pip.pdf">pdf</A>] |
93 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/pip.pdf">pdf</A>] |
94 |
94 |
95 <p><B>Mechanising Turing Machines and Computability Theory in Isabelle/HOL.</B> |
95 <p><B>Mechanising Turing Machines and Computability Theory in Isabelle/HOL.</B> |
96 (with Xu and Zhang) Accepted. |
96 (with Xu and Zhang) Accepted at ITP 2013. |
97 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/tm.pdf">pdf</A>] |
97 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/tm.pdf">pdf</A>] |
98 |
98 |
99 |
99 |
100 <p><B>How to Prove False using the Variable Convention.</B> |
100 <p><B>How to Prove False using the Variable Convention.</B> |
101 Appears as a poster at TTVSI, 1 page. |
101 Appears as a poster at TTVSI, 1 page. |