Index of /~calvanese/papers-html

[ICO]NameLast modifiedSizeDescription

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