Springer

Local database

Publisher

  1. 2010
  2. Published

    A Formal Model of Identity Mixer. / Camenisch, Jan; Mödersheim, Sebastian Alexander; Sommer, Dieter.

    Proceedings of the 15th International Workshop on Formal Methods for Industrial Critical Systems. Heidelberg : Springer, 2010. p. 198-214 (Lecture Notes in Computer Science; No. LNCS 6371).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2010

  3. Published

    Application of the method of auxiliary sources in optical diffraction microscopy. / Karamehmedovic, Mirza; Sørensen, Mads Peter; Hansen, Poul-Erik; Lavrinenko, Andrei.

    Progress in Industrial Mathematics at ECMI 2008. 1. ed. Heidelberg, Dordrecht, London, New York : Springer, 2010. p. 899-905.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2010

  4. Published

    ASLan++ — A Formal Security Specification Language for Distributed Systems. / Von Oheimb, David; Mödersheim, Sebastian Alexander.

    Formal Methods for Components and Objects: 9th International Symposium, FMCO 2010 Graz, Austria, November 29 - December 1, 2010 Revised Papers. Springer, 2010. p. 1-22 (Lecture Notes in Computer Science; No. 6957).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2011

  5. Published

    Aspects of Insider Threats. / Probst, Christian W.; Hunker, Jeffrey; Gollmann, Dieter; Bishop, Matt.

    Aspects of Insider Threats. Springer, 2010. p. 1-16.

    Publication: Research - peer-reviewBook chapter – Annual report year: 2010

  6. Published

    Au Nanoparticles for Applications in Analysis of Cellular and Biomolecular Recognitions. / Cao, Cuong; Wolff, Anders; Bang, Dang Duong.

    Proceedings of the 3rd International Conference on the Development of BME in Vietnam, 11-14th Jan 2010. Springer, 2010. p. 294-297 (International Federation for Medical and Biological Engineering Proceedings).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2010

  7. Published

    Bioinspired Computation in Combinatorial Optimization : Algorithms and Their Computational Complexity. / Neumann, Frank; Witt, Carsten.

    Springer, 2010. (Natural Computing Series).

    Publication: Research - peer-reviewBook – Annual report year: 2011

  8. Published

    BredeQuery: Coordinate-Based Meta-analytic Search of Neuroscientific Literature from the SPM Environment. / Wilkowski, Bartlomiej; Szewczyk, Marcin Marek; Rasmussen, Peter Mondrup; Hansen, Lars Kai; Nielsen, Finn Årup.

    Biomedical Engineering Systems and Technologies: Communications in Computer and Information Science. Vol. 52 Berlin : Springer, 2010. p. 314-324.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2010

  9. Published

    Capturing the Intention of Model Changes. / Könemann, Patrick.

    Proceedings of the 13th International Conference on Model Driven Engineering Languages and Systems. Vol. Part II Springer, 2010. p. 108-122 (Lecture Notes in Computer Science; No. 6395).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2010

  10. Published

    Cryptanalysis of Tav-128 hash function. / Kumar, Ashish; Sanadhya, Somitra Kumar; Gauravaram, Praveen; Safkhani, Masoumeh; Naderi, Majid.

    Proceedings of Indocrypt 2010: 11th International Conference on Cryptology in India. ed. / Guang Gong; Kishan Chand Gupta. Springer, 2010. p. 118-130 (Lecture Notes in Computer Science, Vol. 6498).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2010

  11. Published

    Cryptanalysis of the ESSENCE Family of Hash Functions. / Mouha, Nicky; Sekar, Gautham; Aumasson, Jean-Philippe; Peyrin, Thomas; Thomsen, Søren Steffen; Turan, Meltem Sönmez; Preneel, Bart.

    Information Security and Cryptology: 5th International Conference, Inscrypt 2009, Beijing, China, December 12-15, 2009. Revised Selected Papers. Springer, 2010. p. 15-34 (Lecture Notes in Computer Science; No. 6151).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2010

Download list: To download, please limit the number of search results to 1,000 or less.