A Cryptanalysis of PRINTcipher: The Invariant Subspace Attack. / Leander, Gregor; Abdelraheem, Mohamed Ahmed; Alkhzaimi, Hoda A.; Zenner, Erik.

In: Lecture Notes in Computer Science. Vol. 6841 Springer, 2011.

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

Active Shape Analysis of Mandibular Growth. / Hilger, Klaus Baggesen; Larsen, Rasmus; Kreiborg, Sven; Krarup, Søren; Darvann, Tron Andre; Marsh, Jeffrey.

In: Medical Image Computing and Computer-Assisted Intervention - MICCAI. Springer, 2003.

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

Adaptable Authentication Model: Exploring Security with Weaker Attacker Models. / Ahmed, Naveed; Jensen, Christian D.

In: Engineering Secure Software and Systems: Third International Symposium, ESSoS 2011 Madrid, Spain, February 9-10, 2011 Proceedings. Springer, 2011. p. 234-247 (Lecture Notes in Computer Science, Vol. 6542).

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

A Decision Support System for Pollution Control in Cement Plants,. / Madsen, Henrik; Thyregod, Poul; Popentiu, Florin; Albeanu, Grigore; Serbanescu, Liviu.

In: Probabilistic Safety Assessment and Management, PSAM 07 - ESREL'04. Springer, 2004. p. 1784-1789.

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

A Deformable Model for Bringing Particles in Focus. / Dahl, Anders Lindbjerg; Jørgensen, Thomas Martini; Larsen, Rasmus.

In: Computer Vision, Imaging and Computer Graphics. Theory and Applications: Computer Vision, Imaging and Computer Graphics. Theory and Applications Computer Vision, Imaging and Computer Graphics. Theory and Applications International Joint Conference, VISIGRAPP 2010, Angers, France, May 17-21, 2010. Springer, 2011. p. 81-95 (Communications in Computer and Information Science; No. 229).

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

Adequate Characterization of Separation Power. / Nielsen, K.O.

In: Electromagnetic Separation of Radioactive Isotopes. ed. / M.J. Higatsberger; F.P. Viehböck. Vienna : Springer, 1961. p. 35-39.

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

A Domain-oriented, Model-based Approach for Construction and Verification of Railway Control Systems. / Haxthausen, Anne Elisabeth (Invited author); Peleska, Jan (Invited author).

In: Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjørner and Zhou Chaochen on Occasion of their 70th Birthdays. ed. / Cliff B. Jones; Zhiming Liu; Jim Woodcock. Springer, 2007. p. 320-348 (Lecture Notes in Computer Science; No. 4700).

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

A Domain-specific Framework for Automated Construction and Verification of Railway Control Systems. / Haxthausen, Anne Elisabeth (Invited author).

In: Computer Safety, Reliability, and Security. ed. / Buth; Rabe; Seyfarth. Vol. 5775 Berlin / Heidelberg : Springer, 2009. p. 1-3 (Lecture Notes in Computer Science).

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

Advanced Microscopy of Microbial Cells. / Haagensen, Janus Anders Juul; Regenberg, Birgitte; Sternberg, Claus.

In: Advances in Biochemical Engineering/Biotechnology. Vol. 124 Springer, 2011. p. 21-54 (Advances in Biochemical Engineering/Biotechnology).

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

Advanced operational modal analysis methods for linear time periodic system identification. / Allen, Mathew S.; Chauhan, Shashank; Hansen, Morten Hartvig.

In: Conference Proceedings of the Society for Experimental Mechanics Series. Vol. 4 New York : Springer, 2011. p. 31-44 (:Conference Proceedings of the Society for Experimental Mechanics Series; No. 4).

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