publications.html
changeset 439 e53441994412
parent 438 7aff28d7d3e3
child 455 391f23949114
equal deleted inserted replaced
438:7aff28d7d3e3 439:e53441994412
    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) Accepted at ITP 2016.
    92       (with Ausaf and Dyckhoff) Accepted at ITP 2016.
       
    93       [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/posix.pdf">pdf</A>]
    93 </TD>
    94 </TD>
    94 </TR>
    95 </TR>
    95 
    96 
    96 <TR>
    97 <TR>
    97 <TD BGCOLOR="FFFFFF" WIDTH="75%">
    98 <TD BGCOLOR="FFFFFF" WIDTH="75%">
   516 </TR>
   517 </TR>
   517 
   518 
   518 
   519 
   519 </TABLE>
   520 </TABLE>
   520 <P>
   521 <P>
   521 <!-- hhmts start --> Last modified: Mon May  9 11:43:46 BST 2016 <!-- hhmts end -->
   522 <!-- hhmts start --> Last modified: Wed May 18 11:50:47 BST 2016 <!-- hhmts end -->
   522 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
   523 <a href="http://validator.w3.org/check/referer">[Validate this page.]</a>
   523  
   524  
   524 </BODY>
   525 </BODY>
   525 </HTML>
   526 </HTML>