research: add series/volume information to BiBTeX entries
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 30 Jul 2012 16:30:27 +0000 (18:30 +0200)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 30 Jul 2012 16:30:27 +0000 (18:30 +0200)
research/publications.mdwn
research/publications/ahci2012-wiki.bib
research/publications/disambiguation.bib
research/publications/gmetadom.bib
research/publications/matita-crafting.bib
research/publications/mcs-disambiguation-errors.bib
research/publications/scp2010-evolution.bib
research/publications/splc2010-fd-deps.bib
research/publications/studia11-dh-ocaml.bib
research/publications/whelp.bib

index 41fa912..a3f314a 100644 (file)
@@ -80,7 +80,7 @@ in reverse chronological order.
 
 # <span title="international, peer-reviewed conferences">international, peer-reviewed conference proceedings</span>
 
- 1. <a class="paper-download" href="sefm2012-aeolus.pdf" title="download paper in PDF format">[.pdf]</a> <a class="bibtex-download" href="sefm2012-aeolus.bib" title="download bibliographic entry in BibTeX format">[.bib]</a> <a href="http://www.dicosmo.org">Roberto Di Cosmo</a>, <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>, <a href="http://www.cs.unibo.it/~zavattar/">Gianluigi Zavattaro</a>. **Towards a Formal Component Model for the Cloud**.  <em>To appear in proceedings of SEFM 2012: <a href="http://sefm2012.city.academic.gr/">10th International Conference on
+ 1. <a class="paper-download" href="sefm2012-aeolus.pdf" title="download paper in PDF format">[.pdf]</a> <a class="bibtex-download" href="sefm2012-aeolus.bib" title="download bibliographic entry in BibTeX format">[.bib]</a> <a href="http://www.dicosmo.org">Roberto Di Cosmo</a>, <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>, <a href="http://www.cs.unibo.it/~zavattar/">Gianluigi Zavattaro</a>. **Towards a Formal Component Model for the Cloud**.  <em>In proceedings of SEFM 2012: <a href="http://sefm2012.city.academic.gr/">10th International Conference on
       Software Engineering and Formal Methods</a>, Thessaloniki,
       Greece, 1-5 October, 2012.</em>
     [[!toggle id=id43 text="Abstract..."]] [[!toggleable id=id43 text="""
@@ -106,8 +106,8 @@ in reverse chronological order.
     """]]
  1. <a class="paper-download" href="splc2010-fd-deps.pdf" title="download paper in PDF format">[.pdf]</a> <a class="bibtex-download" href="splc2010-fd-deps.bib" title="download bibliographic entry in BibTeX format">[.bib]</a> <span class="doi_logo"><a href="http://dx.doi.org/10.1007/978-3-642-15579-6_40" title="Document Object Identifier">doi&gt;</a></span> <a href="http://www.dicosmo.org">Roberto Di Cosmo</a>, <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>. **Feature Diagrams as Package Dependencies**.  <em>In proceedings of SPLC 2010: <a href="http://msr.uwaterloo.ca/msr2010/">14th International Software
       Product Line Conference</a>, Jeju Island, South Korea, 13-17
-      September 2010. <a href="http://www.springerlink.com/content/978-3-642-15578-9/contents/">LNCS
-      6287</a>, ISBN 978-3-642-15578-9, <a href="http://www.springerlink.com/content/7534146613550207/">pp. 476-480</a>,
+      September 2010. LNCS <a href="http://www.springerlink.com/content/978-3-642-15578-9/contents/">6287</a>,
+      ISBN 978-3-642-15578-9, <a href="http://www.springerlink.com/content/7534146613550207/">pp. 476-480</a>,
       Springer-Verlag, 2010.</em>
     [[!toggle id=id34 text="Abstract..."]] [[!toggleable id=id34 text="""
     *Abstract:* FOSS (Free and Open Source Software) distributions use dependencies and package managers to maintain huge collections of packages and their installations; recent research have led to efficient and complete configuration tools and techniques, based on state of the art solvers, that are being adopted in industry. We show how to encode a significant subset of Free Feature Diagrams as interdependent packages, enabling to reuse package tools and research results into software product lines.
@@ -169,8 +169,8 @@ in reverse chronological order.
  1. <a class="paper-download" href="matita-crafting.pdf" title="download paper in PDF format">[.pdf]</a> <a class="bibtex-download" href="matita-crafting.bib" title="download bibliographic entry in BibTeX format">[.bib]</a> <span class="doi_logo"><a href="http://dx.doi.org/10.1007/978-3-540-74464-1_2" title="Document Object Identifier">doi&gt;</a></span> <a href="http://www.cs.unibo.it/~asperti">Andrea Asperti</a>, <a href="http://www.cs.unibo.it/~sacerdot">Claudio Sacerdoti Coen</a>, <a href="http://www.cs.unibo.it/~tassi">Enrico Tassi</a>, <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>. **Crafting a Proof Assistant**.  <em>
        In Proceedings of <a href="http://www.cs.nott.ac.uk/types06/">Types 2006</a>: Types for
        Proofs and Programs. Nottingham, UK -- April 18-21, 2006.
-       <a href="http://www.springerlink.com/content/u4h217614314/">LNCS
-       4502</a>, Springer Berlin / Heidelberg, ISBN
+       LNCS <a href="http://www.springerlink.com/content/u4h217614314/">4502</a>,
+       Springer Berlin / Heidelberg, ISBN
        978-3-540-74463-4, <a href="http://www.springerlink.com/content/148x29r15435650l/">pp.
        18-32</a>, 2007.
       </em>
@@ -191,8 +191,8 @@ in reverse chronological order.
  1. <a class="paper-download" href="whelp.pdf" title="download paper in PDF format">[.pdf]</a> <a class="bibtex-download" href="whelp.bib" title="download bibliographic entry in BibTeX format">[.bib]</a> <span class="doi_logo"><a href="http://dx.doi.org/10.1007/11617990_2" title="Document Object Identifier">doi&gt;</a></span> <a href="http://www.cs.unibo.it/~asperti">Andrea Asperti</a>, <a href="http://www.cs.unibo.it/~fguidi">Ferruccio Guidi</a>, <a href="http://www.cs.unibo.it/~sacerdot">Claudio Sacerdoti Coen</a>, <a href="http://www.cs.unibo.it/~tassi">Enrico Tassi</a>, <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>. **A Content Based Mathematical Search Engine: Whelp**.  <em>
        In Proceedings of <a href="http://types2004.lri.fr/">TYPES
        2004</a>: Types for Proofs and Programs. Paris, France --
-       December 15-18, 2004.  <a href="http://www.springerlink.com/content/978-3-540-31428-8/">LNCS
-       3839</a>, Springer Berlin / Heidelberg, ISBN
+       December 15-18, 2004. LNCS <a href="http://www.springerlink.com/content/978-3-540-31428-8/">3839</a>,
+       Springer Berlin / Heidelberg, ISBN
        3-540-31428-8, <a href="http://www.springerlink.com/content/y13172v735082217/">pp.
        17-32</a>, 2006.
       </em>
@@ -202,8 +202,9 @@ in reverse chronological order.
  1. <a class="paper-download" href="gmetadom.pdf" title="download paper in PDF format">[.pdf]</a> <a class="bibtex-download" href="gmetadom.bib" title="download bibliographic entry in BibTeX format">[.bib]</a> <span class="doi_logo"><a href="http://dx.doi.org/10.1007/b101929" title="Document Object Identifier">doi&gt;</a></span> <a href="http://www.sti.uniurb.it/padovani/">Luca Padovani</a>, <a href="http://www.cs.unibo.it/~sacerdot">Claudio Sacerdoti Coen</a>, <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>. **A Generative Approach to the Implementation of Language Bindings for the Document Object Model**.  <em>
        In Proceedings of <a href="http://www.gpce.org/04/">GPCE'04</a> 3rd International Conference
        on Generative Programming and Component
-       Engineering. Vancouver, Canada -- October 24-28, 2004 <a href="http://www.springerlink.com/content/978-3-540-23580-4/">LNCS
-       3286</a>, Springer Berlin / Heidelberg, ISBN
+       Engineering. Vancouver, Canada -- October 24-28, 2004 LNCS
+       <a href="http://www.springerlink.com/content/978-3-540-23580-4/">3286</a>,
+       Springer Berlin / Heidelberg, ISBN
        3-540-23580-9, <a href="http://www.springerlink.com/content/3cf6a7vvry9d1la1/">pp.
        469-487</a>, 2004.
       </em>
@@ -213,8 +214,9 @@ in reverse chronological order.
  1. <a class="paper-download" href="disambiguation.pdf" title="download paper in PDF format">[.pdf]</a> <a class="bibtex-download" href="disambiguation.bib" title="download bibliographic entry in BibTeX format">[.bib]</a> <a href="http://www.cs.unibo.it/~sacerdot">Claudio Sacerdoti Coen</a>, <a href="http://upsilon.cc/~zack">Stefano Zacchiroli</a>. **Efficient Ambiguous Parsing of Mathematical Formulae**.  <em>
        In Proceedings of <a href="http://www.mkm-ig.org/meetings/mkm04/">MKM 2004</a>: 3rd
        International Conference on Mathematical Knowledge
-       Management. September 19-21, 2004 Bialowieza - Poland. <a href="http://www.springerlink.com/content/978-3-540-23029-8/">LNCS
-       3119</a>, Springer Berlin / Heidelberg, ISBN
+       Management. September 19-21, 2004 Bialowieza - Poland.
+       LNCS <a href="http://www.springerlink.com/content/978-3-540-23029-8/">3119</a>,
+       Springer Berlin / Heidelberg, ISBN
        3-540-23029-7, <a href="http://www.springerlink.com/content/kxkbpg34y5xrtenu/">pp.
        347-362</a>, 2004.
       </em>
index ddc34e2..8c8a8a6 100644 (file)
@@ -4,5 +4,6 @@
   abstract = {The "WikiWay" is the open editing philosophy of wikis meant to foster open collaboration and continuous improvement of their content. Just like other online communities, wikis often introduce and enforce conventions, constraints, and rules for their content, but do so in a considerably softer way, expecting authors to deliver content that satisfies the conventions and the constraints, or, failing that, having volunteers of the community, the WikiGnomes, fix others' content accordingly. Constrained wikis is our generic framework for wikis to implement validators of community-specific constraints and conventions that preserve the WikiWay and their open collaboration features. To this end, specific requirements need to be observed by validators and a specific software architecture can be used for their implementation, that is, as independent functions (implemented as internal modules or external services) used in a nonintrusive way. Two separate proof-of-concept validators have been implemented for MediaWiki and MoinMoin, respectively, providing an annotated view functions, that is, presenting content authors with violation warnings, rather than preventing them from saving a noncompliant text.},
   year = {2012},
   doi = {10.1155/2012/893575},
+  volume = {2012},
   journal = {Advances in Human-Computer Interaction},
 }
index 01fec91..6bcdbd9 100644 (file)
@@ -5,5 +5,7 @@
   publisher = {Springer Berlin / Heidelberg},
   year = {2004},
   isbn = {3-540-23029-7},
+  series = {LNCS},
+  volume = {3119},
   booktitle = {MKM 2004: 3rd International Conference on Mathematical Knowledge Management},
 }
index 4c0ec2b..e5cf3fd 100644 (file)
@@ -6,5 +6,7 @@
   year = {2004},
   isbn = {3-540-23580-9},
   doi = {10.1007/b101929},
+  series = {LNCS},
+  volume = {3286},
   booktitle = {GPCE'04 3rd International Conference on Generative Programming and Component Engineering},
 }
index 8d09078..c56a1c5 100644 (file)
@@ -6,5 +6,7 @@
   year = {2007},
   isbn = {978-3-540-74463-4},
   doi = {10.1007/978-3-540-74464-1_2},
+  series = {LNCS},
+  volume = {4502},
   booktitle = {Types 2006: Types for Proofs and Programs},
 }
index 2b9c3a6..65e5676 100644 (file)
@@ -5,5 +5,6 @@
   month = {December},
   year = {2008},
   doi = {10.1007/s11786-008-0058-2},
+  volume = {2},
   journal = {Mathematics in Computer Science},
 }
index ecfc08b..655a08f 100644 (file)
@@ -5,5 +5,6 @@
   year = {2011},
   doi = {10.1016/j.scico.2010.11.001},
   pages = {1144-1160},
+  volume = {76},
   journal = {Science of Computer Programming},
 }
index e9330b3..dd1e7cb 100644 (file)
@@ -6,5 +6,7 @@
   year = {2010},
   isbn = {978-3-642-15578-9},
   doi = {10.1007/978-3-642-15579-6_40},
+  series = {LNCS},
+  volume = {6287},
   booktitle = {SPLC 2010: 14th International Software Product Line Conference},
 }
index e057d4a..aeec43d 100644 (file)
@@ -4,5 +4,6 @@
   abstract = {Strongly-typed languages rely on link-time checks to ensure that type safety is not violated at the borders of compilation units. Such checks entail very fine-grained dependencies among compilation units, which are at odds with the implicit assumption of backward compatibility that is relied upon by common library packaging techniques adopted by FOSS (Free and Open Source Software) package-based distributions. As a consequence, package managers are often unable to prevent users to install a set of libraries which cannot be linked together. We discuss how to guarantee link-time compatibility using inter-package relationships; in doing so, we take into account real-life maintainability problems such as support for automatic package rebuild and manageability of ABI (Application Binary Interface) strings by humans. We present the dh_ocaml implementation of the proposed solution, which is currently in use in the Debian distribution to safely deploy more than 300 OCaml-related packages.},
   year = {2011},
   pages = {129-157},
+  volume = {9},
   journal = {Studia Informatica Universalis},
 }
index 07eef41..dd9846a 100644 (file)
@@ -6,5 +6,7 @@
   year = {2006},
   isbn = {3-540-31428-8},
   doi = {10.1007/11617990_2},
+  series = {LNCS},
+  volume = {3839},
   booktitle = {TYPES 2004: Types for Proofs and Programs},
 }