equal
deleted
inserted
replaced
8 <BODY TEXT="#000000" |
8 <BODY TEXT="#000000" |
9 BGCOLOR="#4169E1" |
9 BGCOLOR="#4169E1" |
10 LINK="#0000EF" |
10 LINK="#0000EF" |
11 VLINK="#51188E" |
11 VLINK="#51188E" |
12 ALINK="#FF0000"> |
12 ALINK="#FF0000"> |
13 |
13 <font face='Tahoma'> |
|
14 |
14 <TABLE WIDTH="100%" |
15 <TABLE WIDTH="100%" |
15 BGCOLOR="#4169E1" |
16 BGCOLOR="#4169E1" |
16 BORDER="0" |
17 BORDER="0" |
17 FRAME="border" |
18 FRAME="border" |
18 CELLPADDING="11" |
19 CELLPADDING="11" |
22 <!-- left column --> |
23 <!-- left column --> |
23 <TR> |
24 <TR> |
24 <TD BGCOLOR="#FFFFFF" |
25 <TD BGCOLOR="#FFFFFF" |
25 WIDTH="24%" |
26 WIDTH="24%" |
26 VALIGN="TOP" |
27 VALIGN="TOP" |
27 ROWSPAN="23"> |
28 ROWSPAN="24"> |
28 |
29 |
29 <B>Links</B><BR> |
30 <B>Links</B><BR> |
30 <A HREF="http://nms.kcl.ac.uk/christian.urban/">Home</A><BR> |
31 <A HREF="http://nms.kcl.ac.uk/christian.urban/">Home</A><BR> |
31 <A HREF="http://nms.kcl.ac.uk/christian.urban/publications.html">Publications</A><BR> |
32 <A HREF="http://nms.kcl.ac.uk/christian.urban/publications.html">Publications</A><BR> |
32 <A HREF="http://nms.kcl.ac.uk/christian.urban/teaching.html">Teaching</A><BR> |
33 <A HREF="http://nms.kcl.ac.uk/christian.urban/teaching.html">Teaching</A><BR> |
68 </TR> |
69 </TR> |
69 |
70 |
70 <TR> |
71 <TR> |
71 <TD BGCOLOR="#FFFFFF" WIDTH="75%"> |
72 <TD BGCOLOR="#FFFFFF" WIDTH="75%"> |
72 <H3>Pending</H3> |
73 <H3>Pending</H3> |
73 |
|
74 <p><B>Priority Inheritance Protocol Proved Correct.</B> |
|
75 (with Zhang and Wu) Journal version. Accepted in Journal of Automated Reasoning. |
|
76 [<A HREF="http://nms.kcl.ac.uk/christian.urban/Publications/pip.pdf">pdf</A>] |
|
77 |
|
78 <p><B>POSIX Lexing with Derivatives of Regular Expressions.</B> |
74 <p><B>POSIX Lexing with Derivatives of Regular Expressions.</B> |
79 (with Ausaf and Dyckhoff) Journal version. |
75 (with Ausaf and Dyckhoff) Journal version. |
80 </TD> |
76 </TD> |
81 </TR> |
77 </TR> |
|
78 |
|
79 <TR> |
|
80 <TD BGCOLOR="FFFFFF" WIDTH="75%"> |
|
81 <H3>2018</H3> |
|
82 <p><B>Priority Inheritance Protocol Proved Correct.</B> |
|
83 (with Zhang and Wu) Journal version. In Journal of Automated Reasoning, |
|
84 <A HREF="https://link.springer.com/article/10.1007/s10817-019-09511-5">Springer Verlag</A>. |
|
85 [<A HREF="http://nms.kcl.ac.uk/christian.urban/Publications/pip.pdf">pdf</A>] |
|
86 </TD> |
|
87 </TR> |
|
88 |
82 |
89 |
83 <TR> |
90 <TR> |
84 <TD BGCOLOR="FFFFFF" WIDTH="75%"> |
91 <TD BGCOLOR="FFFFFF" WIDTH="75%"> |
85 <H3>2017</H3> |
92 <H3>2017</H3> |
86 <p><B>Modelling Homogeneous Generative Meta-Programming</B> |
93 <p><B>Modelling Homogeneous Generative Meta-Programming</B> |
532 </TABLE> |
539 </TABLE> |
533 <P> |
540 <P> |
534 Time-stamp: <- 2018-07-29 11:27:55 by Christian Urban> |
541 Time-stamp: <- 2018-07-29 11:27:55 by Christian Urban> |
535 <a href="https://validator.w3.org/check/referer">[Validate this page.]</a> |
542 <a href="https://validator.w3.org/check/referer">[Validate this page.]</a> |
536 </P> |
543 </P> |
|
544 </font> |
537 </BODY> |
545 </BODY> |
538 </HTML> |
546 </HTML> |