Springer

Central database

Publisher

  1. 2012
  2. Published

    Shear crack formation and propagation in fiber reinforced cementitious composites (FRCC). / Paegle, Ieva; Fischer, Gregor.

    High Performance Fiber Reinforced Cement Composites 6. Springer, 2012. (RILEM Bookseries).

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

  3. Simulation of flexible objects in robotics. / Fugl, Andreas Rune; Petersen, Henrik Gordon; Willatzen, Morten.

    Simulation, Modeling, and Programming for Autonomous Robots: Third International Conference, SIMPAR 2012, Tsukuba, Japan, November 5-8, 2012. Proceedings. Springer, 2012. p. 89-100 (Lecture Notes in Computer Science, Vol. 7628).

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

  4. Simultaneous estimation of material properties and pose for deformable objects from depth and color images. / Fugl, Andreas Rune; Jordt, Andreas; Petersen, Henrik Gordon; Willatzen, Morten; Koch, Reinhard.

    Pattern Recognition: Joint 34th DAGM and 36th OAGM Symposium, Graz, Austria, August 28-31, 2012. Proceedings. Springer, 2012. p. 165-174 (Lecture Notes in Computer Science, Vol. 7476).

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

  5. Published

    Statistical Surface Recovery: A Study on Ear Canals. / Jensen, Rasmus Ramsbøl; Olesen, Oline Vinter; Paulsen, Rasmus Reinhold; van der Poel, Mike; Larsen, Rasmus.

    Mesh Processing in Medical Image Analysis: MeshMed 2012 Proceedings. Springer, 2012. p. 49-58 (Lecture Notes in Computer Science, Vol. 7599).

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

  6. Published

    Step-by-step towards PSS – Evaluating, Deciding and Executing. / Neugebauer, Line Maria; Mougaard, Krestine; McAloone, Tim C.; Andersen, Jakob Axel Bejbro; Bey, Niki.

    The Philosopher's Stone for Sustainability: Proceedings of the 4th CIRP International Conference on Industrial Product-Service Systems. ed. / Yoshiki Shimomura; Koji Kimita. Springer, 2012.

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

  7. Published

    Stochastic vehicle routing with recourse. / Gørtz, Inge Li; Nagarajan, Viswanath; Saket, Rishi.

    Automata, Languages, and Programming: 39th International Colloquium, ICALP 2012. ed. / Artur Czumaj; Kurt Mehlhorn ; Andrew Pitts; Roger Wattenhofer. Springer, 2012. p. 411-423 (Lecture Notes in Computer Science, Vol. 7391).

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

  8. Published

    String Indexing for Patterns With Wildcards. / Bille, Philip; Gørtz, Inge Li; Vildhøj, Hjalte Wedel; Vind, Søren Juhl.

    Algorithm Theory – SWAT 2012: 13th Scandinavian Symposium and Workshops, Helsinki, Finland, July 4-6, 2012. Proceedings. ed. / Fedor V. Fornin; Petteri Kaski. Springer, 2012. p. 283-294 (Lecture Notes in Computer Science, Vol. 7357).

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

  9. Testing Library Specifications by Verifying Conformance Tests. / Kiniry, Joseph; Zimmerman, Daniel M.; Hyland, Ralph.

    Tests and Proofs: 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 – June 1, 2012. Proceedings. Springer, 2012. p. 51-66 (Lecture Notes in Computer Science, Vol. 7305).

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

  10. Published

    The Approach to Model Building. / Laugesen, Jakob Lund; Mosekilde, Erik.

    Biosimulation in Biomedical Research, Health Care and Drug Development. Springer, 2012. p. 43-68.

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

  11. Published

    The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures. / Armando, Alessandro; Arsac, Wihem; Avanesov, Tigran; Barletta, Michele; Calvi, Alberto; Cappai, Alessandro; Carbone, Roberto; Chevalier, Yannick; Compagna, Luca; Cuéllar, Jorge; Erzse, Gabriel; Frau, Simone; Minea, Marius; Mödersheim, Sebastian Alexander; Von Oheimb, David; Pellegrino, Giancarlo; Ponta, Serena Elisa; Rocchetto, Marco; Rusinowitch, Michael; Torabi Dashti, Mohammad; Turuani, Mathieu; Viganò, Luca.

    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. Springer, 2012. p. 267-282 (Lecture Notes in Computer Science, Vol. 7214).

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

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