Index of /papers

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]APT-manual.pdf2025-04-20 08:40 200K 
[ ]APT-manual.ps1997-09-15 14:19 2.3M 
[ ]APT-manual_bitmap.pdf2002-12-18 21:19 288K 
[ ]ActiveLogicDocuments-PrologBook.pdf2023-04-28 22:31 627K 
[ ]AlbertAAGP09.pdf2010-03-22 12:26 237K 
[ ]AlbertACGPZ08.pdf2008-05-27 12:46 220K 
[ ]AlbertAGGPRRZ09.pdf2012-02-22 17:37 618K 
[ ]AlbertAGHP09.pdf2010-03-22 12:29 290K 
[ ]AlbertAGP08.pdf2008-06-20 17:32 232K 
[ ]AlbertAGP08a.pdf2008-12-10 22:41 140K 
[ ]AlbertAGP08b.pdf2008-05-23 15:37 232K 
[ ]AlbertAGP09.pdf2009-09-17 18:29 251K 
[ ]AlbertAGP11a.pdf2011-05-27 09:35 866K 
[ ]AlbertAGPRZ08.pdf2008-12-05 15:47 296K 
[ ]AlbertAGPRZ08b.pdf2008-12-09 11:48 239K 
[ ]AlbertAGPZ08.pdf2008-05-23 16:14 233K 
[ ]AlbertAGPZ08b.pdf2008-05-27 13:09 137K 
[ ]AlbertAGPZ08c.pdf2008-08-02 11:23 263K 
[ ]AlbertAGPZ09.pdf2009-07-29 17:30 331K 
[ ]AlbertAGZ11-short.pdf2011-05-26 17:43 266K 
[ ]AlbertAPR10.pdf2010-05-06 13:12 284K 
[ ]AlbertBGHPR11.pdf2010-11-29 10:33 274K 
[ ]AlbertGG09.pdf2009-04-19 18:47 288K 
[ ]AlbertGGJST11.pdf2011-07-30 02:22 459K 
[ ]AssertionsAndOther-PrologBook.pdf2023-05-27 15:35 1.4M 
[ ]Backtracking.pdf2016-12-11 16:12 821K 
[DIR]EC-sCASP-ICLP2019/2019-05-16 10:54 -  
[DIR]EC-sCASP-TPLP2020/2020-10-10 16:13 -  
[ ]FSR2003-amos.pdf2003-12-11 10:50 405K 
[ ]GenaimK08.pdf2009-07-09 18:56 395K 
[ ]GenaimS08.pdf2008-07-29 16:03 222K 
[ ]GenaimZanardiniWST10.pdf2011-05-26 17:50 148K 
[ ]HB08chr.pdf2008-07-01 14:04 207K 
[ ]Haemmerle11clipA.pdf2011-03-29 16:36 443K 
[ ]Haemmerle11clipB.pdf2011-05-03 19:32 541K 
[ ]Haemmerle11tplpA.pdf2011-07-06 16:36 247K 
[ ]Haemmerle11tplpB.pdf2011-07-06 16:35 231K 
[ ]Haemmerle12chr.pdf2012-08-14 22:53 353K 
[ ]Haemmerle12tplp.pdf2012-07-15 23:46 428K 
[ ]Haemmerle14clip.pdf2014-08-12 14:57 274K 
[ ]Haemmerle14ppdp.pdf2014-08-12 14:54 301K 
[ ]HaemmerleGH11ppdp.pdf2011-08-13 16:54 375K 
[ ]Hampaper.pdf2016-12-11 16:12 791K 
[ ]ICLPWSanal.pdf2016-07-16 15:48 305K 
[ ]LPAR.pdf2012-04-02 09:39 1.0M 
[ ]LiHer85.pdf2016-12-11 16:13 768K 
[ ]Marron-sharing-paste08.pdf2008-11-12 04:33 375K 
[ ]Marron08-projectextend-cc.pdf2008-04-28 17:37 558K 
[ ]Melbourne.pdf2016-12-11 16:08 791K 
[ ]NMHLFM08.pdf2008-04-30 07:24 141K 
[ ]Prolog-FLI-survey-newsletter.pdf2002-12-18 21:19 101K 
[ ]Prolog-FLI-survey.ps.gz2002-05-23 20:02 110K 
[ ]README2002-12-17 12:53 551  
[ ]RamirezCP10.pdf2011-05-26 09:09 209K 
[ ]RamirezCP10a.pdf2011-05-26 09:09 212K 
[ ]RuleML11_slides.pdf2021-07-04 14:14 714K 
[ ]Swapping-tabling-chico-ICLP10.pdf2010-09-30 16:46 209K 
[ ]TeachingProlog-PrologBook.pdf2023-06-12 10:00 410K 
[ ]TeachingProlog-iclp-group-talk.pdf2023-12-13 13:56 453K 
[ ]TeachingProlog-iclp-talk.pdf2024-02-20 13:11 470K 
[ ]WST10.pdf2010-07-19 17:10 649K 
[ ]WST10.ps2010-07-19 17:10 2.5K 
[ ]aadebug97-informal.pdf2025-04-20 08:40 238K 
[ ]aadebug97-informal.ps1999-12-10 20:58 226K 
[ ]aadebug97-informal_bitmap.pdf2002-12-18 21:19 247K 
[ ]abs-exec-lopstr.pdf2025-04-20 08:40 254K 
[ ]abs-exec-lopstr.ps1999-12-10 20:25 243K 
[ ]abs-exec-lopstr_bitmap.pdf2002-12-18 21:19 269K 
[ ]abs-int-naclp89.pdf2004-12-13 19:10 186K 
[ ]abstract-distances-2019-iclp-tc.pdf2019-09-30 00:29 121K 
[ ]abstract-distances-lopstr19-post.pdf2020-02-11 21:24 601K 
[ ]abstract-distances-lopstr19-pre.pdf2019-09-17 11:08 689K 
[ ]abstrim-tplp.pdf2024-08-21 17:23 1.2M 
[ ]acc-res-ppdp05-long.pdf2005-12-09 11:40 153K 
[ ]acc-res-ppdp05.pdf2005-12-09 11:25 153K 
[ ]agents-ciao-epia01.pdf2025-04-20 08:40 64K 
[ ]agents-ciao-epia01.ps2002-04-23 14:56 50K 
[ ]agents-ciao-epia01_bitmap.pdf2002-12-18 21:19 66K 
[ ]aggregates-padl19.pdf2019-03-18 18:53 228K 
[ ]ai-jlp.pdf2004-12-13 19:19 265K 
[ ]ai-safety-journal.pdf2005-12-09 10:55 316K 
[ ]ai-safety-movelog05.pdf2005-12-09 10:32 134K 
[ ]ai-safety-ngc07.pdf2009-07-09 15:15 372K 
[ ]ai-safety-reduced-eaai05.pdf2007-01-19 16:09 227K 
[ ]ai-safety-reduced-iclp06.pdf2006-07-25 20:13 205K 
[ ]ai-safety-reduced-prole06.pdf2007-01-19 16:08 190K 
[ ]ai-safety-reduced-tplp.pdf2012-08-07 15:26 528K 
[ ]ai-safety-reduced.pdf2006-02-06 18:56 238K 
[ ]ai-safety-tr.pdf2005-12-09 10:58 205K 
[ ]ai-spec-defs-poster.pdf2005-12-09 11:06 50K 
[ ]ai-spec-defs-tr.pdf2005-12-09 11:06 222K 
[ ]ai-spec-defs-tr2005.pdf2005-12-09 11:49 230K 
[ ]ai-with-specs-sas06.pdf2006-07-05 20:23 241K 
[ ]ai-with-specs-wlpe05.pdf2005-12-09 11:07 220K 
[ ]albert-puebla-herme.dvi2004-04-26 12:21 94K 
[ ]amadeo-phd.pdf2008-09-06 08:19 869K 
[ ]amos-D03.pdf2003-03-03 21:10 173K 
[ ]amos-D07.pdf2004-05-14 18:14 183K 
[ ]amos-D13.pdf2004-05-14 18:15 1.2M 
[ ]amos-D14.pdf2004-05-14 18:15 80K 
[ ]amos-cbd.pdf2003-02-28 14:24 310K 
[ ]amos-cbd.ps2003-02-28 14:24 1.8M 
[ ]amos-hispalinux-TR.pdf2003-02-05 11:46 118K 
[ ]amos-hispalinux-TR.ps2002-08-14 00:36 501K 
[ ]ams-agp02.pdf2025-04-20 08:40 194K 
[ ]ams-agp02.ps2002-11-13 12:22 192K 
[ ]ams-agp02_bitmap.pdf2002-12-18 21:19 216K 
[ ]ams-ciclops.pdf2025-04-20 08:40 170K 
[ ]ams-ciclops.ps2002-11-12 20:15 173K 
[ ]ams-ciclops_bitmap.pdf2002-12-18 21:19 194K 
[ ]ancons-ilps.pdf2024-02-20 11:54 281K 
[ ]anconsall-acm.pdf2003-06-17 12:01 432K 
[ ]andprolog-new-ciclops2007.pdf2008-07-22 06:11 171K 
[ ]andprolog-new-padl2008-unm.pdf2007-12-19 22:00 202K 
[ ]andprolog-new-padl2008.pdf2008-07-22 06:12 202K 
[ ]andprolog-new-pasco2007.pdf2007-07-19 22:56 148K 
[ ]anforreal-fimtr.pdf2025-04-20 08:40 293K 
[ ]anforreal-fimtr.ps1999-12-01 13:48 285K 
[ ]anforreal-fimtr_bitmap.pdf2002-12-18 21:19 315K 
[ ]ann-compare-pasco.pdf2025-04-20 08:40 259K 
[ ]ann-compare-pasco.ps1994-09-01 18:44 293K 
[ ]ann-compare-pasco_bitmap.pdf2002-12-18 21:19 283K 
[ ]annotators-jlp.ps1999-08-27 17:32 781K 
[ ]apt-disciplbook.pdf2025-04-20 08:40 225K 
[ ]apt-disciplbook.ps2000-03-24 20:59 642K 
[ ]apt-disciplbook_bitmap.pdf2002-12-18 21:19 380K 
[ ]arias19-event-calculus-asp-lopstr19.pdf2019-11-26 22:43 281K 
[ ]armageddon.pdf2016-12-11 16:17 937K 
[ ]asrHO-iclp2014-techcomm.pdf2014-04-18 19:24 190K 
[ ]asrHO-ppdp2014.pdf2014-07-30 02:45 568K 
[ ]asrHO-tr.pdf2016-07-27 17:33 435K 
[ ]assert-lang-disciplbook.pdf2025-04-20 08:40 313K 
[ ]assert-lang-disciplbook.ps2000-03-24 20:34 347K 
[ ]assert-lang-disciplbook_bitmap.pdf2002-12-18 21:19 387K 
[ ]assert-lang-ws.pdf2025-04-20 08:40 257K 
[ ]assert-lang-ws.ps1999-12-10 21:02 218K 
[ ]assert-lang-ws_bitmap.pdf2002-12-18 21:19 260K 
[ ]assert-pe-bytecode07.pdf2007-10-10 12:51 314K 
[ ]assrt-framework-cp98.pdf2025-04-20 08:40 77K 
[ ]assrt-framework-cp98.ps1999-12-10 20:48 58K 
[ ]assrt-framework-cp98_bitmap.pdf2002-12-18 21:19 79K 
[ ]assrt-framework-ercim02.pdf2003-02-18 23:48 144K 
[ ]assrt-framework-icalp02.pdf2025-04-20 08:40 114K 
[ ]assrt-framework-icalp02.ps2002-04-23 12:05 93K 
[ ]assrt-framework-icalp02_bitmap.pdf2002-12-18 21:19 116K 
[ ]assrt-framework-jicslp98ws.pdf2025-04-20 08:40 263K 
[ ]assrt-framework-jicslp98ws.ps1999-12-10 20:53 247K 
[ ]assrt-framework-jicslp98ws_bitmap.pdf2002-12-18 21:19 284K 
[ ]assrt-framework-lopstr99-informal.pdf2025-04-20 08:40 255K 
[ ]assrt-framework-lopstr99-informal.ps1999-07-30 18:10 233K 
[ ]assrt-framework-lopstr99-informal_bitmap.pdf2002-12-18 21:20 254K 
[ ]assrt-theoret-framework-lopstr99.pdf2025-04-20 08:40 291K 
[ ]assrt-theoret-framework-lopstr99.ps2000-03-24 16:21 283K 
[ ]assrt-theoret-framework-lopstr99_bitmap.pdf2002-12-18 21:20 316K 
[ ]att-var-iclp.pdf2003-02-05 11:51 193K 
[ ]att-var-iclp.ps1995-04-12 12:28 208K 
[ ]backwards-pd.pdf2005-12-09 11:47 173K 
[ ]bankovic-aiai-2015.pdf2016-02-10 16:50 734K 
[ ]bankovic-loop_perf-2015.pdf2016-02-10 16:50 631K 
[ ]bariannys12:spec_services.pdf2012-05-02 15:20 194K 
[ ]basic-block-energy-lopstr17-lncs-proc-18.pdf2018-02-27 09:49 303K 
[ ]big-small-step-vpt2020.pdf2020-07-30 08:36 218K 
[ ]boris-phd.ps2001-11-18 22:04 9.0M 
[ ]cached-rtchecks-iclp2015.pdf2015-09-04 17:22 763K 
[ ]can87.pdf2016-12-11 16:17 590K 
[ ]carro04:teaching_concurrency.pdf2015-09-03 12:33 246K 
[ ]carro06:stream-interpreter-TR.pdf2006-05-08 17:05 262K 
[ ]carro06:stream_interpreter_cases.pdf2006-10-31 15:05 427K 
[ ]casas07:high_level_implem-tr.pdf2007-09-01 22:16 237K 
[ ]chico-casas-padl12.pdf2012-01-23 09:59 208K 
[ ]chico-pruning-padl13.pdf2012-11-27 01:13 168K 
[ ]chico-tclp-flops2012.pdf2012-06-02 01:22 261K 
[ ]chico07:_improv_contin_call_tablin.pdf2007-07-26 12:41 154K 
[ ]chico08:bridge-ciclops08.pdf2009-07-09 13:06 168K 
[ ]chico08:bridge-short-paper-ICLP08.pdf2009-07-09 13:03 87K 
[ ]chico08:general_tabling-tr.pdf2008-09-11 17:00 169K 
[ ]chico09:bridge-padl2009.pdf2009-07-09 13:04 168K 
[ ]ciao-cl2000-tut.pdf2004-03-08 17:17 228K 
[ ]ciao-clpfd-ciclops.pdf2012-08-01 13:20 244K 
[ ]ciao-costmodel-2004.ps2004-10-21 17:35 255K 
[ ]ciao-desc-alp-2006.pdf2006-12-02 00:28 80K 
[ ]ciao-dis-impl-prode.pdf2025-04-20 08:40 205K 
[ ]ciao-dis-impl-prode.ps1997-01-24 16:26 168K 
[ ]ciao-dis-impl-prode_bitmap.pdf2002-12-18 21:20 212K 
[ ]ciao-hiord.pdf2004-09-21 12:25 254K 
[ ]ciao-ilps95.pdf2025-04-20 08:40 231K 
[ ]ciao-ilps95.ps1999-12-10 21:15 213K 
[ ]ciao-ilps95_bitmap.pdf2002-12-18 21:20 232K 
[ ]ciao-modules-analspec-entcs.pdf2025-04-20 08:40 311K 
[ ]ciao-modules-analspec-entcs.ps2002-01-16 21:41 296K 
[ ]ciao-modules-analspec-entcs_bitmap.pdf2002-12-18 21:20 338K 
[ ]ciao-modules-analspec-ws.pdf2025-04-20 08:40 293K 
[ ]ciao-modules-analspec-ws.ps1999-11-15 18:38 283K 
[ ]ciao-modules-analspec-ws_bitmap.pdf2002-12-18 21:20 300K 
[ ]ciao-modules-cl2000.pdf2025-04-20 08:40 228K 
[ ]ciao-modules-cl2000.ps2000-05-15 23:46 208K 
[ ]ciao-modules-cl2000_bitmap.pdf2002-12-18 21:20 242K 
[ ]ciao-modules-ws.pdf2025-04-20 08:40 181K 
[ ]ciao-modules-ws.ps1999-11-20 13:49 186K 
[ ]ciao-modules-ws_bitmap.pdf2002-12-18 21:20 197K 
[ ]ciao-novascience.pdf2025-04-20 08:40 210K 
[ ]ciao-novascience.ps1999-08-27 16:19 202K 
[ ]ciao-novascience_bitmap.pdf2002-12-18 21:20 231K 
[ ]ciao-overview-ugo08.pdf2008-04-19 12:52 1.0M 
[ ]ciao-philosophy-note-tr.pdf2006-12-07 18:23 97K 
[ ]ciao-ppcp.pdf2025-04-20 08:40 168K 
[ ]ciao-ppcp.ps1995-03-24 17:24 155K 
[ ]ciao-ppcp_bitmap.pdf2002-12-18 21:20 179K 
[ ]ciao-profiler-2004-en.ps2005-02-11 14:03 380K 
[ ]ciao-profiler-2004.ps2004-10-21 17:29 363K 
[ ]ciao-revext-ciclops.pdf2012-08-01 11:15 494K 
[ ]ciao_tut_lopstr18.pdf2018-09-17 20:13 2.7M 
[ ]ciaoc-ws.pdf2025-04-20 08:40 176K 
[ ]ciaoc-ws.ps1999-11-22 20:47 182K 
[ ]ciaoc-ws_bitmap.pdf2002-12-18 21:20 190K 
[ ]ciaopp-iclp99-tut.pdf2025-04-20 08:40 256K 
[ ]ciaopp-iclp99-tut.ps1999-08-26 17:19 221K 
[ ]ciaopp-iclp99-tut_bitmap.pdf2002-12-18 21:20 263K 
[ ]ciaopp-sas03-journal-scp.pdf2005-07-26 22:47 271K 
[ ]ciaopp-sas03.pdf2003-06-18 16:39 215K 
[ ]ciaopp-tutorial.pdf2006-01-12 18:56 786K 
[ ]clip-tr-5-2009-0.pdf2009-11-18 11:12 473K 
[ ]clp-to-js-iclp12.pdf2012-06-27 22:30 636K 
[ ]cocv04-ai-safety.pdf2004-04-26 14:38 291K 
[ ]cocv04-ai-safety.ps2004-04-26 14:36 285K 
[ ]coderep-prode.pdf2003-02-06 12:37 177K 
[ ]colognet-man.pdf2003-12-17 12:57 459K 
[ ]comdom-toplas.pdf2023-02-06 16:28 369K 
[ ]composing-extensions-lopstr-11.pdf2012-01-17 18:09 378K 
[ ]composing-extensions-lopstr-11.pdf-back2011-06-19 18:42 378K 
[ ]conf-fase-AlbertBGHR12.pdf2012-02-22 17:29 365K 
[ ]conf-pepm12-AlbertCPR12.pdf2012-02-22 17:34 363K 
[ ]conf-vmcai-AlbertGM11.pdf2011-02-22 16:40 219K 
[ ]consind-toplas.pdf2025-04-20 08:41 416K 
[ ]consind-toplas.ps2000-04-16 17:23 478K 
[ ]consind-toplas_bitmap.pdf2002-12-18 21:20 425K 
[ ]constr-visual-issues-agp98.pdf2003-02-05 11:55 320K 
[ ]constr-visual-issues-agp98.ps1998-10-15 21:51 768K 
[ ]cost-an-par-prog-2019-iclp-tc.pdf2019-09-30 00:54 111K 
[ ]cost-an-par-prog-lopstr19-post.pdf2020-02-11 19:29 419K 
[ ]cost-an-par-prog-lopstr19-pre.pdf2019-09-30 00:03 435K 
[ ]dagstuhl-tplpmove-slides.pdf2012-11-08 09:43 2.4M 
[ ]dagstuhl-tplpmove.pdf2013-03-10 18:59 285K 
[ ]damp07.pdf2007-01-21 20:42 386K 
[ ]daniel-jurjo-masters-thesis.pdf2021-07-16 20:14 1.2M 
[ ]daniel-phd.pdf2007-12-07 18:48 884K 
[ ]daniel-phd.ps2007-12-07 18:49 3.4M 
[ ]daniela-ferreiro:bsc.pdf2023-05-02 09:59 1.7M 
[ ]daniela-ferreiro:msc.pdf2024-05-03 10:41 1.4M 
[ ]data-par-europar.pdf2003-02-05 12:01 143K 
[ ]data-par-europar.ps1995-06-08 14:05 435K 
[ ]data-par-journal.pdf2003-02-06 10:23 171K 
[ ]data-par-journal.ps2003-02-06 10:25 571K 
[ ]dblai-plilp91.pdf2003-06-04 17:24 139K 
[ ]debug-tools-disciplbook.pdf2003-03-03 11:55 146K 
[ ]decomp-oo-prolog-lopstr07.pdf2007-08-02 18:11 183K 
[ ]delay-new-ilps95.pdf2025-04-20 08:41 285K 
[ ]delay-new-ilps95.ps2002-11-29 17:03 275K 
[ ]delay-new-ilps95_bitmap.pdf2002-12-18 21:20 283K 
[ ]delay-popl.pdf2025-04-20 08:41 248K 
[ ]delay-popl.ps2002-11-29 16:58 249K 
[ ]delay-popl_bitmap.pdf2002-12-18 21:20 250K 
[ ]determ-09-tr.pdf2009-04-18 19:11 317K 
[ ]determ-09-tr.rev602009-04-17 16:06 311K 
[ ]determ-lopstr04.pdf2005-12-09 11:25 222K 
[ ]determ-pre-lopstr04.pdf2004-12-13 17:48 208K 
[ ]determinacy-ngc09.pdf2009-08-19 01:10 287K 
[ ]diagnosis-iclp07.pdf2007-11-07 11:34 193K 
[ ]domcons-iclp-extabs.pdf2023-07-23 11:23 129K 
[ ]edison-phd.pdf2010-12-18 11:36 1.2M 
[ ]effimp-journal.pdf2004-04-23 19:02 141K 
[ ]effimp-journal.ps1995-12-14 20:14 608K 
[ ]effofai-toplas.pdf2020-08-24 10:07 542K 
[ ]effofai-toplas.ps1998-06-16 16:40 634K 
[ ]energy-ciaopp-alp-newsletter.pdf2017-09-16 20:05 1.1M 
[ ]energysched-jmvlsc.pdf2025-01-29 10:35 682K 
[ ]estim-exec-time-padl07.pdf2006-11-22 23:29 159K 
[ ]estim-exec-time-poster.pdf2010-10-27 14:07 811K 
[ ]estim-exec-time-ppdp08.pdf2008-07-04 15:38 281K 
[ ]estim-exec-time-tr.pdf2006-05-03 17:48 201K 
[ ]estim-exec-time-wlpe.pdf2010-10-27 14:21 206K 
[ ]eterms-sas02.pdf2025-04-20 08:41 228K 
[ ]eterms-sas02.ps2002-07-11 18:20 262K 
[ ]eterms-sas02_bitmap.pdf2002-12-18 21:20 228K 
[ ]fdcs-cons-jou.pdf2025-04-20 08:41 136K 
[ ]fdcs-cons-jou.ps2000-02-29 17:27 110K 
[ ]fdcs-cons-jou_bitmap.pdf2002-12-18 21:20 143K 
[ ]fixpt-javabytecode-FTfJP07.pdf2007-08-02 18:11 167K 
[ ]fixpt-javabytecode-bytecode07.pdf2007-02-07 09:35 237K 
[ ]flexmem-europar96.ps1999-08-04 03:00 146K 
[ ]freeness-iclp91.pdf2025-04-20 08:41 268K 
[ ]freeness-iclp91.ps2001-06-12 17:52 260K 
[ ]freeness-iclp91_bitmap.pdf2002-12-18 21:20 274K 
[ ]full-prolog-esop96.pdf2016-07-16 17:42 272K 
[ ]full-prolog-esop96.ps1999-12-10 20:30 217K 
[ ]functional-lazy-notation-flops2006.pdf2006-01-29 01:28 206K 
[ ]fuzzy-cp2001.pdf2025-04-20 08:41 199K 
[ ]fuzzy-cp2001.ps2001-10-26 16:55 205K 
[ ]fuzzy-cp2001_bitmap.pdf2002-12-18 21:20 199K 
[ ]fuzzy-cp2002.pdf2025-04-20 08:41 225K 
[ ]fuzzy-cp2002.ps2002-05-07 11:08 262K 
[ ]fuzzy-cp2002_bitmap.pdf2002-12-18 21:20 226K 
[ ]fuzzy-gc-icfc10.pdf2010-10-04 13:28 211K 
[ ]fuzzy-iclp2002.pdf2025-04-20 08:41 225K 
[ ]fuzzy-iclp2002.ps2002-05-14 10:19 262K 
[ ]fuzzy-iclp2002_bitmap.pdf2002-12-18 21:20 226K 
[ ]fuzzy-lpar02.pdf2025-04-20 08:41 225K 
[ ]fuzzy-lpar02.ps2002-09-04 17:35 262K 
[ ]fuzzy-lpar02_bitmap.pdf2002-12-18 21:20 227K 
[ ]fuzzy_FSS04.ps2004-09-07 01:09 346K 
[ ]gen-staticprofiling-iclp16.pdf2016-10-18 17:23 413K 
[ ]gen-staticprofiling-lcc-ws-18.pdf2018-07-19 14:25 236K 
[ ]german-phd.pdf2025-04-20 08:41 1.1M 
[ ]german-phd.ps1998-06-25 14:38 1.4M 
[ ]german-phd_bitmap.pdf2002-12-18 21:20 2.6M 
[ ]granularity-jsc.pdf2025-04-20 08:41 289K 
[ ]granularity-jsc.ps2002-11-28 18:41 271K 
[ ]granularity-jsc_bitmap.pdf2002-12-18 21:19 309K 
[ ]granularity-pasco94.pdf2025-04-20 08:41 282K 
[ ]granularity-pasco94.ps2002-11-28 12:27 266K 
[ ]granularity-pasco94_bitmap.pdf2002-12-18 21:20 286K 
[ ]granularity.pdf2004-03-05 14:31 178K 
[ ]guided-analysis-post-lopstr18.pdf2019-06-17 12:55 438K 
[ ]guzman07:improv_tabling-tr.pdf2008-09-11 16:54 113K 
[ ]haemmerle-ppdp14.pdf2016-02-10 16:50 301K 
[ ]hald-demo-iclp-tc.pdf2023-06-12 10:30 451K 
[ ]hald-poster-iclp.pdf2023-07-04 23:02 532K 
[ ]hc-anal-verif-dpa-2018.pdf2018-07-19 13:23 6.4M 
[ ]heap-usage-ISMM10.pdf2010-10-13 14:34 249K 
[ ]herme-tick-icpp.pdf2016-12-11 16:09 505K 
[ ]hermenegildo-phd.pdf2016-12-11 16:16 9.1M 
[ ]hermenegildo08:ciao-design-ugo-fest.pdf2008-04-19 13:04 1.0M 
[ ]hermenegildo10:ciao-design-tplp-tr.pdf2010-11-01 23:20 739K 
[ ]hermenegildo11:ciao-design-tplp.pdf2012-01-23 09:25 907K 
[ ]hermenegildo11:ciao-stop.pdf2011-01-16 10:21 195K 
[ ]herranz04:teaching_concurrency.pdf2004-10-27 13:20 5.1M 
[ ]hlfullandpar-iclp2008.pdf2008-09-16 04:48 209K 
[ ]hs-evolang04.pdf2004-07-02 18:02 31K 
[ ]iclp04-ai-safety.pdf2005-12-09 11:03 48K 
[ ]iclp90-nsi.pdf2016-12-11 15:29 801K 
[ ]iclp2018-scasp.pdf2018-07-19 22:07 339K 
[ ]idra-europar96-long.pdf2025-04-20 08:41 312K 
[ ]idra-europar96-long.ps1996-09-09 17:35 321K 
[ ]idra-europar96-long_bitmap.pdf2002-12-18 21:20 315K 
[ ]idra-europar96.pdf2003-02-06 10:50 127K 
[ ]idra-europar96.ps2003-02-06 10:50 356K 
[ ]ignacio-casso:bsc.pdf2018-09-15 20:02 663K 
[ ]ignacio-casso:masters.pdf2021-07-28 18:36 403K 
[ ]improv-tabling-ciclops07.pdf2007-12-05 16:34 106K 
[ ]improv-tabling-padl2008.pdf2007-12-05 16:23 168K 
[ ]improv_contin_call_tablin.pdf2007-08-01 11:31 112K 
[ ]inc-acc-lpar06.pdf2006-07-25 12:08 199K 
[ ]inc-acc-tr.pdf2006-04-10 20:16 288K 
[ ]inc-acc-wits06.pdf2006-03-21 15:28 190K 
[ ]inc-acc-wlpe06.pdf2007-01-19 16:11 163K 
[ ]inc-fixp-sas.pdf2025-04-20 08:41 239K 
[ ]inc-fixp-sas.ps1996-07-18 12:38 204K 
[ ]inc-fixp-sas_bitmap.pdf2002-12-18 21:20 270K 
[ ]inc_acc_tr.pdf2006-04-07 21:05 287K 
[ ]incanal-assrts-openpreds-lopstr19-post.pdf2020-08-16 21:12 1.2M 
[ ]incanal-assrts-openpreds-lopstr19-pre.pdf2019-08-31 12:05 473K 
[ ]incanal-iclp95.pdf2025-04-20 08:41 285K 
[ ]incanal-iclp95.ps1998-07-03 15:00 255K 
[ ]incanal-iclp95_bitmap.pdf2002-12-18 21:20 284K 
[ ]incanal-toplas.pdf2025-05-18 23:45 365K 
[ ]incanal-toplas.ps2000-05-12 08:52 409K 
[ ]incanal-toplas_bitmap.pdf2002-12-18 21:20 425K 
[ ]indexed-terms-ciclops-2014.pdf2014-07-30 02:49 299K 
[ ]indexed-terms-lopstr-2014-postproc-2015.pdf2015-01-31 17:57 303K 
[ ]intermod-incanal-2018-iclp-tc.pdf2018-07-17 17:50 210K 
[ ]intermod-incanal-hcvs21.pdf2021-04-06 10:42 3.5M 
[ ]intermod-incanal-hvcs21.pdf2021-04-06 10:42 3.5M 
[ ]intervals-sara.pdf2025-04-20 08:41 254K 
[ ]intervals-sara.ps2000-05-16 14:05 459K 
[ ]intervals-sara_bitmap.pdf2002-12-18 21:20 265K 
[ ]isa-energy-lopstr13-final.pdf2014-09-28 21:32 513K 
[ ]isa-vs-llvm-fopara.pdf2016-02-10 16:50 884K 
[ ]isabel-garcia-contreras-phd.pdf2021-10-21 11:53 4.4M 
[ ]isabelgc-ms.pdf2017-04-03 23:28 1.2M 
[ ]ivanovic09-cost-adaptation-tr-1.pdf2010-03-16 14:18 758K 
[ ]ivanovic09-cost-adaptation-tr.pdf2009-12-09 11:33 473K 
[ ]ivanovic09-res-anal-orch-mona.pdf2010-09-29 06:26 644K 
[ ]ivanovic09-res-anal-orch-tr.pdf2009-12-09 11:31 335K 
[ ]ivanovic10-attrib-sharing-tr.pdf2011-01-13 11:13 259K 
[ ]ivanovic10-data-aware-qos-adapt.pdf2010-05-10 13:33 298K 
[ ]ivanovic10-dyn-mod-serv-prov.pdf2010-07-13 12:32 328K 
[ ]ivanovic10:sharing_fragmentation.pdf2010-09-29 06:25 308K 
[ ]ivanovic11-attrib-inf.pdf2011-06-28 17:04 271K 
[ ]ivanovic11:qos-constraints.pdf2011-09-06 12:56 258K 
[ ]ivanovic12-qos-pred-eval.pdf2012-04-17 12:14 1.0M 
[ ]ivanovic12:icsoc2012.pdf2012-08-02 19:06 174K 
[ ]ivanovic12:qos-constraints-wlpe.pdf2012-08-03 15:35 120K 
[ ]ivanovic13:qos_predic_statistics.pdf2013-03-14 16:04 278K 
[ ]java-bytecode-fixpoint-tr.pdf2007-01-21 20:56 206K 
[ ]jfran-phd.pdf2010-07-28 21:41 2.3M 
[ ]joaquin-phd.pdf2020-02-13 13:43 1.1M 
[ ]jorge-ms.pdf2003-12-17 12:59 174K 
[ ]jorge-navas-phd.pdf2008-10-06 13:01 1.2M 
[ ]jpet-11.pdf2011-09-12 12:28 123K 
[ ]jurjo-domcons-tr.pdf2023-08-21 13:11 576K 
[ ]jvm-by-pe-svv06.pdf2008-08-27 13:27 282K 
[ ]jvm-cost-esop.pdf2007-01-19 16:03 217K 
[ ]jvm-cost-exp-bytecode07.pdf2007-02-08 13:32 230K 
[ ]jvm-cost-prole07.pdf2008-05-27 13:28 349K 
[ ]jvm-heap-ismm07.pdf2007-10-10 12:38 239K 
[ ]jvm-pe-padl07.pdf2006-10-31 14:12 178K 
[ ]jvm-termin.pdf2008-05-27 13:25 98K 
[ ]kish-simulator-ijpp.pdf2010-10-20 17:36 349K 
[ ]klemen15-ms.pdf2025-02-08 12:55 859K 
[ ]kritikos12:survey_QoS.pdf2015-09-03 12:28 4.0M 
[ ]lazy-functions-ciclops05.pdf2005-11-08 01:37 134K 
[ ]lopstr04-unfolding-informal.pdf2005-12-09 11:20 143K 
[ ]lopstr04-unfolding-short.pdf2005-12-09 11:18 143K 
[ ]lopstr04-unfolding-tr.pdf2005-12-09 11:19 257K 
[ ]lopstr04-unfolding.pdf2005-05-26 16:41 260K 
[ ]lopstr2023-inv-talk.pdf2023-10-24 09:18 5.0M 
[ ]low-bou-sas94.pdf2025-04-20 08:41 176K 
[ ]low-bou-sas94.ps2002-11-28 12:57 145K 
[ ]low-bou-sas94_bitmap.pdf2002-12-18 21:20 177K 
[ ]low-bounds-ilps97.pdf2025-04-20 08:41 265K 
[ ]low-bounds-ilps97.ps2002-11-28 11:57 240K 
[ ]low-bounds-ilps97_bitmap.pdf2002-12-18 21:21 269K 
[ ]lpar04-ai-safety-long.pdf2005-12-09 11:15 194K 
[ ]lpar04-ai-safety.pdf2005-12-09 10:52 194K 
[ ]lpco.ps1994-06-08 20:21 342K 
[ ]lpdoc-cl2000.pdf2025-04-20 08:41 244K 
[ ]lpdoc-cl2000.ps2000-05-17 17:10 231K 
[ ]lpdoc-cl2000_bitmap.pdf2002-12-18 21:21 264K 
[ ]lpdoc-ws.pdf2025-04-20 08:41 278K 
[ ]lpdoc-ws.ps1999-11-22 10:49 259K 
[ ]lpdoc-ws_bitmap.pdf2002-12-18 21:21 283K 
[ ]main.pdf2007-02-10 20:34 321  
[ ]mancioppi08:sound_multiparty.pdf2009-07-09 17:32 245K 
[ ]marco-tfg.pdf2024-06-29 20:58 8.7M 
[ ]marpons07:codin_rules_poster.pdf2007-08-31 16:35 307K 
[ ]marpons07:coding_rule_confor-tr.pdf2007-09-01 23:49 187K 
[ ]marronRegions09.pdf2009-07-30 00:36 296K 
[ ]maximiliano-klemen-phd.pdf2025-02-08 12:02 1.3M 
[ ]mcarro-ms-eng.pdf2003-02-06 15:47 171K 
[ ]mcctr-fixpt.pdf2023-06-04 13:04 264K 
[ ]memman-kluwer.ps1999-08-04 02:54 278K 
[ ]mera07:towards_exec_time-tr.pdf2007-09-01 23:13 241K 
[ ]minunf-lopstr05.pdf2005-12-22 15:51 202K 
[ ]mobile-objects-ciclops.pdf2002-12-18 21:21 169K 
[ ]mobius-tgc06.pdf2008-02-27 10:42 224K 
[ ]mod-an-lopstrbook.pdf2004-04-23 18:30 235K 
[ ]mod-bench-final.pdf2005-07-26 20:18 195K 
[ ]mod-ctchecks-lpar06.pdf2006-09-22 15:30 167K 
[ ]mod-decomp-jist09.pdf2009-07-21 01:03 451K 
[ ]mod-decomp-prole08.pdf2009-07-09 15:46 213K 
[ ]mod-decomp-scam08.pdf2009-02-12 12:21 415K 
[ ]mod-decomp-tr.pdf2008-05-13 21:00 369K 
[ ]mod-types-pepm08.pdf2008-01-24 13:41 157K 
[ ]modbenchmarks-lopstr05.pdf2005-12-09 18:06 154K 
[ ]modular-anal-lopstr.pdf2025-04-20 08:41 214K 
[ ]modular-anal-lopstr.ps2001-09-30 22:41 206K 
[ ]modular-anal-lopstr_bitmap.pdf2002-12-18 21:21 217K 
[ ]morales02:p-to-c-types.pdf2003-02-06 18:19 137K 
[ ]morales02:p_to_c_types.pdf2025-04-20 08:41 124K 
[ ]morales02:p_to_c_types.ps2002-09-15 22:51 373K 
[ ]morales02:p_to_c_types_bitmap.pdf2002-12-18 21:21 135K 
[ ]morales03:p-to-c-ciclops.pdf2004-03-26 18:27 199K 
[ ]morales04:compilation-tr.pdf2004-04-22 15:07 213K 
[ ]morales04:p-to-c-padl.pdf2004-04-23 17:17 162K 
[ ]morales05:generic_eff_AM_impl.pdf2006-05-09 00:07 175K 
[ ]morales05:generic_eff_AM_implem_iclp.pdf2005-12-13 17:47 175K 
[ ]morales09:improlog-tr.pdf2009-10-05 03:17 625K 
[ ]morales11:compext-tr.pdf2011-02-03 10:17 266K 
[ ]morales15:improlog-tplp.pdf2015-01-06 08:54 2.8M 
[ ]mvv-tabling-iclp09.pdf2009-05-02 11:38 168K 
[ ]naclp89-correctness.pdf2016-12-11 15:19 1.2M 
[ ]nataliia-ms.pdf2016-07-26 12:45 1.1M 
[ ]nataliia-phd.pdf2018-08-31 17:08 3.8M 
[ ]negation-gulp.pdf2003-03-02 12:48 170K 
[ ]negation-lpar.pdf2025-04-20 08:41 188K 
[ ]negation-lpar.ps2001-09-30 22:29 160K 
[ ]negation-lpar_bitmap.pdf2002-12-18 21:21 204K 
[ ]negsharing-iclp08-old.pdf2008-09-23 11:36 179K 
[ ]negsharing-iclp08.pdf2008-11-03 04:57 255K 
[ ]nfdp_no_public.pdf2003-12-16 12:47 594K 
[ ]nfplai-flops04.pdf2004-04-23 18:03 278K 
[ ]nfplai-flops04.ps2004-04-23 17:35 290K 
[ ]ngc-and-prolog.pdf2005-07-26 22:12 258K 
[ ]nik-dag-trans.pdf2004-07-02 17:57 272K 
[ ]nik-named-const.pdf2006-02-08 11:18 446K 
[ ]non-failure-iclp97.pdf2025-04-20 08:41 299K 
[ ]non-failure-iclp97.ps1998-09-28 11:34 568K 
[ ]non-failure-iclp97_bitmap.pdf2002-12-18 21:21 300K 
[ ]nonleftmost-lopstr05.pdf2005-12-11 10:12 173K 
[ ]novatica-aeropuerto.pdf2002-12-18 21:21 74K 
[ ]novatica-almejas.pdf2004-04-23 17:46 116K 
[ ]novatica-bosque.pdf2004-04-23 17:46 99K 
[ ]novatica-interrupcion.pdf2004-04-23 17:46 98K 
[ ]novatica-mira-y-di.pdf2004-04-23 17:46 866K 
[ ]novatica-queso.pdf2002-12-18 21:21 95K 
[ ]nsicond-tcs.pdf2009-02-13 01:18 338K 
[ ]ociao-tr.pdf2025-04-20 08:41 203K 
[ ]ociao-tr.ps1999-07-28 15:34 201K 
[ ]ociao-tr_bitmap.pdf2002-12-18 21:21 217K 
[ ]oo_shnltau-tr.pdf2007-02-10 04:43 257K 
[ ]oo_shnltau-tr2.pdf2007-11-14 03:40 279K 
[ ]optchk-journal-scp.pdf2017-07-25 20:30 579K 
[ ]optchk-ppdp2016.pdf2016-08-16 17:16 388K 
[DIR]optchk-ppdp2016/2016-05-30 12:07 -  
[DIR]optchk-scp2017/2017-07-22 00:19 -  
[ ]oracle-pcpe-qapl08.pdf2009-07-09 19:16 276K 
[ ]ordclp_tr_2003.pdf2003-10-02 12:42 163K 
[ ]order-recsolv-sas24.pdf2024-08-13 12:52 6.2M 
[DIR]padl2018-aggregate/2018-10-01 22:02 -  
[DIR]padl2019-atclp/2018-11-01 21:48 -  
[ ]parback-chico-ICLP11.pdf2011-03-13 19:11 143K 
[ ]partut-20years-tplp.pdf2022-02-26 18:42 750K 
[ ]partut-toplas.pdf2010-04-03 19:35 1.1M 
[ ]pcpd-ppdp06.pdf2006-06-01 16:11 169K 
[ ]pcpe-pepm07.pdf2007-01-05 10:39 188K 
[ ]pcpe-wflp-entcs.pdf2008-03-24 23:24 233K 
[ ]pe-in-plai-pepm99.pdf2025-04-20 08:41 219K 
[ ]pe-in-plai-pepm99.ps1999-08-27 16:25 233K 
[ ]pe-in-plai-pepm99_bitmap.pdf2002-12-18 21:21 222K 
[ ]pe-in-plai-ws.pdf2025-04-20 08:41 203K 
[ ]pe-in-plai-ws.ps1999-12-10 21:07 190K 
[ ]pe-in-plai-ws_bitmap.pdf2002-12-18 21:21 201K 
[ ]pedro-phd.pdf2003-01-08 18:44 633K 
[ ]persdb-iclp03-abstract.pdf2003-09-01 08:44 48K 
[ ]persdb-itcls-2003.pdf2003-11-12 18:09 136K 
[ ]persdb-padl-2004.pdf2004-04-23 18:19 138K 
[ ]persdb-tr.pdf2004-04-13 15:15 186K 
[ ]persdb-tr1.pdf2004-04-13 15:16 186K 
[ ]persdb.pdf2003-08-29 12:17 155K 
[ ]pillow-tplp.pdf2025-04-20 08:41 348K 
[ ]pillow-tplp.ps2001-01-15 18:19 347K 
[ ]pillow-tplp_bitmap.pdf2002-12-18 21:21 382K 
[ ]pillow-ws-dist.pdf2025-04-20 08:41 261K 
[ ]pillow-ws-dist.ps1999-09-28 13:46 272K 
[ ]pillow-ws-dist_bitmap.pdf2002-12-18 21:21 288K 
[ ]pillow-www6.pdf2025-04-20 08:41 270K 
[ ]pillow-www6.ps1999-09-28 13:39 288K 
[ ]pillow-www6_bitmap.pdf2002-12-18 21:21 299K 
[ ]pineda02:ociao.pdf2025-04-20 08:41 177K 
[ ]pineda02:ociao.ps2002-11-12 20:04 193K 
[ ]pineda02:ociao_bitmap.pdf2002-12-18 21:21 187K 
[ ]pipeline-lopstr09.pdf2011-05-27 16:45 858K 
[ ]plai-resources-iclp14.pdf2014-07-30 02:07 328K 
[ ]ppdp2016-tclp.pdf2016-07-07 12:43 273K 
[DIR]ppdp2016-tclp/2018-04-03 14:13 -  
[ ]pracabsin.pdf2016-12-11 16:11 726K 
[ ]pracai-jlp.pdf2016-12-11 16:10 1.0M 
[ ]preproc-disciplbook.pdf2025-04-20 08:41 359K 
[ ]preproc-disciplbook.ps2000-03-24 20:38 414K 
[ ]preproc-disciplbook_bitmap.pdf2002-12-18 21:21 457K 
[ ]profiling-padl11.pdf2010-11-04 15:03 468K 
[ ]profiling-tr.pdf2010-12-29 12:51 551K 
[ ]prog-glob-an-tr.pdf2025-04-20 08:41 369K 
[ ]prog-glob-an-tr.ps1998-10-14 15:00 338K 
[ ]prog-glob-an-tr_bitmap.pdf2002-12-18 21:21 379K 
[ ]prog-glob-an.pdf2025-04-20 08:41 311K 
[ ]prog-glob-an.ps1999-02-09 11:05 300K 
[ ]prog-glob-an_bitmap.pdf2002-12-18 21:21 341K 
[ ]prolog-modules-cl2000.ps2000-05-15 23:46 208K 
[ ]prolog50-iclp-invtalk.pdf2022-11-16 19:42 3.6M 
[ ]prolog50-sistedes-invtalk.pdf2022-11-05 19:12 3.6M 
[ ]prolog50_cilc_invtalk.pdf2022-11-04 16:32 2.1M 
[ ]prolog50_iclp_invtalk.pdf2022-11-16 19:42 3.6M 
[ ]prolog50_prologday_invtalk.pdf2022-11-16 20:10 1.4M 
[ ]prolog50_sistedes_invtalk.pdf2022-11-05 19:12 3.6M 
[ ]provrml-paclp.pdf2025-04-20 08:41 2.2K 
[ ]provrml-paclp_bitmap.pdf2002-12-18 21:21 384K 
[ ]qe-andorra-fim-new.pdf2025-03-29 23:05 312K 
[ ]qe-andorra-fim.pdf2025-03-29 22:30 314K 
[ ]qeandorra-tr-deliv.pdf2025-03-29 22:37 316K 
[ ]regular-path-clauses-hcvs21.pdf2021-08-08 08:49 190K 
[ ]res-anal-bpel-09-tr.pdf2009-09-09 15:18 259K 
[ ]resource-iclp07.pdf2016-11-18 10:16 352K 
[ ]resource-tr.pdf2007-01-23 03:17 177K 
[ ]resource-verif-10-tr.pdf2010-03-03 18:06 304K 
[ ]resource-verif-2012.pdf2012-06-02 01:24 388K 
[ ]resource-verif-iclp2010.pdf2010-11-17 14:33 166K 
[ ]resource-verif-vpt-2017.pdf2017-08-03 12:52 58K 
[ ]resources-blockchain-sas20.pdf2025-05-18 23:57 689K 
[ ]resources-bytecode-tr.pdf2008-09-10 00:17 257K 
[ ]resources-bytecode09.pdf2020-08-21 09:33 377K 
[ ]resources-mzn-11.pdf2011-10-31 13:01 422K 
[ ]revext-padl13.pdf2013-01-16 10:42 572K 
[ ]rtchecks-cost-2018-iclp-tc.pdf2018-05-28 09:57 214K 
[ ]rtchecks-cost-2018-ppdp.pdf2018-07-19 21:01 857K 
[DIR]rtchecks-cost/2018-05-09 00:13 -  
[ ]rtcimp-dc-iclp2017-tc.pdf2017-07-26 17:31 574K 
[ ]rustenholz-aars-msc.pdf2024-05-09 15:37 3.1M 
[ ]rustenholz-mmsd-cat-vi-report.pdf2024-06-13 15:02 959K 
[ ]rustenholz-mmsd-cat-vi-slides.pdf2024-06-13 15:02 1.1M 
[ ]rustenholz-s-unites-polytechniqueversion-report.pdf2024-06-13 15:02 5.6M 
[ ]rustenholz-s-unites-polytechniqueversion-slides.pdf2024-06-13 15:02 2.4M 
[ ]rustenholz-tipe-ens-report.pdf2024-06-13 15:02 848K 
[ ]rustenholz-tipe-mines-ponts-slides.pdf2024-06-13 15:02 1.5M 
[DIR]sCASP-ICLP2020/2020-09-03 17:07 -  
[ ]scasp-web-gde.pdf2022-07-22 20:59 961K 
[DIR]scasp/2020-04-15 22:11 -  
[ ]seff.pdf2004-11-09 15:11 167K 
[ ]set-based-absint-padl.pdf2003-01-27 14:08 180K 
[ ]set-based-absint-padl.ps.gz2003-01-27 15:16 93K 
[ ]set-sharing-with-zdd-lcpc08.pdf2008-11-12 05:09 276K 
[ ]set_sharing_with_zdd-LCPC08-slides.pdf2008-08-12 02:40 164K 
[ ]setsh-flops04.pdf2004-04-26 13:19 145K 
[ ]shabsint.pdf2025-04-20 08:41 334K 
[ ]shabsint.ps2002-06-14 09:36 368K 
[ ]shabsint_bitmap.pdf2002-12-18 21:21 371K 
[ ]shared-database.pdf2003-02-06 16:00 166K 
[ ]sharing-stars.pdf2004-12-15 10:38 97K 
[ ]sharing-wflp08.pdf2008-08-05 03:22 583K 
[ ]shcliques-padl06.pdf2005-11-07 04:35 461K 
[ ]shcliques-tr.pdf2005-12-14 17:29 243K 
[ ]shcliques-wlpe05.pdf2005-09-26 22:16 198K 
[ ]shnltau-vmcai08.pdf2008-01-25 04:30 490K 
[ ]shsets-jlp.pdf2025-04-20 08:41 429K 
[ ]shsets-jlp.ps2000-03-01 18:37 509K 
[ ]shsets-jlp_bitmap.pdf2002-12-18 21:21 549K 
[ ]shsets-sas.pdf2025-04-20 08:41 251K 
[ ]shsets-sas.ps2000-03-01 18:44 229K 
[ ]shsets-sas_bitmap.pdf2002-12-18 21:21 248K 
[ ]simul-backpar-tr.pdf2011-03-04 18:16 198K 
[ ]sinsi-jlp.pdf2006-01-30 16:45 419K 
[ ]sinsi-jlp.ps2006-01-30 16:45 414K 
[ ]sized-types-iclp2013.pdf2013-06-23 22:51 440K 
[ ]slicing-cost-plid07.pdf2008-05-27 13:21 39K 
[ ]slicing-cost-sac08.pdf2008-03-12 23:36 244K 
[ ]smc04-ai-safety.pdf2005-12-09 10:53 115K 
[ ]sonda04-ai-safety.pdf2005-12-09 10:55 97K 
[ ]soza06:probabilistic_analysis.pdf2010-11-18 11:55 116K 
[ ]spec-delay-poster.pdf2025-04-20 08:41 97K 
[ ]spec-delay-poster.ps1999-12-10 20:21 74K 
[ ]spec-delay-poster_bitmap.pdf2002-12-18 21:21 99K 
[ ]spec-dyn-sch-iclp97.pdf2025-04-20 08:41 311K 
[ ]spec-dyn-sch-iclp97.ps1999-12-10 20:15 275K 
[ ]spec-dyn-sch-iclp97_bitmap.pdf2002-12-18 21:21 310K 
[ ]spec-inv-pepm03.pdf2003-06-03 19:06 202K 
[ ]spec-inv-pepm03.ps2003-06-03 19:07 411K 
[ ]spec-jlp.pdf2025-04-20 08:41 411K 
[ ]spec-jlp.ps1999-08-27 17:26 442K 
[ ]spec-jlp_bitmap.pdf2002-12-18 21:21 443K 
[ ]spec-pepm.pdf2025-04-20 08:41 241K 
[ ]spec-pepm.ps1999-12-10 20:33 239K 
[ ]spec-pepm_bitmap.pdf2002-12-18 21:21 243K 
[ ]staticprofiling-flops.pdf2016-07-19 03:53 388K 
[ ]tagschemes-ppdp08.pdf2008-07-31 18:13 219K 
[ ]tamarit15:padl-haskell_transformation.pdf2015-05-10 02:21 110K 
[ ]tbhe-ipl09.pdf2009-07-21 01:02 222K 
[ ]tbhe-lopstr07.pdf2008-01-13 23:51 584K 
[ ]tclp-plai-iclp19.pdf2019-07-31 23:11 360K 
[DIR]tclp-plai-iclp2019/2019-05-23 15:02 -  
[ ]tdg-iclp10.pdf2010-05-06 13:02 330K 
[ ]tdg-lopstr08.pdf2009-04-01 12:10 501K 
[ ]tdg-lopstr10-lncs.pdf2011-05-25 11:53 359K 
[ ]tdg-lopstr10.pdf2010-05-17 17:23 259K 
[ ]tdg-lopstr11-lncs.pdf2012-02-21 15:12 433K 
[ ]tdg-pepm10.pdf2010-02-24 01:56 99K 
[ ]tdg-prolog-wlpe08.pdf2009-07-09 15:40 250K 
[ ]tdvsbu-jlp.pdf2025-04-20 08:41 269K 
[ ]tdvsbu-jlp.ps2000-02-29 17:49 240K 
[ ]tdvsbu-jlp_bitmap.pdf2002-12-18 21:21 278K 
[DIR]teaching-w-fair-search-rule/2024-12-17 11:49 -  
[ ]teresa-ms.pdf2011-05-30 20:21 561K 
[ ]termhide-iclp2017-tc.pdf2017-10-24 17:09 339K 
[ ]termhide-padl2018.pdf2017-10-16 19:21 666K 
[ ]termhide-tr.pdf2017-07-27 16:27 2.1M 
[ ]termsize-iclp95.pdf2003-01-10 13:03 194K 
[ ]termsize-iclp95.ps2002-11-28 10:59 287K 
[ ]tesis-edison.pdf2010-12-18 11:35 1.2M 
[ ]tesis-pedro.pdf2003-01-08 18:47 668K 
[DIR]test.bak/2002-12-18 21:32 -  
[ ]testchecks-iclp09.pdf2009-05-02 08:18 213K 
[ ]testchecks-tr.pdf2009-03-11 16:30 258K 
[ ]testgen-lopstr19-post.pdf2020-04-08 09:04 429K 
[ ]testgen-lopstr19-pre.pdf2019-09-01 17:17 393K 
[ ]testing-ana-truths-post.pdf2020-12-11 19:25 495K 
[ ]testing-ana-truths-pre.pdf2020-08-16 21:21 493K 
[ ]tplp-unfolding.pdf2009-11-20 16:15 366K 
[DIR]tplp2018-tclp/2018-04-25 16:18 -  
[DIR]tplp2020-atclp/2020-01-27 18:28 -  
[ ]trueconc-alp.pdf2016-05-29 21:03 230K 
[ ]trueconc-journal.pdf2016-05-29 19:31 2.3M 
[ ]trueconc-ppcp.pdf2016-05-29 20:41 175K 
[ ]tutorial-cmpp00-abstract.pdf2025-04-20 08:41 70K 
[ ]tutorial-cmpp00-abstract.ps2002-05-07 18:09 48K 
[ ]tutorial-cmpp00-abstract_bitmap.pdf2002-12-18 21:21 69K 
[ ]tutorial-europar04.pdf2004-06-15 16:39 151K 
[ ]tutorial-europar97.pdf2023-04-25 21:16 234K 
[ ]tutorial-europar97.ps1997-06-13 13:07 213K 
[ ]tutorial-pcjspecial.pdf2023-04-25 21:17 291K 
[ ]tutorial-pcjspecial.ps2000-05-28 19:27 346K 
[ ]type-domains-lopstr05.pdf2005-12-14 12:38 168K 
[ ]typed-emb-lopstr07.pdf2007-10-10 12:38 186K 
[ ]unrestricted-iap-tr.pdf2007-12-20 02:03 392K 
[ ]uudg-annotators-lopstr2007.pdf2008-01-14 16:48 558K 
[ ]uudg-annotators-tr-unm.pdf2007-12-19 22:01 240K 
[ ]uudg-annotators-tr.pdf2007-07-04 21:41 201K 
[ ]victor-perez:bsc.pdf2020-08-16 21:01 593K 
[ ]victor-perez:msc.pdf2021-08-08 15:53 463K 
[ ]vifid-trifid-disciplbook.pdf2025-04-20 08:41 247K 
[ ]vifid-trifid-disciplbook.ps2000-03-24 21:00 3.2M 
[ ]vifid-trifid-disciplbook_bitmap.pdf2002-12-18 21:21 388K 
[ ]vifid-user-manual.pdf2025-04-20 08:41 310K 
[ ]vifid-user-manual.ps1999-08-31 10:50 1.4M 
[ ]vifid-user-manual_bitmap.pdf2002-12-18 21:22 741K 
[ ]vigueras15-rule-based.pdf2016-04-01 18:24 231K 
[ ]visandor-iclp93.pdf2003-02-06 15:36 280K 
[ ]visualization-informatique.pdf2003-02-06 11:06 257K 
[ ]wil04-backwards.pdf2005-12-09 11:12 158K 
[ ]zemni10:soft_const_sla_qos.pdf2010-09-28 15:14 272K 
Apache/2.4.62 (Debian) Server at cliplab.org Port 443