Difference between revisions of "Publications"

From vecolib
Jump to: navigation, search
Line 23: Line 23:
 
   Vojnar.
 
   Vojnar.
 
  Compositional entailment checking for a fragment of separation logic.
 
  Compositional entailment checking for a fragment of separation logic.
  In Garrigue [<a href="#DBLP:conf/aplas/2014">2</a>], pages 314-333.
+
  In <em>Programming Languages and Systems - 12th Asian Symposium,
 +
  APLAS 2014, Singapore, November 17-19, 2014, Proceedings</em>, pages 314-333,
 +
  2014.
 
[&nbsp;<a href="ref_bib.html#DBLP:conf/aplas/EneaLSV14">bib</a>&nbsp;|  
 
[&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">DOI</a>&nbsp;|  
Line 34: Line 36:
 
<tr valign="top">
 
<tr valign="top">
 
<td align="right" class="bibtexnumber">
 
<td align="right" class="bibtexnumber">
[<a name="DBLP:conf/aplas/2014">2</a>]
+
[<a name="DBLP:conf/atva/IosifRV14">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>
 
<td class="bibtexitem">
 
<td class="bibtexitem">
Line 57: Line 42:
 
  Deciding entailments in inductive separation logic with tree
 
  Deciding entailments in inductive separation logic with tree
 
   automata.
 
   automata.
  In Cassez and Raskin [<a href="#DBLP:conf/atva/2014">4</a>], pages 201-218.
+
  In <em>Automated Technology for Verification and Analysis - 12th
 +
  International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7,
 +
  2014, Proceedings</em>, pages 201-218, 2014.
 
[&nbsp;<a href="ref_bib.html#DBLP:conf/atva/IosifRV14">bib</a>&nbsp;|  
 
[&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">DOI</a>&nbsp;|  
Line 68: Line 55:
 
<tr valign="top">
 
<tr valign="top">
 
<td align="right" class="bibtexnumber">
 
<td align="right" class="bibtexnumber">
[<a name="DBLP:conf/atva/2014">4</a>]
+
[<a name="DBLP:journals/corr/IosifRV14a">3</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:20, 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 Programming Languages and Systems - 12th Asian Symposium, APLAS 2014, Singapore, November 17-19, 2014, Proceedings, pages 314-333, 2014. [ bib | DOI | http ]
[2] Radu Iosif, Adam Rogalewicz, and Tomás Vojnar. Deciding entailments in inductive separation logic with tree automata. In Automated Technology for Verification and Analysis - 12th International Symposium, ATVA 2014, Sydney, NSW, Australia, November 3-7, 2014, Proceedings, pages 201-218, 2014. [ bib | DOI | http ]
[3] 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.