/Publications/
drwxr-xr-x [up]
-rw-r--r-- 2023-08-27 11:28 +0200 6148 .DS_Store
-rw-r--r-- 2023-08-27 11:28 +0200 112691 Nominal2-2011-1.tgz
-rw-r--r-- 2023-08-27 11:28 +0200 157955 Nominal2-2012.tgz
-rw-r--r-- 2023-08-27 11:28 +0200 149036 Nominal2-2013-1.tgz
-rw-r--r-- 2023-08-27 11:28 +0200 149036 Nominal2-2013-2.tgz
-rw-r--r-- 2023-08-27 11:28 +0200 116373 Nominal2-2014.tgz
-rw-r--r-- 2023-08-27 11:28 +0200 140745 Nominal2-2015.tgz
-rw-r--r-- 2023-08-27 11:28 +0200 288360 Nominal2-2016-1.tgz
-rw-r--r-- 2023-08-27 11:28 +0200 149585 Nominal2-2016.tgz
-rw-r--r-- 2023-08-27 11:28 +0200 2359550 Phd-Urban.ps
-rw-r--r-- 2023-08-27 11:28 +0200 701023 Phd-Urban.ps.gz
-rw-r--r-- 2023-08-27 11:28 +0200 350988 alpha-iclp.ps
-rw-r--r-- 2023-08-27 11:28 +0200 313389 alpha-tlca.ps
-rw-r--r-- 2023-08-27 11:28 +0200 212563 aprolog-colognet.ps
-rw-r--r-- 2023-08-27 11:28 +0200 229135 aprolog.ps
-rw-r--r-- 2023-08-27 11:28 +0200 478866 bitcoded-itp.pdf
-rw-r--r-- 2023-08-27 11:28 +0200 243704 cade07.pdf
-rw-r--r-- 2023-08-27 11:28 +0200 436517 cade07.ps
-rw-r--r-- 2023-08-27 11:28 +0200 340044 class-tcs.ps
-rw-r--r-- 2023-08-27 11:28 +0200 236028 clc-06.ps
-rw-r--r-- 2023-08-27 11:28 +0200 192954 cpp-11.pdf
-rw-r--r-- 2023-08-27 11:28 +0200 298290 esop-11.pdf
-rw-r--r-- 2023-08-27 11:28 +0200 127606 fi-00.ps.gz
-rw-r--r-- 2023-08-27 11:28 +0200 281151 fi-01.pdf
-rw-r--r-- 2023-08-27 11:28 +0200 127614 fi-01.ps.gz
-rw-r--r-- 2023-08-27 11:28 +0200 425837 ijcar-06.ps
-rw-r--r-- 2023-08-27 11:28 +0200 269144 itp-11.pdf
-rwxr-xr-x 2023-08-27 11:28 +0200 175720 itp-12.pdf
-rw-r--r-- 2023-08-27 11:28 +0200 198169 jlc-03.pdf
-rw-r--r-- 2023-08-27 11:28 +0200 171541 lf.pdf
-rw-r--r-- 2023-08-27 11:28 +0200 262576 lfmtp-06.ps
-rw-r--r-- 2023-08-27 11:28 +0200 121527 lfmtp-07.pdf
-rw-r--r-- 2023-08-27 11:28 +0200 341202 lftechreport.pdf
-rw-r--r-- 2023-08-27 11:28 +0200 171541 lics-08.pdf
-rw-r--r-- 2023-08-27 11:28 +0200 274907 lmcs.pdf
-rw-r--r-- 2023-08-27 11:28 +0200 181877 ln.pdf
-rw-r--r-- 2023-08-27 11:28 +0200 125253 merlin-05.pdf
-rw-r--r-- 2023-08-27 11:28 +0200 217559 merlin-05.ps
-rw-r--r-- 2023-08-27 11:28 +0200 131843 mike-poster-08.pdf
-rw-r--r-- 2023-08-27 11:28 +0200 17297 mike-poster-abstract-08.pdf
-rw-r--r-- 2023-08-27 11:28 +0200 75526268 mphil.pdf
-rw-r--r-- 2023-08-27 11:28 +0200 12991215 mphil.pdf.gz
-rw-r--r-- 2023-08-27 11:28 +0200 444244 nom-cade-05.ps
-rwxr-xr-x 2023-08-27 11:28 +0200 265106 nom-tech.pdf
-rw-r--r-- 2023-08-27 11:28 +0200 349315 nom-tech.ps
-rw-r--r-- 2023-08-27 11:28 +0200 207475 nominal-atoms.pdf
-rwxr-xr-x 2023-08-27 11:28 +0200 242612 nomu-tcs.pdf
-rw-r--r-- 2023-08-27 11:28 +0200 319354 nomu-tcs.ps
-rw-r--r-- 2023-08-27 11:28 +0200 323260 nomu.ps
-rw-r--r-- 2023-08-27 11:28 +0200 280185 pip.pdf
-rw-r--r-- 2023-08-27 11:28 +0200 460798 posix-jar.pdf
-rw-r--r-- 2023-08-27 11:28 +0200 99984 posix.pdf
-rw-r--r-- 2023-08-27 11:28 +0200 66252 proposal-2007.pdf
-rw-r--r-- 2023-08-27 11:28 +0200 167456 rc.pdf
-rw-r--r-- 2023-08-27 11:28 +0200 167994 rexp.pdf
-rw-r--r-- 2023-08-27 11:28 +0200 531254 rta-08.pdf
-rw-r--r-- 2023-08-27 11:28 +0200 202973 sac-11.pdf
-rw-r--r-- 2023-08-27 11:28 +0200 253501 tableaux-01.pdf
-rw-r--r-- 2023-08-27 11:28 +0200 93340 tableaux-01.ps.gz
-rw-r--r-- 2023-08-27 11:28 +0200 530 tableaux-98.bib
-rw-r--r-- 2023-08-27 11:28 +0200 32318 tableaux-98.ps.gz
-rw-r--r-- 2023-08-27 11:28 +0200 417 tlca-99.bib
-rw-r--r-- 2023-08-27 11:28 +0200 271538 tlca-99.pdf
-rw-r--r-- 2023-08-27 11:28 +0200 104183 tlca-99.ps.gz
-rw-r--r-- 2023-08-27 11:28 +0200 92603 tm.pdf
-rw-r--r-- 2023-08-27 11:28 +0200 94762 tphols-08.pdf
-rw-r--r-- 2023-08-27 11:28 +0200 185920 univ-10.pdf
-rwxr-xr-x 2023-08-27 11:28 +0200 218902 variable.pdf
-rw-r--r-- 2023-08-27 11:28 +0200 109927 w-07.pdf
-rw-r--r-- 2023-08-27 11:28 +0200 196286 westapp-01.pdf