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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2002

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

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

Publication: Research - peer-review › Book chapter – Annual report year: 2004

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

In: 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-review › Article in proceedings – Annual report year: 2005

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 1998

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.

In: 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: Research › Article in proceedings – Annual report year: 1992

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

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

Publication: Research › Article in proceedings – Annual report year: 1990

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

In: 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: Research › Book chapter – Annual report year: 1992

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 1996

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 1986

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2000