%%% -*-BibTeX-*-
%%% ====================================================================
%%%  BibTeX-file{
%%%     author          = "Nelson H. F. Beebe",
%%%     version         = "1.02",
%%%     date            = "04 February 2014",
%%%     time            = "12:46:36 MST",
%%%     filename        = "lncs2012.bib",
%%%     address         = "University of Utah
%%%                        Department of Mathematics, 110 LCB
%%%                        155 S 1400 E RM 233
%%%                        Salt Lake City, UT 84112-0090
%%%                        USA",
%%%     telephone       = "+1 801 581 5254",
%%%     FAX             = "+1 801 581 4148",
%%%     URL             = "http://www.math.utah.edu/~beebe",
%%%     checksum        = "43820 4939 19544 217641",
%%%     email           = "beebe at math.utah.edu, beebe at acm.org,
%%%                        beebe at computer.org (Internet)",
%%%     codetable       = "ISO/ASCII",
%%%     keywords        = "BibTeX, bibliography, Lecture Notes in
%%%                        Computer Science",
%%%     license         = "public domain",
%%%     supported       = "yes",
%%%     docstring       = "This file contains a bibliography of volumes
%%%                        in the journal/series Lecture Notes in
%%%                        Computer Science for 2012.
%%%
%%%                        At version 1.02, the year coverage looked
%%%                        like this:
%%%
%%%                             2012 ( 169)
%%%
%%%                             Book:            16
%%%                             Proceedings:    153
%%%
%%%                             Total entries:  169
%%%
%%%                        The publisher Web site for the series is at
%%%
%%%                            http://link.springer-ny.com/link/service/series/0558/
%%%
%%%                        Individual volumes may be referenced with a
%%%                        URL like this:
%%%
%%%                            http://www.springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=<VOLUME>
%%%
%%%                        where <VOLUME> is replaced by the volume
%%%                        number, e.g., 3478.
%%%
%%%                        Digital Object Identifier (DOI) values may be
%%%                        referenced by a URL like this:
%%%
%%%                            http://www.springerlink.com/openurl.asp?genre=volume&id=doi:<DOI>
%%%
%%%                        where <DOI> is a value like 10.1007/b136292.
%%%                        All DOIs in this bibliography are also stored
%%%                        as URL values.
%%%
%%%                        Volumes are sensibly assigned DOIs with the
%%%                        ISBN or ISBN-13 value, instead of a random
%%%                        number, 10.1007/ISBN, e.g.,
%%%                        10.1007/3-540-61254-8 or
%%%                        10.1007/978-3-642-21563-6.
%%%
%%%                        Spelling has been verified with the UNIX
%%%                        spell and GNU ispell programs using the
%%%                        exception dictionary stored in the companion
%%%                        file with extension .sok.
%%%
%%%                        BibTeX citation tags are uniformly chosen as
%%%                        name:year:abbrev, where name is the family
%%%                        name of the first author or editor, year is a
%%%                        4-digit number, and abbrev is a 3-letter
%%%                        condensation of important title words.
%%%                        Citation labels were automatically generated
%%%                        by software developed for the BibNet Project.
%%%
%%%                        In this bibliography, entries are sorted in
%%%                        volume order, with the help of ``bibsort
%%%                        byseriesvolume''.  The bibsort utility is
%%%                        available at
%%%
%%%                            ftp://ftp.math.utah.edu/pub/tex/bibsort
%%%                            http://www.math.utah.edu/pub/tex/bibsort
%%%
%%%                        The checksum field above contains a CRC-16
%%%                        checksum as the first value, followed by the
%%%                        equivalent of the standard UNIX wc (word
%%%                        count) utility output of lines, words, and
%%%                        characters.  This is produced by Robert
%%%                        Solovay's checksum utility.",
%%%  }
%%% ====================================================================

@Preamble{
    "\hyphenation{ }" #
    "\ifx \undefined \flqq \def \flqq {\ifmmode \ll \else \leavevmode \raise 0.2ex \hbox{$\scriptscriptstyle \ll $}\fi}\fi" #
    "\ifx \undefined \frqq \def \frqq {\ifmmode \gg \else \leavevmode \raise 0.2ex \hbox{$\scriptscriptstyle \gg $}\fi}\fi" #
    "\ifx \undefined \k \let \k = \c \fi"
}

%%% ====================================================================
%%% Acknowledgement abbreviations:

@String{ack-nhfb = "Nelson H. F. Beebe,
                    University of Utah,
                    Department of Mathematics, 110 LCB,
                    155 S 1400 E RM 233,
                    Salt Lake City, UT 84112-0090, USA,
                    Tel: +1 801 581 5254,
                    FAX: +1 801 581 4148,
                    e-mail: \path|beebe@math.utah.edu|,
                            \path|beebe@acm.org|,
                            \path|beebe@computer.org| (Internet),
                    URL: \path|http://www.math.utah.edu/~beebe/|"}

%%% ====================================================================
%%% Journal abbreviations:

@String{j-LECT-NOTES-COMP-SCI   = "Lecture Notes in Computer Science"}

%%% ====================================================================
%%% Publisher abbreviations:

@String{pub-SV                  = "Springer-Verlag Inc."}
@String{pub-SV:adr              = "New York, NY, USA"}

%%% ====================================================================
%%% Series abbreviations:

@String{ser-LNAI                = "Lecture Notes in Artificial Intelligence"}

@String{ser-LNBI                = "Lecture Notes in Bioinformatics"}

@String{ser-LNCS                = "Lecture Notes in Computer Science"}

%%% ========================================================================
%%% Article entries, sorted in volume and page order, with ``bibsort -byvol':

@Article{Chen:2012:IDC,
  author =       "Jiazhe Chen and Meiqin Wang and Bart Preneel",
  title =        "Impossible Differential Cryptanalysis of the
                 Lightweight Block Ciphers {TEA}, {XTEA} and {HIGHT}",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "7374",
  pages =        "117--137",
  year =         "2012",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-31410-0_8",
  bibdate =      "Fri Jan 31 18:29:24 2014",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  URL =          "http://link.springer.com/chapter/10.1007/978-3-642-31410-0_8",
  acknowledgement = ack-nhfb,
  remark =       "Progress in Cryptology --- AFRICACRYPT 2012",
}

@Article{Bogdanov:2012:ZCL,
  author =       "Andrey Bogdanov and Meiqin Wang",
  title =        "Zero-Correlation Linear Cryptanalysis with Reduced
                 Data Complexity",
  journal =      j-LECT-NOTES-COMP-SCI,
  volume =       "7549",
  pages =        "29--48",
  year =         "2012",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-34047-5_3",
  bibdate =      "Fri Jan 31 08:05:18 2014",
  bibsource =    "http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  acknowledgement = ack-nhfb,
  keywords =     "TEA (Tiny Encryption Algorithm)",
  remark =       "Fast Software Encryption 2012",
}

%%% ====================================================================
%%% Bibliography entries, in volume order:

@Proceedings{MacKinnon:2012:DSS,
  editor =       "Lachlan M. MacKinnon",
  booktitle =    "{Data Security and Security Data: 27th British
                 National Conference on Databases, BNCOD 27, Dundee, UK,
                 June 29 --- July 1, 2010. Revised Selected Papers}",
  title =        "{Data Security and Security Data: 27th British
                 National Conference on Databases, BNCOD 27, Dundee, UK,
                 June 29 --- July 1, 2010. Revised Selected Papers}",
  volume =       "6121",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-25703-2",
  ISBN =         "3-642-25703-8",
  ISBN-13 =      "978-3-642-25703-2",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:02 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-25703-2",
  acknowledgement = ack-nhfb,
}

@Proceedings{Varbanescu:2012:CAI,
  editor =       "Ana Lucia Varbanescu and Anca Molnos and Rob van
                 Nieuwpoort",
  booktitle =    "{Computer Architecture: ISCA 2010 International
                 Workshops A4MMC, AMAS-BT, EAMA, WEED, WIOSCA,
                 Saint-Malo, France, June 19--23, Revised Selected
                 Papers}",
  title =        "{Computer Architecture: ISCA 2010 International
                 Workshops A4MMC, AMAS-BT, EAMA, WEED, WIOSCA,
                 Saint-Malo, France, June 19--23, Revised Selected
                 Papers}",
  volume =       "6161",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-24321-9",
  ISBN =         "3-642-24321-5",
  ISBN-13 =      "978-3-642-24321-9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:02 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-24321-9",
  acknowledgement = ack-nhfb,
}

@Proceedings{Kannan:2012:DEM,
  editor =       "Rajkumar Kannan and Frederic Andres",
  booktitle =    "{Data Engineering and Management: Second International
                 Conference, ICDEM 2010, Tiruchirappalli, India, July
                 29--31. Revised Selected Papers}",
  title =        "{Data Engineering and Management: Second International
                 Conference, ICDEM 2010, Tiruchirappalli, India, July
                 29--31. Revised Selected Papers}",
  volume =       "6411",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-27871-6",
  ISBN =         "3-642-27871-X",
  ISBN-13 =      "978-3-642-27871-6",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:02 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-27871-6",
  acknowledgement = ack-nhfb,
}

@Proceedings{Horimoto:2012:ANB,
  editor =       "Katsuhisa Horimoto and Masahiko Nakatsui and Nikolaj
                 Popov",
  booktitle =    "{Algebraic and Numeric Biology: 4th International
                 Conference, ANB 2010, Hagenberg, Austria, July 31-
                 August 2, 2010, Revised Selected Papers}",
  title =        "{Algebraic and Numeric Biology: 4th International
                 Conference, ANB 2010, Hagenberg, Austria, July 31-
                 August 2, 2010, Revised Selected Papers}",
  volume =       "6479",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-28066-5",
  ISBN =         "3-642-28066-8",
  ISBN-13 =      "978-3-642-28066-5",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:04 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-28066-5",
  acknowledgement = ack-nhfb,
}

@Proceedings{Collier:2012:PMA,
  editor =       "Rem Collier and J{\"u}rgen Dix and Peter Nov{\'a}k",
  booktitle =    "{Programming Multi-Agent Systems: 8th International
                 Workshop, ProMAS 2010, Toronto, ON, Canada, May 11,
                 2010. Revised Selected Papers}",
  title =        "{Programming Multi-Agent Systems: 8th International
                 Workshop, ProMAS 2010, Toronto, ON, Canada, May 11,
                 2010. Revised Selected Papers}",
  volume =       "6599",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-28938-5",
  ISBN =         "3-642-28938-X",
  ISBN-13 =      "978-3-642-28938-5",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:00 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-28938-5",
  acknowledgement = ack-nhfb,
}

@Proceedings{Freitas:2012:BPM,
  editor =       "Ana T. Freitas and Arcadi Navarro",
  booktitle =    "{Bioinformatics for Personalized Medicine: 10th
                 Spanish Symposium, JBI 2010, Torremolinos, Spain,
                 October 27--29. Revised Selected Papers}",
  title =        "{Bioinformatics for Personalized Medicine: 10th
                 Spanish Symposium, JBI 2010, Torremolinos, Spain,
                 October 27--29. Revised Selected Papers}",
  volume =       "6620",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-28061-0",
  ISBN =         "3-642-28061-7",
  ISBN-13 =      "978-3-642-28061-0",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:00 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-28061-0",
  acknowledgement = ack-nhfb,
}

@Proceedings{Bruckstein:2012:SSV,
  editor =       "Alfred M. Bruckstein and Bart M. ter Haar Romeny and
                 Alexander M. Bronstein and Michael M. Bronstein",
  booktitle =    "{Scale Space and Variational Methods in Computer
                 Vision: Third International Conference, SSVM 2011,
                 Ein-Gedi, Israel, May 29 --- June 2, 2011, Revised
                 Selected Papers}",
  title =        "{Scale Space and Variational Methods in Computer
                 Vision: Third International Conference, SSVM 2011,
                 Ein-Gedi, Israel, May 29 --- June 2, 2011, Revised
                 Selected Papers}",
  volume =       "6667",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-24784-2",
  ISBN =         "3-642-24784-9",
  ISBN-13 =      "978-3-642-24784-2",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:04 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-24784-2",
  acknowledgement = ack-nhfb,
}

@Proceedings{Lacroix:2012:RDT,
  editor =       "Zo{\'e} Lacroix and Mar{\'\i}a Esther Vidal",
  booktitle =    "{Resource Discovery: Third International Workshop, RED
                 2010, Paris, France, November 5, 2010, Revised Selected
                 Papers}",
  title =        "{Resource Discovery: Third International Workshop, RED
                 2010, Paris, France, November 5, 2010, Revised Selected
                 Papers}",
  volume =       "6799",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-27391-9",
  ISBN =         "3-642-27391-2",
  ISBN-13 =      "978-3-642-27391-9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:04 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-27391-9",
  acknowledgement = ack-nhfb,
}

@Book{Naccache:2012:CST,
  editor =       "David Naccache",
  booktitle =    "{Cryptography and Security: From Theory to
                 Applications: Essays Dedicated to Jean-Jacques
                 Quisquater on the Occasion of His 65th Birthday}",
  title =        "{Cryptography and Security: From Theory to
                 Applications: Essays Dedicated to Jean-Jacques
                 Quisquater on the Occasion of His 65th Birthday}",
  volume =       "6805",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-28367-3",
  ISBN =         "3-642-28367-5",
  ISBN-13 =      "978-3-642-28367-3",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:02 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-28367-3",
  acknowledgement = ack-nhfb,
}

@Proceedings{Huang:2012:AICa,
  editor =       "De-Shuang Huang and Yong Gan and Vitoantonio
                 Bevilacqua and Juan Carlos Figueroa",
  booktitle =    "{Advanced Intelligent Computing: 7th International
                 Conference, ICIC 2011, Zhengzhou, China, August 11--14.
                 Revised Selected Papers}",
  title =        "{Advanced Intelligent Computing: 7th International
                 Conference, ICIC 2011, Zhengzhou, China, August 11--14.
                 Revised Selected Papers}",
  volume =       "6838",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-24727-9",
  ISBN =         "3-642-24727-X",
  ISBN-13 =      "978-3-642-24727-9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:03 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-24727-9",
  acknowledgement = ack-nhfb,
}

@Proceedings{Huang:2012:AICb,
  editor =       "De-Shuang Huang and Yong Gan and Phalguni Gupta and M.
                 Michael Gromiha",
  booktitle =    "{Advanced Intelligent Computing Theories and
                 Applications. With Aspects of Artificial Intelligence:
                 7th International Conference, ICIC 2011, Zhengzhou,
                 China, August 11--14, Revised Selected Papers}",
  title =        "{Advanced Intelligent Computing Theories and
                 Applications. With Aspects of Artificial Intelligence:
                 7th International Conference, ICIC 2011, Zhengzhou,
                 China, August 11--14, Revised Selected Papers}",
  volume =       "6839",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-25943-2",
  ISBN =         "3-642-25943-X",
  ISBN-13 =      "978-3-642-25943-2",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:04 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-25943-2",
  acknowledgement = ack-nhfb,
}

@Proceedings{Huang:2012:BIC,
  editor =       "De-Shuang Huang and Yong Gan and Prashan Premaratne
                 and Kyungsook Han",
  booktitle =    "{Bio-Inspired Computing and Applications: 7th
                 International Conference on Intelligent Computing, ICIC
                 2011, Zhengzhou,China, August 11-14. 2011, Revised
                 Selected Papers}",
  title =        "{Bio-Inspired Computing and Applications: 7th
                 International Conference on Intelligent Computing, ICIC
                 2011, Zhengzhou,China, August 11-14. 2011, Revised
                 Selected Papers}",
  volume =       "6840",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-24552-7",
  ISBN =         "3-642-24552-8",
  ISBN-13 =      "978-3-642-24552-7",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:04 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-24552-7",
  acknowledgement = ack-nhfb,
}

@Proceedings{Garcia-Alfaro:2012:FPS,
  editor =       "Joaquin Garcia-Alfaro and Pascal Lafourcade",
  booktitle =    "{Foundations and Practice of Security: 4th
                 Canada-France MITACS Workshop, FPS 2011, Paris, France,
                 May 12--13, Revised Selected Papers}",
  title =        "{Foundations and Practice of Security: 4th
                 Canada-France MITACS Workshop, FPS 2011, Paris, France,
                 May 12--13, Revised Selected Papers}",
  volume =       "6888",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-27900-3",
  ISBN =         "3-642-27900-7",
  ISBN-13 =      "978-3-642-27900-3",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:03 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-27900-3",
  acknowledgement = ack-nhfb,
}

@Book{Jensen:2012:TPN,
  editor =       "Kurt Jensen and Susanna Donatelli and Jetty Kleijn",
  booktitle =    "{Transactions on Petri Nets and Other Models of
                 Concurrency V}",
  title =        "{Transactions on {Petri} Nets and Other Models of
                 Concurrency V}",
  volume =       "6900",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-29071-8",
  ISBN =         "3-642-29071-X",
  ISBN-13 =      "978-3-642-29071-8",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:01 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-29071-8",
  acknowledgement = ack-nhfb,
}

@Proceedings{Boissonnat:2012:CSI,
  editor =       "Jean-Daniel Boissonnat and Patrick Chenin and Albert
                 Cohen and Christian Gout and Tom Lyche and et al",
  booktitle =    "{Curves and Surfaces: 7th International Conference,
                 Avignon, France, June 24 --- 30, 2010, Revised Selected
                 Papers}",
  title =        "{Curves and Surfaces: 7th International Conference,
                 Avignon, France, June 24 --- 30, 2010, Revised Selected
                 Papers}",
  volume =       "6920",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-27412-1",
  ISBN =         "3-642-27412-9",
  ISBN-13 =      "978-3-642-27412-1",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:04 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-27412-1",
  acknowledgement = ack-nhfb,
}

@Proceedings{Barbosa:2012:FAC,
  editor =       "Lu{\'\i}s Soares Barbosa and Markus Lumpe",
  booktitle =    "{Formal Aspects of Component Software: 7th
                 International Workshop, FACS 2010, Guimar{\~a}es,
                 Portugal, October 14--16, Revised Selected Papers}",
  title =        "{Formal Aspects of Component Software: 7th
                 International Workshop, FACS 2010, {Guimar{\~a}es,}
                 Portugal, October 14--16, Revised Selected Papers}",
  volume =       "6921",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-27268-4",
  ISBN =         "3-642-27268-1",
  ISBN-13 =      "978-3-642-27268-4",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:03 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-27268-4",
  acknowledgement = ack-nhfb,
}

@Proceedings{Riano:2012:KRH,
  editor =       "David Ria{\~n}o and Annette ten Teije and Silvia
                 Miksch",
  booktitle =    "{Knowledge Representation for Health-Care: AIME 2011
                 Workshop KR4HC 2011, Bled, Slovenia, July 2--6. Revised
                 Selected Papers}",
  title =        "{Knowledge Representation for Health-Care: AIME 2011
                 Workshop KR4HC 2011, Bled, Slovenia, July 2--6. Revised
                 Selected Papers}",
  volume =       "6924",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-27696-5",
  ISBN =         "3-642-27696-2",
  ISBN-13 =      "978-3-642-27696-5",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:02 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-27696-5",
  acknowledgement = ack-nhfb,
}

@Proceedings{Moreno-Diaz:2012:CASa,
  editor =       "Roberto Moreno-D{\'\i}az and Franz Pichler and Alexis
                 Quesada-Arencibia",
  booktitle =    "{Computer Aided Systems Theory --- EUROCAST 2011: 13th
                 International Conference, Las Palmas de Gran Canaria,
                 Spain, February 6--11, Revised Selected Papers, Part
                 I}",
  title =        "{Computer Aided Systems Theory --- EUROCAST 2011: 13th
                 International Conference, Las Palmas de Gran Canaria,
                 Spain, February 6--11, Revised Selected Papers, Part
                 I}",
  volume =       "6927",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-27548-7",
  ISBN =         "3-642-27548-6",
  ISBN-13 =      "978-3-642-27548-7",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:03 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-27548-7",
  acknowledgement = ack-nhfb,
}

@Proceedings{Moreno-Diaz:2012:CASb,
  editor =       "Roberto Moreno-D{\'\i}az and Franz Pichler and Alexis
                 Quesada-Arencibia",
  booktitle =    "{Computer Aided Systems Theory --- EUROCAST 2011: 13th
                 International Conference, Las Palmas de Gran Canaria,
                 Spain, February 6--11, Revised Selected Papers, Part
                 II}",
  title =        "{Computer Aided Systems Theory --- EUROCAST 2011: 13th
                 International Conference, Las Palmas de Gran Canaria,
                 Spain, February 6--11, Revised Selected Papers, Part
                 II}",
  volume =       "6928",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-27578-4",
  ISBN =         "3-642-27578-8",
  ISBN-13 =      "978-3-642-27578-4",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:03 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-27578-4",
  acknowledgement = ack-nhfb,
}

@Proceedings{Sloane:2012:SLE,
  editor =       "Anthony Sloane and Uwe A{\ss}mann",
  booktitle =    "{Software Language Engineering: 4th International
                 Conference, SLE 2011, Braga, Portugal, July 3--4,
                 Revised Selected Papers}",
  title =        "{Software Language Engineering: 4th International
                 Conference, SLE 2011, Braga, Portugal, July 3--4,
                 Revised Selected Papers}",
  volume =       "6940",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-28829-6",
  ISBN =         "3-642-28829-4",
  ISBN-13 =      "978-3-642-28829-6",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:10:59 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-28829-6",
  acknowledgement = ack-nhfb,
}

@Proceedings{Aichernig:2012:FMC,
  editor =       "Bernhard K. Aichernig and Frank S. de Boer and
                 Marcello M. Bonsangue",
  booktitle =    "{Formal Methods for Components and Objects: 9th
                 International Symposium, FMCO 2010, Graz, Austria,
                 November 29 --- December 1, 2010. Revised Papers}",
  title =        "{Formal Methods for Components and Objects: 9th
                 International Symposium, FMCO 2010, Graz, Austria,
                 November 29 --- December 1, 2010. Revised Papers}",
  volume =       "6957",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-25270-9",
  ISBN =         "3-642-25270-2",
  ISBN-13 =      "978-3-642-25270-9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:04 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-25270-9",
  acknowledgement = ack-nhfb,
}

@Proceedings{Modersheim:2012:TSA,
  editor =       "Sebastian M{\"o}dersheim and Catuscia Palamidessi",
  booktitle =    "{Theory of Security and Applications: Joint Workshop,
                 TOSCA 2011, Saarbr{\"u}cken, Germany, March 31 ---
                 April 1, 2011, Revised Selected Papers}",
  title =        "{Theory of Security and Applications: Joint Workshop,
                 TOSCA 2011, {Saarbr{\"u}cken,} Germany, March 31 ---
                 April 1, 2011, Revised Selected Papers}",
  volume =       "6993",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-27374-2",
  ISBN =         "3-642-27374-2",
  ISBN-13 =      "978-3-642-27374-2",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:04 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-27374-2",
  acknowledgement = ack-nhfb,
}

@Book{Meyer:2012:ESE,
  editor =       "Bertrand Meyer and Martin Nordio",
  booktitle =    "{Empirical Software Engineering and Verification:
                 International Summer Schools, LASER 2008-2010, Elba
                 Island, Italy, Revised Tutorial Lectures}",
  title =        "{Empirical Software Engineering and Verification:
                 International Summer Schools, LASER 2008-2010, Elba
                 Island, Italy, Revised Tutorial Lectures}",
  volume =       "7007",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-25230-3",
  ISBN =         "3-642-25230-3",
  ISBN-13 =      "978-3-642-25230-3",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:03 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-25230-3",
  acknowledgement = ack-nhfb,
}

@Book{vanEijck:2012:GAS,
  editor =       "Jan van Eijck and Rineke Verbrugge",
  booktitle =    "{Games, Actions and Social Software: Multidisciplinary
                 Aspects}",
  title =        "{Games, Actions and Social Software: Multidisciplinary
                 Aspects}",
  volume =       "7010",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-29327-6",
  ISBN =         "3-642-29327-1",
  ISBN-13 =      "978-3-642-29327-6",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:00 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-29327-6",
  acknowledgement = ack-nhfb,
}

@Proceedings{Yoshida:2012:AIC,
  editor =       "Hiroyuki Yoshida and Georgios Sakas and Marius George
                 Linguraru",
  booktitle =    "{Abdominal Imaging. Computational and Clinical
                 Applications: Third International Workshop, Held in
                 Conjunction with MICCAI 2011, Toronto, ON, Canada,
                 September 18, 2011, Revised Selected Papers}",
  title =        "{Abdominal Imaging. Computational and Clinical
                 Applications: Third International Workshop, Held in
                 Conjunction with MICCAI 2011, Toronto, ON, Canada,
                 September 18, 2011, Revised Selected Papers}",
  volume =       "7029",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-28556-1",
  ISBN =         "3-642-28556-2",
  ISBN-13 =      "978-3-642-28556-1",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:01 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-28556-1",
  acknowledgement = ack-nhfb,
}

@Proceedings{vanKreveld:2012:GDI,
  editor =       "Marc van Kreveld and Bettina Speckmann",
  booktitle =    "{Graph Drawing: 19th International Symposium, GD 2011,
                 Eindhoven, The Netherlands, September 21--23, Revised
                 Selected Papers}",
  title =        "{Graph Drawing: 19th International Symposium, GD 2011,
                 Eindhoven, The Netherlands, September 21--23, Revised
                 Selected Papers}",
  volume =       "7034",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-25877-0",
  ISBN =         "3-642-25877-8",
  ISBN-13 =      "978-3-642-25877-0",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:04 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-25877-0",
  acknowledgement = ack-nhfb,
}

@Proceedings{Danezis:2012:FCDb,
  editor =       "George Danezis",
  booktitle =    "{Financial Cryptography and Data Security: 15th
                 International Conference, FC 2011, Gros Islet, St.
                 Lucia, February 28 --- March 4, 2011, Revised Selected
                 Papers}",
  title =        "{Financial Cryptography and Data Security: 15th
                 International Conference, FC 2011, Gros Islet, St.
                 Lucia, February 28 --- March 4, 2011, Revised Selected
                 Papers}",
  volume =       "7035",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-27575-3",
  ISBN =         "3-642-27575-3",
  ISBN-13 =      "978-3-642-27575-3",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:03 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-27575-3",
  acknowledgement = ack-nhfb,
}

@Proceedings{Camenisch:2012:OPN,
  editor =       "Jan Camenisch and Dogan Kesdogan",
  booktitle =    "{Open Problems in Network Security: IFIP WG 11.4
                 International Workshop, iNetSec 2011, Lucerne,
                 Switzerland, June 9, 2011, Revised Selected Papers}",
  title =        "{Open Problems in Network Security: IFIP WG 11.4
                 International Workshop, iNetSec 2011, Lucerne,
                 Switzerland, June 9, 2011, Revised Selected Papers}",
  volume =       "7039",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-27584-5",
  ISBN =         "3-642-27584-2",
  ISBN-13 =      "978-3-642-27584-5",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:03 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-27584-5",
  acknowledgement = ack-nhfb,
}

@Book{Gavrilova:2012:TCS,
  editor =       "Marina L. Gavrilova and C. J. Kenneth Tan and
                 Cong-Vinh Phan",
  booktitle =    "{Transactions on Computational Science XV: Special
                 Issue on Advances in Autonomic Computing: Formal
                 Engineering Methods for Nature-Inspired Computing
                 Systems}",
  title =        "{Transactions on Computational Science XV: Special
                 Issue on Advances in Autonomic Computing: Formal
                 Engineering Methods for Nature-Inspired Computing
                 Systems}",
  volume =       "7050",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-28524-0",
  ISBN =         "3-642-28524-4",
  ISBN-13 =      "978-3-642-28524-0",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:02 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-28524-0",
  acknowledgement = ack-nhfb,
}

@Proceedings{Bouvry:2012:SII,
  editor =       "Pascal Bouvry and Mieczyslaw A. Klopotek and Franck
                 Lepr{\'e}vost and Malgorzata Marciniak and Agnieszka
                 Mykowiecka and et al",
  booktitle =    "{Security and Intelligent Information Systems:
                 International Joint Conferences, SIIS 2011, Warsaw,
                 Poland, June 13--14, Revised Selected Papers}",
  title =        "{Security and Intelligent Information Systems:
                 International Joint Conferences, SIIS 2011, Warsaw,
                 Poland, June 13--14, Revised Selected Papers}",
  volume =       "7053",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-25260-0",
  ISBN =         "3-642-25260-5",
  ISBN-13 =      "978-3-642-25260-0",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:03 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-25260-0",
  acknowledgement = ack-nhfb,
}

@Proceedings{Szmuc:2012:ASE,
  editor =       "Tomasz Szmuc and Marcin Szpyrka and Jaroslav
                 Zendulka",
  booktitle =    "{Advances in Software Engineering Techniques: 4th IFIP
                 TC 2 Central and East European Conference on Software
                 Engineering Techniques, CEE-SET 2009, Krakow, Poland,
                 October 12--14. Revised Selected Papers}",
  title =        "{Advances in Software Engineering Techniques: 4th IFIP
                 TC 2 Central and East {European} Conference on Software
                 Engineering Techniques, CEE-SET 2009, Krakow, Poland,
                 October 12--14. Revised Selected Papers}",
  volume =       "7054",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-28037-5",
  ISBN =         "3-642-28037-4",
  ISBN-13 =      "978-3-642-28037-5",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:10:59 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-28037-5",
  acknowledgement = ack-nhfb,
}

@Proceedings{Juels:2012:RSP,
  editor =       "Ari Juels and Christof Paar",
  booktitle =    "{RFID. Security and Privacy: 7th International
                 Workshop, RFIDSec 2011, Amherst, USA, June 26--28,
                 Revised Selected Papers}",
  title =        "{RFID. Security and Privacy: 7th International
                 Workshop, RFIDSec 2011, Amherst, USA, June 26--28,
                 Revised Selected Papers}",
  volume =       "7055",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-25285-3",
  ISBN =         "3-642-25285-0",
  ISBN-13 =      "978-3-642-25285-3",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:04 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-25285-3",
  acknowledgement = ack-nhfb,
}

@Proceedings{Desai:2012:PPM,
  editor =       "Nirmit Desai and Alan Liu and Michael Winikoff",
  booktitle =    "{Principles and Practice of Multi-Agent Systems: 13th
                 International Conference, PRIMA 2010, Kolkata, India,
                 November 12--15, Revised Selected Papers}",
  title =        "{Principles and Practice of Multi-Agent Systems: 13th
                 International Conference, PRIMA 2010, Kolkata, India,
                 November 12--15, Revised Selected Papers}",
  volume =       "7057",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-25919-7",
  ISBN =         "3-642-25919-7",
  ISBN-13 =      "978-3-642-25919-7",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:04 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-25919-7",
  acknowledgement = ack-nhfb,
}

@Proceedings{Harth:2012:CTW,
  editor =       "Andreas Harth and Nora Koch",
  booktitle =    "{Current Trends in Web Engineering: Workshops,
                 Doctoral Symposium, and Tutorials, Held at ICWE 2011,
                 Paphos, Cyprus, June 20--21. Revised Selected Papers}",
  title =        "{Current Trends in {Web} Engineering: Workshops,
                 Doctoral Symposium, and Tutorials, Held at ICWE 2011,
                 Paphos, Cyprus, June 20--21. Revised Selected Papers}",
  volume =       "7059",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-27996-6",
  ISBN =         "3-642-27996-1",
  ISBN-13 =      "978-3-642-27996-6",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:02 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-27996-6",
  acknowledgement = ack-nhfb,
}

@Proceedings{Dechesne:2012:AAT,
  editor =       "Francien Dechesne and Hiromitsu Hattori and Adriaan
                 ter Mors and Jose Miguel Such and Danny Weyns and et
                 al",
  booktitle =    "{Advanced Agent Technology: AAMAS 2011 Workshops,
                 AMPLE, AOSE, ARMS, DOCM$^3$ AS, ITMAS, Taipei, Taiwan,
                 May 2--6. Revised Selected Papers}",
  title =        "{Advanced Agent Technology: AAMAS 2011 Workshops,
                 AMPLE, AOSE, ARMS, DOCM$^3$ AS, ITMAS, Taipei, Taiwan,
                 May 2--6. Revised Selected Papers}",
  volume =       "7068",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-27215-8",
  ISBN =         "3-642-27215-0",
  ISBN-13 =      "978-3-642-27215-8",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:04 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-27215-8",
  acknowledgement = ack-nhfb,
}

@Proceedings{Muller:2012:MCB,
  editor =       "Henning M{\"u}ller and Hayit Greenspan and Tanveer
                 Syeda-Mahmood",
  booktitle =    "{Medical Content-Based Retrieval for Clinical Decision
                 Support: Second MICCAI International Workshop, MCBR-CDS
                 2011, Toronto, ON, Canada, September 22, 2011, Revised
                 Selected Papers}",
  title =        "{Medical Content-Based Retrieval for Clinical Decision
                 Support: Second MICCAI International Workshop, MCBR-CDS
                 2011, Toronto, ON, Canada, September 22, 2011, Revised
                 Selected Papers}",
  volume =       "7075",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-28459-5",
  ISBN =         "3-642-28459-0",
  ISBN-13 =      "978-3-642-28459-5",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:02 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-28459-5",
  acknowledgement = ack-nhfb,
}

@Proceedings{Schwenker:2012:PSL,
  editor =       "Friedhelm Schwenker and Edmondo Trentin",
  booktitle =    "{Partially Supervised Learning: First IAPR TC3
                 Workshop, PSL 2011, Ulm, Germany, September 15--16,
                 Revised Selected Papers}",
  title =        "{Partially Supervised Learning: First IAPR TC3
                 Workshop, PSL 2011, Ulm, Germany, September 15--16,
                 Revised Selected Papers}",
  volume =       "7081",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-28257-7",
  ISBN =         "3-642-28257-1",
  ISBN-13 =      "978-3-642-28257-7",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:03 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-28257-7",
  acknowledgement = ack-nhfb,
}

@Proceedings{Ober:2012:SIS,
  editor =       "Iulian Ober and Ileana Ober",
  booktitle =    "{SDL 2011: Integrating System and Software Modeling:
                 15th International SDL Forum Toulouse, France, July
                 5--7. Revised Papers}",
  title =        "{SDL 2011: Integrating System and Software Modeling:
                 15th International SDL Forum Toulouse, France, July
                 5--7. Revised Papers}",
  volume =       "7083",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-25263-1",
  ISBN =         "3-642-25263-X",
  ISBN-13 =      "978-3-642-25263-1",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:05 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-25263-1",
  acknowledgement = ack-nhfb,
}

@Proceedings{Camara:2012:SAC,
  editor =       "Oscar Camara and Ender Konukoglu and Mihaela Pop and
                 Kawal Rhode and Maxime Sermesant and et al",
  booktitle =    "{Statistical Atlases and Computational Models of the
                 Heart. Imaging and Modelling Challenges: Second
                 International Workshop, STACOM 2011, Held in
                 Conjunction with MICCAI 2011, Toronto, ON, Canada,
                 September 22, 2011, Revised Selected Papers}",
  title =        "{Statistical Atlases and Computational Models of the
                 Heart. Imaging and Modelling Challenges: Second
                 International Workshop, STACOM 2011, Held in
                 Conjunction with MICCAI 2011, Toronto, ON, Canada,
                 September 22, 2011, Revised Selected Papers}",
  volume =       "7085",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-28325-3",
  ISBN =         "3-642-28325-X",
  ISBN-13 =      "978-3-642-28325-3",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:02 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-28325-3",
  acknowledgement = ack-nhfb,
}

@Proceedings{Ho:2012:AIVb,
  editor =       "Yo-Sung Ho",
  booktitle =    "{Advances in Image and Video Technology: 5th Pacific
                 Rim Symposium, PSIVT 2011, Gwangju, South Korea,
                 November 20--23, Proceedings, Part I}",
  title =        "{Advances in Image and Video Technology: 5th Pacific
                 Rim Symposium, PSIVT 2011, Gwangju, South Korea,
                 November 20--23, Proceedings, Part I}",
  volume =       "7087",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-25366-9",
  ISBN =         "3-642-25366-0",
  ISBN-13 =      "978-3-642-25366-9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:05 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-25366-9",
  acknowledgement = ack-nhfb,
}

@Proceedings{Ho:2012:AIVa,
  editor =       "Yo-Sung Ho",
  booktitle =    "{Advances in Image and Video Technology: 5th Pacific
                 Rim Symposium, PSIVT 2011, Gwangju, South Korea,
                 November 20--23, Proceedings, Part II}",
  title =        "{Advances in Image and Video Technology: 5th Pacific
                 Rim Symposium, PSIVT 2011, Gwangju, South Korea,
                 November 20--23, Proceedings, Part II}",
  volume =       "7088",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-25345-4",
  ISBN =         "3-642-25345-8",
  ISBN-13 =      "978-3-642-25345-4",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:05 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-25345-4",
  acknowledgement = ack-nhfb,
}

@Proceedings{Rautiainen:2012:GPC,
  editor =       "Mika Rautiainen and Timo Korhonen and Edward
                 Mutafungwa and Eila Ovaska and Artem Katasonov and et
                 al",
  booktitle =    "{Grid and Pervasive Computing Workshops: International
                 Workshops, S3E, HWTS, Doctoral Colloquium, Held in
                 Conjunction with GPC 2011, Oulu, Finland, May 11--13.
                 Revised Selected Papers}",
  title =        "{Grid and Pervasive Computing Workshops: International
                 Workshops, S3E, HWTS, Doctoral Colloquium, Held in
                 Conjunction with GPC 2011, Oulu, Finland, May 11--13.
                 Revised Selected Papers}",
  volume =       "7096",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-27915-7",
  ISBN =         "3-642-27915-5",
  ISBN-13 =      "978-3-642-27915-7",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:03 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-27915-7",
  acknowledgement = ack-nhfb,
}

@Book{Hameurlain:2012:TLS,
  editor =       "Abdelkader Hameurlain and Josef K{\"u}ng and Roland
                 Wagner",
  booktitle =    "{Transactions on Large-Scale Data- and
                 Knowledge-Centered Systems V}",
  title =        "{Transactions on Large-Scale Data- and
                 Knowledge-Centered Systems V}",
  volume =       "7100",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-28147-1",
  ISBN =         "3-642-28147-8",
  ISBN-13 =      "978-3-642-28147-1",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:03 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-28147-1",
  acknowledgement = ack-nhfb,
}

@Proceedings{Cao:2012:ADM,
  editor =       "Longbing Cao and Ana L. C. Bazzan and Andreas L.
                 Symeonidis and Vladimir I. Gorodetsky and Gerhard Weiss
                 and et al",
  booktitle =    "{Agents and Data Mining Interaction: 7th International
                 Workshop on Agents and Data Mining Interation, ADMI
                 2011, Taipei, Taiwan, May 2--6, Revised Selected
                 Papers}",
  title =        "{Agents and Data Mining Interaction: 7th International
                 Workshop on Agents and Data Mining Interation, ADMI
                 2011, Taipei, Taiwan, May 2--6, Revised Selected
                 Papers}",
  volume =       "7103",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-27608-8",
  ISBN =         "3-642-27608-3",
  ISBN-13 =      "978-3-642-27608-8",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:04 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-27608-8",
  acknowledgement = ack-nhfb,
}

@Proceedings{Cao:2012:NFA,
  editor =       "Longbing Cao and Joshua Zhexue Huang and James Bailey
                 and Yun Sing Koh and Jun Luo",
  booktitle =    "{New Frontiers in Applied Data Mining: PAKDD 2011
                 International Workshops, Shenzhen, China, May 24--27,
                 Revised Selected Papers}",
  title =        "{New Frontiers in Applied Data Mining: PAKDD 2011
                 International Workshops, Shenzhen, China, May 24--27,
                 Revised Selected Papers}",
  volume =       "7104",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-28319-2",
  ISBN =         "3-642-28319-5",
  ISBN-13 =      "978-3-642-28319-2",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:02 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-28319-2",
  acknowledgement = ack-nhfb,
}

@Book{Shi:2012:TDH,
  editor =       "Yun Q. Shi",
  booktitle =    "{Transactions on Data Hiding and Multimedia Security
                 VII}",
  title =        "{Transactions on Data Hiding and Multimedia Security
                 VII}",
  volume =       "7110",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-28692-6",
  ISBN =         "3-642-28692-5",
  ISBN-13 =      "978-3-642-28692-6",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:01 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-28692-6",
  acknowledgement = ack-nhfb,
}

@Proceedings{Erlebach:2012:ASS,
  editor =       "Thomas Erlebach and Sotiris Nikoletseas and Pekka
                 Orponen",
  booktitle =    "{Algorithms for Sensor Systems: 7th International
                 Symposium on Algorithms for Sensor Systems, Wireless Ad
                 Hoc Networks and Autonomous Mobile Entities,
                 ALGOSENSORS 2011, Saarbr{\"u}cken, Germany, September
                 8--9, Revised Selected Papers}",
  title =        "{Algorithms for Sensor Systems: 7th International
                 Symposium on Algorithms for Sensor Systems, Wireless Ad
                 Hoc Networks and Autonomous Mobile Entities,
                 ALGOSENSORS 2011, {Saarbr{\"u}cken,} Germany, September
                 8--9, Revised Selected Papers}",
  volume =       "7111",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-28208-9",
  ISBN =         "3-642-28208-3",
  ISBN-13 =      "978-3-642-28208-9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:03 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-28208-9",
  acknowledgement = ack-nhfb,
}

@Proceedings{Marx:2012:PEC,
  editor =       "D{\'a}niel Marx and Peter Rossmanith",
  booktitle =    "{Parameterized and Exact Computation: 6th
                 International Symposium, IPEC 2011, Saarbr{\"u}cken,
                 Germany, September 6--8. Revised Selected Papers}",
  title =        "{Parameterized and Exact Computation: 6th
                 International Symposium, IPEC 2011, {Saarbr{\"u}cken,}
                 Germany, September 6--8. Revised Selected Papers}",
  volume =       "7112",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-28049-8",
  ISBN =         "3-642-28049-8",
  ISBN-13 =      "978-3-642-28049-8",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:01 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-28049-8",
  acknowledgement = ack-nhfb,
}

@Proceedings{Vrancx:2012:ALA,
  editor =       "Peter Vrancx and Matthew Knudson and Marek Grzes",
  booktitle =    "{Adaptive and Learning Agents: International Workshop,
                 ALA 2011, Held at AAMAS 2011, Taipei, Taiwan, May 2,
                 2011, Revised Selected Papers}",
  title =        "{Adaptive and Learning Agents: International Workshop,
                 ALA 2011, Held at AAMAS 2011, Taipei, Taiwan, May 2,
                 2011, Revised Selected Papers}",
  volume =       "7113",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-28498-4",
  ISBN =         "3-642-28498-1",
  ISBN-13 =      "978-3-642-28498-4",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:02 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-28498-4",
  acknowledgement = ack-nhfb,
}

@Proceedings{Jung:2012:ISA,
  editor =       "Souhwan Jung and Moti Yung",
  booktitle =    "{Information Security Applications: 12th International
                 Workshop, WISA 2011, Jeju Island, Korea, August 22--24.
                 Revised Selected Papers}",
  title =        "{Information Security Applications: 12th International
                 Workshop, WISA 2011, Jeju Island, Korea, August 22--24.
                 Revised Selected Papers}",
  volume =       "7115",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-27889-1",
  ISBN =         "3-642-27889-2",
  ISBN-13 =      "978-3-642-27889-1",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:02 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-27889-1",
  acknowledgement = ack-nhfb,
}

@Proceedings{Garcia-Castro:2012:SWE,
  editor =       "Ra{\'u}l Garc{\'\i}a-Castro and Dieter Fensel and
                 Grigoris Antoniou",
  booktitle =    "{The Semantic Web: ESWC 2011 Workshops: ESWC 2011
                 Workshops, Heraklion, Greece, May 29--30, Revised
                 Selected Papers}",
  title =        "{The Semantic Web: ESWC 2011 Workshops: ESWC 2011
                 Workshops, Heraklion, Greece, May 29--30, Revised
                 Selected Papers}",
  volume =       "7117",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-25952-4",
  ISBN =         "3-642-25952-9",
  ISBN-13 =      "978-3-642-25952-4",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:03 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-25952-4",
  acknowledgement = ack-nhfb,
}

@Proceedings{Miri:2012:SAC,
  editor =       "Ali Miri and Serge Vaudenay",
  booktitle =    "{Selected Areas in Cryptography: 18th International
                 Workshop, SAC 2011, Toronto, ON, Canada, August 11--12,
                 Revised Selected Papers}",
  title =        "{Selected Areas in Cryptography: 18th International
                 Workshop, SAC 2011, Toronto, ON, Canada, August 11--12,
                 Revised Selected Papers}",
  volume =       "7118",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-28495-3",
  ISBN =         "3-642-28495-7",
  ISBN-13 =      "978-3-642-28495-3",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:02 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-28495-3",
  acknowledgement = ack-nhfb,
}

@Proceedings{Kotasek:2012:MEM,
  editor =       "Zdenek Kot{\'a}sek and Jan Bouda and Ivana Cern{\'a}
                 and Luk{\'a}s Sekanina and Tom{\'a}s Vojnar and et al",
  booktitle =    "{Mathematical and Engineering Methods in Computer
                 Science: 7th International Doctoral Workshop, MEMICS
                 2011, Lednice, Czech Republic, October 14--16, Revised
                 Selected Papers}",
  title =        "{Mathematical and Engineering Methods in Computer
                 Science: 7th International Doctoral Workshop, MEMICS
                 2011, Lednice, Czech Republic, October 14--16, Revised
                 Selected Papers}",
  volume =       "7119",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-25928-9",
  ISBN =         "3-642-25928-6",
  ISBN-13 =      "978-3-642-25928-9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:03 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-25928-9",
  acknowledgement = ack-nhfb,
}

@Proceedings{Garcia-Alfaro:2012:DPM,
  editor =       "Joaquin Garcia-Alfaro and Guillermo Navarro-Arribas
                 and Nora Cuppens-Boulahia and Sabrina de Capitani di
                 Vimercati",
  booktitle =    "{Data Privacy Management and Autonomous Spontaneous
                 Security: 6th International Workshop, DPM 2011, and 4th
                 International Workshop, SETOP 2011, Leuven, Belgium,
                 September 15--16, Revised Selected Papers}",
  title =        "{Data Privacy Management and Autonomous Spontaneous
                 Security: 6th International Workshop, DPM 2011, and 4th
                 International Workshop, SETOP 2011, Leuven, Belgium,
                 September 15--16, Revised Selected Papers}",
  volume =       "7122",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-28878-4",
  ISBN =         "3-642-28878-2",
  ISBN-13 =      "978-3-642-28878-4",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:01 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-28878-4",
  acknowledgement = ack-nhfb,
}

@Proceedings{Villatoro:2012:MAB,
  editor =       "Daniel Villatoro and Jordi Sabater-Mir and Jaime
                 Sim{\~a}o Sichman",
  booktitle =    "{Multi-Agent-Based Simulation XII: International
                 Workshop, MABS 2011, Taipei, Taiwan, May 2--6, Revised
                 Selected Papers}",
  title =        "{Multi-Agent-Based Simulation XII: International
                 Workshop, MABS 2011, Taipei, Taiwan, May 2--6, Revised
                 Selected Papers}",
  volume =       "7124",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-28399-4",
  ISBN =         "3-642-28399-3",
  ISBN-13 =      "978-3-642-28399-4",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:02 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-28399-4",
  acknowledgement = ack-nhfb,
}

@Proceedings{Adam:2012:MMC,
  editor =       "Gheorghe Adam and J{\'a}n Busa and Michal Hnatic",
  booktitle =    "{Mathematical Modeling and Computational Science:
                 International Conference, MMCP 2011, Star{\'a}
                 Lesn{\'a}, Slovakia, July 4--8, Revised Selected
                 Papers}",
  title =        "{Mathematical Modeling and Computational Science:
                 International Conference, MMCP 2011, {Star{\'a}}
                 {Lesn{\'a},} Slovakia, July 4--8, Revised Selected
                 Papers}",
  volume =       "7125",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-28211-9",
  ISBN =         "3-642-28211-3",
  ISBN-13 =      "978-3-642-28211-9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:02 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-28211-9",
  acknowledgement = ack-nhfb,
}

@Proceedings{Danezis:2012:FCDa,
  editor =       "George Danezis and Sven Dietrich and Kazue Sako",
  booktitle =    "{Financial Cryptography and Data Security: FC 2011
                 Workshops, RLCPS and WECSR 2011, Rodney Bay, St. Lucia,
                 February 28 --- March 4, 2011, Revised Selected
                 Papers}",
  title =        "{Financial Cryptography and Data Security: FC 2011
                 Workshops, RLCPS and WECSR 2011, Rodney Bay, St. Lucia,
                 February 28 --- March 4, 2011, Revised Selected
                 Papers}",
  volume =       "7126",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-29888-2",
  ISBN =         "3-642-29888-5",
  ISBN-13 =      "978-3-642-29888-2",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:10:59 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-29888-2",
  acknowledgement = ack-nhfb,
}

@Proceedings{Aura:2012:IST,
  editor =       "Tuomas Aura and Kimmo J{\"a}rvinen and Kaisa Nyberg",
  booktitle =    "{Information Security Technology for Applications:
                 15th Nordic Conference on Secure IT Systems, NordSec
                 2010, Espoo, Finland, October 27--29, Revised Selected
                 Papers}",
  title =        "{Information Security Technology for Applications:
                 15th Nordic Conference on Secure IT Systems, NordSec
                 2010, Espoo, Finland, October 27--29, Revised Selected
                 Papers}",
  volume =       "7127",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-27936-2",
  ISBN =         "3-642-27936-8",
  ISBN-13 =      "978-3-642-27936-2",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:10:59 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-27936-2",
  acknowledgement = ack-nhfb,
}

@Proceedings{Bononi:2012:DCN,
  editor =       "Luciano Bononi and Ajoy K. Datta and St{\'e}phane
                 Devismes and Archan Misra",
  booktitle =    "{Distributed Computing and Networking: 13th
                 International Conference, ICDCN 2012, Hong Kong, China,
                 January 3--6. Proceedings}",
  title =        "{Distributed Computing and Networking: 13th
                 International Conference, ICDCN 2012, Hong Kong, China,
                 January 3--6. Proceedings}",
  volume =       "7129",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-25958-6",
  ISBN =         "3-642-25958-8",
  ISBN-13 =      "978-3-642-25958-6",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:04 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-25958-6",
  acknowledgement = ack-nhfb,
}

@Book{Lopez:2012:CIP,
  editor =       "Javier Lopez and Roberto Setola and Stephen D.
                 Wolthusen",
  booktitle =    "{Critical Infrastructure Protection: Information
                 Infrastructure Models, Analysis, and Defense}",
  title =        "{Critical Infrastructure Protection: Information
                 Infrastructure Models, Analysis, and Defense}",
  volume =       "7130",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-28919-4",
  ISBN =         "3-642-28919-3",
  ISBN-13 =      "978-3-642-28919-4",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:01 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-28919-4",
  acknowledgement = ack-nhfb,
}

@Proceedings{Schoeffmann:2012:AMM,
  editor =       "Klaus Schoeffmann and Bernard Merialdo and Alexander
                 G. Hauptmann and Chong-Wah Ngo and Yiannis Andreopoulos
                 and et al",
  booktitle =    "{Advances in Multimedia Modeling: 18th International
                 Conference, MMM 2012, Klagenfurt, Austria, January
                 4--6. Proceedings}",
  title =        "{Advances in Multimedia Modeling: 18th International
                 Conference, MMM 2012, Klagenfurt, Austria, January
                 4--6. Proceedings}",
  volume =       "7131",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-27354-4",
  ISBN =         "3-642-27354-8",
  ISBN-13 =      "978-3-642-27354-4",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:04 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-27354-4",
  acknowledgement = ack-nhfb,
}

@Proceedings{Modgil:2012:TAF,
  editor =       "Sanjay Modgil and Nir Oren and Francesca Toni",
  booktitle =    "{Theorie and Applications of Formal Argumentation:
                 First International Workshop, TAFA 2011. Barcelona,
                 Spain, July 16--17, Revised Selected Papers}",
  title =        "{Theorie and Applications of Formal Argumentation:
                 First International Workshop, TAFA 2011. Barcelona,
                 Spain, July 16--17, Revised Selected Papers}",
  volume =       "7132",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-29183-8",
  ISBN =         "3-642-29183-X",
  ISBN-13 =      "978-3-642-29183-8",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:00 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-29183-8",
  acknowledgement = ack-nhfb,
}

@Proceedings{Jonasson:2012:APSa,
  editor =       "Kristj{\'a}n J{\'o}nasson",
  booktitle =    "{Applied Parallel and Scientific Computing: 10th
                 International Conference, PARA 2010, Reykjav{\'\i}k,
                 Iceland, June 6--9, Revised Selected Papers, Part I}",
  title =        "{Applied Parallel and Scientific Computing: 10th
                 International Conference, PARA 2010, {Reykjav{\'\i}k,}
                 Iceland, June 6--9, Revised Selected Papers, Part I}",
  volume =       "7133",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-28150-1",
  ISBN =         "3-642-28150-8",
  ISBN-13 =      "978-3-642-28150-1",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:02 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-28150-1",
  acknowledgement = ack-nhfb,
}

@Proceedings{Jonasson:2012:APSb,
  editor =       "Kristj{\'a}n J{\'o}nasson",
  booktitle =    "{Applied Parallel and Scientific Computing: 10th
                 International Conference, PARA 2010, Reykjav{\'\i}k,
                 Iceland, June 6--9, Revised Selected Papers, Part II}",
  title =        "{Applied Parallel and Scientific Computing: 10th
                 International Conference, PARA 2010, {Reykjav{\'\i}k,}
                 Iceland, June 6--9, Revised Selected Papers, Part II}",
  volume =       "7134",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-28144-0",
  ISBN =         "3-642-28144-3",
  ISBN-13 =      "978-3-642-28144-0",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:02 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-28144-0",
  acknowledgement = ack-nhfb,
}

@Proceedings{Thilagam:2012:ACN,
  editor =       "P. Santhi Thilagam and Alwyn Roshan Pais and K.
                 Chandrasekaran and N. Balakrishnan",
  booktitle =    "{Advanced Computing, Networking and Security:
                 International Conference, ADCONS 2011, Surathkal,
                 India, December 16--18, Revised Selected Papers}",
  title =        "{Advanced Computing, Networking and Security:
                 International Conference, ADCONS 2011, Surathkal,
                 India, December 16--18, Revised Selected Papers}",
  volume =       "7135",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-29279-8",
  ISBN =         "3-642-29279-8",
  ISBN-13 =      "978-3-642-29279-8",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:00 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-29279-8",
  acknowledgement = ack-nhfb,
}

@Book{Bubak:2012:BND,
  editor =       "Marian Bubak and Tomasz Szepieniec and Kazimierz
                 Wiatr",
  booktitle =    "{Building a National Distributed
                 e-Infrastructure-PL-Grid: Scientific and Technical
                 Achievements}",
  title =        "{Building a National Distributed
                 e-Infrastructure-PL-Grid: Scientific and Technical
                 Achievements}",
  volume =       "7136",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-28266-9",
  ISBN =         "3-642-28266-0",
  ISBN-13 =      "978-3-642-28266-9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:02 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-28266-9",
  acknowledgement = ack-nhfb,
}

@Proceedings{Mossakowski:2012:RTA,
  editor =       "Till Mossakowski and Hans-J{\"o}rg Kreowski",
  booktitle =    "{Recent Trends in Algebraic Development Techniques:
                 20th International Workshop, WADT 2010, Etelsen,
                 Germany, July 1--4, Revised Selected Papers}",
  title =        "{Recent Trends in Algebraic Development Techniques:
                 20th International Workshop, WADT 2010, Etelsen,
                 Germany, July 1--4, Revised Selected Papers}",
  volume =       "7137",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-28411-3",
  ISBN =         "3-642-28411-6",
  ISBN-13 =      "978-3-642-28411-3",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:02 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-28411-3",
  acknowledgement = ack-nhfb,
}

@Proceedings{Ardissono:2012:AUM,
  editor =       "Liliana Ardissono and Tsvi Kuflik",
  booktitle =    "{Advances in User Modeling: UMAP 2011 Workshops,
                 Girona, Spain, July 11--15, Revised Selected Papers}",
  title =        "{Advances in User Modeling: UMAP 2011 Workshops,
                 Girona, Spain, July 11--15, Revised Selected Papers}",
  volume =       "7138",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-28508-0",
  ISBN =         "3-642-28508-2",
  ISBN-13 =      "978-3-642-28508-0",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:02 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-28508-0",
  acknowledgement = ack-nhfb,
}

@Proceedings{Iwamura:2012:CBD,
  editor =       "Masakazu Iwamura and Faisal Shafait",
  booktitle =    "{Camera-Based Document Analysis and Recognition: 4th
                 International Workshop, CBDAR 2011, Beijing, China,
                 September 22, 2011, Revised Selected Papers}",
  title =        "{Camera-Based Document Analysis and Recognition: 4th
                 International Workshop, CBDAR 2011, Beijing, China,
                 September 22, 2011, Revised Selected Papers}",
  volume =       "7139",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-29363-4",
  ISBN =         "3-642-29363-8",
  ISBN-13 =      "978-3-642-29363-4",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:00 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-29363-4",
  acknowledgement = ack-nhfb,
}

@Proceedings{Arbab:2012:FSE,
  editor =       "Farhad Arbab and Marjan Sirjani",
  booktitle =    "{Fundamentals of Software Engineering: 4th IPM
                 International Conference, FSEN 2011, Tehran, Iran,
                 April 20--22, Revised Selected Papers}",
  title =        "{Fundamentals of Software Engineering: 4th IPM
                 International Conference, FSEN 2011, Tehran, Iran,
                 April 20--22, Revised Selected Papers}",
  volume =       "7141",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-29319-1",
  ISBN =         "3-642-29319-0",
  ISBN-13 =      "978-3-642-29319-1",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:00 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-29319-1",
  acknowledgement = ack-nhfb,
}

@Proceedings{Wang:2012:WAI,
  editor =       "Liwei Wang and Jingjue Jiang and Jiaheng Lu and Liang
                 Hong and Bin Liu",
  booktitle =    "{Web-Age Information Management: WAIM 2011
                 International Workshops: WGIM 2011, XMLDM 2011, SNA
                 2011, Wuhan, China, September 14--16, Revised Selected
                 Papers}",
  title =        "{Web-Age Information Management: WAIM 2011
                 International Workshops: WGIM 2011, XMLDM 2011, SNA
                 2011, Wuhan, China, September 14--16, Revised Selected
                 Papers}",
  volume =       "7142",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-28634-6",
  ISBN =         "3-642-28634-8",
  ISBN-13 =      "978-3-642-28634-6",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:01 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-28634-6",
  acknowledgement = ack-nhfb,
}

@Proceedings{Kundu:2012:PMI,
  editor =       "Malay K. Kundu and Sushmita Mitra and Debasis Mazumdar
                 and Sankar K. Pal",
  booktitle =    "{Perception and Machine Intelligence: First Indo-Japan
                 Conference, PerMIn 2012, Kolkata, India, January
                 12--13. Proceedings}",
  title =        "{Perception and Machine Intelligence: First Indo-Japan
                 Conference, PerMIn 2012, Kolkata, India, January
                 12--13. Proceedings}",
  volume =       "7143",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-27386-5",
  ISBN =         "3-642-27386-6",
  ISBN-13 =      "978-3-642-27386-5",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:04 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-27386-5",
  acknowledgement = ack-nhfb,
}

@Book{Pan:2012:TEV,
  editor =       "Zhigeng Pan and Adrian David Cheok and Wolfgang
                 M{\"u}ller and Maiga Chang and Mingmin Zhang",
  booktitle =    "{Transactions on Edutainment VII}",
  title =        "{Transactions on Edutainment VII}",
  volume =       "7145",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-29049-7",
  ISBN =         "3-642-29049-3",
  ISBN-13 =      "978-3-642-29049-7",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:01 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-29049-7",
  acknowledgement = ack-nhfb,
}

@Proceedings{Bielikova:2012:STP,
  editor =       "M{\'a}ria Bielikov{\'a} and Gerhard Friedrich and
                 Georg Gottlob and Stefan Katzenbeisser and Gy{\"o}rgy
                 Tur{\'a}n",
  booktitle =    "{SOFSEM 2012: Theory and Practice of Computer Science:
                 38th Conference on Current Trends in Theory and
                 Practice of Computer Science, Spindleruv Ml{\'y}n,
                 Czech Republic, January 21--27. Proceedings}",
  title =        "{SOFSEM 2012: Theory and Practice of Computer Science:
                 38th Conference on Current Trends in Theory and
                 Practice of Computer Science, Spindleruv {Ml{\'y}n,}
                 Czech Republic, January 21--27. Proceedings}",
  volume =       "7147",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-27659-0",
  ISBN =         "3-642-27659-8",
  ISBN-13 =      "978-3-642-27659-0",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:03 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-27659-0",
  acknowledgement = ack-nhfb,
}

@Proceedings{Kuncak:2012:VMC,
  editor =       "Viktor Kuncak and Andrey Rybalchenko",
  booktitle =    "{Verification, Model Checking, and Abstract
                 Interpretation: 13th International Conference, VMCAI
                 2012, Philadelphia, PA, USA, January 22--24.
                 Proceedings}",
  title =        "{Verification, Model Checking, and Abstract
                 Interpretation: 13th International Conference, VMCAI
                 2012, Philadelphia, PA, USA, January 22--24.
                 Proceedings}",
  volume =       "7148",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-27939-3",
  ISBN =         "3-642-27939-2",
  ISBN-13 =      "978-3-642-27939-3",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:03 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-27939-3",
  acknowledgement = ack-nhfb,
}

@Proceedings{Russo:2012:PAD,
  editor =       "Claudio Russo and Neng-Fa Zhou",
  booktitle =    "{Practical Aspects of Declarative Languages: 14th
                 International Symposium, PADL 2012, Philadelphia, PA,
                 USA, January 23--24. Proceedings}",
  title =        "{Practical Aspects of Declarative Languages: 14th
                 International Symposium, PADL 2012, Philadelphia, PA,
                 USA, January 23--24. Proceedings}",
  volume =       "7149",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-27693-4",
  ISBN =         "3-642-27693-8",
  ISBN-13 =      "978-3-642-27693-4",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:03 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-27693-4",
  acknowledgement = ack-nhfb,
}

@Proceedings{Vanmechelen:2012:EGC,
  editor =       "Kurt Vanmechelen and J{\"o}rn Altmann and Omer F.
                 Rana",
  booktitle =    "{Economics of Grids, Clouds, Systems, and Services:
                 8th International Workshop, GECON 2011, Paphos, Cyprus,
                 December 5, 2011, Revised Selected Papers}",
  title =        "{Economics of Grids, Clouds, Systems, and Services:
                 8th International Workshop, GECON 2011, Paphos, Cyprus,
                 December 5, 2011, Revised Selected Papers}",
  volume =       "7150",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-28674-2",
  ISBN =         "3-642-28674-7",
  ISBN-13 =      "978-3-642-28674-2",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:01 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-28674-2",
  acknowledgement = ack-nhfb,
}

@Proceedings{Joshi:2012:VST,
  editor =       "Rajeev Joshi and Peter M{\"u}ller and Andreas
                 Podelski",
  booktitle =    "{Verified Software: Theories, Tools, Experiments: 4th
                 International Conference, VSTTE 2012, Philadelphia, PA,
                 USA, January 28--29. Proceedings}",
  title =        "{Verified Software: Theories, Tools, Experiments: 4th
                 International Conference, VSTTE 2012, Philadelphia, PA,
                 USA, January 28--29. Proceedings}",
  volume =       "7152",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-27704-7",
  ISBN =         "3-642-27704-7",
  ISBN-13 =      "978-3-642-27704-7",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:03 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-27704-7",
  acknowledgement = ack-nhfb,
}

@Proceedings{Lukasiewicz:2012:FIK,
  editor =       "Thomas Lukasiewicz and Attila Sali",
  booktitle =    "{Foundations of Information and Knowledge Systems: 7th
                 International Symposium, FoIKS 2012, Kiel, Germany,
                 March 5--9. Proceedings}",
  title =        "{Foundations of Information and Knowledge Systems: 7th
                 International Symposium, FoIKS 2012, Kiel, Germany,
                 March 5--9. Proceedings}",
  volume =       "7153",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-28471-7",
  ISBN =         "3-642-28471-X",
  ISBN-13 =      "978-3-642-28471-7",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:02 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-28471-7",
  acknowledgement = ack-nhfb,
}

@Proceedings{Ramanujam:2012:DCI,
  editor =       "R. Ramanujam and Srini Ramaswamy",
  booktitle =    "{Distributed Computing and Internet Technology: 8th
                 International Conference, ICDCIT 2012, Bhubaneswar,
                 India, February 2--4. Proceedings}",
  title =        "{Distributed Computing and Internet Technology: 8th
                 International Conference, ICDCIT 2012, Bhubaneswar,
                 India, February 2--4. Proceedings}",
  volume =       "7154",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-28072-6",
  ISBN =         "3-642-28072-2",
  ISBN-13 =      "978-3-642-28072-6",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:02 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-28072-6",
  acknowledgement = ack-nhfb,
}

@Proceedings{Alexander:2012:EPPb,
  editor =       "Michael Alexander and Pasqua D'Ambra and Adam Belloum
                 and George Bosilca and Mario Cannataro and et al",
  booktitle =    "{Euro-Par 2011: Parallel Processing Workshops: CCPI,
                 CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS,
                 ProPer, Resilience, UCHPC, VHPC, Bordeaux, France,
                 August 29 --- September 2, 2011, Revised Selected
                 Papers, Part I}",
  title =        "{Euro-Par 2011: Parallel Processing Workshops: CCPI,
                 CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS,
                 ProPer, Resilience, UCHPC, VHPC, Bordeaux, France,
                 August 29 --- September 2, 2011, Revised Selected
                 Papers, Part I}",
  volume =       "7155",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-29736-6",
  ISBN =         "3-642-29736-6",
  ISBN-13 =      "978-3-642-29736-6",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:00 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-29736-6",
  acknowledgement = ack-nhfb,
}

@Proceedings{Alexander:2012:EPPa,
  editor =       "Michael Alexander and Pasqua D'Ambra and Adam Belloum
                 and George Bosilca and Mario Cannataro and et al",
  booktitle =    "{Euro-Par 2011: Parallel Processing Workshops: CCPI,
                 CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS,
                 ProPer, Resilience, UCHPC, VHPC, Bordeaux, France,
                 August 29 --- September 2, 2011, Revised Selected
                 Papers, Part II}",
  title =        "{Euro-Par 2011: Parallel Processing Workshops: CCPI,
                 CGWS, HeteroPar, HiBB, HPCVirt, HPPC, HPSS, MDGS,
                 ProPer, Resilience, UCHPC, VHPC, Bordeaux, France,
                 August 29 --- September 2, 2011, Revised Selected
                 Papers, Part II}",
  volume =       "7156",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-29739-7",
  ISBN =         "3-642-29739-0",
  ISBN-13 =      "978-3-642-29739-7",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:00 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-29739-7",
  acknowledgement = ack-nhfb,
}

@Proceedings{Rahman:2012:WAC,
  editor =       "Md. Saidur Rahman and Shin-ichi Nakano",
  booktitle =    "{WALCOM: Algorithms and Computation: 6th International
                 Workshop, WALCOM 2012, Dhaka, Bangladesh, February
                 15--17. Proceedings}",
  title =        "{WALCOM: Algorithms and Computation: 6th International
                 Workshop, WALCOM 2012, Dhaka, Bangladesh, February
                 15--17. Proceedings}",
  volume =       "7157",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-28075-7",
  ISBN =         "3-642-28075-7",
  ISBN-13 =      "978-3-642-28075-7",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:02 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-28075-7",
  acknowledgement = ack-nhfb,
}

@Proceedings{Picco:2012:WSN,
  editor =       "Gian Pietro Picco and Wendi Heinzelman",
  booktitle =    "{Wireless Sensor Networks: 9th European Conference,
                 EWSN 2012, Trento, Italy, February 15--17.
                 Proceedings}",
  title =        "{Wireless Sensor Networks: 9th {European} Conference,
                 EWSN 2012, Trento, Italy, February 15--17.
                 Proceedings}",
  volume =       "7158",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-28168-6",
  ISBN =         "3-642-28168-0",
  ISBN-13 =      "978-3-642-28168-6",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:03 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-28168-6",
  acknowledgement = ack-nhfb,
}

@Proceedings{Barthe:2012:ESS,
  editor =       "Gilles Barthe and Benjamin Livshits and Riccardo
                 Scandariato",
  booktitle =    "{Engineering Secure Software and Systems: 4th
                 International Symposium, ESSoS 2012, Eindhoven, The
                 Netherlands, February, 16--17. Proceedings}",
  title =        "{Engineering Secure Software and Systems: 4th
                 International Symposium, ESSoS 2012, Eindhoven, The
                 Netherlands, February, 16--17. Proceedings}",
  volume =       "7159",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-28165-5",
  ISBN =         "3-642-28165-6",
  ISBN-13 =      "978-3-642-28165-5",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:03 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-28165-5",
  acknowledgement = ack-nhfb,
}

@Proceedings{Dinneen:2012:CPB,
  editor =       "Michael J. Dinneen and Bakhadyr Khoussainov and
                 Andr{\'e} Nies",
  booktitle =    "{Computation, Physics and Beyond: International
                 Workshop on Theoretical Computer Science, WTCS 2012,
                 Dedicated to Cristian S. Calude on the Occasion of His
                 60th Birthday, Auckland, New Zealand, February 21--24,
                 Revised Selected and Invited Papers}",
  title =        "{Computation, Physics and Beyond: International
                 Workshop on Theoretical Computer Science, WTCS 2012,
                 Dedicated to Cristian S. Calude on the Occasion of His
                 60th Birthday, Auckland, New Zealand, February 21--24,
                 Revised Selected and Invited Papers}",
  volume =       "7160",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-27653-8",
  ISBN =         "3-642-27653-9",
  ISBN-13 =      "978-3-642-27653-8",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:02 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-27653-8",
  acknowledgement = ack-nhfb,
}

@Proceedings{Laud:2012:IST,
  editor =       "Peeter Laud",
  booktitle =    "{Information Security Technology for Applications:
                 16th Nordic Conference on Secure IT Systems, NordSec
                 2011, Tallinn, Estonia, October 26--28, Revised
                 Selected Papers}",
  title =        "{Information Security Technology for Applications:
                 16th Nordic Conference on Secure IT Systems, NordSec
                 2011, Tallinn, Estonia, October 26--28, Revised
                 Selected Papers}",
  volume =       "7161",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-29614-7",
  ISBN =         "3-642-29614-9",
  ISBN-13 =      "978-3-642-29614-7",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:10:59 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-29614-7",
  acknowledgement = ack-nhfb,
}

@Proceedings{Clarke:2012:PSI,
  editor =       "Edmund Clarke and Irina Virbitskaite and Andrei
                 Voronkov",
  booktitle =    "{Perspectives of Systems Informatics: 8th
                 International Andrei Ershov Memorial Conference, PSI
                 2011, Novosibirsk, Russia, June 27--July 1, 2011,
                 Revised Selected Papers}",
  title =        "{Perspectives of Systems Informatics: 8th
                 International Andrei Ershov Memorial Conference, PSI
                 2011, Novosibirsk, Russia, June 27--July 1, 2011,
                 Revised Selected Papers}",
  volume =       "7162",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-29708-3",
  ISBN =         "3-642-29708-0",
  ISBN-13 =      "978-3-642-29708-3",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:10:59 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-29708-3",
  acknowledgement = ack-nhfb,
}

@Proceedings{Petkova-Nikova:2012:PKI,
  editor =       "Svetla Petkova-Nikova and Andreas Pashalidis and
                 G{\"u}nther Pernul",
  booktitle =    "{Public Key Infrastructures, Services and
                 Applications: 8th European Workshop, EuroPKI 2011,
                 Leuven, Belgium, September 15--16, Revised Selected
                 Papers}",
  title =        "{Public Key Infrastructures, Services and
                 Applications: 8th {European} Workshop, EuroPKI 2011,
                 Leuven, Belgium, September 15--16, Revised Selected
                 Papers}",
  volume =       "7163",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-29803-5",
  ISBN =         "3-642-29803-6",
  ISBN-13 =      "978-3-642-29803-5",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:10:59 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-29803-5",
  acknowledgement = ack-nhfb,
}

@Proceedings{Solis-Oba:2012:AOA,
  editor =       "Roberto Solis-Oba and Giuseppe Persiano",
  booktitle =    "{Approximation and Online Algorithms: 9th
                 International Workshop, WAOA 2011, Saarbr{\"u}cken,
                 Germany, September 8--9, Revised Selected Papers}",
  title =        "{Approximation and Online Algorithms: 9th
                 International Workshop, WAOA 2011, {Saarbr{\"u}cken,}
                 Germany, September 8--9, Revised Selected Papers}",
  volume =       "7164",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-29115-9",
  ISBN =         "3-642-29115-5",
  ISBN-13 =      "978-3-642-29115-9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:00 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-29115-9",
  acknowledgement = ack-nhfb,
}

@Proceedings{Vos:2012:RCT,
  editor =       "Alexis De Vos and Robert Wille",
  booktitle =    "{Reversible Computation: Third International Workshop,
                 RC 2011, Gent, Belgium, July 4--5. Revised Papers}",
  title =        "{Reversible Computation: Third International Workshop,
                 RC 2011, Gent, Belgium, July 4--5. Revised Papers}",
  volume =       "7165",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-29516-4",
  ISBN =         "3-642-29516-9",
  ISBN-13 =      "978-3-642-29516-4",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:00 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-29516-4",
  acknowledgement = ack-nhfb,
}

@Proceedings{Kuipers:2012:SOS,
  editor =       "Fernando A. Kuipers and Poul E. Heegaard",
  booktitle =    "{Self-Organizing Systems: 6th IFIP TC 6 International
                 Workshop, IWSOS 2012, Delft, The Netherlands, March
                 15--16. Proceedings}",
  title =        "{Self-Organizing Systems: 6th IFIP TC 6 International
                 Workshop, IWSOS 2012, Delft, The Netherlands, March
                 15--16. Proceedings}",
  volume =       "7166",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-28582-0",
  ISBN =         "3-642-28582-1",
  ISBN-13 =      "978-3-642-28582-0",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:01 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-28582-0",
  acknowledgement = ack-nhfb,
}

@Proceedings{Kienzle:2012:MSE,
  editor =       "J{\"o}rg Kienzle",
  booktitle =    "{Models in Software Engineering: Workshops and
                 Symposia at MODELS 2011, Wellington, New Zealand,
                 October 16--21, Reports and Revised Selected Papers}",
  title =        "{Models in Software Engineering: Workshops and
                 Symposia at MODELS 2011, Wellington, New Zealand,
                 October 16--21, Reports and Revised Selected Papers}",
  volume =       "7167",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-29644-4",
  ISBN =         "3-642-29644-0",
  ISBN-13 =      "978-3-642-29644-4",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:00 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-29644-4",
  acknowledgement = ack-nhfb,
}

@Proceedings{Sakama:2012:DAL,
  editor =       "Chiaki Sakama and Sebastian Sardina and Wamberto
                 Vasconcelos and Michael Winikoff",
  booktitle =    "{Declarative Agent Languages and Technologies IX: 9th
                 International Workshop, DALT 2011, Taipei, Taiwan, May
                 3, 2011, Revised Selected and Invited Papers}",
  title =        "{Declarative Agent Languages and Technologies IX: 9th
                 International Workshop, DALT 2011, Taipei, Taiwan, May
                 3, 2011, Revised Selected and Invited Papers}",
  volume =       "7169",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-29112-8",
  ISBN =         "3-642-29112-0",
  ISBN-13 =      "978-3-642-29112-8",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:01 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-29112-8",
  acknowledgement = ack-nhfb,
}

@Proceedings{Meadows:2012:STM,
  editor =       "Catherine Meadows and Carmen Fernandez-Gago",
  booktitle =    "{Security and Trust Management: 7th International
                 Workshop, STM 2011, Copenhagen, Denmark, June 27--28,
                 Revised Selected Papers}",
  title =        "{Security and Trust Management: 7th International
                 Workshop, STM 2011, Copenhagen, Denmark, June 27--28,
                 Revised Selected Papers}",
  volume =       "7170",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-29962-9",
  ISBN =         "3-642-29962-8",
  ISBN-13 =      "978-3-642-29962-9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:10:59 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-29962-9",
  acknowledgement = ack-nhfb,
}

@Book{Keller:2012:FMC,
  editor =       "Rainer Keller and David Kramer and Jan-Philipp Weiss",
  booktitle =    "{Facing the Multicore --- Challenge II: Aspects of New
                 Paradigms and Technologies in Parallel Computing}",
  title =        "{Facing the Multicore --- Challenge II: Aspects of New
                 Paradigms and Technologies in Parallel Computing}",
  volume =       "7174",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-30396-8",
  ISBN =         "3-642-30396-X",
  ISBN-13 =      "978-3-642-30396-8",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:10:59 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-30396-8",
  acknowledgement = ack-nhfb,
}

@Proceedings{Carbone:2012:WSF,
  editor =       "Marco Carbone and Jean-Marc Petit",
  booktitle =    "{Web Services and Formal Methods: 8th International
                 Workshop, WS-FM 2011, Clermont-Ferrand, France,
                 September 1--2, Revised Selected Papers}",
  title =        "{Web Services and Formal Methods: 8th International
                 Workshop, WS-FM 2011, Clermont-Ferrand, France,
                 September 1--2, Revised Selected Papers}",
  volume =       "7176",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-29833-2",
  ISBN =         "3-642-29833-8",
  ISBN-13 =      "978-3-642-29833-2",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:00 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-29833-2",
  acknowledgement = ack-nhfb,
}

@Proceedings{Dunkelman:2012:TCC,
  editor =       "Orr Dunkelman",
  booktitle =    "{Topics in Cryptology --- CT-RSA 2012: The
                 Cryptographers' Track at the RSA Conference 2012, San
                 Francisco, CA, USA, February 27 --- March 2, 2012.
                 Proceedings}",
  title =        "{Topics in Cryptology --- CT-RSA 2012: The
                 Cryptographers' Track at the RSA Conference 2012, San
                 Francisco, CA, USA, February 27 --- March 2, 2012.
                 Proceedings}",
  volume =       "7178",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-27953-9",
  ISBN =         "3-642-27953-8",
  ISBN-13 =      "978-3-642-27953-9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:02 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-27953-9",
  acknowledgement = ack-nhfb,
}

@Proceedings{Herkersdorf:2012:ACS,
  editor =       "Andreas Herkersdorf and Kay R{\"o}mer and Uwe
                 Brinkschulte",
  booktitle =    "{Architecture of Computing Systems --- ARCS 2012: 25th
                 International Conference, Munich, Germany, February 28
                 --- March 2, 2012. Proceedings}",
  title =        "{Architecture of Computing Systems --- ARCS 2012: 25th
                 International Conference, Munich, Germany, February 28
                 --- March 2, 2012. Proceedings}",
  volume =       "7179",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-28292-8",
  ISBN =         "3-642-28292-X",
  ISBN-13 =      "978-3-642-28292-8",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:03 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-28292-8",
  acknowledgement = ack-nhfb,
}

@Proceedings{Bjorner:2012:LPA,
  editor =       "Nikolaj Bj{\o}rner and Andrei Voronkov",
  booktitle =    "{Logic for Programming, Artificial Intelligence, and
                 Reasoning: 18th International Conference, LPAR-18,
                 M{\'e}rida, Venezuela, March 11--15. Proceedings}",
  title =        "{Logic for Programming, Artificial Intelligence, and
                 Reasoning: 18th International Conference, LPAR-18,
                 {M{\'e}rida,} Venezuela, March 11--15. Proceedings}",
  volume =       "7180",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-28716-9",
  ISBN =         "3-642-28716-6",
  ISBN-13 =      "978-3-642-28716-9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:01 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-28716-9",
  acknowledgement = ack-nhfb,
}

@Proceedings{Gelbukh:2012:CLIa,
  editor =       "Alexander Gelbukh",
  booktitle =    "{Computational Linguistics and Intelligent Text
                 Processing: 13th International Conference, CICLing
                 2012, New Delhi, India, March 11--17, Proceedings, Part
                 I}",
  title =        "{Computational Linguistics and Intelligent Text
                 Processing: 13th International Conference, CICLing
                 2012, New Delhi, India, March 11--17, Proceedings, Part
                 I}",
  volume =       "7181",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-28603-2",
  ISBN =         "3-642-28603-8",
  ISBN-13 =      "978-3-642-28603-2",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:01 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-28603-2",
  acknowledgement = ack-nhfb,
}

@Proceedings{Gelbukh:2012:CLIb,
  editor =       "Alexander Gelbukh",
  booktitle =    "{Computational Linguistics and Intelligent Text
                 Processing: 13th International Conference, CICLing
                 2012, New Delhi, India, March 11--17, Proceedings, Part
                 II}",
  title =        "{Computational Linguistics and Intelligent Text
                 Processing: 13th International Conference, CICLing
                 2012, New Delhi, India, March 11--17, Proceedings, Part
                 II}",
  volume =       "7182",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-28600-1",
  ISBN =         "3-642-28600-3",
  ISBN-13 =      "978-3-642-28600-1",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:01 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-28600-1",
  acknowledgement = ack-nhfb,
}

@Proceedings{Dediu:2012:LAT,
  editor =       "Adrian-Horia Dediu and Carlos Mart{\'\i}n-Vide",
  booktitle =    "{Language and Automata Theory and Applications: 6th
                 International Conference, LATA 2012, A Coru{\~n}a,
                 Spain, March 5--9. Proceedings}",
  title =        "{Language and Automata Theory and Applications: 6th
                 International Conference, LATA 2012, A {Coru{\~n}a,}
                 Spain, March 5--9. Proceedings}",
  volume =       "7183",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-28331-4",
  ISBN =         "3-642-28331-4",
  ISBN-13 =      "978-3-642-28331-4",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:02 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-28331-4",
  acknowledgement = ack-nhfb,
}

@Proceedings{Gheorghe:2012:MCI,
  editor =       "Marian Gheorghe and Gheorghe Paun and Grzegorz
                 Rozenberg and Arto Salomaa and Sergey Verlan",
  booktitle =    "{Membrane Computing: 12th International Conference,
                 CMC 2011, Fontainebleau, France, August 23--26, Revised
                 Selected Papers}",
  title =        "{Membrane Computing: 12th International Conference,
                 CMC 2011, Fontainebleau, France, August 23--26, Revised
                 Selected Papers}",
  volume =       "7184",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-28023-8",
  ISBN =         "3-642-28023-4",
  ISBN-13 =      "978-3-642-28023-8",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:04 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-28023-8",
  acknowledgement = ack-nhfb,
}

@Proceedings{Khurshid:2012:RVS,
  editor =       "Sarfraz Khurshid and Koushik Sen",
  booktitle =    "{Runtime Verification: Second International
                 Conference, RV 2011, San Francisco, CA, USA, September
                 27--30, Revised Selected Papers}",
  title =        "{Runtime Verification: Second International
                 Conference, RV 2011, San Francisco, CA, USA, September
                 27--30, Revised Selected Papers}",
  volume =       "7186",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-29859-2",
  ISBN =         "3-642-29859-1",
  ISBN-13 =      "978-3-642-29859-2",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:10:59 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-29859-2",
  acknowledgement = ack-nhfb,
}

@Proceedings{Sanner:2012:RAR,
  editor =       "Scott Sanner and Marcus Hutter",
  booktitle =    "{Recent Advances in Reinforcement Learning: 9th
                 European Workshop, EWRL 2011, Athens, Greece, September
                 9--11, Revised Selected Papers}",
  title =        "{Recent Advances in Reinforcement Learning: 9th
                 {European} Workshop, EWRL 2011, Athens, Greece,
                 September 9--11, Revised Selected Papers}",
  volume =       "7188",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-29945-2",
  ISBN =         "3-642-29945-8",
  ISBN-13 =      "978-3-642-29945-2",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:10:59 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-29945-2",
  acknowledgement = ack-nhfb,
}

@Proceedings{Pescape:2012:TMA,
  editor =       "Antonio Pescap{\`e} and Luca Salgarelli and Xenofontas
                 Dimitropoulos",
  booktitle =    "{Traffic Monitoring and Analysis: 4th International
                 Workshop, TMA 2012, Vienna, Austria, March 12, 2012.
                 Proceedings}",
  title =        "{Traffic Monitoring and Analysis: 4th International
                 Workshop, TMA 2012, Vienna, Austria, March 12, 2012.
                 Proceedings}",
  volume =       "7189",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-28533-2",
  ISBN =         "3-642-28533-3",
  ISBN-13 =      "978-3-642-28533-2",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:01 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-28533-2",
  acknowledgement = ack-nhfb,
}

@Proceedings{Theis:2012:LVA,
  editor =       "Fabian Theis and Andrzej Cichocki and Arie Yeredor and
                 Michael Zibulevsky",
  booktitle =    "{Latent Variable Analysis and Signal Separation: 10th
                 International Conference, LVA\slash ICA 2012, Tel Aviv,
                 Israel, March 12--15. Proceedings}",
  title =        "{Latent Variable Analysis and Signal Separation: 10th
                 International Conference, LVA\slash ICA 2012, Tel Aviv,
                 Israel, March 12--15. Proceedings}",
  volume =       "7191",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-28550-9",
  ISBN =         "3-642-28550-3",
  ISBN-13 =      "978-3-642-28550-9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:03 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-28550-9",
  acknowledgement = ack-nhfb,
}

@Proceedings{Taft:2012:PAM,
  editor =       "Nina Taft and Fabio Ricciato",
  booktitle =    "{Passive and Active Measurement: 13th International
                 Conference, PAM 2012, Vienna, Austria, March 12-14th,
                 2012. Proceedings}",
  title =        "{Passive and Active Measurement: 13th International
                 Conference, PAM 2012, Vienna, Austria, March 12-14th,
                 2012. Proceedings}",
  volume =       "7192",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-28536-3",
  ISBN =         "3-642-28536-8",
  ISBN-13 =      "978-3-642-28536-3",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:01 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-28536-3",
  acknowledgement = ack-nhfb,
}

@Proceedings{Cramer:2012:TCT,
  editor =       "Ronald Cramer",
  booktitle =    "{Theory of Cryptography: 9th Theory of Cryptography
                 Conference, TCC 2012, Taormina, Sicily, Italy, March
                 19--21. Proceedings}",
  title =        "{Theory of Cryptography: 9th Theory of Cryptography
                 Conference, TCC 2012, Taormina, Sicily, Italy, March
                 19--21. Proceedings}",
  volume =       "7194",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-28913-2",
  ISBN =         "3-642-28913-4",
  ISBN-13 =      "978-3-642-28913-2",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:01 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-28913-2",
  acknowledgement = ack-nhfb,
}

@Proceedings{Regnell:2012:REF,
  editor =       "Bj{\"o}rn Regnell and Daniela Damian",
  booktitle =    "{Requirements Engineering: Foundation for Software
                 Quality: 18th International Working Conference, REFSQ
                 2012, Essen, Germany, March 19--22. Proceedings}",
  title =        "{Requirements Engineering: Foundation for Software
                 Quality: 18th International Working Conference, REFSQ
                 2012, Essen, Germany, March 19--22. Proceedings}",
  volume =       "7195",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-28713-8",
  ISBN =         "3-642-28713-1",
  ISBN-13 =      "978-3-642-28713-8",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:01 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-28713-8",
  acknowledgement = ack-nhfb,
}

@Proceedings{Pan:2012:IIDb,
  editor =       "Jeng-Shyang Pan and Shyi-Ming Chen and Ngoc Thanh
                 Nguyen",
  booktitle =    "{Intelligent Information and Database Systems: 4th
                 Asian Conference, ACIIDS 2012, Kaohsiung, Taiwan, March
                 19--21, Proceedings, Part I}",
  title =        "{Intelligent Information and Database Systems: 4th
                 Asian Conference, ACIIDS 2012, Kaohsiung, Taiwan, March
                 19--21, Proceedings, Part I}",
  volume =       "7196",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-28486-1",
  ISBN =         "3-642-28486-8",
  ISBN-13 =      "978-3-642-28486-1",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:01 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-28486-1",
  acknowledgement = ack-nhfb,
}

@Proceedings{Pan:2012:IIDc,
  editor =       "Jeng-Shyang Pan and Shyi-Ming Chen and Ngoc Thanh
                 Nguyen",
  booktitle =    "{Intelligent Information and Database Systems: 4th
                 Asian Conference, ACIIDS 2012, Kaohsiung, Taiwan, March
                 19--21, Proceedings, Part II}",
  title =        "{Intelligent Information and Database Systems: 4th
                 Asian Conference, ACIIDS 2012, Kaohsiung, Taiwan, March
                 19--21, Proceedings, Part II}",
  volume =       "7197",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-28489-2",
  ISBN =         "3-642-28489-2",
  ISBN-13 =      "978-3-642-28489-2",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:01 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-28489-2",
  acknowledgement = ack-nhfb,
}

@Proceedings{Pan:2012:IIDa,
  editor =       "Jeng-Shyang Pan and Shyi-Ming Chen and Ngoc Thanh
                 Nguyen",
  booktitle =    "{Intelligent Information and Database Systems: 4th
                 Asian Conference, ACIIDS 2012, Kaohsiung, Taiwan, March
                 19--21, Proceedings, Part III}",
  title =        "{Intelligent Information and Database Systems: 4th
                 Asian Conference, ACIIDS 2012, Kaohsiung, Taiwan, March
                 19--21, Proceedings, Part III}",
  volume =       "7198",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-28492-2",
  ISBN =         "3-642-28492-2",
  ISBN-13 =      "978-3-642-28492-2",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:01 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-28492-2",
  acknowledgement = ack-nhfb,
}

@Proceedings{Choy:2012:RCA,
  editor =       "Oliver C. S. Choy and Ray C. C. Cheung and Peter
                 Athanas and Kentaro Sano",
  booktitle =    "{Reconfigurable Computing: Architectures, Tools and
                 Applications: 8th International Symposium, ARC 2012,
                 Hong Kong, China, March 19--23. Proceedings}",
  title =        "{Reconfigurable Computing: Architectures, Tools and
                 Applications: 8th International Symposium, ARC 2012,
                 Hong Kong, China, March 19--23. Proceedings}",
  volume =       "7199",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-28364-2",
  ISBN =         "3-642-28364-0",
  ISBN-13 =      "978-3-642-28364-2",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:00 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-28364-2",
  acknowledgement = ack-nhfb,
}

@Proceedings{Schmitt:2012:MME,
  editor =       "Jens B. Schmitt",
  booktitle =    "{Measurement, Modelling, and Evaluation of Computing
                 Systems and Dependability and Fault Tolerance: 16th
                 International GI\slash ITG Conference, MMB \& DFT
                 2012, Kaiserslautern, Germany, March 19--21.
                 Proceedings}",
  title =        "{Measurement, Modelling, and Evaluation of Computing
                 Systems and Dependability and Fault Tolerance: 16th
                 International GI\slash ITG Conference, MMB \& DFT
                 2012, Kaiserslautern, Germany, March 19--21.
                 Proceedings}",
  volume =       "7201",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-28539-4",
  ISBN =         "3-642-28539-2",
  ISBN-13 =      "978-3-642-28539-4",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:01 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-28539-4",
  acknowledgement = ack-nhfb,
}

@Proceedings{Corchado:2012:HAIb,
  editor =       "Emilio Corchado and V{\'a}clav Sn{\'a}sel and Ajith
                 Abraham and Michal Wozniak and Manuel Gra{\~n}a and et
                 al",
  booktitle =    "{Hybrid Artificial Intelligent Systems: 7th
                 International Conference, HAIS 2012, Salamanca, Spain,
                 March 28-30th, 2012. Proceedings, Part I}",
  title =        "{Hybrid Artificial Intelligent Systems: 7th
                 International Conference, HAIS 2012, Salamanca, Spain,
                 March 28-30th, 2012. Proceedings, Part I}",
  volume =       "7208",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-28941-5",
  ISBN =         "3-642-28941-X",
  ISBN-13 =      "978-3-642-28941-5",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:01 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-28941-5",
  acknowledgement = ack-nhfb,
}

@Proceedings{Corchado:2012:HAIa,
  editor =       "Emilio Corchado and V{\'a}clav Sn{\'a}sel and Ajith
                 Abraham and Michal Wozniak and Manuel Gra{\~n}a and et
                 al",
  booktitle =    "{Hybrid Artificial Intelligent Systems: 7th
                 International Conference, HAIS 2012, Salamanca, Spain,
                 March 28-30th, 2012. Proceedings, Part II}",
  title =        "{Hybrid Artificial Intelligent Systems: 7th
                 International Conference, HAIS 2012, Salamanca, Spain,
                 March 28-30th, 2012. Proceedings, Part II}",
  volume =       "7209",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-28930-9",
  ISBN =         "3-642-28930-4",
  ISBN-13 =      "978-3-642-28930-9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:01 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-28930-9",
  acknowledgement = ack-nhfb,
}

@Proceedings{OBoyle:2012:CCI,
  editor =       "Michael O'Boyle",
  booktitle =    "{Compiler Construction: 21st International Conference,
                 CC 2012, Held as Part of the European Joint Conferences
                 on Theory and Practice of Software, ETAPS 2012,
                 Tallinn, Estonia, March 24 --- April 1, 2012.
                 Proceedings}",
  title =        "{Compiler Construction: 21st International Conference,
                 CC 2012, Held as Part of the {European} Joint
                 Conferences on Theory and Practice of Software, ETAPS
                 2012, Tallinn, Estonia, March 24 --- April 1, 2012.
                 Proceedings}",
  volume =       "7210",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-28651-3",
  ISBN =         "3-642-28651-8",
  ISBN-13 =      "978-3-642-28651-3",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:00 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-28651-3",
  acknowledgement = ack-nhfb,
}

@Proceedings{Seidl:2012:PLS,
  editor =       "Helmut Seidl",
  booktitle =    "{Programming Languages and Systems: 21st European
                 Symposium on Programming, ESOP 2012, Held as Part of
                 the European Joint Conferences on Theory and Practice
                 of Software, ETAPS 2012, Tallinn, Estonia, March 24 ---
                 April 1, 2012. Proceedings}",
  title =        "{Programming Languages and Systems: 21st {European}
                 Symposium on Programming, ESOP 2012, Held as Part of
                 the {European} Joint Conferences on Theory and Practice
                 of Software, ETAPS 2012, Tallinn, Estonia, March 24 ---
                 April 1, 2012. Proceedings}",
  volume =       "7211",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-28868-5",
  ISBN =         "3-642-28868-5",
  ISBN-13 =      "978-3-642-28868-5",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:01 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-28868-5",
  acknowledgement = ack-nhfb,
}

@Proceedings{deLara:2012:FAS,
  editor =       "Juan de Lara and Andrea Zisman",
  booktitle =    "{Fundamental Approaches to Software Engineering: 15th
                 International Conference, FASE 2012, Held as Part of
                 the European Joint Conferences on Theory and Practice
                 of Software, ETAPS 2012, Tallinn, Estonia, March 24 ---
                 April 1, 2012. Proceedings}",
  title =        "{Fundamental Approaches to Software Engineering: 15th
                 International Conference, FASE 2012, Held as Part of
                 the {European} Joint Conferences on Theory and Practice
                 of Software, ETAPS 2012, Tallinn, Estonia, March 24 ---
                 April 1, 2012. Proceedings}",
  volume =       "7212",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-28871-5",
  ISBN =         "3-642-28871-5",
  ISBN-13 =      "978-3-642-28871-5",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:01 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-28871-5",
  acknowledgement = ack-nhfb,
}

@Proceedings{Birkedal:2012:FSS,
  editor =       "Lars Birkedal",
  booktitle =    "{Foundations of Software Science and Computational
                 Structures: 15th International Conference, FOSSACS
                 2012, Held as Part of the European Joint Conferences on
                 Theory and Practice of Software, ETAPS 2012, Tallinn,
                 Estonia, March 24 --- April 1, 2012. Proceedings}",
  title =        "{Foundations of Software Science and Computational
                 Structures: 15th International Conference, FOSSACS
                 2012, Held as Part of the {European} Joint Conferences
                 on Theory and Practice of Software, ETAPS 2012,
                 Tallinn, Estonia, March 24 --- April 1, 2012.
                 Proceedings}",
  volume =       "7213",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-28728-2",
  ISBN =         "3-642-28728-X",
  ISBN-13 =      "978-3-642-28728-2",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:01 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-28728-2",
  acknowledgement = ack-nhfb,
}

@Proceedings{Flanagan:2012:TAC,
  editor =       "Cormac Flanagan and Barbara K{\"o}nig",
  booktitle =    "{Tools and Algorithms for the Construction and
                 Analysis of Systems: 18th International Conference,
                 TACAS 2012, Held as Part of the European Joint
                 Conferences on Theory and Practice of Software, ETAPS
                 2012, Tallinn, Estonia, March 24 --- April 1, 2012.
                 Proceedings}",
  title =        "{Tools and Algorithms for the Construction and
                 Analysis of Systems: 18th International Conference,
                 TACAS 2012, Held as Part of the {European} Joint
                 Conferences on Theory and Practice of Software, ETAPS
                 2012, Tallinn, Estonia, March 24 --- April 1, 2012.
                 Proceedings}",
  volume =       "7214",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-28755-8",
  ISBN =         "3-642-28755-7",
  ISBN-13 =      "978-3-642-28755-8",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:00 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-28755-8",
  acknowledgement = ack-nhfb,
}

@Proceedings{Degano:2012:PST,
  editor =       "Pierpaolo Degano and Joshua D. Guttman",
  booktitle =    "{Principles of Security and Trust: First International
                 Conference, POST 2012, Held as Part of the European
                 Joint Conferences on Theory and Practice of Software,
                 ETAPS 2012, Tallinn, Estonia, March 24 --- April 1,
                 2012, Proceedings}",
  title =        "{Principles of Security and Trust: First International
                 Conference, POST 2012, Held as Part of the {European}
                 Joint Conferences on Theory and Practice of Software,
                 ETAPS 2012, Tallinn, Estonia, March 24 --- April 1,
                 2012, Proceedings}",
  volume =       "7215",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-28640-7",
  ISBN =         "3-642-28640-2",
  ISBN-13 =      "978-3-642-28640-7",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:00 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-28640-7",
  acknowledgement = ack-nhfb,
}

@Book{Hadjiantonis:2012:TES,
  editor =       "Antonis M. Hadjiantonis and Burkhard Stiller",
  booktitle =    "{Telecommunication Economics: Selected Results of the
                 COST Action ISO605 Econ@Tel}",
  title =        "{Telecommunication Economics: Selected Results of the
                 COST Action ISO605 Econ@Tel}",
  volume =       "7216",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-30381-4",
  ISBN =         "3-642-30381-1",
  ISBN-13 =      "978-3-642-30381-4",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:10:59 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-30381-4",
  acknowledgement = ack-nhfb,
}

@Proceedings{Lones:2012:IPC,
  editor =       "Michael A. Lones and Stephen L. Smith and Sarah
                 Teichmann and Felix Naef and James A. Walker and et
                 al",
  booktitle =    "{Information Processing in Cells and Tissues: 9th
                 International Conference, IPCAT 2012, Cambridge, UK,
                 March 31 --- April 2, 2012. Proceedings}",
  title =        "{Information Processing in Cells and Tissues: 9th
                 International Conference, IPCAT 2012, Cambridge, UK,
                 March 31 --- April 2, 2012. Proceedings}",
  volume =       "7223",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-28791-6",
  ISBN =         "3-642-28791-3",
  ISBN-13 =      "978-3-642-28791-6",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:00 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-28791-6",
  acknowledgement = ack-nhfb,
}

@Proceedings{Baeza-Yates:2012:AIR,
  editor =       "Ricardo Baeza-Yates and Arjen P. de Vries and Hugo
                 Zaragoza and B. Barla Cambazoglu and Vanessa Murdock
                 and et al",
  booktitle =    "{Advances in Information Retrieval: 34th European
                 Conference on IR Research, ECIR 2012, Barcelona, Spain,
                 April 1--5. Proceedings}",
  title =        "{Advances in Information Retrieval: 34th {European}
                 Conference on IR Research, ECIR 2012, Barcelona, Spain,
                 April 1--5. Proceedings}",
  volume =       "7224",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-28996-5",
  ISBN =         "3-642-28996-7",
  ISBN-13 =      "978-3-642-28996-5",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:00 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-28996-5",
  acknowledgement = ack-nhfb,
}

@Proceedings{Goodloe:2012:NFM,
  editor =       "Alwyn E. Goodloe and Suzette Person",
  booktitle =    "{NASA Formal Methods: 4th International Symposium, NFM
                 2012, Norfolk, VA, USA, April 3--5. Proceedings}",
  title =        "{NASA Formal Methods: 4th International Symposium, NFM
                 2012, Norfolk, VA, USA, April 3--5. Proceedings}",
  volume =       "7226",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-28890-6",
  ISBN =         "3-642-28890-1",
  ISBN-13 =      "978-3-642-28890-6",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:00 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-28890-6",
  acknowledgement = ack-nhfb,
}

@Proceedings{Yang:2012:SCB,
  editor =       "Shanchieh Jay Yang and Ariel M. Greenberg and Mica
                 Endsley",
  booktitle =    "{Social Computing, Behavioral --- Cultural Modeling
                 and Prediction: 5th International Conference, SBP 2012,
                 College Park, MD, USA, April 3--5. Proceedings}",
  title =        "{Social Computing, Behavioral --- Cultural Modeling
                 and Prediction: 5th International Conference, SBP 2012,
                 College Park, MD, USA, April 3--5. Proceedings}",
  volume =       "7227",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-29046-6",
  ISBN =         "3-642-29046-9",
  ISBN-13 =      "978-3-642-29046-6",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:01 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-29046-6",
  acknowledgement = ack-nhfb,
}

@Book{Constable:2012:LPS,
  editor =       "Robert L. Constable and Alexandra Silva",
  booktitle =    "{Logic and Program Semantics: Essays Dedicated to
                 Dexter Kozen on the Occasion of His 60th Birthday}",
  title =        "{Logic and Program Semantics: Essays Dedicated to
                 Dexter Kozen on the Occasion of His 60th Birthday}",
  volume =       "7230",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-29484-6",
  ISBN =         "3-642-29484-7",
  ISBN-13 =      "978-3-642-29484-6",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:10:59 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-29484-6",
  acknowledgement = ack-nhfb,
}

@Proceedings{He:2012:HIS,
  editor =       "Jing He and Xiaohui Liu and Elizabeth A. Krupinski and
                 Guandong Xu",
  booktitle =    "{Health Information Science: First International
                 Conference, HIS 2012, Beijing, China, April 8--10.
                 Proceedings}",
  title =        "{Health Information Science: First International
                 Conference, HIS 2012, Beijing, China, April 8--10.
                 Proceedings}",
  volume =       "7231",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-29360-3",
  ISBN =         "3-642-29360-3",
  ISBN-13 =      "978-3-642-29360-3",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:00 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-29360-3",
  acknowledgement = ack-nhfb,
}

@Proceedings{Ryan:2012:ISP,
  editor =       "Mark D. Ryan and Ben Smyth and Guilin Wang",
  booktitle =    "{Information Security Practice and Experience: 8th
                 International Conference, ISPEC 2012, Hangzhou, China,
                 April 9--12. Proceedings}",
  title =        "{Information Security Practice and Experience: 8th
                 International Conference, ISPEC 2012, Hangzhou, China,
                 April 9--12. Proceedings}",
  volume =       "7232",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-29100-5",
  ISBN =         "3-642-29100-7",
  ISBN-13 =      "978-3-642-29100-5",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:00 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-29100-5",
  acknowledgement = ack-nhfb,
}

@Proceedings{Wang:2012:WTA,
  editor =       "Hua Wang and Lei Zou and Guangyan Huang and Jing He
                 and Chaoyi Pang and et al",
  booktitle =    "{Web Technologies and Applications: APWeb 2012
                 International Workshops: SenDe, IDP, IEKB, MBC,
                 Kunming, China, April 11--13. Proceedings}",
  title =        "{Web Technologies and Applications: APWeb 2012
                 International Workshops: SenDe, IDP, IEKB, MBC,
                 Kunming, China, April 11--13. Proceedings}",
  volume =       "7234",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-29425-9",
  ISBN =         "3-642-29425-1",
  ISBN-13 =      "978-3-642-29425-9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:00 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-29425-9",
  acknowledgement = ack-nhfb,
}

@Proceedings{Sheng:2012:WTA,
  editor =       "Quan Z. Sheng and Guoren Wang and Christian S. Jensen
                 and Guandong Xu",
  booktitle =    "{Web Technologies and Applications: 14th Asia-Pacific
                 Web Conference, APWeb 2012, Kunming, China, April
                 11--13. Proceedings}",
  title =        "{Web Technologies and Applications: 14th Asia-Pacific
                 {Web} Conference, APWeb 2012, Kunming, China, April
                 11--13. Proceedings}",
  volume =       "7235",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-29252-1",
  ISBN =         "3-642-29252-6",
  ISBN-13 =      "978-3-642-29252-1",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:00 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-29252-1",
  acknowledgement = ack-nhfb,
}

@Proceedings{Martino:2012:WWG,
  editor =       "Sergio Di Martino and Adriano Peron and Taro Tezuka",
  booktitle =    "{Web and Wireless Geographical Information Systems:
                 11th International Symposium, W2GIS 2012, Naples,
                 Italy, April 12--13. Proceedings}",
  title =        "{Web and Wireless Geographical Information Systems:
                 11th International Symposium, W2GIS 2012, Naples,
                 Italy, April 12--13. Proceedings}",
  volume =       "7236",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-29246-0",
  ISBN =         "3-642-29246-1",
  ISBN-13 =      "978-3-642-29246-0",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:00 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-29246-0",
  acknowledgement = ack-nhfb,
}

@Proceedings{Pointcheval:2012:ACE,
  editor =       "David Pointcheval and Thomas Johansson",
  booktitle =    "{Advances in Cryptology --- EUROCRYPT 2012: 31st
                 Annual International Conference on the Theory and
                 Applications of Cryptographic Techniques, Cambridge,
                 UK, April 15--19. Proceedings}",
  title =        "{Advances in Cryptology --- EUROCRYPT 2012: 31st
                 Annual International Conference on the Theory and
                 Applications of Cryptographic Techniques, Cambridge,
                 UK, April 15--19. Proceedings}",
  volume =       "7237",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-29010-7",
  ISBN =         "3-642-29010-8",
  ISBN-13 =      "978-3-642-29010-7",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:00 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-29010-7",
  acknowledgement = ack-nhfb,
}

@Proceedings{Lee:2012:DSAb,
  editor =       "Sang-goo Lee and Zhiyong Peng and Xiaofang Zhou and
                 Yang-Sae Moon and Rainer Unland and et al",
  booktitle =    "{Database Systems for Advanced Applications: 17th
                 International Conference, DASFAA 2012, Busan, South
                 Korea, April 15--19, Proceedings, Part I}",
  title =        "{Database Systems for Advanced Applications: 17th
                 International Conference, DASFAA 2012, Busan, South
                 Korea, April 15--19, Proceedings, Part I}",
  volume =       "7238",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-29037-4",
  ISBN =         "3-642-29037-X",
  ISBN-13 =      "978-3-642-29037-4",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:00 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-29037-4",
  acknowledgement = ack-nhfb,
}

@Proceedings{Lee:2012:DSAa,
  editor =       "Sang-goo Lee and Zhiyong Peng and Xiaofang Zhou and
                 Yang-Sae Moon and Rainer Unland and et al",
  booktitle =    "{Database Systems for Advanced Applications: 17th
                 International Conference, DASFAA 2012, Busan, South
                 Korea, April 15--19, Proceedings, Part II}",
  title =        "{Database Systems for Advanced Applications: 17th
                 International Conference, DASFAA 2012, Busan, South
                 Korea, April 15--19, Proceedings, Part II}",
  volume =       "7239",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-29034-3",
  ISBN =         "3-642-29034-5",
  ISBN-13 =      "978-3-642-29034-3",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:00 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-29034-3",
  acknowledgement = ack-nhfb,
}

@Proceedings{Yu:2012:DSA,
  editor =       "Hwanjo Yu and Ge Yu and Wynne Hsu and Yang-Sae Moon
                 and Rainer Unland and et al",
  booktitle =    "{Database Systems for Advanced Applications: 17th
                 International Conference, DASFAA 2012, International
                 Workshops: FlashDB, ITEMS, SNSM, SIM$^3$, DQDI, Busan,
                 South Korea, April 15--19. Proceedings}",
  title =        "{Database Systems for Advanced Applications: 17th
                 International Conference, DASFAA 2012, International
                 Workshops: FlashDB, ITEMS, SNSM, SIM$^3$, DQDI, Busan,
                 South Korea, April 15--19. Proceedings}",
  volume =       "7240",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-29022-0",
  ISBN =         "3-642-29022-1",
  ISBN-13 =      "978-3-642-29022-0",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:00 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-29022-0",
  acknowledgement = ack-nhfb,
}

@Proceedings{Caseli:2012:CPP,
  editor =       "Helena Caseli and Aline Villavicencio and Ant{\'o}nio
                 Teixeira and Fernando Perdig{\~a}o",
  booktitle =    "{Computational Processing of the Portuguese Language:
                 10th International Conference, PROPOR 2012, Coimbra,
                 Portugal, April 17--20. Proceedings}",
  title =        "{Computational Processing of the Portuguese Language:
                 10th International Conference, PROPOR 2012, Coimbra,
                 Portugal, April 17--20. Proceedings}",
  volume =       "7243",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-28884-5",
  ISBN =         "3-642-28884-7",
  ISBN-13 =      "978-3-642-28884-5",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:01 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-28884-5",
  acknowledgement = ack-nhfb,
}

@Proceedings{Moraglio:2012:GPE,
  editor =       "Alberto Moraglio and Sara Silva and Krzysztof Krawiec
                 and Penousal Machado and Carlos Cotta",
  booktitle =    "{Genetic Programming: 15th European Conference, EuroGP
                 2012, M{\'a}laga, Spain, April 11--13. Proceedings}",
  title =        "{Genetic Programming: 15th {European} Conference,
                 EuroGP 2012, {M{\'a}laga,} Spain, April 11--13.
                 Proceedings}",
  volume =       "7244",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-29138-8",
  ISBN =         "3-642-29138-4",
  ISBN-13 =      "978-3-642-29138-8",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:00 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-29138-8",
  acknowledgement = ack-nhfb,
}

@Proceedings{Hao:2012:ECC,
  editor =       "Jin-Kao Hao and Martin Middendorf",
  booktitle =    "{Evolutionary Computation in Combinatorial
                 Optimization: 12th European Conference, EvoCOP 2012,
                 M{\'a}laga, Spain, April 11--13. Proceedings}",
  title =        "{Evolutionary Computation in Combinatorial
                 Optimization: 12th {European} Conference, EvoCOP 2012,
                 {M{\'a}laga,} Spain, April 11--13. Proceedings}",
  volume =       "7245",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-29123-4",
  ISBN =         "3-642-29123-6",
  ISBN-13 =      "978-3-642-29123-4",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:00 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-29123-4",
  acknowledgement = ack-nhfb,
}

@Proceedings{Giacobini:2012:ECM,
  editor =       "Mario Giacobini and Leonardo Vanneschi and William S.
                 Bush",
  booktitle =    "{Evolutionary Computation, Machine Learning and Data
                 Mining in Bioinformatics: 10th European Conference,
                 EvoBIO 2012, M{\'a}laga, Spain, April 11--13.
                 Proceedings}",
  title =        "{Evolutionary Computation, Machine Learning and Data
                 Mining in Bioinformatics: 10th {European} Conference,
                 EvoBIO 2012, {M{\'a}laga,} Spain, April 11--13.
                 Proceedings}",
  volume =       "7246",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-29065-7",
  ISBN =         "3-642-29065-5",
  ISBN-13 =      "978-3-642-29065-7",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:00 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-29065-7",
  acknowledgement = ack-nhfb,
}

@Proceedings{Machado:2012:EBI,
  editor =       "Penousal Machado and Juan Romero and Adrian
                 Carballal",
  booktitle =    "{Evolutionary and Biologically Inspired Music, Sound,
                 Art and Design: First International Conference,
                 EvoMUSART 2012, M{\'a}laga, Spain, April 11--13.
                 Proceedings}",
  title =        "{Evolutionary and Biologically Inspired Music, Sound,
                 Art and Design: First International Conference,
                 EvoMUSART 2012, {M{\'a}laga,} Spain, April 11--13.
                 Proceedings}",
  volume =       "7247",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-29141-8",
  ISBN =         "3-642-29141-4",
  ISBN-13 =      "978-3-642-29141-8",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:00 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-29141-8",
  acknowledgement = ack-nhfb,
}

@Proceedings{Chio:2012:AEC,
  editor =       "Cecilia Di Chio and Alexandros Agapitos and Stefano
                 Cagnoni and Carlos Cotta and Francisco Fern{\'a}ndez de
                 Vega and et al",
  booktitle =    "{Applications of Evolutionary Computation:
                 EvoApplications 2012: EvoCOMNET, EvoCOMPLEX, EvoFIN,
                 EvoGAMES, EvoHOT, EvoIASP, EvoNUM, EvoPAR, EvoRISK,
                 EvoSTIM, and EvoSTOC, M{\'a}laga, Spain, April 11--13,
                 Proceedings}",
  title =        "{Applications of Evolutionary Computation:
                 EvoApplications 2012: EvoCOMNET, EvoCOMPLEX, EvoFIN,
                 EvoGAMES, EvoHOT, EvoIASP, EvoNUM, EvoPAR, EvoRISK,
                 EvoSTIM, and EvoSTOC, {M{\'a}laga,} Spain, April
                 11--13, Proceedings}",
  volume =       "7248",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-29177-7",
  ISBN =         "3-642-29177-5",
  ISBN-13 =      "978-3-642-29177-7",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:00 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-29177-7",
  acknowledgement = ack-nhfb,
}

@Proceedings{Fernandez-Baca:2012:LTI,
  editor =       "David Fern{\'a}ndez-Baca",
  booktitle =    "{LATIN 2012: Theoretical Informatics: 10th Latin
                 American Symposium, Arequipa, Peru, April 16--20.
                 Proceedings}",
  title =        "{LATIN 2012: Theoretical Informatics: 10th {Latin}
                 {American} Symposium, Arequipa, Peru, April 16--20.
                 Proceedings}",
  volume =       "7256",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-29343-6",
  ISBN =         "3-642-29343-3",
  ISBN-13 =      "978-3-642-29343-6",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:00 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-29343-6",
  acknowledgement = ack-nhfb,
}

@Book{Dusterhoft:2012:CMT,
  editor =       "Antje D{\"u}sterh{\"o}ft and Meike Klettke and
                 Klaus-Dieter Schewe",
  booktitle =    "{Conceptual Modelling and Its Theoretical Foundations:
                 Essays Dedicated to Bernhard Thalheim on the Occasion
                 of His 60th Birthday}",
  title =        "{Conceptual Modelling and Its Theoretical Foundations:
                 Essays Dedicated to Bernhard Thalheim on the Occasion
                 of His 60th Birthday}",
  volume =       "7260",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-28278-2",
  ISBN =         "3-642-28278-4",
  ISBN-13 =      "978-3-642-28278-2",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:03 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-28278-2",
  acknowledgement = ack-nhfb,
}

@Proceedings{Chor:2012:RCM,
  editor =       "Benny Chor",
  booktitle =    "{Research in Computational Molecular Biology: 16th
                 Annual International Conference, RECOMB 2012,
                 Barcelona, Spain, April 21--24. Proceedings}",
  title =        "{Research in Computational Molecular Biology: 16th
                 Annual International Conference, RECOMB 2012,
                 Barcelona, Spain, April 21--24. Proceedings}",
  volume =       "7262",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-29626-0",
  ISBN =         "3-642-29626-2",
  ISBN-13 =      "978-3-642-29626-0",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:00 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-29626-0",
  acknowledgement = ack-nhfb,
}

@Proceedings{Vinel:2012:CTV,
  editor =       "Alexey Vinel and Rashid Mehmood and Marion Berbineau
                 and Cristina Rico Garcia and Chung-Ming Huang and et
                 al",
  booktitle =    "{Communication Technologies for Vehicles: 4th
                 International Workshop, Nets4Cars\slash Nets4Trains
                 2012, Vilnius, Lithuania, April 25--27. Proceedings}",
  title =        "{Communication Technologies for Vehicles: 4th
                 International Workshop, Nets4Cars\slash Nets4Trains
                 2012, Vilnius, Lithuania, April 25--27. Proceedings}",
  volume =       "7266",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-29666-6",
  ISBN =         "3-642-29666-1",
  ISBN-13 =      "978-3-642-29666-6",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:00 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-29666-6",
  acknowledgement = ack-nhfb,
}

@Proceedings{Rutkowski:2012:AISa,
  editor =       "Leszek Rutkowski and Marcin Korytkowski and Rafal
                 Scherer and Ryszard Tadeusiewicz and Lotfi A. Zadeh and
                 et al",
  booktitle =    "{Artificial Intelligence and Soft Computing: 11th
                 International Conference, ICAISC 2012, Zakopane,
                 Poland, April 29--May 3, 2012, Proceedings, Part I}",
  title =        "{Artificial Intelligence and Soft Computing: 11th
                 International Conference, ICAISC 2012, Zakopane,
                 Poland, April 29--May 3, 2012, Proceedings, Part I}",
  volume =       "7267",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-29346-7",
  ISBN =         "3-642-29346-8",
  ISBN-13 =      "978-3-642-29346-7",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:10:59 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-29346-7",
  acknowledgement = ack-nhfb,
}

@Proceedings{Rutkowski:2012:AISb,
  editor =       "Leszek Rutkowski and Marcin Korytkowski and Rafal
                 Scherer and Ryszard Tadeusiewicz and Lotfi A. Zadeh and
                 et al",
  booktitle =    "{Artificial Intelligence and Soft Computing: 11th
                 International Conference, ICAISC 2012, Zakopane,
                 Poland, April 29--May 3, 2012, Proceedings, Part II}",
  title =        "{Artificial Intelligence and Soft Computing: 11th
                 International Conference, ICAISC 2012, Zakopane,
                 Poland, April 29--May 3, 2012, Proceedings, Part II}",
  volume =       "7268",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-29349-8",
  ISBN =         "3-642-29349-2",
  ISBN-13 =      "978-3-642-29349-8",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:00 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-29349-8",
  acknowledgement = ack-nhfb,
}

@Proceedings{Rutkowski:2012:SEC,
  editor =       "Leszek Rutkowski and Marcin Korytkowski and Rafal
                 Scherer and Ryszard Tadeusiewicz and Lotfi A. Zadeh and
                 et al",
  booktitle =    "{Swarm and Evolutionary Computation: International
                 Symposia, SIDE 2012 and EC 2012, Held in Conjunction
                 with ICAISC 2012, Zakopane, Poland, April 29--May 3,
                 2012. Proceedings}",
  title =        "{Swarm and Evolutionary Computation: International
                 Symposia, SIDE 2012 and EC 2012, Held in Conjunction
                 with ICAISC 2012, Zakopane, Poland, April 29--May 3,
                 2012. Proceedings}",
  volume =       "7269",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-29352-8",
  ISBN =         "3-642-29352-2",
  ISBN-13 =      "978-3-642-29352-8",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:00 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-29352-8",
  acknowledgement = ack-nhfb,
}

@Proceedings{Schindler:2012:CSC,
  editor =       "Werner Schindler and Sorin A. Huss",
  booktitle =    "{Constructive Side-Channel Analysis and Secure Design:
                 Third International Workshop, COSADE 2012, Darmstadt,
                 Germany, May 3--4. Proceedings}",
  title =        "{Constructive Side-Channel Analysis and Secure Design:
                 Third International Workshop, COSADE 2012, Darmstadt,
                 Germany, May 3--4. Proceedings}",
  volume =       "7275",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-29911-7",
  ISBN =         "3-642-29911-3",
  ISBN-13 =      "978-3-642-29911-7",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:11:00 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-29911-7",
  acknowledgement = ack-nhfb,
}

@Proceedings{Koucheryavy:2012:WWI,
  editor =       "Yevgeni Koucheryavy and Lefteris Mamatas and Ibrahim
                 Matta and Vassilis Tsaoussidis",
  booktitle =    "{Wired\slash Wireless Internet Communication: 10th
                 International Conference, WWIC 2012, Santorini, Greece,
                 June 6--8. Proceedings}",
  title =        "{Wired\slash Wireless Internet Communication: 10th
                 International Conference, WWIC 2012, Santorini, Greece,
                 June 6--8. Proceedings}",
  volume =       "7277",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-30629-7",
  ISBN =         "3-642-30629-2",
  ISBN-13 =      "978-3-642-30629-7",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:10:59 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-30629-7",
  acknowledgement = ack-nhfb,
}

@Book{Alvarez:2012:FIF,
  editor =       "Federico {\'A}lvarez and Frances Cleary and Petros
                 Daras and John Domingue and Alex Galis and et al",
  booktitle =    "{The Future Internet: Future Internet Assembly 2012:
                 From Promises to Reality}",
  title =        "{The Future Internet: Future Internet Assembly 2012:
                 From Promises to Reality}",
  volume =       "7281",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-30240-4",
  ISBN =         "3-642-30240-8",
  ISBN-13 =      "978-3-642-30240-4",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:10:59 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-30240-4",
  acknowledgement = ack-nhfb,
}

@Proceedings{Snoeyink:2012:FAA,
  editor =       "Jack Snoeyink and Pinyan Lu and Kaile Su and Lusheng
                 Wang",
  booktitle =    "{Frontiers in Algorithmics and Algorithmic Aspects in
                 Information and Management: Joint International
                 Conference, FAW-AAIM 2012, Beijing, China, May 14--16.
                 Proceedings}",
  title =        "{Frontiers in Algorithmics and Algorithmic Aspects in
                 Information and Management: Joint International
                 Conference, FAW-AAIM 2012, Beijing, China, May 14--16.
                 Proceedings}",
  volume =       "7285",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-29699-4",
  ISBN =         "3-642-29699-8",
  ISBN-13 =      "978-3-642-29699-4",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:10:59 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-29699-4",
  acknowledgement = ack-nhfb,
}

@Proceedings{Peffers:2012:DSR,
  editor =       "Ken Peffers and Marcus Rothenberger and Bill
                 Kuechler",
  booktitle =    "{Design Science Research in Information Systems.
                 Advances in Theory and Practice: 7th International
                 Conference, DESRIST 2012, Las Vegas, NV, USA, May
                 14--15. Proceedings}",
  title =        "{Design Science Research in Information Systems.
                 Advances in Theory and Practice: 7th International
                 Conference, DESRIST 2012, Las Vegas, NV, USA, May
                 14--15. Proceedings}",
  volume =       "7286",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-29862-2",
  ISBN =         "3-642-29862-1",
  ISBN-13 =      "978-3-642-29862-2",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:10:59 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-29862-2",
  acknowledgement = ack-nhfb,
}

@Proceedings{Agrawal:2012:TAM,
  editor =       "Manindra Agrawal and S. Barry Cooper and Angsheng Li",
  booktitle =    "{Theory and Applications of Models of Computation: 9th
                 Annual Conference, TAMC 2012, Beijing, China, May
                 16--21. Proceedings}",
  title =        "{Theory and Applications of Models of Computation: 9th
                 Annual Conference, TAMC 2012, Beijing, China, May
                 16--21. Proceedings}",
  volume =       "7287",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-29951-3",
  ISBN =         "3-642-29951-2",
  ISBN-13 =      "978-3-642-29951-3",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:10:59 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-29951-3",
  acknowledgement = ack-nhfb,
}

@Proceedings{Bestak:2012:NIIb,
  editor =       "Robert Bestak and Lukas Kencl and Li Erran Li and
                 Joerg Widmer and Hao Yin",
  booktitle =    "{NETWORKING 2012: 11th International IFIP TC 6
                 Networking Conference, Prague, Czech Republic, May
                 21--25, Proceedings, Part I}",
  title =        "{NETWORKING 2012: 11th International IFIP TC 6
                 Networking Conference, Prague, Czech Republic, May
                 21--25, Proceedings, Part I}",
  volume =       "7289",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-30044-8",
  ISBN =         "3-642-30044-8",
  ISBN-13 =      "978-3-642-30044-8",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:10:59 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-30044-8",
  acknowledgement = ack-nhfb,
}

@Proceedings{Bestak:2012:NIIa,
  editor =       "Robert Bestak and Lukas Kencl and Li Erran Li and
                 Joerg Widmer and Hao Yin",
  booktitle =    "{NETWORKING 2012: 11th International IFIP TC 6
                 Networking Conference, Prague, Czech Republic, May
                 21--25, Proceedings, Part II}",
  title =        "{NETWORKING 2012: 11th International IFIP TC 6
                 Networking Conference, Prague, Czech Republic, May
                 21--25, Proceedings, Part II}",
  volume =       "7290",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-30053-0",
  ISBN =         "3-642-30053-7",
  ISBN-13 =      "978-3-642-30053-0",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:10:59 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-30053-0",
  acknowledgement = ack-nhfb,
}

@Proceedings{Becvar:2012:NWI,
  editor =       "Zdenek Becvar and Robert Bestak and Lukas Kencl",
  booktitle =    "{NETWORKING 2012 Workshops: International IFIP TC 6
                 Workshops, ETICS, HetsNets, and CompNets, Held at
                 NETWORKING 2012, Prague, Czech Republic, May 25, 2012.
                 Proceedings}",
  title =        "{NETWORKING 2012 Workshops: International IFIP TC 6
                 Workshops, ETICS, HetsNets, and CompNets, Held at
                 NETWORKING 2012, Prague, Czech Republic, May 25, 2012.
                 Proceedings}",
  volume =       "7291",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-30038-7",
  ISBN =         "3-642-30038-3",
  ISBN-13 =      "978-3-642-30038-7",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:10:59 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-30038-7",
  acknowledgement = ack-nhfb,
}

@Proceedings{Bleris:2012:BRA,
  editor =       "Leonidas Bleris and Ion Mandoiu and Russell Schwartz
                 and Jianxin Wang",
  booktitle =    "{Bioinformatics Research and Applications: 8th
                 International Symposium, ISBRA 2012, Dallas, TX, USA,
                 May 21--23. Proceedings}",
  title =        "{Bioinformatics Research and Applications: 8th
                 International Symposium, ISBRA 2012, Dallas, TX, USA,
                 May 21--23. Proceedings}",
  volume =       "7292",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-30190-2",
  ISBN =         "3-642-30190-8",
  ISBN-13 =      "978-3-642-30190-2",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:10:59 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-30190-2",
  acknowledgement = ack-nhfb,
}

@Proceedings{Fischlin:2012:PKC,
  editor =       "Marc Fischlin and Johannes Buchmann and Mark Manulis",
  booktitle =    "{Public Key Cryptography --- PKC 2012: 15th
                 International Conference on Practice and Theory in
                 Public Key Cryptography, Darmstadt, Germany, May
                 21--23. Proceedings}",
  title =        "{Public Key Cryptography --- PKC 2012: 15th
                 International Conference on Practice and Theory in
                 Public Key Cryptography, Darmstadt, Germany, May
                 21--23. Proceedings}",
  volume =       "7293",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-30056-1",
  ISBN =         "3-642-30056-1",
  ISBN-13 =      "978-3-642-30056-1",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:10:59 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-30056-1",
  acknowledgement = ack-nhfb,
}

@Proceedings{Schrijvers:2012:FLP,
  editor =       "Tom Schrijvers and Peter Thiemann",
  booktitle =    "{Functional and Logic Programming: 11th International
                 Symposium, FLOPS 2012, Kobe, Japan, May 23--25.
                 Proceedings}",
  title =        "{Functional and Logic Programming: 11th International
                 Symposium, FLOPS 2012, Kobe, Japan, May 23--25.
                 Proceedings}",
  volume =       "7294",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-29821-9",
  ISBN =         "3-642-29821-4",
  ISBN-13 =      "978-3-642-29821-9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:10:59 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-29821-9",
  acknowledgement = ack-nhfb,
}

@Proceedings{Li:2012:AGP,
  editor =       "Ruixuan Li and Jiannong Cao and Julien Bourgeois",
  booktitle =    "{Advances in Grid and Pervasive Computing: 7th
                 International Conference, GPC 2012, Hong Kong, China,
                 May 11--13. Proceedings}",
  title =        "{Advances in Grid and Pervasive Computing: 7th
                 International Conference, GPC 2012, Hong Kong, China,
                 May 11--13. Proceedings}",
  volume =       "7296",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-30766-9",
  ISBN =         "3-642-30766-3",
  ISBN-13 =      "978-3-642-30766-9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:10:59 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-30766-9",
  acknowledgement = ack-nhfb,
}

@Proceedings{Beldiceanu:2012:IAT,
  editor =       "Nicolas Beldiceanu and Narendra Jussien and {\'E}ric
                 Pinson",
  booktitle =    "{Integration of AI and OR Techniques in Contraint
                 Programming for Combinatorial Optimization Problems:
                 9th International Conference, CPAIOR 2012, Nantes,
                 France, May 28 --- June1, 2012. Proceedings}",
  title =        "{Integration of AI and OR Techniques in Contraint
                 Programming for Combinatorial Optimization Problems:
                 9th International Conference, CPAIOR 2012, Nantes,
                 France, May 28 --- June1, 2012. Proceedings}",
  volume =       "7298",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-29827-1",
  ISBN =         "3-642-29827-3",
  ISBN-13 =      "978-3-642-29827-1",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:10:59 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-29827-1",
  acknowledgement = ack-nhfb,
}

@Proceedings{Tan:2012:AKDa,
  editor =       "Pang-Ning Tan and Sanjay Chawla and Chin Kuan Ho and
                 James Bailey",
  booktitle =    "{Advances in Knowledge Discovery and Data Mining: 16th
                 Pacific-Asia Conference, PAKDD 2012, Kuala Lumpur,
                 Malaysia, May 29--June 1, 2012, Proceedings, Part I}",
  title =        "{Advances in Knowledge Discovery and Data Mining: 16th
                 Pacific-Asia Conference, PAKDD 2012, Kuala Lumpur,
                 Malaysia, May 29--June 1, 2012, Proceedings, Part I}",
  volume =       "7301",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-30216-9",
  ISBN =         "3-642-30216-5",
  ISBN-13 =      "978-3-642-30216-9",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:10:59 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-30216-9",
  acknowledgement = ack-nhfb,
}

@Proceedings{Tan:2012:AKDb,
  editor =       "Pang-Ning Tan and Sanjay Chawla and Chin Kuan Ho and
                 James Bailey",
  booktitle =    "{Advances in Knowledge Discovery and Data Mining: 16th
                 Pacific-Asia Conference, PAKDD 2012, Kuala Lumpur,
                 Malaysia, May 29 --- June 1, 2012, Proceedings, Part
                 II}",
  title =        "{Advances in Knowledge Discovery and Data Mining: 16th
                 Pacific-Asia Conference, PAKDD 2012, Kuala Lumpur,
                 Malaysia, May 29 --- June 1, 2012, Proceedings, Part
                 II}",
  volume =       "7302",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-30219-0",
  ISBN =         "3-642-30219-X",
  ISBN-13 =      "978-3-642-30219-0",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:10:59 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-30219-0",
  acknowledgement = ack-nhfb,
}

@Book{Artikis:2012:LPN,
  editor =       "Alexander Artikis and Robert Craven and Nihan Kesim
                 {\c{C}}i{\c{c}}ekli and Babak Sadighi and Kostas
                 Stathis",
  booktitle =    "{Logic Programs, Norms and Action: Essays in Honor of
                 Marek J. Sergot on the Occasion of His 60th Birthday}",
  title =        "{Logic Programs, Norms and Action: Essays in Honor of
                 Marek J. Sergot on the Occasion of His 60th Birthday}",
  volume =       "7360",
  publisher =    pub-SV,
  address =      pub-SV:adr,
  pages =        "????",
  year =         "2012",
  CODEN =        "LNCSD9",
  DOI =          "http://dx.doi.org/10.1007/978-3-642-29413-6",
  ISBN =         "3-642-29413-8",
  ISBN-13 =      "978-3-642-29413-6",
  ISSN =         "0302-9743 (print), 1611-3349 (electronic)",
  ISSN-L =       "0302-9743",
  bibdate =      "Fri May 25 08:10:59 MDT 2012",
  bibsource =    "http://link.springer-ny.com/link/service/series/0558/;
                  http://www.math.utah.edu/pub/tex/bib/lncs2012.bib",
  series =       ser-LNCS,
  URL =          "http://www.springerlink.com/content/978-3-642-29413-6",
  acknowledgement = ack-nhfb,
}