Springer, 0-387

Central database

Publisher

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

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

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

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

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

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

  7. Published

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

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

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

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

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

  9. Published

    Algorithm Theory - SWAT 2014 : 14th Scandinavian Symposium and Workshops, Copenhagen, Denmark, July 2-4, 2014. Proceedings.. / Ravi, R. (Editor); Gørtz, Inge Li (Editor).

    Springer, 2014. 391 p. (Lecture Notes in Computer Science, Vol. 8503).

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

  10. Published

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

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

Previous 1 2 3 4 5 6 7 8 ...91 Next
Download list:
Download as PDF
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
Word