Index of pubs

 Name                                Last modified     Size  Description

 Parent Directory
 SHM09.pdf                 Mon May 11 15:11:35 2009    127k
 abstractions.ilg          Sun Sep  3 15:57:01 2006   5158k
 abstractions.pdf          Wed Oct 13 10:40:31 2004    192k
 afm07.pdf                 Tue Oct 16  1:40:01 2007    204k
 bmp.pdf                   Mon Jan  9 11:28:45 2006    231k
 boolean_monoids.pdf       Tue Aug 10 12:54:43 2004    183k
 brown-pike-memocode.pdf   Wed Apr 18  1:48:02 2007    202k
 counterex.pdf             Wed Nov 10 12:43:22 2004    242k
 cyber-physical-leepike.pdf  Tue Mar 25 18:51:59 2008    104k
 dcc.pdf                   Tue Jan 31  1:29:51 2006    262k
 emsoft.pdf                Thu Jul 28 10:35:47 2005    106k
 fm-ethics.pdf             Mon Dec 24 16:15:04 2007    195k
 index.html                Thu Oct  1  1:45:26 2009      1k
 infoFlow.pdf              Wed Jul 15 20:26:43 2009    178k
 k_ind.pdf                 Thu Jun  2 22:52:21 2005    729k
 leepike-fmcad.pdf         Mon Dec  1 17:40:28 2008    221k
 phil_p100.pdf             Tue Aug 10 13:25:47 2004     18k
 pike-holpp.pdf            Sat Feb 28 23:55:38 2009    186k
 pike-position-uav.pdf     Mon Apr 13 13:19:30 2009    109k
 pike_acl2.pdf             Tue Jan  9 12:37:58 2007    270k
 pike_disproving.pdf       Fri Aug 18 14:52:27 2006    208k
 pike_diss.pdf             Sat Apr 29 21:08:47 2006    999k
 pike_tse06.pdf            Tue May 30  0:47:08 2006     84k
 qcbiphase.pdf             Sun Jun 14 14:31:51 2009    193k
 saljrnl.pdf               Thu Oct  1  1:43:13 2009    340k
 survey.pdf                Sun Sep 20 16:52:50 2009    696k
 unified.pdf               Wed Oct 13 10:41:10 2004    213k