--- a/publications.html Sun Aug 19 07:55:44 2012 +0100
+++ b/publications.html Tue Aug 21 13:00:03 2012 +0100
@@ -37,7 +37,7 @@
<TD BGCOLOR="#FFFFFF"
WIDTH="24%"
VALIGN="TOP"
- ROWSPAN="17">
+ ROWSPAN="18">
<B>Links</B><BR>
<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/">Home</A><BR>
@@ -88,20 +88,6 @@
(with Wu and Zhang) Journal version. Submitted.
[<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/rexp.pdf">pdf</A>]
-<p><B>General Bindings and Alpha-Equivalence in Nominal Isabelle.</B>
- (with Kaliszyk) Accepted for publication in the Journal of Logical
- Methods in Computer Science, Volume 8 (2:14), 2012.
- [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/lmcs.pdf">pdf</A>]
-
-<p><B>Priority Inheritance Protocol Proved Correct.</B>
- (with Zhang and Wu) In Proceedings of the 3rd Conference on Interactive
- Theorem Proving (ITP 2012). In Volume 7406 of Lecture Notes in
- Computer Science. Pages 217-232.
- [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/itp-12.pdf">pdf</A>]<BR><BR>
-
- (In the published version is a bogus sentence after the definition
- of detached. This error is corrected in the version above.)
-
<p><B>How to Prove False using the Variable Convention.</B>
Appears as a poster at TTVSI, 1 page.
[<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/mike-poster-abstract-08.pdf">pdf</A>]
@@ -116,6 +102,27 @@
<TR>
<TD BGCOLOR="FFFFFF" WIDTH="75%">
+<H3>2012</H3>
+<p><B>General Bindings and Alpha-Equivalence in Nominal Isabelle.</B>
+ (with Kaliszyk) Journal of Logical
+ Methods in Computer Science, Volume 8 (2:14), 2012.
+ [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/lmcs.pdf">pdf</A>]
+
+<p><b>Priority Inheritance Protocol Proved Correct.</B>
+ (with Zhang and Wu) In Proceedings of the 3rd Conference on Interactive
+ Theorem Proving (ITP 2012). In Volume 7406 of Lecture Notes in
+ Computer Science. Pages 217-232.
+ © <A HREF="http://link.springer.de/link/service/series/0558/tocs/t7406.htm">Springer Verlag</A>
+ [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/itp-12.pdf">pdf</A>]<BR><BR>
+
+ (In the published version is a bogus sentence after the definition
+ of detached. This error is corrected in the version above.)
+</TD>
+</TR>
+
+
+<TR>
+<TD BGCOLOR="FFFFFF" WIDTH="75%">
<H3>2011</H3>
<p><B>General Bindings and Alpha-Equivalence in Nominal Isabelle.</B>
(with Kaliszyk)