Mercurial Mercurial > hg > public_html / comparison
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
publications.html
changeset 173 db02820fd029
parent 172 b82bb37cf1d3
child 174 b6a410dac105
equal deleted inserted replaced
172:b82bb37cf1d3 173:db02820fd029 
    86 
    86 
    87 <p><B>A Formalisation of the Myhill-Nerode Theorem based on Regular Expressions.</B> 
    87 <p><B>A Formalisation of the Myhill-Nerode Theorem based on Regular Expressions.</B> 
    88       (with Wu and Zhang) Journal version. Submitted.
 
    88       (with Wu and Zhang) Journal version. Submitted.
 
    89       [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/rexp.pdf">pdf</A>]
 
    89       [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/rexp.pdf">pdf</A>]
 
    90 
    90 
       
    91 <p><B>Priority Inheritance Protocol Proved Correct.</B> 
       
    92       (with Zhang and Wu) Journal version. Submitted.
 
       
    93       [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/pip.pdf">pdf</A>]
 
       
    94 
       
    95 
    91 <p><B>How to Prove False using the Variable Convention.</B> 
    96 <p><B>How to Prove False using the Variable Convention.</B> 
    92      Appears as a poster at TTVSI, 1 page. 
    97      Appears as a poster at TTVSI, 1 page. 
    93      [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/mike-poster-abstract-08.pdf">pdf</A>]
 
    98      [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/mike-poster-abstract-08.pdf">pdf</A>]
 
    94      [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/mike-poster-08.pdf">poster</A>]
 
    99      [<A HREF="http://www.inf.kcl.ac.uk/staff/urbanc/Publications/mike-poster-08.pdf">poster</A>]
 
    95 
   100
public_html