Index of /~calvanese/papers-html

	Name	Last modified	Size	Description
	Parent Directory		-
	AAAI-98.html	25-Jan-2012 11:12	2.6K
	AAAI-2000.html	25-Jan-2012 11:12	2.5K
	AAAI-2005-demo.html	25-Jan-2012 11:12	1.6K
	AAAI-2005-uml.html	25-Jan-2012 11:13	2.0K
	AAAI-2005.html	25-Jan-2012 11:12	2.6K
	AAAI-2006.html	25-Jan-2012 11:12	2.5K
	AAAI-2007-dllite.html	25-Jan-2012 11:12	2.4K
	AAAI-2007-qa-automata.html	25-Jan-2012 11:12	2.1K
	AAAI-2010.html	25-Jan-2012 11:12	2.3K
	AAAI-WS-98.html	25-Jan-2012 11:12	3.1K
	AC-2009.html	25-Jan-2012 11:12	1.8K
	ADL-2000.html	25-Jan-2012 11:12	3.0K
	ADL-KIWS-2001.html	25-Jan-2012 11:12	2.4K
	AI-IA-96.html	25-Jan-2012 11:12	1.7K
	AI-comm-96.html	25-Jan-2012 11:12	1.0K
	AI-magazine-2005.html	25-Jan-2012 11:12	2.0K
	AICA-2000.html	25-Jan-2012 11:12	1.5K
	AICA-2002.html	25-Jan-2012 11:12	1.7K
	AIIA-2007-dlfinite.html	25-Jan-2012 11:12	2.4K
	AIIA-2007-nl-dl.html	25-Jan-2012 11:12	2.3K
	AIIA-notizie-2000.html	25-Jan-2012 11:12	2.9K
	AIJ-2005.html	25-Jan-2012 11:12	3.3K
	AIJ-2011.html	25-Jan-2012 11:13	2.6K
	AIMSA-2010.html	25-Jan-2012 11:12	2.5K
	AISC-2006.html	25-Jan-2012 11:12	1.5K
	AMW-2010.html	25-Jan-2012 11:12	1.9K
	AMW-2011.html	25-Jan-2012 11:12	2.5K
	BPM-2011.html	25-Jan-2012 11:13	2.3K
	CAiSE-99.html	25-Jan-2012 11:12	2.1K
	CAiSE-2002.html	25-Jan-2012 11:12	2.6K
	CAiSE-2003.html	25-Jan-2012 11:12	2.7K
	CNKRR-93.html	25-Jan-2012 11:12	1.7K
	CNL-2009.html	25-Jan-2012 11:12	2.1K
	CSPIA-2004.html	25-Jan-2012 11:12	2.3K
	CoRR-2010.html	25-Jan-2012 11:12	1.4K
	CoopIS-98.html	25-Jan-2012 11:12	2.5K
	D2I-D0R1-2001.html	25-Jan-2012 11:12	1.4K
	D2I-D1R1-2001.html	25-Jan-2012 11:12	1.6K
	D2I-D1R5-2001.html	25-Jan-2012 11:12	2.6K
	D2I-D1R11-2002.html	25-Jan-2012 11:12	1.3K
	DBIS-Chom-Saak-98.html	25-Jan-2012 11:12	2.4K
	DBISP2P-2003.html	25-Jan-2012 11:12	2.8K
	DBPL-2001.html	25-Jan-2012 11:12	3.1K
	DBPL-2002.html	25-Jan-2012 11:12	3.4K
	DBPL-2005.html	25-Jan-2012 11:12	2.9K
	DBPL-2009.html	25-Jan-2012 11:12	2.3K
	DKE-2012.html	25-Jan-2012 11:13	1.9K
	DL-96.html	25-Jan-2012 11:12	2.3K
	DL-97.html	25-Jan-2012 11:12	1.8K
	DL-98-alc.html	25-Jan-2012 11:12	1.5K
	DL-98-ssd.html	25-Jan-2012 11:12	2.5K
	DL-99.html	25-Jan-2012 11:12	2.2K
	DL-2000.html	25-Jan-2012 11:12	2.1K
	DL-2001.html	25-Jan-2012 11:12	2.6K
	DL-2002.html	25-Jan-2012 11:12	2.2K
	DL-2003-ed.html	25-Jan-2012 11:12	1.1K
	DL-2003-eservices.html	25-Jan-2012 11:12	2.3K
	DL-2003-uml.html	25-Jan-2012 11:12	2.1K
	DL-2004-finite.html	25-Jan-2012 11:12	1.9K
	DL-2004-lite.html	25-Jan-2012 11:12	2.2K
	DL-2004-matching.html	25-Jan-2012 11:12	2.0K
	DL-2005.html	25-Jan-2012 11:12	2.4K
	DL-2006-eql.html	25-Jan-2012 11:12	2.9K
	DL-2006-shiq.html	25-Jan-2012 11:12	2.4K
	DL-2007-azioni.html	25-Jan-2012 11:12	2.8K
	DL-2007-ed.html	25-Jan-2012 11:12	1.2K
	DL-2007-er-full.html	25-Jan-2012 11:12	2.3K
	DL-2007-er.html	25-Jan-2012 11:12	2.3K
	DL-2007-mastro.html	25-Jan-2012 11:12	3.4K
	DL-2007-nl-dl.html	25-Jan-2012 11:12	2.3K
	DL-2007-proof-theory.html	25-Jan-2012 11:12	1.8K
	DL-2008.html	25-Jan-2012 11:12	1.9K
	DL-2009-nouna.html	25-Jan-2012 11:12	1.9K
	DL-2009-qr.html	25-Jan-2012 11:12	2.3K
	DL-2010-rewriting.html	25-Jan-2012 11:12	1.8K
	DL-2010-uml.html	25-Jan-2012 11:12	2.3K
	DL-2010-update.html	25-Jan-2012 11:12	1.9K
	DL-2011-artifacts.html	25-Jan-2012 11:13	2.2K
	DL-2011-explanation.html	25-Jan-2012 11:13	2.0K
	DL-2011-kb-exchange.html	25-Jan-2012 11:13	2.0K
	DL-2011-obda.html	25-Jan-2012 11:13	2.5K
	DLHB-2003-ed.html	25-Jan-2012 11:12	2.3K
	DLHB-2003-expressive.html	25-Jan-2012 11:12	2.2K
	DLHB-2003-formalisms.html	25-Jan-2012 11:12	2.2K
	DLHB-2007-ed.html	25-Jan-2012 11:12	2.1K
	DLHB-2007-paperback-ed.html	25-Jan-2012 11:12	2.2K
	DMDW-99.html	25-Jan-2012 11:12	2.7K
	DOLAP-2009.html	25-Jan-2012 11:12	2.2K
	DOOD-95.html	25-Jan-2012 11:12	2.6K
	DSOM-2003.html	25-Jan-2012 11:13	1.5K
	DWDOT-98.html	25-Jan-2012 11:12	2.4K
	DWQ-D-1-1-97.html	25-Jan-2012 11:12	1.6K
	DWQ-D-2-1-97.html	25-Jan-2012 11:12	1.3K
	DWQ-D-3-1-97.html	25-Jan-2012 11:12	1.6K
	DWQ-D-3-3-98.html	25-Jan-2012 11:12	1.7K
	DWQ-D-4-1-98.html	25-Jan-2012 11:12	1.7K
	DWQ-D-4-2-99.html	25-Jan-2012 11:12	1.7K
	DWQ-D-4-3-99.html	25-Jan-2012 11:12	1.7K
	DWQ-book-99.html	25-Jan-2012 11:12	1.5K
	ECAI-96.html	25-Jan-2012 11:12	2.0K
	ECAI-2002.html	25-Jan-2012 11:13	2.2K
	EISIC-2002.html	25-Jan-2012 11:12	2.5K
	EMOI-INTEROP-2005.html	25-Jan-2012 11:12	1.9K
	ER-2001.html	25-Jan-2012 11:12	2.6K
	ER-2002.html	25-Jan-2012 11:12	2.5K
	ER-2006.html	25-Jan-2012 11:13	2.8K
	ER-2007.html	25-Jan-2012 11:12	2.1K
	ER-2010.html	25-Jan-2012 11:12	2.1K
	EROW-2007.html	25-Jan-2012 11:12	2.4K
	FMII-2001-ed.html	25-Jan-2012 11:12	1.2K
	FQAS-2009.html	25-Jan-2012 11:12	1.9K
	IA-2006.html	25-Jan-2012 11:12	972
	IBIS-1-2001.html	25-Jan-2012 11:12	1.4K
	IBIS-2-2001.html	25-Jan-2012 11:12	1.4K
	IBIS-3-2001.html	25-Jan-2012 11:12	1.4K
	IBMSJ-2003.html	25-Jan-2012 11:12	1.8K
	IC-2010.html	25-Jan-2012 11:13	2.7K
	ICDE-94.html	25-Jan-2012 11:12	2.4K
	ICDE-2000.html	25-Jan-2012 11:12	2.4K
	ICDL-2000.html	25-Jan-2012 11:12	2.4K
	ICDT-99-WS.html	25-Jan-2012 11:12	2.3K
	ICDT-2003-ed.html	25-Jan-2012 11:12	1.0K
	ICDT-2003.html	25-Jan-2012 11:12	2.4K
	ICDT-2005.html	25-Jan-2012 11:12	3.3K
	ICDT-2011.html	25-Jan-2012 11:12	2.7K
	ICSNW-2004.html	25-Jan-2012 11:12	2.8K
	ICSOC-2003.html	25-Jan-2012 11:12	2.6K
	ICSOC-2004.html	25-Jan-2012 11:12	2.6K
	ICSOC-2005.html	25-Jan-2012 11:12	2.6K
	ICSOC-2009.html	25-Jan-2012 11:12	3.2K
	ICWS-2006.html	25-Jan-2012 11:12	1.4K
	IEEE-BDE-2002.html	25-Jan-2012 11:12	1.9K
	IEEE-BDE-2008.html	25-Jan-2012 11:12	2.6K
	IIMAS-2008-ngs.html	25-Jan-2012 11:12	2.4K
	IIMAS-2008-obda.html	25-Jan-2012 11:12	1.6K
	IJCAI-99.html	25-Jan-2012 11:12	2.3K
	IJCAI-2001.html	25-Jan-2012 11:12	2.3K
	IJCAI-2007.html	25-Jan-2012 11:12	2.8K
	IJCAI-2009.html	25-Jan-2012 11:12	1.6K
	IJCAI-2011-automata.html	25-Jan-2012 11:13	1.5K
	IJCAI-2011-c2rpq.html	25-Jan-2012 11:12	2.0K
	IJCAI-rep-99.html	25-Jan-2012 11:12	1.1K
	IJCIS-2001.html	25-Jan-2012 11:12	2.7K
	IJCIS-2005.html	25-Jan-2012 11:12	2.6K
	IS-2004.html	25-Jan-2012 11:12	2.4K
	IS-2006.html	25-Jan-2012 11:12	1.8K
	IS-2008.html	25-Jan-2012 11:12	2.9K
	ISMIS-97.html	25-Jan-2012 11:12	2.5K
	ISMIS-2002.html	25-Jan-2012 11:12	2.2K
	ISWC-2010.html	25-Jan-2012 11:12	2.4K
	ISWC-poster-2011.html	25-Jan-2012 11:13	1.0K
	IWCS-2007.html	25-Jan-2012 11:12	873
	JAIR-99.html	25-Jan-2012 11:12	3.4K
	JAIR-2009.html	25-Jan-2012 11:12	2.2K
	JAR-2007.html	25-Jan-2012 11:12	3.2K
	JAR-2008.html	25-Jan-2012 11:12	2.6K
	JCSS-2002.html	25-Jan-2012 11:12	2.7K
	JCSS-2012.html	25-Jan-2012 11:13	2.5K
	JLC-2010.html	25-Jan-2012 11:13	1.8K
	JLC-DL-99.html	25-Jan-2012 11:12	2.6K
	JODS-2008.html	25-Jan-2012 11:12	3.0K
	JUCS-2009.html	25-Jan-2012 11:12	2.0K
	KES-2004.html	25-Jan-2012 11:12	1.4K
	KR-94.html	25-Jan-2012 11:12	2.9K
	KR-96.html	25-Jan-2012 11:12	2.5K
	KR-98.html	25-Jan-2012 11:12	3.1K
	KR-2000.html	25-Jan-2012 11:12	2.8K
	KR-2002.html	25-Jan-2012 11:12	2.2K
	KR-2004.html	25-Jan-2012 11:12	2.7K
	KR-2006.html	25-Jan-2012 11:12	2.7K
	KR-2008-ids.html	25-Jan-2012 11:12	2.6K
	KR-2008-views.html	25-Jan-2012 11:12	2.5K
	KRDB-95.html	25-Jan-2012 11:12	1.3K
	KRDB-2000-rew.html	25-Jan-2012 11:12	2.5K
	KRDB-2000-ssd.html	25-Jan-2012 11:12	2.4K
	KRDB-2001.html	25-Jan-2012 11:12	2.4K
	KRDB-2002-ed.html	25-Jan-2012 11:12	1.0K
	KRDB-2003-invited.html	25-Jan-2012 11:12	1.1K
	KRDB-2003.html	25-Jan-2012 11:12	2.3K
	LAAIC-2006.html	25-Jan-2012 11:12	2.3K
	LICS-2000.html	25-Jan-2012 11:12	3.0K
	LICS-2002.html	25-Jan-2012 11:12	1.3K
	LID-2008.html	25-Jan-2012 11:12	2.8K
	LID-2009.html	25-Jan-2012 11:12	2.3K
	LREC-2006.html	25-Jan-2012 11:12	1.8K
	NISJ-99-dw.html	25-Jan-2012 11:12	2.3K
	NISJ-99-ssd.html	25-Jan-2012 11:12	2.1K
	ODBASE-2008.html	25-Jan-2012 11:12	3.0K
	ONISW-2008.html	25-Jan-2012 11:12	1.4K
	OWLED-2005.html	25-Jan-2012 11:12	3.0K
	OWLED-2006.html	25-Jan-2012 11:12	2.8K
	OWLED-2007-dig.html	25-Jan-2012 11:12	2.2K
	OWLED-2007-dllite.html	25-Jan-2012 11:12	2.3K
	OWLED-2008-DIG.html	25-Jan-2012 11:12	2.3K
	OWLED-2008-OWLlink.html	25-Jan-2012 11:12	1.1K
	P4WGS-ICAPS-2004.html	25-Jan-2012 11:12	1.7K
	P4WS-ICAPS-2003.html	25-Jan-2012 11:12	2.3K
	PMD-2001.html	25-Jan-2012 11:12	2.1K
	PODS-94.html	25-Jan-2012 11:12	2.2K
	PODS-98.html	25-Jan-2012 11:12	2.8K
	PODS-99.html	25-Jan-2012 11:12	3.0K
	PODS-2000.html	25-Jan-2012 11:12	2.9K
	PODS-2002.html	25-Jan-2012 11:12	2.9K
	PODS-2003.html	25-Jan-2012 11:12	2.5K
	PODS-2004.html	25-Jan-2012 11:12	2.7K
	PROGRESS-2-97.html	25-Jan-2012 11:12	1.1K
	RR-2008-ed.html	25-Jan-2012 11:12	938
	RW-2009.html	25-Jan-2012 11:12	4.2K
	SAC-2010.html	25-Jan-2012 11:12	2.3K
	SDKB-2008.html	25-Jan-2012 11:12	3.2K
	SEBD-98.html	25-Jan-2012 11:12	1.0K
	SEBD-99.html	25-Jan-2012 11:12	1.2K
	SEBD-2000.html	25-Jan-2012 11:12	2.1K
	SEBD-2001.html	25-Jan-2012 11:12	2.4K
	SEBD-2002-conceptual.html	25-Jan-2012 11:12	2.6K
	SEBD-2002-ibis.html	25-Jan-2012 11:12	1.7K
	SEBD-2003.html	25-Jan-2012 11:12	1.2K
	SEBD-2004.html	25-Jan-2012 11:12	1.6K
	SEBD-2005-ed.html	25-Jan-2012 11:12	1.1K
	SEBD-2005.html	25-Jan-2012 11:12	1.4K
	SEBD-2006.html	25-Jan-2012 11:12	1.9K
	SEBD-2007-dllite.html	25-Jan-2012 11:12	2.3K
	SEBD-2007-mapping.html	25-Jan-2012 11:12	2.8K
	SEBD-2008.html	25-Jan-2012 11:12	1.8K
	SEKE-2002.html	25-Jan-2012 11:12	2.5K
	SGML-XML-99.html	25-Jan-2012 11:12	783
	SGML-parsing-98.html	25-Jan-2012 11:12	824
	SIGMOD-2000.html	25-Jan-2012 11:12	1.4K
	SIGMOD-Record-2003.html	25-Jan-2012 11:12	3.0K
	SMO-1-2001.html	25-Jan-2012 11:12	2.1K
	SMO-2-2001.html	25-Jan-2012 11:12	1.5K
	SMO-3-2001.html	25-Jan-2012 11:12	1.3K
	SWAP-2005.html	25-Jan-2012 11:12	1.7K
	SWJ-2011.html	25-Jan-2012 11:12	2.8K
	SWSF-2005.html	25-Jan-2012 11:12	1.7K
	SWWS-2001.html	25-Jan-2012 11:12	2.1K
	SWWS-book-2002.html	25-Jan-2012 11:12	2.2K
	Studia-Logica-2012.html	25-Jan-2012 11:13	1.9K
	TABLEAUX-2005.html	25-Jan-2012 11:12	1.1K
	TCS-2005.html	25-Jan-2012 11:12	2.4K
	TCS-2007.html	25-Jan-2012 11:12	3.2K
	TDKE-99.html	25-Jan-2012 11:13	1.0K
	TES-2004.html	25-Jan-2012 11:12	2.8K
	TKDE-2006.html	25-Jan-2012 11:13	2.6K
	TOCL-2008.html	25-Jan-2012 11:12	3.0K
	TR-BBKCS-2009-03.html	25-Jan-2012 11:12	2.6K
	TR-DIS-1998-13.html	25-Jan-2012 11:12	1.3K
	TR-DIS-1999-04.html	25-Jan-2012 11:12	1.4K
	TR-DIS-1999-20.html	25-Jan-2012 11:12	1.3K
	TR-DIS-2003-01.html	25-Jan-2012 11:12	2.2K
	TR-DIS-2003-10.html	25-Jan-2012 11:12	2.3K
	TR-DIS-2003-11.html	25-Jan-2012 11:12	3.2K
	TR-DIS-2003-22.html	25-Jan-2012 11:12	2.5K
	TR-DIS-2004-09.html	25-Jan-2012 11:12	2.5K
	TR-DIS-2006-05.html	25-Jan-2012 11:12	2.8K
	TR-FUB-2005-07.html	25-Jan-2012 11:12	2.0K
	TR-FUB-2005-11.html	25-Jan-2012 11:12	3.0K
	TR-FUB-2006-03.html	25-Jan-2012 11:12	2.2K
	VLDB-2005.html	25-Jan-2012 11:12	2.4K
	WES-2003.html	25-Jan-2012 11:12	2.4K
	WSS-2005.html	25-Jan-2012 11:12	1.5K
	WWWJ-2001.html	25-Jan-2012 11:12	2.3K
	WebDB-99.html	25-Jan-2012 11:12	2.4K
	XML-2000.html	25-Jan-2012 11:12	956
	book-GDM-2006.html	25-Jan-2012 11:12	3.5K
	book-SWIM-2009.html	25-Jan-2012 11:12	2.8K
	book-kowalski-2002.html	25-Jan-2012 11:12	2.6K
	book-levesque-2011.html	25-Jan-2012 11:13	3.2K
	book-mylopoulos-2009.html	25-Jan-2012 11:12	3.1K
	handbook-AR-2001.html	25-Jan-2012 11:12	1.5K
	libro-C-2001-indice.html	25-Jan-2012 11:12	1.3K
	libro-C-2001.html	25-Jan-2012 11:12	1.3K
	libro-java-1-2003.html	25-Jan-2012 11:12	1.4K
	libro-java-2-2003.html	25-Jan-2012 11:12	1.4K
	libro-java-2-2005.html	25-Jan-2012 11:12	1.3K
	libro-pascal-98-indice.html	25-Jan-2012 11:12	1.4K
	libro-pascal-98.html	25-Jan-2012 11:12	1.3K
	libro-pascal-99-indice.html	25-Jan-2012 11:12	1.4K
	libro-pascal-99.html	25-Jan-2012 11:12	1.3K
	pub-frames.shtml	31-Oct-2003 20:03	630
	publications-year.shtml	31-Oct-2003 20:03	217
	publications.shtml	31-Oct-2003 20:03	217
	telecom-2000.html	25-Jan-2012 11:12	1.5K
	tesi-dott-96.html	25-Jan-2012 11:12	1.3K
	tesi-dott-ingl-96.html	25-Jan-2012 11:12	1.0K
	tesi-dott-ita-96.html	25-Jan-2012 11:12	936
	tesi-laurea-90.html	25-Jan-2012 11:12	859
	thesis-96.html	25-Jan-2012 11:12	2.6K