Springer, 0-387

Central database

Publisher

  1. Research › Article in proceedings
  2. Published

    Model Checking as Static Analysis: Revisited. / Zhang, Fuyuan; Nielson, Flemming; Nielson, Hanne Riis.

    Integrated Formal Methods: 9th International Conference, IFM 2012 Pisa, Italy, June 18-21, 2012 Proceedings. Springer, 2012. p. 99-112 (Lecture Notes in Computer Science; No. 7321).

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

  3. Published

    Modelling and Analysis of Dynamic Reconfiguration in BP-Calculus. / Abouzaid, Faisal; Mullins, John; Mazzara, Manuel; Dragoni, Nicola.

    Agent and Multi-Agent Systems. Technologies and Applications: 6th KES International Conference, KES-AMSTA 2012,Dubrovnik, Croatia, June 25-27, 2012. Proceedings. Springer, 2012. p. 534-543 (Lecture Notes in Computer Science, Vol. 7327).

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

  4. Published

    Modelling and Verification of Relay Interlocking Systems. / Haxthausen, Anne Elisabeth (Invited author); Bliguet, Marie Le (Invited author); Kjær, Andreas (Invited author).

    Foundations of Computer Software: Future Trends and Techniques for Development.. ed. / Christine Choppy; Oleg Sokolsky. Springer, 2010. p. 141-153 (Lecture Notes in Computer Science; No. 6028).

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

  5. Published

    Modelling of the Far wake behind a Wind Turbine. / Sørensen, Jens Nørkær (Invited author); Okulov, Valery (Invited author).

    Proc. of Euromech Colloquium on Wind Energy. ed. / J. Peinke; P. Schaumann; S. Barth. Berlin : Springer, 2007. p. 245-248.

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

  6. Published

    Modelling of the urban wind profile. / Gryning, Sven-Erik; Batchvarova, Ekaterina.

    Air pollution modeling and its application XIX. ed. / Carlos Borrego; Ana Isabel Miranda. Dordrecht : Springer, 2008. p. 18-27 (NATO Science for Peace and Security Series. Series C: Environmental Security).

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

  7. Published

    Models for the Dynamics of Articulatory Lip Movements. / Bothe, Hans-Heinrich (Invited author).

    Proc. 2nd Int. Conf. on Information and Communication Technologies and Accessibility. Springer, 2009.

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

  8. Morphology Independent Learning in Modular Robots. / Christensen, David Johan; Bordignon, Mirko; Schultz, Ulrik Pagh; Shaikh, Danish; Stoy, Kasper.

    Distributed Autonomous Robotic Systems 8. ed. / Hajime Asama; Haruhisa Kurokawa; Jun Ota; Kosuke Sekiyama. Springer, 2009. p. 379-391.

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

  9. Published

    Multi-Agent Programming Contest 2013: The Teams and the Design of Their Systems. / Ahlbrecht, Tobias; Bender-Saebelkampf, Christian; Brito, Maiquel; Christensen, Nicolai Christian; Dix, Jürgen; Franco, Mariana Ramos; Heller, Hendrik; Hess, Andreas Viktor; Heßler, Axel; Hübner, Jomi Fred; Jensen, Andreas Schmidt; Johnsen, Jannick Boese; Köster, Michael; Li, Chengqian; Liu, Lu; Morato, Marcelo Menezes; Ørum, Philip Bratt; Schlesinger, Federico; Schmitz, TiagoLuiz; Sichman, Jaime Simão; Souza, Kaio Siqueira; Uez, Daniela Maria; Villadsen, Jørgen; Werner, Sebastian; Woller, Øyvind Grønland; Zatelli, Maicon Rafael.

    Engineering Multi-Agent Systems: First International Workshop, EMAS 2013, St. Paul, MN, USA, May 6-7, 2013, Revised Selected Papers. Springer, 2013. p. 366-390 (Lecture Notes in Computer Science, Vol. 8245).

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

  10. Published

    Multiscale modelling of mechanical anisotropy of metals. / Winther, Grethe (Invited author).

    IUTAM symposium on modelling nanomaterials and nanosystems. Proceedings. ed. / R. Pyrz; J.C. Rauhe. Springer, 2009. p. 89-98 (IUTAM Bookseries).

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

  11. Published

    Music-Making and Musical Comprehension with Robotic Building Blocks. / Nielsen, Jacob.

    Learning by Playing. Game-based Education System Design and Development. Vol. Volume 5670/2009 Berlin / Heidelberg : Springer, 2009. p. 399-409 (Lecture Notes in Computer Science).

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

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