92 (with Kaliszyk) Accepted for publication in the Journal of Logical |
92 (with Kaliszyk) Accepted for publication in the Journal of Logical |
93 Methods in Computer Science. |
93 Methods in Computer Science. |
94 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/lmcs.pdf">pdf</A>] |
94 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/lmcs.pdf">pdf</A>] |
95 |
95 |
96 <p><B>Priority Inheritance Protocol Proved Correct.</B> |
96 <p><B>Priority Inheritance Protocol Proved Correct.</B> |
97 (with Zhang and Wu) Accepted for publication at the ITP 2012 conference in |
97 (with Zhang and Wu) In proceedings of the 3rd Conference on Interactive |
98 Princeton. |
98 Theorem Proving (ITP 2012). In volume 7406 of Lecture Notes in |
|
99 Computer Science. Pages 217-232. |
99 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/itp-12.pdf">pdf</A>] |
100 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/itp-12.pdf">pdf</A>] |
100 |
101 |
|
102 (In the published version is a bogus sentence after the definition |
|
103 of detached. This error is corrected in the version above.) |
101 |
104 |
102 <p><B>How to Prove False using the Variable Convention.</B> |
105 <p><B>How to Prove False using the Variable Convention.</B> |
103 Appears as a poster at TTVSI, 1 page. |
106 Appears as a poster at TTVSI, 1 page. |
104 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/mike-poster-abstract-08.pdf">pdf</A>] |
107 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/mike-poster-abstract-08.pdf">pdf</A>] |
105 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/mike-poster-08.pdf">poster</A>] |
108 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/mike-poster-08.pdf">poster</A>] |