Springer-Verlag

Local database

Publisher

  1. 2013
  2. Published

    Deciding on PSS: A Framework for PSS Strategies. / Neugebauer, Line Maria; Mougaard, Krestine; Andersen, Jakob Axel Bejbro; McAloone, Tim C.

    Product-Service Integration for Sustainable Solutions. Proceedings of the 5th CIRP International Conference on Industrial Product-Service Systems. ed. / Horst Meier. Springer-Verlag, 2013. p. 299-310 (Lecture Notes in Production Engineering).

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

  3. Published

    Timing and Targeting of PSS Methods and Tools: An Empirical Study amongst Academic Contributors. / Nøhr Hinz, Hector; Bey, Niki; McAloone, Tim C.

    Product-Service Integration for Sustainable Solutions. Proceedings of the 5th CIRP International Conference on Industrial Product-Service Systems. ed. / Horst Meier. Springer-Verlag, 2013. p. 131–139 (Lecture Notes in Production Engineering).

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

  4. 2009
  5. Published

    Tetrahedral Mesh Improvement Using Multi-face Retriangulation. / Misztal, Marek Krzysztof; Bærentzen, Jakob Andreas; Anton, François; Erleben, Kenny.

    18th International Meshing Roundtable. Springer-Verlag, 2009. p. 539-556.

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

  6. 2008
  7. Published

    Linear Systems Control: Deterministic and Stochastic Methods. / Hendricks, Elbert; Jannerup, Ole Erik; Sørenson, Paul Haase.

    Heidelberg : Springer-Verlag, 2008. 198 p.

    Publication: EducationBook – Annual report year: 2008

  8. 2007
  9. Published

    An update on the side channel cryptanalysis of MACs based on cryptographic hash functions. / Gauravaram, Praveen; Okeya, Katsuyuki.

    INDOCRYPT 2007: 8th International Conference on Cryptology in India. ed. / Kannan Srinathan; Pandu Rangan; Moti Yung. Vol. 4859 Berlin Heidelberg : Springer-Verlag, 2007. p. 393-403 (Lecture Notes in Computer Science; No. 4859).

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

  10. Published

    Approximating Offsets of Surfaces by using the Support Function Representation. / Gravesen, Jens; Jüttler, Bert; Šír, Zbynĕk.

    Progress in Industrial Mathematics at ECMI 2006. Springer-Verlag, 2007. p. 719-723.

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

  11. Published

    A Scalable Inclusion Constraint Solver Using Unification. / Zhang, Ye; Nielson, Flemming.

    Proceedings of the 17th International Symposium on Logic-Based Program Symthesis and Transformation. Springer-Verlag, 2007. p. 121-137 (Lecture Notes in Computer Science; No. 4915).

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

  12. Published

    A Scandinavian Model of Innovative Product Development. / McAloone, Timothy Charles; Andreasen, Mogens Myrup; Boelskifte, Per.

    The Future of Product Development. ed. / Frank-Lothar Krause. Vol. Proceedings of the 17th CIRP Design Conference Berlin : Springer-Verlag, 2007. p. 269-278.

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

  13. Published

    European energy futures 2030. Technology and social visions from the European energy delphi survey. / Wehnert, T.; López Araguás, J.P.; Bernardini, O.; Jaworski, L.; Jörss, W.; Jørgensen, Birte Holst; Ninni, A.; Nielsen, O.; Oniszk-Poplawska, A.; Welte, D.

    Heidelberg : Springer-Verlag, 2007. 231 p.

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

  14. Published

    Semantic Modelling Using TV-Anytime Metadata in DVB-H mobile broadcast. / Butkus, Andrius; Petersen, Michael Kai.

    Interactive TV: A shared experience: Proceedings of EuroITV 2007. ed. / Pablo Cesar; Konstantinos Chorianopoulos; Jens F. Jensen. Berlin : Springer-Verlag, 2007. (Lecture Notes in Computer Science; No. 4471).

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

  15. Published

    Stochastic Modeling and Deterministic Limit of Catalytic Surface Processes. / Starke, Jens; Reichert, Christian; Eiswirth, Markus; Oelschlaeger, Karl.

    Reactive Flows, Diffusion and Transport. ed. / Willi Jaeger; Rolf Rannacher; Juergen Warnatz. Springer-Verlag, 2007. p. 341-370.

    Publication: ResearchBook chapter – Annual report year: 2007

  16. Published

    Studying the properties of Variational Data Assimilation Methods by Applying a Set of Test-Examples. / Thomsen, Per Grove; Zlatev, Zahari; Boyanov, T. (Editor); Dimova, S. (Editor); Georgiev, K. (Editor); Nikolov, G. (Editor).

    Numerical Methods and Applications. 6th International Conference, NMA 2006.. Vol. Lecture Notes in Computer Science Vol. 4310 Springer-Verlag, 2007. p. 492-499.

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

  17. Published

    Surfaces with Piecewise Linear Support Functions over Spherical Triangulations. / Almegaard, Henrik; Bagger, Anne; Gravesen, Jens; Jüttler, Bert; Šír, Zbynĕk.

    Mathematics of Surfaces XII. ed. / Ralph Martin; Malcolm Sabin; Joab Winkler. Springer-Verlag, 2007. p. 42-63 (Lecture Notes in Computer Science; No. 4647).

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

  18. 2006
  19. Published

    Determination of Angle of Attack (AOA) for Rotating Blades. / Shen, Wen Zhong; Hansen, Martin Otto Laver; Sørensen, Jens Nørkær.

    Wind Energy: Proceedings of the Euromech Colloquium. Berlin Heidelberg : Springer-Verlag, 2006. p. 205-209.

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

  20. Published

    Medical Image Computing and Computer-Assisted Intervention - MICCAI 2006 : 9th International Conference Copenhagen, Denmark, October 1-6, 2006,. / Larsen, Rasmus (Editor); Nielsen, Mads; Sporring, Jon.

    Springer-Verlag, 2006. (Lecture Notes in Computer Science; No. 4190).

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

  21. Published

    PARA'04, State-of-the-art in scientific computing : LNCS Proceedings. / Dongarra, Jack (Editor); Madsen, Kaj; Wasniewski, Jerzy.

    Springer-Verlag, 2006.

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

  22. Published

    Reusing Design Knowledge : Advances in Design. / Ahmed, Saeema; Wallace, Ken M.

    Advances in Design. ed. / Hoda A ElMaraghy; Waguih ElMaraghy. Springer-Verlag, 2006.

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

  23. Published

    Wind farm power fluctuations. / Sørensen, Poul Ejnar; Mann, Jakob; Schmidt Paulsen, Uwe; Vesth, Allan.

    Wind energy. Proceedings of the Euromech colloquium. ed. / J. Peinke; P. Schaumann; S. Barth. New York, NY (US) : Springer-Verlag, 2006. p. 139-145.

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

  24. 2005
  25. Badger - A Fast and Provably Secure MAC. / Boesgaard, Martin; Scavenius, Ove; Pedersen, Thomas; Christensen, Thomas; Zenner, Erik .

    Proceedings ACNS 2005. ed. / John Ioannidis; Angelos Keromytis; Moti Yung. London, UK : Springer-Verlag, 2005. p. 176-191 (Lecture Notes in Computer Science; No. 3531).

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

  26. Published

    Comparison of polycyclic aromatic hydrocarbons (PAHs) removals during anaerobic and aerobic sewage sludge treatment. / Trably, Eric; Patureau, D.; Delgenes, J.P.

    Environmental chemistry: Green chemistry and pollutants in ecosystems. ed. / E. Lichtfouse; J. Schwarzbauer; D. Robert. Vol. Chapter 39 Heidelberg, Germany : Springer-Verlag, 2005. p. 431-440.

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

  27. Published

    Engineering Knowledge Management.. / Wallace, Ken M.; Ahmed, Saeema; Bracewell, Rob.

    Design Process Improvement: A Review of Current Practice. ed. / John Clarkson; Claudia Eckert. First. ed. London : Springer-Verlag, 2005. p. 326-343.

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

  28. 2004
  29. Published

    Automating the Hierarchical Synthesis of MEMS Using Evolutionary Approaches. / Fan, Zhun; Wang, J; Seo, K.; Hu, J; Rosenberg, R.; Terpenny, J.; Goodman, E.

    Evolvable Machines - Theory & Practice. Heidelberg : Springer-Verlag, 2004. p. 129-149.

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

  30. Published

    Evaluating and managing safety barriers in major hazard plants. / Duijm, N.J.; Andersen, H.B.; Hale, A.; Goossens, L.; Hourtolou, D.

    Proceedings. London : Springer-Verlag, 2004. p. 110-115.

    Publication: ResearchArticle in proceedings – Annual report year: 2004

  31. Published

    Proof Support for RAISE - by a Reuse Approach based on Institutions. / Lindegaard, Morten Peter; Haxthausen, Anne Elisabeth.

    Proceedings of AMAST'04. Springer-Verlag, 2004. p. 319-333.

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

  32. Scenario building for the future of the Tel-Aviv metropolitan area and its transportation system using the Delphi method. / Shiftan, Yoram; Kaplan, Sigal; Hakkert, Shalom.

    Transport Developments and Innovations in an Evolving World. Berlin : Springer-Verlag, 2004. p. 275-289 (Advances in Spatial Science).

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

  33. Published

    The Succinct Solver Suite. / Nielson, Flemming; Nielson, Hanne Riis; Sun, Hongyan; Buchholtz, Mikael; Hansen, René Rydhof; Pilegaard, Henrik; Seidl, Helmut.

    Proc. TACAS'04. Springer-Verlag, 2004. p. 251-265.

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

  34. 2003
  35. Published

    An Ontology for a TripTych Formal Software Development. / Bjørner, Dines; Wirsing, Martin (Editor).

    US DoD Workshop on Radical Innovations for Software and Systems Engineering. Springer-Verlag, 2003.

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

  36. Published

    Applied Algebra, Algebraic Algorithms and Error-Correcting Codes. / Fossorier, Marc (Editor); Høholdt, Tom (Editor); Poli, Alain (Editor).

    Berlin : Springer-Verlag, 2003.

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

  37. Published

    Decentralised power generation in the liberalised EU energy markets. Results from the DECENT research project. / Jörss, W.; Jørgensen, Birte Holst; Löffler, P.; Morthorst, Poul Erik; Uyterlinde, M.; Sambeek, E. van; Wehnert, T.

    Berlin : Springer-Verlag, 2003. 259 p.

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

  38. How engineering designers obtain information : Human behaviour in design. / Wallace, Ken M.; Ahmed, Saeema.

    Human Behabviour in design: Individuals, teams, tools. ed. / Udo Lindemann. Munich, Germany : Springer-Verlag, 2003. p. 184-194.

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

  39. On the Efficiency of the Clock Control Guessing Attack. / Zenner, Erik .

    Proceedings ICISC 2002. ed. / Pil Joong Lee; Chae Hoon Lim. London, UK : Springer-Verlag, 2003. p. 200-212 (Lecture Notes in Computer Science; No. 2587).

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

  40. Published

    Vibrations and Stability : Advanced Theory, Analysis, and Tools. / Thomsen, Jon Juel.

    Berlin - Heidelberg - New York : Springer-Verlag, 2003. 404 p.

    Publication: EducationBook – Annual report year: 2003

  41. 2002
  42. Published

    Automatic Complexity Analysis. / Nielson, Flemming; Nielson, Hanne Riis; Seidl, H.

    Proc. ESOP'02. Springer-Verlag, 2002. p. 243-261.

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

  43. Published

    Point and planar LIF for velocity-concentration correlations in a jet in cross flow. / Meyer, Knud Erik; Özcan, Oktay; Larsen, Poul Scheel; Gjelstrup, P.; Westergaard, C. H.

    Proceedings of 10th Internaltional Symposium on Applications of Laser Techniques to Fluid Mechanics. Lisbon : Springer-Verlag, 2002.

    Publication: ResearchArticle in proceedings – Annual report year: 2002

  44. Published

    Two approaches to synthesis based on the domain theory. / Hansen, Claus Thorp; Andreasen, Mogens Myrup.

    Engineering Design Synthesis. Vol. Chapter 6 London : Springer-Verlag, 2002. p. 93-108.

    Publication: ResearchBook chapter – Annual report year: 2002

  45. 2001
  46. Published

    Automated Proof Support for Interval Logics. / Rasmussen, Thomas Marthedal.

    8. LPAR 2001, Havana, Cuba. Springer-Verlag, 2001. p. 317-326.

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

  47. Published

    Control-flow analysis in cubic time. / Nielson, Flemming; Seidl, H.

    ESOP 2001 - European Symposium On Programming, Genova, Italy, April 2-6. Springer-Verlag, 2001. p. 252-268.

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

  48. Published

    Deformation structure and recrystallization in an Al single crystal deformed in tension. / Huang, X.; Okada, T.; Wert, J.A.; Inoko, F.

    Recrystallization and grain growth. Proceedings. Vol. 2. ed. / G. Gottstein; D.A. Molodov. Berlin : Springer-Verlag, 2001. p. 773-778.

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

  49. Published

    Experimental measurements of nucleation and growth rates. / Juul Jensen, D.

    Recrystallization and grain growth. Proceedings. Vol. 1. ed. / G. Gottstein; D.A. Molodov. Berlin : Springer-Verlag, 2001. p. 73-86.

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

  50. Published

    Flux divergence of reactive nitrogen over the coastal ocean. / Sørensen, L.L.; Pedersen, B.; Lund, M.

    Transport and chemical transformation in the troposphere. Proceedings. ed. / P.M. Midgley; M.J. Reuther; M. Williams. Berlin : Springer-Verlag, 2001. p. 54-61.

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

  51. Published

    Growth kinetics of individual cube grains as studied by the 3D X-ray diffraction microscope. / Lauridsen, E.M.; Schmidt, Søren; Margulies, L.; Poulsen, H.F.; Juul Jensen, D.

    Recrystallization and grain growth. Proceedings. Vol. 1. ed. / G. Gottstein; D.A. Molodov. Berlin : Springer-Verlag, 2001. p. 589-594.

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

  52. Improved Cryptanalysis of the Self-Shrinking Generator. / Zenner, Erik ; Krause, Matthias; Lucks, Stefan.

    Proceedings ACISP 2001. ed. / Vijay Varadharajan; Yi Mu. London, UK : Springer-Verlag, 2001. p. 21-35 (Lecture Notes in Computer Science; No. 2119).

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

  53. Published

    Investigation of relationships between matrix orientations and nuclei at triple junctions. / Sabin, T.J.; Winther, G.; Juul Jensen, D.

    Recrystallization and grain growth. Proceedings. Vol. 2. ed. / G. Gottstein; D.A. Molodov. Berlin : Springer-Verlag, 2001. p. 809-814.

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

  54. Published

    Measurement of orientation dependent stored energy of deformation on a local scale. / Godfrey, A.; Juul Jensen, D.; Hansen, N.

    Recrystallization and grain growth. Proceedings. Vol. 2. ed. / G. Gottstein; D.A. Molodov. Berlin : Springer-Verlag, 2001. p. 843-848.

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

  55. Published

    Perspectives of System Informatics, IV. / Bjørner, Dines; Broy, M. (Editor); Zamulin, Alexandre V. (Editor).

    Springer-Verlag, 2001.

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

  56. Published

    Recrystallization in subdivided deformation microstructures. / Hughes, D.A.; Hansen, N.

    Recrystallization and grain growth. Proceedings. Vol. 2. ed. / G. Gottstein; D.A. Molodov. Berlin : Springer-Verlag, 2001. p. 659-668.

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

  57. Published

    Recrystallization of Fe3Al based alloys during superplastic deformation. / Huang, X.; Gao, D.C.; Yang, W.Y.; Sun, Z.Q.

    Recrystallization and grain growth. Proceedings. Vol. 2. ed. / G. Gottstein; D.A. Molodov. Berlin : Springer-Verlag, 2001. p. 875-880.

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

  58. Published

    The role of surface waves in modulating momentum, heat and chemical flux. / Smedman, A.-S.; Larsen, Søren Ejling.

    Transport and chemical transformation in the troposphere. Proceedings. ed. / P.M. Midgley; M.J. Reuther; M. Williams. Berlin : Springer-Verlag, 2001. p. 216-222.

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

  59. 2000
  60. Published

    A {K}leene analysis of Mobile Ambients. / Nielson, Flemming; Nielson, Hanne Riis; Sagiv, M.

    Proc. ESOP'00. Springer-Verlag, 2000. p. 305-319.

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

  61. Published

    A Kleene analysis of Mobile Ambients. / Nielson, Flemming; Nielson, Hanne Riis; Sagiv, M.

    Proc. ESOP'00. Springer-Verlag, 2000. p. 305-319.

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

Previous 1 2 3 4 Next
Download list:
Download as PDF
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
Word