URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=918e0190b75c1... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Sep 26 18:06:09 2011 +0200

Broken link removed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8582094d68494... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Sep 26 16:57:41 2011 +0200

Links fixed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=31cba9901a70e... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Sep 26 16:56:01 2011 +0200

Links fixed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f038d425e1686... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Sep 25 17:19:31 2011 +0200

Broken links removed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=01ee05bc44c6a... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Sep 25 17:15:32 2011 +0200

URI's updated.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a4199d5fd3db4... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Nov 20 16:44:06 2010 +0100

Added Andre10.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a2d5f584e8e0e... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun May 16 11:24:48 2010 +0200

Fixed CousotC79.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e02097c61eb9c... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Apr 30 07:52:39 2010 +0200

BagnaraHZ10CGTA has been published.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a6f44ff00f4d1... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Apr 16 14:40:41 2010 +0200

Added BandaG10.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=64e071d0d18c4... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed Apr 7 21:28:33 2010 +0200

Added BagnaraMPZ10TR.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=666e769a33d12... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Mar 7 19:23:29 2010 +0400

Added BozgaGI09.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=51f4adf64e4f6... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu Feb 18 10:21:20 2010 +0100

Added FeautrierCB07.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=32c4c2b73a930... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Feb 5 09:09:24 2010 +0100

Added TrifunovicCEFG+10.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c0a2d7a852092... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Jan 24 10:18:14 2010 +0100

BagnaraHZ09CGTA renamed and completed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d8b1b9877ab2a... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu Jan 14 11:18:28 2010 +0100

BagnaraHZ10FMSD renamed and completed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5093fc1e5622d... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Jan 12 11:18:18 2010 +0100

Added Feautrier88.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1d6edee51c406... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Jan 12 11:03:35 2010 +0100

Updated BagnaraHZ10FMSD.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e7637d0e17205... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Dec 11 18:26:12 2009 +0100

Added FagesR09 and JhalaM09.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9ae541d62afd2... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Oct 11 08:09:38 2009 +0200

Added the online version of BagnaraHZ09CGTA.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1a7a6a2e0e137... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Oct 3 09:00:57 2009 +0200

Completed BagnaraHZ09TCS.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9ae23a676a7e4... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Sep 29 20:24:01 2009 +0200

Added BagnaraHZ09CGTA.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ee2aca9d993aa... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Sep 29 18:25:19 2009 +0200

BagnaraHZ09TCS completed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=89245fa234c9e... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Aug 10 14:50:11 2009 +0200

Improved BagnaraHZ09TCS and BagnaraHZ09FMSD. Added BagnaraHZ09TRb.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=48a7a0e0d1275... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Aug 3 14:06:07 2009 +0200

Typo fixed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ff907d7d94f21... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Aug 3 14:03:54 2009 +0200

BagnaraHZ09TCS updated.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=94cf39b71566a... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Jul 20 21:57:22 2009 +0200

Added PerezRS09.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=af301881fd8e8... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Jul 17 20:37:16 2009 +0200

Added JeannetM09.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8e8ceb41474e6... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Jul 17 20:37:07 2009 +0200

Halbwachs93 completed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=102213c6c44eb... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Jul 17 20:16:10 2009 +0200

BagnaraHZ09 updated and renamed BagnaraHZ09FMSD.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=05394fdb57d91... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Jul 17 20:15:51 2009 +0200

Added LimeRST09.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=533511d66d4bc... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Jun 20 08:57:24 2009 +0200

URL added.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=84c367f397a48... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Jun 20 08:52:00 2009 +0200

Added RizkBFS09.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8f05eb08a6cf6... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri May 15 08:15:23 2009 +0200

BagnaraHZ09 will be published in Formal Methods in System Design.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b7344037dad60... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu May 7 09:36:49 2009 +0200

Added LeconteB06.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e6d83ba844686... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu May 7 08:04:15 2009 +0200

Added SenS07TR.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4380ed9cb376b... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed Apr 29 15:26:37 2009 +0200

Added LogozzoF08.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b7191b99a8071... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Apr 21 11:31:21 2009 +0200

BagnaraHZ09TRa updated.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=96372382ead78... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu Apr 16 07:43:49 2009 +0200

Updated BagnaraHZ09TRa.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3cd7f770749a1... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Apr 12 09:20:57 2009 +0200

Added URI for arXiv.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7cbb68d14a5b2... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Apr 11 20:59:29 2009 +0200

Added YangWGI09. Non-ASCII characters removed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=11be95f27a555... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Apr 11 20:48:55 2009 +0200

Added AlbertACGPZ08.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f5c4a8eb22969... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Apr 11 10:42:30 2009 +0200

Added BagnaraHZ09TRa.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c612c6be6bd9a... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed Apr 8 08:21:50 2009 +0200

Added MoserKK07. Entries sorted. Some specifications of page numbers fixed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f3d9bbbe2cd78... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Tue Apr 7 15:54:08 2009 +0200

Added bibtex entry for BagnaraHZ09 (submitted for publication).

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7dc6b8e3228c7... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Apr 7 15:42:19 2009 +0200

Added BandaG09. Used the right kind of dash in other entries.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9da14557a61bf... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Jan 27 09:04:25 2009 +0000

Added Frehse08.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c3c7f2af2ea52... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Jan 26 21:52:30 2009 +0000

Added AlbertAGPZ08.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9b205c9463e2b... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Jan 26 21:19:53 2009 +0000

Added DenmatGD07.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=07173d58ba53b... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Jan 26 21:04:24 2009 +0000

Added KimGR07.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=08907a02f03c1... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Jan 26 20:36:47 2009 +0000

GulwaniL-AS09 updated.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3e193a3411713... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Jan 26 20:33:28 2009 +0000

AlurKRS08 updated.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=76e6e7bd51a40... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Jan 26 20:29:54 2009 +0000

Added AlbertAGP08.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2714f8d7ec83a... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Jan 26 20:09:30 2009 +0000

Added MakhloufK06.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9400029ab255c... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Jan 26 09:56:36 2009 +0000

Added BjorndalenA05.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=13c1cf85faa20... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Jan 25 20:52:33 2009 +0000

Added PopeeaC08.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1a8492d80f436... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Jan 25 08:45:50 2009 +0000

Added BramanM08.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2b44963553904... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Jan 25 08:32:11 2009 +0000

Added ChenMC08.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c5375dcdf6d61... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Jan 20 20:30:16 2009 +0000

Entries reordered.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dde31a3d3c9df... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Jan 20 20:26:48 2009 +0000

Added LavironL09.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=755b09c3a5908... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Jan 20 20:16:09 2009 +0000

Added GulwaniL-AS09.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8cd703104a614... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Jan 18 16:54:27 2009 +0000

Added BagnaraHZ09TCS.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c891f29b0a306... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Dec 26 15:50:53 2008 +0000

Added TraonouezLR08.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6d9ce4d731b6b... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Mon Nov 24 13:35:56 2008 +0000

Added BemporadFT00TR and BemporadFT01.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6ac4d1961130e... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed Nov 19 18:45:47 2008 +0000

Use \url instead of \tt.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cbbaefe0cd1d4... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed Nov 19 18:45:19 2008 +0000

Added QuillereRW00.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=40034c50e9d18... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Oct 27 08:55:26 2008 +0000

Several corrections to BlanchetCCFMMMR02.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f274c5ef44df8... Author: Patricia M. Hill hill@comp.leeds.ac.uk Date: Mon Oct 27 08:36:09 2008 +0000

Added reference to the paper by Blanchet et al that proposes the widening with thresholds (2002).

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c2d651a8de752... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed Oct 22 20:30:18 2008 +0000

Added Soffia08TR.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=426a7c98c74fa... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed Sep 17 10:11:00 2008 +0000

Added Vasconcelos08th.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2f7a41d0f9423... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Aug 25 08:36:30 2008 +0000

Removed note from BagnaraHZ08SCP.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a0c2799684732... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Aug 12 13:11:26 2008 +0000

Added AlurKRS08.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b78bf651fe730... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Jul 29 18:51:25 2008 +0000

Added BouchyFL08.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=35f647e225964... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Jul 5 10:39:51 2008 +0000

BagnaraHZ08SCP completed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9576316c86c33... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu Jun 5 14:55:31 2008 +0000

Added Warren03.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5aa5fd1f7d845... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu Jun 5 14:40:01 2008 +0000

Added SenS07.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9ae2693b999db... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu Jun 5 14:19:40 2008 +0000

Added RepsBL06.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=772fe6def4023... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu Jun 5 14:10:17 2008 +0000

Added SimonK07.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9676fab9f314a... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Thu Apr 17 13:29:50 2008 +0000

Added bibliographic entry HenkinMT71 (to be double checked).

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ca562172c0ae0... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Mar 8 14:24:20 2008 +0000

Added PayetS07th.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1a1633c8c103f... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Mar 8 14:15:39 2008 +0000

GopanR07a completed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8af60f166d429... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Mar 8 14:13:12 2008 +0000

Added Gopan07th.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c871cccf82b89... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Mar 8 14:03:45 2008 +0000

Added Gobert07th.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=30d3c0d0d605c... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Mar 8 13:42:40 2008 +0000

Added SankaranarayananIG07. Completed GopanR07b.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b46fffedb1553... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Feb 29 20:14:24 2008 +0000

BagnaraHZ08 renamed BagnaraHZ08SCP (the paper to appear on Science of Computer Programming). New paper BagnaraHZ08 (the VMCAI 2008 paper).

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ce1e3c2c3b10f... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Feb 11 08:21:47 2008 +0000

Added Henriksen07th.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9fb4ce7b116f0... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu Aug 30 16:30:52 2007 +0000

Starynkevitch07 completed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=661a6586d31c5... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu Aug 30 16:22:04 2007 +0000

Added Starynkevitch07.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2280f02ef45b9... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Aug 27 10:01:47 2007 +0000

Added BagnaraHZ08.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2883f56ed1dcc... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Jul 17 14:11:48 2007 +0000

Added YangWGI06.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fccbbc064bfdb... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Jul 17 07:14:40 2007 +0000

Added GopanR07a.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=515fee3aa68ee... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Jul 17 06:54:55 2007 +0000

Added GopanR07b.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=aa590d1cf7772... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Wed Jul 4 10:20:40 2007 +0000

Added GobertLC07.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3cb3f6e63ad85... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed Jul 4 07:50:32 2007 +0000

CovaFBV06 completed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f6e68c08ed822... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed Jul 4 07:32:48 2007 +0000

Added SankaranarayananISG06.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6472d93de2818... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed Jun 20 19:15:52 2007 +0000

Added Doyen06th.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a4bed5a7ae0c6... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Jun 19 06:29:08 2007 +0000

Typo fixed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b77849257149b... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Jun 18 16:31:47 2007 +0000

Added SlaninaSSM07TR.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c9cb807a366cf... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Jun 4 11:47:23 2007 +0000

BagnaraHZ07TRb completed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=269fbaf393312... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Jun 4 08:19:58 2007 +0000

Typo fixed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9e948aea7e21e... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Jun 3 20:33:34 2007 +0000

Added Vigna07.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5ad70c2cbf33e... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Jun 3 20:07:50 2007 +0000

Added ArmandoBM07.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2c0819d39d4ec... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Jun 1 09:27:47 2007 +0000

Added BagnaraHZ07TRb (still incomplete).

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=37e3da823130d... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Jun 1 09:24:14 2007 +0000

Renamed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0ffc4d91f8719... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Jun 1 09:05:41 2007 +0000

BagnaraHZ07TR renamed BagnaraHZ07TRa.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=13acbebc48344... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Apr 16 09:53:38 2007 +0000

BagnaraDHMZ07 completed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ab2b70f260d76... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Mar 18 19:19:14 2007 +0000

Revised Ricci02th.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=364f04e713d3c... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Feb 6 21:11:12 2007 +0000

DoyenHR05 added. Formed DoyenHR05 now has key DoyenHR05TR.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=269ccb5c2474d... Author: Patricia M. Hill hill@comp.leeds.ac.uk Date: Fri Jan 19 12:13:09 2007 +0000

Added volume number for BagnaraDHMZ07

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=80d255e8c77cd... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Jan 19 08:48:30 2007 +0000

Added BagnaraHZ07TR.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=25eacbc958a42... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Jan 15 17:14:46 2007 +0000

Fixed Frehse05.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5e83429221aff... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Jan 15 09:20:32 2007 +0000

Fixed StoerW70.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0a43c3c1d2cb3... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Jan 13 15:04:40 2007 +0000

Added FrankM02th. Completed Flexeder05th.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c111a9c6919ac... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Jan 9 16:41:51 2007 +0000

FrehseKRM05 replaced by FrehseKRM06.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5abd2b2ae9255... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed Dec 20 20:07:28 2006 +0000

Added a PDF URL to BagnaraHZ06TR.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=718a3107ded55... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed Dec 20 18:37:41 2006 +0000

Added Flexeder05th.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=48b0c71b4b811... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed Dec 20 18:16:47 2006 +0000

Added ChakrabortyMS06.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=eb12911b4e7dd... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed Dec 20 18:06:28 2006 +0000

Added CovaFBV06.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7a7156d0a5698... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed Dec 20 17:41:57 2006 +0000

AsarinDFGLGM06 is no longer "to appear."

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=22e7b98132129... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed Dec 20 17:41:31 2006 +0000

Completed vanHeeOSV06.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cbb87aeef5660... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed Dec 20 17:33:30 2006 +0000

HenriksenG06 completed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ccad5bf7f2760... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed Dec 20 17:28:43 2006 +0000

GopanR06 completed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=10389d5f02b7a... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed Dec 20 17:25:22 2006 +0000

GonnordH06 completed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=44e99a5bc4831... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed Dec 20 17:13:44 2006 +0000

SongCR05 rekeyed SongCR06, corrected and completed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=374a39134c900... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Dec 19 12:44:40 2006 +0000

BagnaraHZ06STTT completed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=114da14272c8a... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Dec 19 12:19:57 2006 +0000

Added BagnaraDHMZ05TR.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6069efa18a8bf... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Dec 18 18:17:50 2006 +0000

Missing comma added.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4122f3a9d28fa... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Dec 18 17:42:07 2006 +0000

BagnaraDHMZ06a substituted by BagnaraDHMZ07.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3bb6b18b60626... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Dec 18 17:37:08 2006 +0000

HalbwachsMG06 completed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4b4dc046e97e2... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Dec 18 15:19:34 2006 +0000

Typo fixed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b468738968360... Author: Patricia M. Hill hill@comp.leeds.ac.uk Date: Mon Dec 18 14:55:07 2006 +0000

Updated BagnaraDHMZ06a and BagnaraDHMZ06b entries.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=008e249eb677f... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Dec 18 13:28:56 2006 +0000

BagnaraHZ06STTT updated.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e8ba804127e13... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Dec 18 10:26:46 2006 +0000

Typo fixed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=723922d073136... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Dec 18 10:26:18 2006 +0000

BagnaraHZ06TR corrected and completed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ab8fa7a23327c... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Dec 18 09:09:25 2006 +0000

Key BagnaraHZ04TRa changed to BagnaraHZ04TR. Provisional entry for BagnaraHZ06TR added. Do not use double quotes for numeric fields.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=efd2fd39c371d... Author: Patricia M. Hill hill@comp.leeds.ac.uk Date: Mon Dec 18 08:27:06 2006 +0000

Spelling corrected.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=942b3c4d09bbe... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Dec 17 20:29:34 2006 +0000

Added NakanishiJPF99 and NakanishiF01.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=15c9e498d372c... Author: Patricia M. Hill hill@comp.leeds.ac.uk Date: Mon Dec 11 11:13:17 2006 +0000

Previous references added removed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f0c8fd57169e8... Author: Patricia M. Hill hill@comp.leeds.ac.uk Date: Mon Dec 11 10:14:26 2006 +0000

Revised the reference for BagnaraDHMZ06a.

Added references for AlurCHHHNOSY95, AlurCHH93, and Henzinger96.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0e8de1e7cdd08... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed Sep 27 18:02:59 2006 +0000

Avoid non-ASCII characters.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0addfb34da349... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Sep 23 18:06:16 2006 +0000

Spelling corrections.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=16ecc665593e5... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu Sep 21 14:58:48 2006 +0000

Added GoldfarbR77.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c0c9e5ba53c0d... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu Sep 21 14:36:35 2006 +0000

Added PapadimitriouS98.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=541313fed8656... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Sep 2 15:13:14 2006 +0000

Added AsarinDFGLGM06.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=335700946a561... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Aug 8 07:04:01 2006 +0000

HalbwachsMP-V03 fixed (copy and paste mistake).

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4dddbc6c8b3c1... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Aug 6 10:22:49 2006 +0000

Added UchoaFLPPdAA06TR.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f5d1190f9c541... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Aug 6 09:36:27 2006 +0000

Added GonnordH06.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2e33cd4da1bea... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Aug 6 09:25:44 2006 +0000

Added HalbwachsMG06.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=63656e6f69716... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Aug 6 08:12:20 2006 +0000

Added HenriksenG06.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b2a64974c375e... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Aug 6 07:50:41 2006 +0000

Added abstracts for Avery06, CarloniPPS-V06, GulavaniR06 and Pop06.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=cb0cc624d401c... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Aug 5 22:28:00 2006 +0000

Added CarloniPPS-V06.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d53ab1273a0a9... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Aug 5 22:17:21 2006 +0000

Added Pop06.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=299fdd500f08b... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Aug 5 21:59:05 2006 +0000

Added Avery06.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5594316a66d51... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Aug 5 21:31:36 2006 +0000

Added GulavaniR06.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9c246698b260e... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Jun 26 07:02:17 2006 +0000

Added GopanR06.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1be4ae54e1fb4... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Fri Apr 28 19:50:17 2006 +0000

Corrected a spelling error.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8b5343d1c763b... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Apr 28 17:50:34 2006 +0000

Fixed Ancourt91th.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=85c76926c84c6... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Apr 28 17:50:16 2006 +0000

Added DooseM05.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=18455e30a8128... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Apr 21 09:28:05 2006 +0000

MesnardB05TPLP fixed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=add234eb83459... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed Apr 19 12:35:18 2006 +0000

Capitalization fixed in the references about `polymake'.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d41981dc844aa... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Apr 16 21:18:13 2006 +0000

Added vanHeeOSV06.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=59ca66b402208... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Apr 16 18:44:50 2006 +0000

Added Ellenbogen04th.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=98f480d1f2a89... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Apr 16 18:28:00 2006 +0000

Added SankaranarayananSM06.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ba4079dd46c9e... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Apr 16 18:03:52 2006 +0000

Added SankaranarayananCSM06.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dc72f78552241... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Apr 16 17:23:03 2006 +0000

Minor formatting change.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7e5ab4a06e0c0... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Apr 16 09:36:57 2006 +0000

GopanDMDRS04 was missing the address field: added.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=071ee1a4ea2f8... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Apr 15 16:20:08 2006 +0000

Added Ricci02th.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e38f2726df02d... Author: Patricia M. Hill hill@comp.leeds.ac.uk Date: Fri Apr 14 21:56:54 2006 +0000

Added bib entries for Grid papers submitted to FM and about to be sub,itted to LOPSTR. Note that the link on my site to the postscript for the LOPSTR submission is deliberately unreadable until the actual submission.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8082c85d126da... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed Apr 12 06:12:36 2006 +0000

FrehseKR06 fixed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=af42111693990... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Apr 11 11:32:39 2006 +0000

BagnaraHZ05STTT renamed BagnaraHZ06STTT; year field changed to 2006.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0112746b1c29b... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Apr 9 13:28:41 2006 +0000

Added KhachiyanBBEG06.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e8a44e22551ed... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Jan 23 13:17:42 2006 +0000

Added FrehseKR06.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9cda6eed9ec57... Author: Andrea Pescetti pescetti@no.email Date: Fri Jan 20 17:33:47 2006 +0000

Broken and obsolete links updated.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d70d6be3a88f2... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Jan 8 10:53:44 2006 +0000

Added ISBN for the SAS 2005 volume.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e5a607174dd4b... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Jan 1 18:32:51 2006 +0000

Trailing blanks removed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=408ccaa24f8c9... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Jan 1 18:28:06 2006 +0000

Missing comma added.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bf1cbe7bfe963... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Jan 1 17:43:27 2006 +0000

Added BagnaraDHMZ05TR.pdf.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3ccec28448aef... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Sep 18 15:28:03 2005 +0000

Ancourt91th completed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ab1354ebfd905... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Sep 18 08:04:59 2005 +0000

Fixed many broken or redirected links.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=463d32b2fe76a... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Sep 17 06:17:26 2005 +0000

Frehse05th added.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a0db57b87268b... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Sep 10 17:14:49 2005 +0000

CacheraM-A05 added.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=62914264dee80... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Sep 10 16:37:16 2005 +0000

Added DoyenHR05.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c37e4b2b2606f... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Sep 10 16:19:47 2005 +0000

Added LagoonMS03.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a982dcc0b28aa... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Sep 10 15:55:02 2005 +0000

KruegelKMRV05 added.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0ff5f5a85d55e... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Sep 10 15:12:30 2005 +0000

Added FrehseKRM05.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2f06257d4e73e... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Sep 10 14:55:24 2005 +0000

SongCR05 added.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6d855c9491130... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu Sep 8 06:25:05 2005 +0000

BagnaraR-CZ05 completed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8b06029c6d474... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Sep 5 13:37:02 2005 +0000

Completed the bibliographic information for BagnaraHRZ05SCP.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1377768cbef02... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Sep 4 21:21:38 2005 +0000

Added HuelsbergenHL90.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=36fc0df832067... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Sat Sep 3 11:52:30 2005 +0000

Completed the entry for BagnaraHZ05FAC.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0800a1eef363d... Author: Patricia M. Hill hill@comp.leeds.ac.uk Date: Fri Aug 5 16:19:34 2005 +0000

Added 1997 paper by Quinton et al.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8f174b71624ee... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat May 28 14:18:01 2005 +0000

Address added to CousotC76.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ec22ba0ec90a9... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon May 23 14:25:02 2005 +0000

Unwanted quotes removed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b88b20eaf21a3... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon May 23 14:24:35 2005 +0000

Conflict removed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c2ffc65b52b95... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon May 23 14:20:11 2005 +0000

Frehse05 completed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1ec46f8e554a4... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu May 19 06:02:48 2005 +0000

Added BagnaraHZ05FAC.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f8d31fc30374b... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu May 19 06:00:58 2005 +0000

Added BagnaraR-CZ05 and BagnaraR-CZ05TR.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d02dbc6efab98... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu May 19 06:00:34 2005 +0000

Added BagnaraHMZ05 and BagnaraHZ05STTT.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1eae426743a24... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Apr 18 13:56:06 2005 +0000

Announce the new paper on widenings for weakly-relational numeric abstractions.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=1bc07fd3488fa... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Apr 18 13:22:18 2005 +0000

Reordered.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=786ac6e03ad98... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Apr 18 12:56:34 2005 +0000

Added JaffarMSY94, NelsonO77, NelsonO80, Pratt77 and Shostak81.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ccffc533a3ce5... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Apr 15 08:02:38 2005 +0000

Use a double hyphen in page ranges. Use month codes instead of month names.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9efcf0824244c... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed Apr 13 17:13:19 2005 +0000

Added BagnaraMHZ05TR.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8875acae65bb4... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed Apr 13 17:02:02 2005 +0000

Mine04 fixed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9f3eebd8fbf74... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu Mar 24 10:45:27 2005 +0000

Added page numbers to Frehse05.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=565237ceec6ce... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed Mar 16 10:10:16 2005 +0000

Added Mine05th.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f47f14371c71d... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Feb 12 08:14:00 2005 +0000

Added GopanRS05.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d25c5eda27b69... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu Jan 27 09:13:37 2005 +0000

Spurious booktitle field removed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ff2ed47c93fb6... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu Jan 27 09:12:46 2005 +0000

BagnaraHZ03b improved.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7becd7ce1fd25... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu Jan 27 09:09:34 2005 +0000

Added SankaranarayananSM05.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=10e1877d37fad... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu Jan 27 06:45:29 2005 +0000

Frehse05 added.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f91ed1f8c851d... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Jan 9 08:25:14 2005 +0000

Added BagnaraHMZ04EA.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d507787f38b47... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Jan 8 15:33:01 2005 +0000

Links to Komei Fukuda's home page updated.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f04ab67b0fda6... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Jan 8 15:22:58 2005 +0000

Added BagnaraHRZ05SCP.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4e299d9bb1f64... Author: Patricia M. Hill hill@comp.leeds.ac.uk Date: Tue Jan 4 12:41:59 2005 +0000

Removed erroneous line in Mine01a.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=13a058f62b776... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Dec 10 10:16:14 2004 +0000

Added Mine01a and Mine02. Minor improvements elsewhere.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6afa76f9dff19... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Dec 10 09:55:35 2004 +0000

Mine04 added.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ba6eef9d43ff6... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Nov 2 14:04:12 2004 +0000

Previous change reverted.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a9fd2fc193e9f... Author: Patricia M. Hill hill@comp.leeds.ac.uk Date: Tue Nov 2 13:15:06 2004 +0000

"official" changed to "full".

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=07d86e0a9bc4e... Author: Patricia M. Hill hill@comp.leeds.ac.uk Date: Mon Sep 27 16:23:43 2004 +0000

References added to abstract for the Granger 1997 paper.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2bd62f8821720... Author: Patricia M. Hill hill@comp.leeds.ac.uk Date: Mon Sep 27 14:48:43 2004 +0000

Removed citations to applications in the paragraph about integral grids. Added to ppl.bib, references for Ancourt thesis, two papers by Granger (1991 and 1997) and Technical report by Quinton et al.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0a6650e14aaed... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Sep 27 13:12:38 2004 +0000

Last change reverted: in the bibliography we use the right LaTeX code, which is then simplified, when needed, for the sake of BibTeX2HTML.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0dbff733a3203... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Sep 27 13:00:55 2004 +0000

Do not use LaTeX that cannot be decently handled by BibTeX2HTML.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=92ac61755ab07... Author: Patricia M. Hill hill@comp.leeds.ac.uk Date: Mon Sep 27 09:15:32 2004 +0000

Completed draft descriptions of the numerical abstractions. Added to ppl.bib reference to the Mine paper on the octagon domain and to Roberto's thesis. Updated the gif version of the illustration of a relational grid to correspond to that already in abstractions.tex.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ac8d192502d26... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Aug 31 20:03:56 2004 +0000

Make sure `I/O' is not touched by BibTeX.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=72070dd1bb5e5... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Aug 31 19:56:37 2004 +0000

Missing comma added.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2bcf299483e65... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Aug 31 19:45:45 2004 +0000

Added a first draft for FrehseHK04.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=528d11dd17ed2... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Aug 31 19:23:13 2004 +0000

Added a first draft for Frehse04.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=539ca1f47ec96... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Aug 31 18:42:48 2004 +0000

Added HalbwachsMP-V03.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e39acf0eac1e8... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Aug 31 17:28:16 2004 +0000

New page and bibliography for citations.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=68def679698a2... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Wed Aug 25 09:33:47 2004 +0000

Integrated the "abstract" of CousotC79.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7d555e47ca894... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Tue Aug 24 10:04:34 2004 +0000

Added entries for CousotC76 and CousotC79, with "abstracts" (actually, the first sentences from the introductions) and URLs to PDF versions.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=833836f6cc54e... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed Jul 7 11:24:34 2004 +0000

Added BalasundaramK89. This paper, back in 1989, introduced what are now called "octagons" under the name "simple sections."

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4d95249b3b1d6... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed Jul 7 07:38:36 2004 +0000

Kannan92 removed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=69db35beaba77... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Mon Jul 5 07:05:56 2004 +0000

Kannan92.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dfbd7183e6076... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed May 5 12:14:33 2004 +0000

Bagnara98SCP fixed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=dbad4bee730b8... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Apr 13 15:22:25 2004 +0000

Added GopanDMDRS04.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=419f8c93f7b36... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Feb 9 14:42:03 2004 +0000

Added Masdupuy92 and Masdupuy93th.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=d1231685afce8... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Wed Jan 21 09:59:57 2004 +0000

Added entry for Q349.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=67f512ffbfee5... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Jan 18 17:06:38 2004 +0000

BagnaraHZ03a added. BagnaraHZ03 renamed BagnaraHZ03b.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9883b06e1c2fb... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu Jan 8 15:17:50 2004 +0000

BagnaraHZ04 fixed, completed and renamed BagnaraHZ03 (since the publication date is 2003).

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c8ed671115f70... Author: Patricia M. Hill hill@comp.leeds.ac.uk Date: Wed Nov 19 10:44:54 2003 +0000

added reference to Schriver text book.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c3db81f1df898... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed Nov 19 10:13:02 2003 +0000

Key for NookalaR00 capitalized consistently.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f77f8f2f2f484... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Nov 7 15:19:18 2003 +0000

BagnaraHZ04 added.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5c2a08c1d6860... Author: Patricia M. Hill hill@comp.leeds.ac.uk Date: Wed Nov 5 07:16:18 2003 +0000

NELS and similar changes.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=e0fca05d34626... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Jul 13 09:49:47 2003 +0000

Bagnara98SCP added.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=740d8d5e021d9... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu May 15 05:15:17 2003 +0000

BagnaraHRZ03 completed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4c91ea21b179c... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Apr 18 06:44:01 2003 +0000

Missing commas added, unnecessary commas removed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c995100fe8efe... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Apr 18 06:24:33 2003 +0000

BagnaraHRZ03 added.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=281b50409e8eb... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed Mar 26 07:16:44 2003 +0000

GawrilowJ01 fixed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7417b62523d93... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed Feb 26 18:04:08 2003 +0000

Entry for Quaderno 312 completed. Abstract for Quaderno 305 added.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ec65adf3df21e... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Feb 21 17:44:36 2003 +0000

Draft entry for BagnaraHRZ03TR added.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=80de92b95ec33... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Feb 9 17:39:14 2003 +0000

Typo fixed in Halbwachs79th. HenzingerH95 and HenzingerPW01 added.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c891375844bd9... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Fri Nov 15 09:31:02 2002 +0000

BagnaraHZ02TR will appear as Quaderno 305.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=6a880a04dc2a8... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Oct 25 16:42:24 2002 +0000

BagnaraHZ02TR added.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=47f34c8acccaf... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Tue Oct 15 17:17:18 2002 +0000

Halbwachs93 added.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a6580bf01b629... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Oct 14 07:22:49 2002 +0000

BessonJT99 added.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=3e1184d93aa79... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Oct 7 05:21:41 2002 +0000

BultanGP99 added.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=08acf2c0a10c4... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Oct 6 08:15:04 2002 +0000

Dantzig63 added.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=99a2353d3d5db... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Oct 5 20:07:12 2002 +0000

Typo fixed. File bibliography.raw regenerated with the new version of bibtex2html (1.54).

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f85dd9d2401ae... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Oct 5 19:56:26 2002 +0000

Srivastava93 added.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=0e0f8e82c7be0... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Sep 23 07:28:53 2002 +0000

BagnaraHZ02a added.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=4b87079d7c0f7... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Sep 23 06:36:44 2002 +0000

BagnaraRZH02 added.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=64316c253e819... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed Jul 31 10:28:15 2002 +0000

Force capitalization of "Parma Polyhedra Library" the right way.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5e1e4c5a1707c... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Wed Jul 31 10:21:00 2002 +0000

In the entry for BagnaraRZH02, enforced capitalization of the PPL.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a678da49aab70... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Jul 29 20:41:38 2002 +0000

Entry for BagnaraRZH02 completed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=62bdfcefce4cb... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed Jul 3 16:39:42 2002 +0000

BagnaraRZH02 added.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=bf19a0b5a317f... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Jun 28 16:18:31 2002 +0000

BagnaraRZH02TR and BagnaraRZH02TRerrata added.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2db81023ec946... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu Jun 20 14:22:13 2002 +0000

Halbwachs79th added.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=a484d425d2ab4... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Jun 17 12:31:22 2002 +0000

CousotC92-PLILP added.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=568a5013ccb59... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Apr 28 18:45:47 2002 +0000

HalbwachsKP95 added.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=5f5a6de7491fe... Author: Enea Zaffanella zaffanella@cs.unipr.it Date: Fri Apr 26 06:45:30 2002 +0000

Corrected entry of LeVerge92, so as to consider "Le" as part of the family name.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fa841cb595fe7... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu Apr 25 19:50:50 2002 +0000

LeVergeVDW94 added.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=24b7d8711d816... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu Apr 25 13:00:00 2002 +0000

Loechner99 added.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f780c0cb29b81... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Thu Apr 18 12:32:16 2002 +0000

StoerW70 added.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f289eec7b70e2... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Apr 14 20:15:23 2002 +0000

Kuhn56 added.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=66039f1d71a34... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Apr 14 09:27:04 2002 +0000

HalbwachsPR94 added.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9bfd831abf5d1... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Apr 13 11:57:36 2002 +0000

NEW-POLKA-1-1-3c added.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7c6c82dbc3285... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sat Apr 13 11:40:50 2002 +0000

Added GawrilowJ00, GawrilowJ01, and LoechnerW97.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=fbdcde504cbd4... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed Apr 10 07:40:31 2002 +0000

NemhauserW88 fixed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=df0620ab0f27b... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Dec 14 15:15:04 2001 +0000

There is no abstract in Weyl50.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=edb61b8d410d0... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Dec 14 09:13:39 2001 +0000

Weyl35 and Weyl50 added.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=b19f489621ae9... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed Oct 17 14:48:32 2001 +0000

MotzkinRTT53 added.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=8f2d1612d112c... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Fri Oct 12 09:31:31 2001 +0000

NemhauserW88 added.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9f25ae34748fa... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Wed Oct 10 17:47:05 2001 +0000

Provide the source code from LeVerge92.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=da2bd8cc47012... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Oct 8 15:01:54 2001 +0000

Chernikova6[458] fixed: they were all wrong.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=de18c94819e62... Author: Elisa Ricci ericci@no.email Date: Mon Oct 8 13:27:13 2001 +0000

Added the Chernikova's articles (what I know).

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=7a66665e2aca1... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Mon Oct 8 10:41:49 2001 +0000

LeVerge92 fixed (missing comma and spurious brackets).

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=2bdf242a89e1c... Author: Elisa Ricci ericci@no.email Date: Mon Oct 8 09:52:59 2001 +0000

Added the 'Abstract' for "A note on Chernikova's Algorithm".

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=add09ea8c8956... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Oct 7 18:59:55 2001 +0000

Fukuda98 added.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=ec8a4848c3ae8... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Oct 7 18:16:42 2001 +0000

LeVerge92 added.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=9177234e00b31... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Oct 7 17:15:55 2001 +0000

CousotH78 fixed.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c8893de1181da... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Oct 7 17:09:45 2001 +0000

FukudaP96 updated: abstract revised, URL and backup copy provided.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=c42f9db1e39c6... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Oct 7 17:01:40 2001 +0000

FukudaP96 added.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=f7181964f1f38... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Oct 7 16:19:01 2001 +0000

Generate a bibliography page from ppl.bib: this is referenced from the Documentation page. Abstract of Wilde93th added.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=10fda351ee292... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Oct 7 13:19:36 2001 +0000

CousotH78 added.

URL: http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=787a6a1915d9b... Author: Roberto Bagnara bagnara@cs.unipr.it Date: Sun Oct 7 12:06:33 2001 +0000

All the documentation, both ours and the papers we cite, belong to the Documentation directory.

The mirror subdirectory will contain backup copies of the papers we reference: things disappear from the web far too often.

HalbwachsPR97 added.