A General Framework for Probabilistic Characterizing Formulae. / Sack, Joshua; Zhang, Lijun.

In: Verification, Model Checking, and Abstract Interpretation: 13th International Conference, VMCAI 2012 Philadelphia, PA, USA, January 22-24, 2012 Proceedings. Springer, 2012. p. 396-411 (Lecture Notes in Computer Science; No. 7148).

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

A Generative Approach for Image-Based Modeling of Tumor Growth. / Menze, Bjoern H.; Van Leemput, Koen; Honkela, Antti; Konukoglu, Ender; Weber, Marc-André; Ayache, Nicholas; Golland, Polina.

In: Information Processing in Medical Imaging: 22nd International Conference, IPMI 2011 Kloster Irsee, Germany, July 3-8, 2011 Proceedings. Springer, 2011. p. 735-747 (Lecture Notes in Computer Science; No. 6801).

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

A generative model for probabilistic label fusion of multimodal data. / Iglesias, Juan Eugenio; Sabuncu, Mert Rory; Van Leemput, Koen.

In: Multimodal Brain Image Analysis: Second International Workshop, MBIA 2012, Held in Conjunction with MICCAI 2012, Nice, France, October 1-5, 2012. Proceedings. Springer, 2012. p. 115–133 (Lecture Notes in Computer Science, Vol. 7509).

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

A Hardest Attacker for Leaking References. / Hansen, René Rydhof; Schmidt, David (Editor).

In: European Symposium on Programming (ESOP). Springer, 2004. p. 310-324.

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

A hierarchical uncertainty model, combination rules and uncertainty propagation. / Kozine, Igor.

In: Proceedings. Vol. 5. ed. / C. Spitzer; U. Schmocker; V.N. Dang. Berlin : Springer, 2004. p. 2511-2516.

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

A J Integral Approach for Measuring Cohesive Laws Using a Modified DCB Sandwich Specimen. / Lundsgaard-Larsen, Christian (Invited author); Berggreen, Christian (Invited author); Sørensen, Bent F. (Invited author).

In: Experimental Analysis of Nano and Engineering Materials and Structures: Proceedings of the 13th International Conference on Experimental Mechanics. ed. / E. E. Gdoutos. Dordrecht, The Netherlands : Springer, 2007.

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

Algebraic methods in side-channel collision attacks and practical collision detection. / Bogdanov, Andrey; Kizhvatov, Ilya; Pyshkin, Andrey.

In: Progress in Cryptology - INDOCRYPT 2008. Proceedings. Springer, 2008. p. 251-265 (Lecture Notes in Computer Science, Vol. 5365).

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

A Logic for State-Modifying Authorization Policies. / Becker, Moritz Y.; Nanz, Sebastian.

In: Proceedings of the 12th European Conference on Research in Computer Security (ESORICS'07). Springer, 2007. (Lecture Notes in Computer Science; No. 4734).

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

A look back: 57 years of scientific computing. / Wasniewski, Jerzy.

In: Parallel Processing and Applied Mathematics: 9th International Conference, PPAM 2011. ed. / Roman Wyrzykowski ; Jack Dongarra; Konrad Karczewski; Jerzy Wasniewski. Springer, 2012. p. 1-9 (Lecture Notes in Computer Science, Vol. 7203).

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

ALPHA: Proposal of Mapping QoS Parameters between UPnP Home Network and GMPLS Access. / Brewka, Lukasz Jerzy; Sköldström, Pontus; Gavler, Anders; Nordell, Viktor; Wessing, Henrik; Dittmann, Lars.

In: Access Networks: 5th International ICST Conference on Access Networks, AccessNets 2010 and First ICST International Workshop on Autonomic Networking and Self-Management in Access Networks, SELFMAGICNETS 2010, Budapest, Hungary, November 3-5, 2010: Revised Selected Papers. Vol. 63, 7 Springer, 2011. p. 226-239 (Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering; No. 63).

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