Springer-Verlag

Local database

Publisher

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

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

  3. Not written here

    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

  4. Published

    Behaviour Analysis and Safety Conditions: A Case Study in CML. / Nielson, Hanne Riis; Amtoft, T.; Nielson, Flemming.

    Proc. FASE'98. Springer-Verlag, 1998. p. 255-269.

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

  5. Published

    Behenic acid as a structural model for fatty acid monolayers at the air/water interface: An x-ray diffraction study. / Kenn, R.M.; Böhm, C.; Möhwald, H.; Kjær, K.; Als-Nielsen, J.

    Surface x-ray and neutron scattering. ed. / H. Zabel; I.K. Robinson. Berlin : Springer-Verlag, 1992. p. 139-142 (Springer Proceedings in Physics, 61).

    Publication: ResearchArticle in proceedings – Annual report year: 1992

  6. Published

    Beyond the desk top metaphor: Information retrieval with icon based interface. / Pejtersen, A. M.; Goodstein, L.P.

    Visualization in human-computer interaction. Selected contributions. ed. / P. Gorny; M.J. Tauber. Berlin : Springer-Verlag, 1990. p. 149-179.

    Publication: ResearchArticle in proceedings – Annual report year: 1990

  7. Published

    Characterization of Wastewater : The Effect of Chemical Precipitation on the Wastewater Composition and its Consequences for Biological Dentrification. / Henze, Mogens; Harremoës, Poul.

    Chemical Water and Wastewater Treatment II. ed. / Hermann H. Hahn. Vol. Vol. 2 Berlin, Heidelberg, New York, London, Paris,Tokyo, HonkKong, Barcelona, Budapest : Springer-Verlag, 1992. p. 299-311.

    Publication: ResearchBook chapter – Annual report year: 1992

  8. Published

    Chopping a Point. / Chaochen, Z.; Hansen, Michael Reichhardt.

    BCS-FACS 7th RefinementWorkshop. London : Springer-Verlag, 1996.

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

  9. Published

    Code Generation from Two-Level Denotational Meta-Languages. / Nielson, Flemming; Nielson, Hanne Riis.

    Programs as Data Objects. Springer-Verlag, 1986. p. 192-205.

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

  10. Published

    Combining Decision Diagrams and SAT Procedures for Efficient Symbolic Model Checking. / Williams, Poul Frederick; Biere, Armin; Clarke, Edmund M.; Gupta, Anubhav.

    Lecture Notes in Computer Science1855. Springer-Verlag, 2000.

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

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