@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"
}
@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/|"}
@String{j-LECT-NOTES-COMP-SCI = "Lecture Notes in Computer Science"}
@String{pub-SV = "Springer-Verlag Inc."}
@String{pub-SV:adr = "New York, NY, USA"}
@String{ser-LNAI = "Lecture Notes in Artificial Intelligence"}
@String{ser-LNBI = "Lecture Notes in Bioinformatics"}
@String{ser-LNCS = "Lecture Notes in Computer Science"}
@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",
}
@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,
}
