Springer

Central database

Publisher

  1. 2011
  2. Published

    Visualisation for Stochastic Process Algebras: The Graphic Truth. / Smith, Michael James Andrew; Gilmore, Stephen.

    Computer Performance Engineering: 8th European Performance Engineering Workshop, EPEW 2011 Borrowdale, UK, October 12-13, 2011 Proceedings. Springer, 2011. p. 310-324 (Lecture Notes in Computer Science; No. 6977).

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

  3. Published

    Wild McEliece Incognito. / Bernstein, Daniel J.; Lange, Tanja; Peters, Christiane.

    Lecture Notes in Computer Science. Vol. 7071 Springer, 2011. p. 244-254.

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

  4. 2010
  5. Published

    A Course Programme in Mobile Robotics with Integrated Hands-on Exercises and Competitions. / Ravn, Ole; Andersen, Nils Axel.

    Trends in Intelligent Robotics: 13th FIRA Robot World Congress, FIRA 2010, Bangalore, India, September 15-17, 2010. Proceedings. Vol. 103 Springer, 2010. p. 266-273.

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

  6. 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

  7. 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

  8. 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

  9. 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

  10. 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

  11. 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

  12. 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

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