Index of /franz/papers

	Name	Last modified	Size	Description
	Parent Directory		-
	KPE92b.ps.Z	16-Nov-1994 12:23	134K
	chapter9.ps.Z	16-Nov-1994 12:23	134K
	KPP94.ps.Z	16-Nov-1994 12:23	90K
	cai94.ps.Z	16-Nov-1994 12:23	90K
	KPP93.ps.Z	16-Nov-1994 12:23	109K
	complang93.ps.Z	16-Nov-1994 12:23	109K
	BKP93.ps.Z	16-Nov-1994 12:23	70K
	de93.ps.Z	16-Nov-1994 12:23	70K
	KPE92a.ps.Z	16-Nov-1994 12:23	107K
	edbt92.ps.Z	16-Nov-1994 12:23	107K
	KuPu92b.ps.Z	16-Nov-1994 12:24	61K
	ride92.ps.Z	16-Nov-1994 12:24	61K
	parle92.dvi.gz	18-Jan-1995 16:58	23K
	jcis94.dvi.gz	18-Jan-1995 17:34	13K
	ecoop-ws94.dvi.gz	18-Jan-1995 17:55	22K
	hicss94.dvi.gz	18-Jan-1995 18:17	29K
	cai94.txt	18-Jan-1995 18:32	1.1K
	parle92.txt	18-Jan-1995 18:32	1.1K
	complang93.txt	18-Jan-1995 18:38	1.1K
	de93.txt	18-Jan-1995 18:43	1.4K
	edbt92.txt	18-Jan-1995 18:50	1.3K
	ride92.txt	18-Jan-1995 18:54	804
	ride91.txt	18-Jan-1995 19:01	1.2K
	oopmoc95.dvi.gz	15-Jan-1996 15:04	27K
	wlp95.dvi.gz	15-Jan-1996 15:28	15K
	forte95.dvi.gz	15-Jan-1996 15:46	27K
	Punt96b.ps.gz	11-Mar-1996 11:05	90K
	fmoods96.ps.gz	11-Mar-1996 11:05	90K
	Punt96c.ps.gz	11-Mar-1996 16:06	43K
	pooma96.ps.gz	11-Mar-1996 16:06	43K
	Punt95a.ps.gz	13-Mar-1996 14:44	88K
	forte95.ps.gz	13-Mar-1996 14:44	88K
	Punt95b.ps.gz	15-Mar-1996 17:06	59K
	wlp95.ps.gz	15-Mar-1996 17:06	59K
	Punt95c.ps.gz	15-Mar-1996 17:10	70K
	oopmoc95.ps.gz	15-Mar-1996 17:10	70K
	Punt94a.ps.gz	15-Mar-1996 17:22	53K
	jcis94.ps.gz	15-Mar-1996 17:22	53K
	Punt94b.ps.gz	15-Mar-1996 17:26	64K
	ecoop-ws94.ps.gz	15-Mar-1996 17:26	64K
	KuPu92a.ps.gz	15-Mar-1996 17:52	61K
	parle92.ps.gz	15-Mar-1996 17:52	61K
	Punt94c.ps.gz	15-Mar-1996 18:34	80K
	hicss94.ps.gz	15-Mar-1996 18:34	80K
	KPE91.ps.gz	18-Mar-1996 11:41	74K
	ride91.ps.gz	18-Mar-1996 11:41	74K
	Punt96a.ps.gz	06-Sep-1996 15:50	54K
	europar96.ps.gz	06-Sep-1996 15:50	54K
	europar96.txt	06-Sep-1996 15:58	888
	fmoods96.txt	06-Sep-1996 15:59	890
	pooma96.txt	06-Sep-1996 15:59	684
	forte95.txt	06-Sep-1996 16:00	854
	wlp95.txt	06-Sep-1996 16:00	671
	oopmoc95.txt	06-Sep-1996 16:01	779
	jcis94.txt	06-Sep-1996 16:01	657
	ecoop-ws94.txt	06-Sep-1996 16:02	1.1K
	hicss94.txt	06-Sep-1996 16:02	888
	Punt97b.ps.gz	03-Dec-1996 17:24	63K
	jmlc97.ps.gz	03-Dec-1996 17:24	63K
	jmlc97.txt	03-Dec-1996 17:35	812
	Punt97.ps.gz	20-May-1997 17:55	91K
	ecoop97.ps.gz	20-May-1997 17:55	91K
	Punt97Report.ps.gz	20-May-1997 17:58	120K
	ecoop97tr.ps.gz	20-May-1997 17:58	120K
	ecoop97.txt	20-May-1997 18:06	907
	PePu97.ps.gz	27-Jun-1997 16:53	43K
	ecoop-ws97.ps.gz	27-Jun-1997 16:53	43K
	ecoop-ws97.txt	27-Jun-1997 17:03	970
	europar98.txt	30-Sep-1998 09:23	801
	Punt98.ps.gz	30-Sep-1999 11:35	69K
	europar98.ps.gz	30-Sep-1999 11:35	69K
	europar99.txt	30-Sep-1999 11:53	779
	PuPe99.ps.gz	30-Sep-1999 14:17	70K
	sac99.ps.gz	30-Sep-1999 14:17	70K
	sac99.txt	30-Sep-1999 14:27	875
	PePu99.ps.gz	30-Sep-1999 14:46	75K
	soap99.ps.gz	30-Sep-1999 14:46	75K
	soap99.txt	30-Sep-1999 14:52	684
	middleware98.txt	30-Sep-1999 15:16	1.2K
	PePu98.ps.gz	30-Sep-1999 15:19	73K
	middleware98.ps.gz	30-Sep-1999 15:19	73K
	Punt99.ps.gz	21-Jan-2000 12:08	75K
	europar99.ps.gz	21-Jan-2000 12:08	75K
	Punt03a.ps.gz	25-Mar-2004 11:16	51K
	Punt03b.ps.gz	25-Mar-2004 11:23	60K
	Punt05c.pdf	03-Nov-2005 16:50	129K
	Punt05b.pdf	03-Nov-2005 16:54	106K
	Punt05a.pdf	03-Nov-2005 16:56	112K
	Punt06b.pdf	09-Nov-2006 10:16	264K
	Punt06a.pdf	09-Nov-2006 10:43	86K
	Punt06aSlides.pdf	09-Nov-2006 10:43	37K
	Punt06bSlides.pdf	09-Nov-2006 10:46	41K
	Punt07a.pdf	21-Dec-2007 09:49	55K
	Punt07b.pdf	21-Dec-2007 09:49	102K
	Punt07b-slides.pdf	21-Dec-2007 09:50	32K
	Punt07a-slides.pdf	21-Dec-2007 09:51	33K
	BKP93A.html	25-May-2018 09:09	4.5K
	KPE91A.html	25-May-2018 09:09	4.4K
	KPE92aA.html	25-May-2018 09:09	4.5K
	KPE92bA.html	25-May-2018 09:09	3.4K
	KPP93A.html	25-May-2018 09:09	4.0K
	KPP94A.html	25-May-2018 09:09	4.1K
	KuPu92aA.html	25-May-2018 09:09	4.2K
	KuPu92bA.html	25-May-2018 09:09	4.0K
	LaKrPu02.html	25-May-2018 09:09	4.1K
	PePu97A.html	25-May-2018 09:09	4.1K
	PePu98A.html	25-May-2018 09:09	4.2K
	PePu99A.html	25-May-2018 09:09	3.8K
	PuPe01.html	25-May-2018 09:09	3.8K
	Punt00.html	25-May-2018 09:09	7.2K
	Punt01.html	25-May-2018 09:09	3.9K
	Punt01b.html	25-May-2018 09:09	3.8K
	Punt02.html	25-May-2018 09:09	3.7K
	Punt03aA.html	25-May-2018 09:09	4.0K
	Punt03bA.html	25-May-2018 09:09	3.7K
	Punt05aA.html	25-May-2018 09:09	3.9K
	Punt05bA.html	25-May-2018 09:09	3.9K
	Punt05cA.html	25-May-2018 09:09	4.1K
	Punt06aA.html	25-May-2018 09:09	4.1K
	Punt06bA.html	25-May-2018 09:09	4.3K
	Punt07aA.html	25-May-2018 09:09	4.1K
	Punt07bA.html	25-May-2018 09:09	4.0K
	Punt94aA.html	25-May-2018 09:09	3.6K
	Punt94bA.html	25-May-2018 09:09	4.1K
	Punt94cA.html	25-May-2018 09:09	3.9K
	Punt95aA.html	25-May-2018 09:09	3.9K
	Punt95bA.html	25-May-2018 09:09	3.7K
	Punt95cA.html	25-May-2018 09:09	3.8K
	Punt96aA.html	25-May-2018 09:09	4.1K
	Punt96bA.html	25-May-2018 09:09	4.1K
	Punt96cA.html	25-May-2018 09:09	3.8K
	Punt97A.html	25-May-2018 09:09	4.2K
	Punt97bA.html	25-May-2018 09:09	4.0K
	Punt98A.html	25-May-2018 09:09	4.0K
	Punt99A.html	25-May-2018 09:09	4.0K
	PuPe99A.html	25-May-2018 09:09	4.0K