Springer-Verlag
Local database
Publisher
- 2001
- Published
Investigation of relationships between matrix orientations and nuclei at triple junctions. / Sabin, T.J.; Winther, G.; Juul Jensen, D.
In: Recrystallization and grain growth. Proceedings. Vol. 2. ed. / G. Gottstein; D.A. Molodov. Berlin : Springer-Verlag, 2001. p. 809-814.Publication: Research - peer-review › Article in proceedings – Annual report year: 2001
- Published
Measurement of orientation dependent stored energy of deformation on a local scale. / Godfrey, A.; Juul Jensen, D.; Hansen, N.
In: Recrystallization and grain growth. Proceedings. Vol. 2. ed. / G. Gottstein; D.A. Molodov. Berlin : Springer-Verlag, 2001. p. 843-848.Publication: Research - peer-review › Article in proceedings – Annual report year: 2001
- Published
Perspectives of System Informatics, IV. / Bjørner, Dines; Broy, M. (Editor); Zamulin, Alexandre V. (Editor).
Springer-Verlag, 2001.Publication: Research - peer-review › Book – Annual report year: 2001
- Published
Recrystallization in subdivided deformation microstructures. / Hughes, D.A.; Hansen, N.
In: Recrystallization and grain growth. Proceedings. Vol. 2. ed. / G. Gottstein; D.A. Molodov. Berlin : Springer-Verlag, 2001. p. 659-668.Publication: Research - peer-review › Article in proceedings – Annual report year: 2001
- Published
Recrystallization of Fe3Al based alloys during superplastic deformation. / Huang, X.; Gao, D.C.; Yang, W.Y.; Sun, Z.Q.
In: Recrystallization and grain growth. Proceedings. Vol. 2. ed. / G. Gottstein; D.A. Molodov. Berlin : Springer-Verlag, 2001. p. 875-880.Publication: Research - peer-review › Article in proceedings – Annual report year: 2001
- Published
The role of surface waves in modulating momentum, heat and chemical flux. / Smedman, A.-S.; Larsen, Søren Ejling.
In: 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-review › Article in proceedings – Annual report year: 2001
- 2000
- Published
A {K}leene analysis of Mobile Ambients. / Nielson, Flemming; Nielson, Hanne Riis; Sagiv, M.
In: Proc. ESOP'00. Springer-Verlag, 2000. p. 305-319.Publication: Research - peer-review › Article in proceedings – Annual report year: 2000
- Published
A Kleene analysis of Mobile Ambients. / Nielson, Flemming; Nielson, Hanne Riis; Sagiv, M.
In: Proc. ESOP'00. Springer-Verlag, 2000. p. 305-319.Publication: Research - peer-review › Article in proceedings – Annual report year: 2000
- Published
ASE: An overview of the Air-Sea Exchange subproject. / Larsen, Søren Ejling.
In: Transport and chemical transformation of pollutants in the troposphere. An overview of the work of EUROTRAC. ed. / P. Borrell; P.M. Borrell. Berlin : Springer-Verlag, 2000. p. 285-293 (Transport and chemical transformation of pollutants in the troposphere, v. 1).Publication: Research › Book chapter – Annual report year: 2000
- Published
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