equal
deleted
inserted
replaced
26 |
26 |
27 <TABLE WIDTH="100%" |
27 <TABLE WIDTH="100%" |
28 BGCOLOR="#4169E1" |
28 BGCOLOR="#4169E1" |
29 BORDER="0" |
29 BORDER="0" |
30 FRAME="border" |
30 FRAME="border" |
31 CELLPADDING="11" |
31 CELLPADDING="12" |
32 CELLSPACING="2" |
32 CELLSPACING="2" |
33 RULES="all"> |
33 RULES="all"> |
34 |
34 |
35 <!-- left column --> |
35 <!-- left column --> |
36 <TR> |
36 <TR> |
87 <p><B>Priority Inheritance Protocol Proved Correct.</B> |
87 <p><B>Priority Inheritance Protocol Proved Correct.</B> |
88 (with Zhang and Wu) Journal version. Submitted. |
88 (with Zhang and Wu) Journal version. Submitted. |
89 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/pip.pdf">pdf</A>] |
89 [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/pip.pdf">pdf</A>] |
90 |
90 |
91 <p><B>POSIX Lexing with Derivatives of Regular Expressions</B> |
91 <p><B>POSIX Lexing with Derivatives of Regular Expressions</B> |
92 (with Ausaf and Dyckhoff) Submitted. |
92 (with Ausaf and Dyckhoff) Accepted at ITP 2016. |
|
93 </TD> |
|
94 </TR> |
|
95 |
|
96 <TR> |
|
97 <TD BGCOLOR="FFFFFF" WIDTH="75%"> |
|
98 <H3>2015</H3> |
|
99 <p><B>Proceedings of the 6th International Conference on Interactive Theorem Proving</B> |
|
100 (with Zhang) Volume <A HREF="http://link.springer.com/book/10.1007/978-3-319-22102-1">9236</A> |
|
101 of LNCS, Springer Verlag, 2015 |
93 </TD> |
102 </TD> |
94 </TR> |
103 </TR> |
95 |
104 |
96 <TR> |
105 <TR> |
97 <TD BGCOLOR="FFFFFF" WIDTH="75%"> |
106 <TD BGCOLOR="FFFFFF" WIDTH="75%"> |
507 </TR> |
516 </TR> |
508 |
517 |
509 |
518 |
510 </TABLE> |
519 </TABLE> |
511 <P> |
520 <P> |
512 <!-- hhmts start --> Last modified: Sun Apr 10 20:49:18 BST 2016 <!-- hhmts end --> |
521 <!-- hhmts start --> Last modified: Sun May 8 08:34:16 BST 2016 <!-- hhmts end --> |
513 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
522 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a> |
514 |
523 |
515 </BODY> |
524 </BODY> |
516 </HTML> |
525 </HTML> |