Springer-Verlag

Local database

Publisher

  1. 2002
  2. 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

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

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

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

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

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

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

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

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

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

Previous 1 2 3 4 5 6 7 8 ...19 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