equal
deleted
inserted
replaced
14 |
14 |
15 <TABLE WIDTH="100%" |
15 <TABLE WIDTH="100%" |
16 BGCOLOR="#4169E1" |
16 BGCOLOR="#4169E1" |
17 BORDER="0" |
17 BORDER="0" |
18 FRAME="border" |
18 FRAME="border" |
19 CELLPADDING="11" |
19 CELLPADDING="12" |
20 CELLSPACING="2" |
20 CELLSPACING="2" |
21 RULES="all"> |
21 RULES="all"> |
22 |
22 |
23 <!-- left column --> |
23 <!-- left column --> |
24 <TR> |
24 <TR> |
72 <TD BGCOLOR="#FFFFFF" WIDTH="75%"> |
72 <TD BGCOLOR="#FFFFFF" WIDTH="75%"> |
73 <H3>Pending</H3> |
73 <H3>Pending</H3> |
74 <p><B>POSIX Lexing with Bitcoded Derivatives.</B> |
74 <p><B>POSIX Lexing with Bitcoded Derivatives.</B> |
75 (with Tan) Accepted at ITP'23. |
75 (with Tan) Accepted at ITP'23. |
76 [<A HREF="http://nms.kcl.ac.uk/christian.urban/Publications/bitcoded-itp.pdf">pdf</A>] |
76 [<A HREF="http://nms.kcl.ac.uk/christian.urban/Publications/bitcoded-itp.pdf">pdf</A>] |
|
77 |
|
78 </TD> |
|
79 </TR> |
|
80 |
|
81 <TR> |
|
82 <TD BGCOLOR="FFFFFF" WIDTH="75%"> |
|
83 <H3>2023</H3> |
77 <p><B>POSIX Lexing with Derivatives of Regular Expressions.</B> |
84 <p><B>POSIX Lexing with Derivatives of Regular Expressions.</B> |
78 Journal of Automated Reasoning. <A HREF="https://rdcu.be/dgoo5">Springer Verlag</A> |
85 In Journal of Automated Reasoning, <A HREF="https://rdcu.be/dgoo5">Springer Verlag</A>. |
79 [<A HREF="http://nms.kcl.ac.uk/christian.urban/Publications/posix-jar.pdf">pdf</A>] |
86 [<A HREF="http://nms.kcl.ac.uk/christian.urban/Publications/posix-jar.pdf">pdf</A>] |
80 </TD> |
87 </TD> |
81 </TR> |
88 </TR> |
82 |
89 |
83 <TR> |
90 <TR> |