Difference between revisions of "Publications"

From vecolib
Jump to: navigation, search
Line 17: Line 17:
 
<tr valign="top">
 
<tr valign="top">
 
<td align="right" class="bibtexnumber">
 
<td align="right" class="bibtexnumber">
[<a name="DBLP:journals/corr/IosifRV14a">1</a>]
+
[<a name="DBLP:conf/aplas/EneaLSV14">1</a>]
 +
</td>
 +
<td class="bibtexitem">
 +
Constantin Enea, Ondrej Leng&aacute;l, Mihaela Sighireanu, and Tom&aacute;s
 +
  Vojnar.
 +
Compositional entailment checking for a fragment of separation logic.
 +
In Garrigue [<a href="#DBLP:conf/aplas/2014">2</a>], pages 314-333.
 +
[&nbsp;<a href="ref_bib.html#DBLP:conf/aplas/EneaLSV14">bib</a>&nbsp;|
 +
<a href="http://dx.doi.org/10.1007/978-3-319-12736-1_17">DOI</a>&nbsp;|
 +
<a href="http://dx.doi.org/10.1007/978-3-319-12736-1_17">http</a>&nbsp;]
 +
 
 +
</td>
 +
</tr>
 +
 
 +
 
 +
<tr valign="top">
 +
<td align="right" class="bibtexnumber">
 +
[<a name="DBLP:conf/aplas/2014">2</a>]
 +
</td>
 +
<td class="bibtexitem">
 +
Jacques Garrigue, editor.
 +
<em>Programming Languages and Systems - 12th Asian Symposium,
 +
  APLAS 2014, Singapore, November 17-19, 2014, Proceedings</em>, volume 8858 of
 +
  <em>Lecture Notes in Computer Science</em>. Springer, 2014.
 +
[&nbsp;<a href="ref_bib.html#DBLP:conf/aplas/2014">bib</a>&nbsp;|
 +
<a href="http://dx.doi.org/10.1007/978-3-319-12736-1">DOI</a>&nbsp;|
 +
<a href="http://dx.doi.org/10.1007/978-3-319-12736-1">http</a>&nbsp;]
 +
 
 +
</td>
 +
</tr>
 +
 
 +
 
 +
<tr valign="top">
 +
<td align="right" class="bibtexnumber">
 +
[<a name="DBLP:conf/atva/IosifRV14">3</a>]
 +
</td>
 +
<td class="bibtexitem">
 +
Radu Iosif, Adam Rogalewicz, and Tom&aacute;s Vojnar.
 +
Deciding entailments in inductive separation logic with tree
 +
  automata.
 +
In Cassez and Raskin [<a href="#DBLP:conf/atva/2014">4</a>], pages 201-218.
 +
[&nbsp;<a href="ref_bib.html#DBLP:conf/atva/IosifRV14">bib</a>&nbsp;|
 +
<a href="http://dx.doi.org/10.1007/978-3-319-11936-6_15">DOI</a>&nbsp;|
 +
<a href="http://dx.doi.org/10.1007/978-3-319-11936-6_15">http</a>&nbsp;]
 +
 
 +
</td>
 +
</tr>
 +
 
 +
 
 +
<tr valign="top">
 +
<td align="right" class="bibtexnumber">
 +
[<a name="DBLP:conf/atva/2014">4</a>]
 +
</td>
 +
<td class="bibtexitem">
 +
Franck Cassez and Jean-Fran&ccedil;ois Raskin, editors.
 +
<em>Automated Technology for Verification and Analysis - 12th
 +
  International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7,
 +
  2014, Proceedings</em>, volume 8837 of <em>Lecture Notes in Computer Science</em>.
 +
  Springer, 2014.
 +
[&nbsp;<a href="ref_bib.html#DBLP:conf/atva/2014">bib</a>&nbsp;|
 +
<a href="http://dx.doi.org/10.1007/978-3-319-11936-6">DOI</a>&nbsp;|
 +
<a href="http://dx.doi.org/10.1007/978-3-319-11936-6">http</a>&nbsp;]
 +
 
 +
</td>
 +
</tr>
 +
 
 +
 
 +
<tr valign="top">
 +
<td align="right" class="bibtexnumber">
 +
[<a name="DBLP:journals/corr/IosifRV14a">5</a>]
 
</td>
 
</td>
 
<td class="bibtexitem">
 
<td class="bibtexitem">

Revision as of 14:17, 1 March 2015

ref

[1] Constantin Enea, Ondrej Lengál, Mihaela Sighireanu, and Tomás Vojnar. Compositional entailment checking for a fragment of separation logic. In Garrigue [2], pages 314-333. [ bib | DOI | http ]
[2] Jacques Garrigue, editor. Programming Languages and Systems - 12th Asian Symposium, APLAS 2014, Singapore, November 17-19, 2014, Proceedings, volume 8858 of Lecture Notes in Computer Science. Springer, 2014. [ bib | DOI | http ]
[3] Radu Iosif, Adam Rogalewicz, and Tomás Vojnar. Deciding entailments in inductive separation logic with tree automata. In Cassez and Raskin [4], pages 201-218. [ bib | DOI | http ]
[4] Franck Cassez and Jean-François Raskin, editors. Automated Technology for Verification and Analysis - 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings, volume 8837 of Lecture Notes in Computer Science. Springer, 2014. [ bib | DOI | http ]
[5] Radu Iosif, Adam Rogalewicz, and Tomás Vojnar. Abstraction refinement for trace inclusion of data automata. CoRR, abs/1410.5056, 2014. [ bib | http ]

This file was generated by bibtex2html 1.96.