%%% -*-BibTeX-*- %%% ==================================================================== %%% BibTeX-file{ %%% author = "Nelson H. F. Beebe", %%% version = "1.03", %%% date = "14 October 2017", %%% time = "10:23:43 MDT", %%% 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 = "54512 4939 19544 217268", %%% 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.03, 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= %%% %%% where 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: %%% %%% where 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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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 = "https://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, }