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

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.

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

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

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

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

Publication: Research › Book chapter – Annual report year: 2002

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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.

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

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

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

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