Springer, 0-387, 1-85233, 0-8176, 1-84628

Central database

Publisher

  1. Published

    A formal analysis for capturing replay attacks in cryptographic protocols. / Gao, Han; Bodei, Chiara; Degano, Pierpaolo; Nielson, Hanne Riis.

    12th Asian Computing Science Conference, ASIAN 2007: Lecture Notes in Computer Science. Vol. 4846 Springer, 2007. p. 150-165.

    Publication: ResearchArticle in proceedings – Annual report year: 2007

  2. Published

    A Formal Analysis of Complex Type Flaw Attacks on Security Protocols. / Gao, Han; Bodei, Chiara; Degano, Pierpaolo.

    Lecture Notes in Computer Science. Vol. 5140 Springer, 2008. p. 167-183.

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2008

  3. Published

    A Formal Model of Identity Mixer. / Camenisch, Jan; Mödersheim, Sebastian Alexander; Sommer, Dieter.

    Proceedings of the 15th International Workshop on Formal Methods for Industrial Critical Systems. Heidelberg : Springer, 2010. p. 198-214 (Lecture Notes in Computer Science; No. LNCS 6371).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2010

  4. Published

    A Formal Semantics for the WS-BPEL Recovery Framework - The Pi-Calculus Way. / Dragoni, Nicola; Mazzara, Manuel.

    6th International Workshop on Web Services and Formal Methods (WS-FM'09). Springer, 2009. (LNCS).

    Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2009

  5. Published

    A Fuzzy Linear Programming Approach for Aggregate Production Planning. / Iris, Cagatay; Cevikcan, Emre.

    Supply Chain Management Under Fuzziness: Studies in Fuzziness and Soft Computing. ed. / Cengiz Kahraman; Başar Öztayşi. Vol. 313 Springer, 2014. p. 335-374.

    Publication: Research - peer-reviewBook chapter – Annual report year: 2014

  6. 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.

    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-reviewArticle in proceedings – Annual report year: 2011

  7. Published

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

    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-reviewArticle in proceedings – Annual report year: 2012

  8. Published

    Agile Processes in Software Engineering and Extreme Programming : 14th International Conference, XP 2013, Vienna, Austria, June 3-7, 2013. Proceedings. / Baumeister, Hubert (Editor); Weber, Barbara (Editor).

    Springer, 2013. (Lecture Notes in Business Information Processing, Vol. 149).

    Publication: Research - peer-reviewBook – Annual report year: 2013

  9. Published

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

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

    Publication: ResearchArticle in proceedings – Annual report year: 2004

  10. Published

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

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

    Publication: ResearchArticle in proceedings – Annual report year: 2004

Previous 1 2 3 4 5 6 7 8 ...99 Next
Download list:
Download as PDF
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
Word