Difference between revisions of "Ref bib.html"

From vecolib
Jump to: navigation, search
(Created page with "<html> <head> <title>ref.bib</title> </head> <body> <h1>ref.bib</h1><a name="DBLP:journals/corr/IosifRV14a"></a><pre> @article{<a href="ref.html#DBLP:journals/corr/IosifRV14...")
 
Line 6: Line 6:
  
 
<body>
 
<body>
−
<h1>ref.bib</h1><a name="DBLP:journals/corr/IosifRV14a"></a><pre>
+
<h1>ref.bib</h1><a name="DBLP:conf/aplas/EneaLSV14"></a><pre>
 +
@inproceedings{<a href="ref.html#DBLP:conf/aplas/EneaLSV14">DBLP:conf/aplas/EneaLSV14</a>,
 +
  author = {Constantin Enea and
 +
              Ondrej Leng{\'{a}}l and
 +
              Mihaela Sighireanu and
 +
              Tom{\'{a}}s Vojnar},
 +
  title = {Compositional Entailment Checking for a Fragment of Separation Logic},
 +
  booktitle = {Programming Languages and Systems - 12th Asian Symposium, {APLAS}
 +
              2014, Singapore, November 17-19, 2014, Proceedings},
 +
  pages = {314--333},
 +
  year = {2014},
 +
  crossref = {<a href="#DBLP:conf/aplas/2014">DBLP:conf/aplas/2014</a>},
 +
  url = {<a href="http://dx.doi.org/10.1007/978-3-319-12736-1_17">http://dx.doi.org/10.1007/978-3-319-12736-1_17</a>},
 +
  doi = {10.1007/978-3-319-12736-1_17},
 +
  timestamp = {Wed, 15 Oct 2014 15:39:11 +0200},
 +
  biburl = {<a href="http://dblp.uni-trier.de/rec/bib/conf/aplas/EneaLSV14">http://dblp.uni-trier.de/rec/bib/conf/aplas/EneaLSV14</a>},
 +
  bibsource = {dblp computer science bibliography, http://dblp.org}
 +
}
 +
</pre>
 +
 
 +
<a name="DBLP:conf/aplas/2014"></a><pre>
 +
@proceedings{<a href="ref.html#DBLP:conf/aplas/2014">DBLP:conf/aplas/2014</a>,
 +
  editor = {Jacques Garrigue},
 +
  title = {Programming Languages and Systems - 12th Asian Symposium, {APLAS}
 +
              2014, Singapore, November 17-19, 2014, Proceedings},
 +
  series = {Lecture Notes in Computer Science},
 +
  volume = {8858},
 +
  publisher = {Springer},
 +
  year = {2014},
 +
  url = {<a href="http://dx.doi.org/10.1007/978-3-319-12736-1">http://dx.doi.org/10.1007/978-3-319-12736-1</a>},
 +
  doi = {10.1007/978-3-319-12736-1},
 +
  isbn = {978-3-319-12735-4},
 +
  timestamp = {Thu, 05 Mar 4453733 11:20:48 +},
 +
  biburl = {<a href="http://dblp.uni-trier.de/rec/bib/conf/aplas/2014">http://dblp.uni-trier.de/rec/bib/conf/aplas/2014</a>},
 +
  bibsource = {dblp computer science bibliography, http://dblp.org}
 +
}
 +
</pre>
 +
 
 +
<a name="DBLP:conf/atva/IosifRV14"></a><pre>
 +
@inproceedings{<a href="ref.html#DBLP:conf/atva/IosifRV14">DBLP:conf/atva/IosifRV14</a>,
 +
  author = {Radu Iosif and
 +
              Adam Rogalewicz and
 +
              Tom{\'{a}}s Vojnar},
 +
  title = {Deciding Entailments in Inductive Separation Logic with Tree Automata},
 +
  booktitle = {Automated Technology for Verification and Analysis - 12th International
 +
              Symposium, {ATVA} 2014, Sydney, NSW, Australia, November 3-7, 2014,
 +
              Proceedings},
 +
  pages = {201--218},
 +
  year = {2014},
 +
  crossref = {<a href="#DBLP:conf/atva/2014">DBLP:conf/atva/2014</a>},
 +
  url = {<a href="http://dx.doi.org/10.1007/978-3-319-11936-6_15">http://dx.doi.org/10.1007/978-3-319-11936-6_15</a>},
 +
  doi = {10.1007/978-3-319-11936-6_15},
 +
  timestamp = {Mon, 03 Nov 2014 14:32:36 +0100},
 +
  biburl = {<a href="http://dblp.uni-trier.de/rec/bib/conf/atva/IosifRV14">http://dblp.uni-trier.de/rec/bib/conf/atva/IosifRV14</a>},
 +
  bibsource = {dblp computer science bibliography, http://dblp.org}
 +
}
 +
</pre>
 +
 
 +
<a name="DBLP:conf/atva/2014"></a><pre>
 +
@proceedings{<a href="ref.html#DBLP:conf/atva/2014">DBLP:conf/atva/2014</a>,
 +
  editor = {Franck Cassez and
 +
              Jean{-}Fran{\c{c}}ois Raskin},
 +
  title = {Automated Technology for Verification and Analysis - 12th International
 +
              Symposium, {ATVA} 2014, Sydney, NSW, Australia, November 3-7, 2014,
 +
              Proceedings},
 +
  series = {Lecture Notes in Computer Science},
 +
  volume = {8837},
 +
  publisher = {Springer},
 +
  year = {2014},
 +
  url = {<a href="http://dx.doi.org/10.1007/978-3-319-11936-6">http://dx.doi.org/10.1007/978-3-319-11936-6</a>},
 +
  doi = {10.1007/978-3-319-11936-6},
 +
  isbn = {978-3-319-11935-9},
 +
  timestamp = {Mon, 30 May 4441695 07:41:20 +ication},
 +
  biburl = {<a href="http://dblp.uni-trier.de/rec/bib/conf/atva/2014">http://dblp.uni-trier.de/rec/bib/conf/atva/2014</a>},
 +
  bibsource = {dblp computer science bibliography, http://dblp.org}
 +
}
 +
</pre>
 +
 
 +
<a name="DBLP:journals/corr/IosifRV14a"></a><pre>
 +
@article{<a href="ref.html#DBLP:journals/corr/IosifRV14a">DBLP:journals/corr/IosifRV14a</a>,
 +
  author = {Radu Iosif and
 +
              Adam Rogalewicz and
 +
              Tom{\'{a}}s Vojnar},
 +
  title = {Abstraction Refinement for Trace Inclusion of Data Automata},
 +
  journal = {CoRR},
 +
  volume = {abs/1410.5056},
 +
  year = {2014},
 +
  url = {<a href="http://arxiv.org/abs/1410.5056">http://arxiv.org/abs/1410.5056</a>},
 +
  timestamp = {Mon, 05 Feb 4436029 15:43:12 +},
 +
  biburl = {<a href="http://dblp.uni-trier.de/rec/bib/journals/corr/IosifRV14a">http://dblp.uni-trier.de/rec/bib/journals/corr/IosifRV14a</a>},
 +
  bibsource = {dblp computer science bibliography, http://dblp.org}
 +
}
 +
</pre>
 +
 
 +
<hr><p><em>This file was generated by
 +
<a href="http://www.lri.fr/~filliatr/bibtex2html/">bibtex2html</a> 1.96.</em></p>
 +
</body>
 +
</html>
 +
eduroam-041040:vecolib-bibtex radu$ clear
 +
 
 +
eduroam-041040:vecolib-bibtex radu$ cat ref_bib.html
 +
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
 +
 
 +
<html>
 +
 
 +
<head>
 +
<title>ref.bib</title>
 +
</head>
 +
 
 +
<body>
 +
<h1>ref.bib</h1><a name="DBLP:conf/aplas/EneaLSV14"></a><pre>
 +
@inproceedings{<a href="ref.html#DBLP:conf/aplas/EneaLSV14">DBLP:conf/aplas/EneaLSV14</a>,
 +
  author = {Constantin Enea and
 +
              Ondrej Leng{\'{a}}l and
 +
              Mihaela Sighireanu and
 +
              Tom{\'{a}}s Vojnar},
 +
  title = {Compositional Entailment Checking for a Fragment of Separation Logic},
 +
  booktitle = {Programming Languages and Systems - 12th Asian Symposium, {APLAS}
 +
              2014, Singapore, November 17-19, 2014, Proceedings},
 +
  pages = {314--333},
 +
  year = {2014},
 +
  crossref = {<a href="#DBLP:conf/aplas/2014">DBLP:conf/aplas/2014</a>},
 +
  url = {<a href="http://dx.doi.org/10.1007/978-3-319-12736-1_17">http://dx.doi.org/10.1007/978-3-319-12736-1_17</a>},
 +
  doi = {10.1007/978-3-319-12736-1_17},
 +
  timestamp = {Wed, 15 Oct 2014 15:39:11 +0200},
 +
  biburl = {<a href="http://dblp.uni-trier.de/rec/bib/conf/aplas/EneaLSV14">http://dblp.uni-trier.de/rec/bib/conf/aplas/EneaLSV14</a>},
 +
  bibsource = {dblp computer science bibliography, http://dblp.org}
 +
}
 +
</pre>
 +
 
 +
<a name="DBLP:conf/aplas/2014"></a><pre>
 +
@proceedings{<a href="ref.html#DBLP:conf/aplas/2014">DBLP:conf/aplas/2014</a>,
 +
  editor = {Jacques Garrigue},
 +
  title = {Programming Languages and Systems - 12th Asian Symposium, {APLAS}
 +
              2014, Singapore, November 17-19, 2014, Proceedings},
 +
  series = {Lecture Notes in Computer Science},
 +
  volume = {8858},
 +
  publisher = {Springer},
 +
  year = {2014},
 +
  url = {<a href="http://dx.doi.org/10.1007/978-3-319-12736-1">http://dx.doi.org/10.1007/978-3-319-12736-1</a>},
 +
  doi = {10.1007/978-3-319-12736-1},
 +
  isbn = {978-3-319-12735-4},
 +
  timestamp = {Thu, 05 Mar 4453733 11:20:48 +},
 +
  biburl = {<a href="http://dblp.uni-trier.de/rec/bib/conf/aplas/2014">http://dblp.uni-trier.de/rec/bib/conf/aplas/2014</a>},
 +
  bibsource = {dblp computer science bibliography, http://dblp.org}
 +
}
 +
</pre>
 +
 
 +
<a name="DBLP:conf/atva/IosifRV14"></a><pre>
 +
@inproceedings{<a href="ref.html#DBLP:conf/atva/IosifRV14">DBLP:conf/atva/IosifRV14</a>,
 +
  author = {Radu Iosif and
 +
              Adam Rogalewicz and
 +
              Tom{\'{a}}s Vojnar},
 +
  title = {Deciding Entailments in Inductive Separation Logic with Tree Automata},
 +
  booktitle = {Automated Technology for Verification and Analysis - 12th International
 +
              Symposium, {ATVA} 2014, Sydney, NSW, Australia, November 3-7, 2014,
 +
              Proceedings},
 +
  pages = {201--218},
 +
  year = {2014},
 +
  crossref = {<a href="#DBLP:conf/atva/2014">DBLP:conf/atva/2014</a>},
 +
  url = {<a href="http://dx.doi.org/10.1007/978-3-319-11936-6_15">http://dx.doi.org/10.1007/978-3-319-11936-6_15</a>},
 +
  doi = {10.1007/978-3-319-11936-6_15},
 +
  timestamp = {Mon, 03 Nov 2014 14:32:36 +0100},
 +
  biburl = {<a href="http://dblp.uni-trier.de/rec/bib/conf/atva/IosifRV14">http://dblp.uni-trier.de/rec/bib/conf/atva/IosifRV14</a>},
 +
  bibsource = {dblp computer science bibliography, http://dblp.org}
 +
}
 +
</pre>
 +
 
 +
<a name="DBLP:conf/atva/2014"></a><pre>
 +
@proceedings{<a href="ref.html#DBLP:conf/atva/2014">DBLP:conf/atva/2014</a>,
 +
  editor = {Franck Cassez and
 +
              Jean{-}Fran{\c{c}}ois Raskin},
 +
  title = {Automated Technology for Verification and Analysis - 12th International
 +
              Symposium, {ATVA} 2014, Sydney, NSW, Australia, November 3-7, 2014,
 +
              Proceedings},
 +
  series = {Lecture Notes in Computer Science},
 +
  volume = {8837},
 +
  publisher = {Springer},
 +
  year = {2014},
 +
  url = {<a href="http://dx.doi.org/10.1007/978-3-319-11936-6">http://dx.doi.org/10.1007/978-3-319-11936-6</a>},
 +
  doi = {10.1007/978-3-319-11936-6},
 +
  isbn = {978-3-319-11935-9},
 +
  timestamp = {Mon, 30 May 4441695 07:41:20 +ication},
 +
  biburl = {<a href="http://dblp.uni-trier.de/rec/bib/conf/atva/2014">http://dblp.uni-trier.de/rec/bib/conf/atva/2014</a>},
 +
  bibsource = {dblp computer science bibliography, http://dblp.org}
 +
}
 +
</pre>
 +
 
 +
<a name="DBLP:journals/corr/IosifRV14a"></a><pre>
 
@article{<a href="ref.html#DBLP:journals/corr/IosifRV14a">DBLP:journals/corr/IosifRV14a</a>,
 
@article{<a href="ref.html#DBLP:journals/corr/IosifRV14a">DBLP:journals/corr/IosifRV14a</a>,
 
   author = {Radu Iosif and
 
   author = {Radu Iosif and

Revision as of 14:18, 1 March 2015

ref.bib

ref.bib

@inproceedings{DBLP:conf/aplas/EneaLSV14,
  author = {Constantin Enea and
               Ondrej Leng{\'{a}}l and
               Mihaela Sighireanu and
               Tom{\'{a}}s Vojnar},
  title = {Compositional Entailment Checking for a Fragment of Separation Logic},
  booktitle = {Programming Languages and Systems - 12th Asian Symposium, {APLAS}
               2014, Singapore, November 17-19, 2014, Proceedings},
  pages = {314--333},
  year = {2014},
  crossref = {DBLP:conf/aplas/2014},
  url = {http://dx.doi.org/10.1007/978-3-319-12736-1_17},
  doi = {10.1007/978-3-319-12736-1_17},
  timestamp = {Wed, 15 Oct 2014 15:39:11 +0200},
  biburl = {http://dblp.uni-trier.de/rec/bib/conf/aplas/EneaLSV14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@proceedings{DBLP:conf/aplas/2014,
  editor = {Jacques Garrigue},
  title = {Programming Languages and Systems - 12th Asian Symposium, {APLAS}
               2014, Singapore, November 17-19, 2014, Proceedings},
  series = {Lecture Notes in Computer Science},
  volume = {8858},
  publisher = {Springer},
  year = {2014},
  url = {http://dx.doi.org/10.1007/978-3-319-12736-1},
  doi = {10.1007/978-3-319-12736-1},
  isbn = {978-3-319-12735-4},
  timestamp = {Thu, 05 Mar 4453733 11:20:48 +},
  biburl = {http://dblp.uni-trier.de/rec/bib/conf/aplas/2014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@inproceedings{DBLP:conf/atva/IosifRV14,
  author = {Radu Iosif and
               Adam Rogalewicz and
               Tom{\'{a}}s Vojnar},
  title = {Deciding Entailments in Inductive Separation Logic with Tree Automata},
  booktitle = {Automated Technology for Verification and Analysis - 12th International
               Symposium, {ATVA} 2014, Sydney, NSW, Australia, November 3-7, 2014,
               Proceedings},
  pages = {201--218},
  year = {2014},
  crossref = {DBLP:conf/atva/2014},
  url = {http://dx.doi.org/10.1007/978-3-319-11936-6_15},
  doi = {10.1007/978-3-319-11936-6_15},
  timestamp = {Mon, 03 Nov 2014 14:32:36 +0100},
  biburl = {http://dblp.uni-trier.de/rec/bib/conf/atva/IosifRV14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@proceedings{DBLP:conf/atva/2014,
  editor = {Franck Cassez and
               Jean{-}Fran{\c{c}}ois Raskin},
  title = {Automated Technology for Verification and Analysis - 12th International
               Symposium, {ATVA} 2014, Sydney, NSW, Australia, November 3-7, 2014,
               Proceedings},
  series = {Lecture Notes in Computer Science},
  volume = {8837},
  publisher = {Springer},
  year = {2014},
  url = {http://dx.doi.org/10.1007/978-3-319-11936-6},
  doi = {10.1007/978-3-319-11936-6},
  isbn = {978-3-319-11935-9},
  timestamp = {Mon, 30 May 4441695 07:41:20 +ication},
  biburl = {http://dblp.uni-trier.de/rec/bib/conf/atva/2014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@article{DBLP:journals/corr/IosifRV14a,
  author = {Radu Iosif and
               Adam Rogalewicz and
               Tom{\'{a}}s Vojnar},
  title = {Abstraction Refinement for Trace Inclusion of Data Automata},
  journal = {CoRR},
  volume = {abs/1410.5056},
  year = {2014},
  url = {http://arxiv.org/abs/1410.5056},
  timestamp = {Mon, 05 Feb 4436029 15:43:12 +},
  biburl = {http://dblp.uni-trier.de/rec/bib/journals/corr/IosifRV14a},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

This file was generated by bibtex2html 1.96.

eduroam-041040:vecolib-bibtex radu$ clear

eduroam-041040:vecolib-bibtex radu$ cat ref_bib.html <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">

ref.bib

ref.bib

@inproceedings{DBLP:conf/aplas/EneaLSV14,
  author = {Constantin Enea and
               Ondrej Leng{\'{a}}l and
               Mihaela Sighireanu and
               Tom{\'{a}}s Vojnar},
  title = {Compositional Entailment Checking for a Fragment of Separation Logic},
  booktitle = {Programming Languages and Systems - 12th Asian Symposium, {APLAS}
               2014, Singapore, November 17-19, 2014, Proceedings},
  pages = {314--333},
  year = {2014},
  crossref = {DBLP:conf/aplas/2014},
  url = {http://dx.doi.org/10.1007/978-3-319-12736-1_17},
  doi = {10.1007/978-3-319-12736-1_17},
  timestamp = {Wed, 15 Oct 2014 15:39:11 +0200},
  biburl = {http://dblp.uni-trier.de/rec/bib/conf/aplas/EneaLSV14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@proceedings{DBLP:conf/aplas/2014,
  editor = {Jacques Garrigue},
  title = {Programming Languages and Systems - 12th Asian Symposium, {APLAS}
               2014, Singapore, November 17-19, 2014, Proceedings},
  series = {Lecture Notes in Computer Science},
  volume = {8858},
  publisher = {Springer},
  year = {2014},
  url = {http://dx.doi.org/10.1007/978-3-319-12736-1},
  doi = {10.1007/978-3-319-12736-1},
  isbn = {978-3-319-12735-4},
  timestamp = {Thu, 05 Mar 4453733 11:20:48 +},
  biburl = {http://dblp.uni-trier.de/rec/bib/conf/aplas/2014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@inproceedings{DBLP:conf/atva/IosifRV14,
  author = {Radu Iosif and
               Adam Rogalewicz and
               Tom{\'{a}}s Vojnar},
  title = {Deciding Entailments in Inductive Separation Logic with Tree Automata},
  booktitle = {Automated Technology for Verification and Analysis - 12th International
               Symposium, {ATVA} 2014, Sydney, NSW, Australia, November 3-7, 2014,
               Proceedings},
  pages = {201--218},
  year = {2014},
  crossref = {DBLP:conf/atva/2014},
  url = {http://dx.doi.org/10.1007/978-3-319-11936-6_15},
  doi = {10.1007/978-3-319-11936-6_15},
  timestamp = {Mon, 03 Nov 2014 14:32:36 +0100},
  biburl = {http://dblp.uni-trier.de/rec/bib/conf/atva/IosifRV14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@proceedings{DBLP:conf/atva/2014,
  editor = {Franck Cassez and
               Jean{-}Fran{\c{c}}ois Raskin},
  title = {Automated Technology for Verification and Analysis - 12th International
               Symposium, {ATVA} 2014, Sydney, NSW, Australia, November 3-7, 2014,
               Proceedings},
  series = {Lecture Notes in Computer Science},
  volume = {8837},
  publisher = {Springer},
  year = {2014},
  url = {http://dx.doi.org/10.1007/978-3-319-11936-6},
  doi = {10.1007/978-3-319-11936-6},
  isbn = {978-3-319-11935-9},
  timestamp = {Mon, 30 May 4441695 07:41:20 +ication},
  biburl = {http://dblp.uni-trier.de/rec/bib/conf/atva/2014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

@article{DBLP:journals/corr/IosifRV14a,
  author = {Radu Iosif and
               Adam Rogalewicz and
               Tom{\'{a}}s Vojnar},
  title = {Abstraction Refinement for Trace Inclusion of Data Automata},
  journal = {CoRR},
  volume = {abs/1410.5056},
  year = {2014},
  url = {http://arxiv.org/abs/1410.5056},
  timestamp = {Mon, 05 Feb 4436029 15:43:12 +},
  biburl = {http://dblp.uni-trier.de/rec/bib/journals/corr/IosifRV14a},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}

This file was generated by bibtex2html 1.96.

Retrieved from "http://vecolib.imag.fr/index.php?title=Ref_bib.html&oldid=10244"