Springer, 0-387

Central database

Publisher

  1. 2014
  2. Published

    The Dual Half-Arc data structure: towards the universal B-rep data structure. / Anton, François; Bugoslawski, P.; Mioc, Darka.

    Geoinformation for Informed Decisions. Springer, 2014. (Lecture notes in geoinformation and Cartography).

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

  3. Published

    The Guided System Development Framework: Modeling and Verifying Communication Systems. / Carvalho Quaresma, Jose Nuno; Probst, Christian W.; Nielson, Flemming.

    Leveraging Applications of Formal Methods, Verification and Validation - Specialized Techniques and Applications: 6th International Symposium, ISoLA 2014, Proceedings, Part II. ed. / Tiziana Margaria; Bernhard Steffen. Springer, 2014. p. 509-523 (Lecture Notes in Computer Science, Vol. 8803).

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

  4. Published

    The stochastic quality calculus. / Zeng, Kebin; Nielson, Flemming; Nielson, Hanne Riis.

    Coordination Models and Languages. Proceedings. ed. / Eva Kühn; Rosario Pugliese. Springer, 2014. p. 179-193 (Lecture Notes in Computer Science, Vol. 8459).

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

  5. Published

    The Use of Modelling Methods for Product Configuration in Industrial Applications. / Hvam, Lars; Bonev, Martin; Haug, Anders ; Mortensen, Niels Henrik.

    Proceedings of the 7th World Conference on Mass Customization, Personalization, and Co-Creation (MCPC 2014). ed. / T.D. Brunoe. Springer, 2014. p. 529-539 (Lecture Notes in Production Engineering).

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

  6. Published

    Towards Constraining Glacial Isostatic Adjustment in Greenland Using ICESat and GPS Observations. / Nielsen, Karina; Sørensen, Louise Sandberg; Khan, Shfaqat Abbas; Spada, Giorgio; Simonsen, Sebastian Bjerregaard; Forsberg, René.

    Earth on the Edge: Science for a Sustainable Planet. ed. / C. Rizos; P. Willis. Springer, 2014. p. 325-331 (International Association of Geodesy Symposia, Vol. 139).

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

  7. Published

    Uniform Protection for Multi-exposed Targets. / Vigo, Roberto; Nielson, Flemming; Nielson, Hanne Riis.

    Formal Techniques for Distributed Objects, Components, and Systems. Proceedings. ed. / Erika Ábrahám; Catuscia Palamidessi. Springer, 2014. p. 182-198 (Lecture Notes in Computer Science, Vol. 8461).

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

  8. Published

    Verification of Stateful Protocols - Set-Based Abstractions in the Applied Pi-Calculus. / Bruni, Alessandro; Mödersheim, Sebastian Alexander; Nielson, Flemming; Nielson, Hanne Riis.

    Proceedings of the 19th Nordic Conference on Secure IT Systems, NordSec 2014. Springer, 2014. p. 281-282 (Lecture Notes in Computer Science; No. 8788).

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

  9. 2013
  10. Published

    3D Surface Realignment Tracking for Medical Imaging: A Phantom Study with PET Motion Correction. / Olesen, Oline Vinter; Paulsen, Rasmus Reinhold; Jensen, Rasmus Ramsbøl; Keller, Sune H.; Sibomana, Merence; Højgaard, Liselotte; Roed, Bjarne; Larsen, Rasmus.

    Image-Based Geometric Modeling and Mesh Generation. ed. / Yongjie (Jessica) Zhang. Springer, 2013. p. 11-19 (Lecture Notes in Computational Vision and Biomechanics, Vol. 3).

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

  11. Published

    A Behavioral Study on the Effects of Rock Music on Auditory Attention. / Marchegiani, Letizia; Fafoutis, Xenofon.

    Human Behavior Understanding: 4th International Workshop, HBU 2013, Barcelona, Spain, October 22, 2013. Proceedings. Springer, 2013. p. 15-26 (Lecture Notes in Computer Science, Vol. 8212).

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

  12. Published

    A calculus for quality. / Nielson, Hanne Riis; Nielson, Flemming; Vigo, Roberto.

    Formal Aspects of Component Software: 9th International Symposium, FACS 2012, Mountain View, CA, USA, September 12-14, 2012. Revised Selected Papers. Springer, 2013. p. 188-204 .

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

Previous 1...3 4 5 6 7 8 9 10 ...92 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