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

Central database

Publisher

  1. Published

    Advice for Coordination. / Hankin, Chris; Nielson, Flemming; Nielson, Hanne Riis; Yang, Fan.

    10th international conference on Coordination Models and Languages (Coordination'08). ed. / Doug Lea; Gianluigi Zavattaro. Germany : Springer, 2008. p. 153-168 (Lecture Notes in Computer Science; No. 5052).

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

  2. Published

    A Fixpoint-Based Calculus for Graph-Shaped Computational Fields. / Lluch Lafuente, Alberto; Loreti, Michele; Montanari, Ugo.

    Coordination Models and Languages: Proceedings of the 17th IFIP WG 6.1 International Conference (COORDINATION 2015). ed. / Tom Holvoet; Mirko Viroli. Springer, 2015. p. 101-116 (Lecture Notes in Computer Science, Vol. 9037).

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

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

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

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

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

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

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

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

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

Previous 1 2 3 4 5 6 7 8 ...102 Next
Download list: To download, please limit the number of search results to 1,000 or less.