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

Central database

Publisher

  1. 2014
  2. Published

    An Institution for Imperative RSL Specifications. / Haxthausen, Anne Elisabeth.

    Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi. Springer, 2014. p. 441-464 (Lecture Notes in Computer Science, Vol. 8373).

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

  3. Published

    Application and Theory of Petri Nets and Concurrency : Proceedings of the 35th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2014. / Ciardo, Gianfranco (Editor); Kindler, Ekkart (Editor).

    Springer, 2014. 395 p. (Lecture Notes in Computer Science, Vol. 8489).

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

  4. Published

    Applied Bounded Model Checking for Interlocking System Designs. / Haxthausen, Anne Elisabeth; Peleska, Jan; Pinger, Ralf.

    Software Engineering and Formal Methods. Revised Selected Papers. Vol. 8368 Springer, 2014. p. 205–220 (Lecture Notes in Computer Science, Vol. 8368).

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

  5. Published

    A Practical Approach for Parameter Identification with Limited Information. / Zeni, Lorenzo; Yang, Guangya; Tarnowski, Germán Claudio; Østergaard, Jacob.

    Modern Advances in Applied Intelligence. Proceedings, Part II. Springer, 2014. p. 177–188 (Lecture Notes in Computer Science, Vol. 8482).

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

  6. Published

    A Synthesizable Multicore Platform for Microwave Imaging. / Schleuniger, Pascal; Karlsson, Sven .

    Reconfigurable Computing: Architectures, Tools, and Applications. Proceedings. Springer, 2014. p. 197-204 (Lecture Notes in Computer Science, Vol. 8405).

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

  7. Published

    A System for Computing Conceptual Pathways in Bio-medical Text Models. / Andreasen, Troels; Bulskov, Henrik; Nilsson, Jørgen Fischer; Jensen, Per Anker.

    Foundations of Intelligent Systems. ed. / Troels Andreasen; Henning Christiansen; Juan-Carlos Cubero; Zbigniew W. Ras. Springer, 2014. p. 264-273 (Lecture Notes in Computer Science, Vol. 8502).

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

  8. Published

    Automatic electricity markets data extraction for realistic multi-agent simulations. / Pereira, Ivo F.; Sousa, Tiago M.; Praca, Isabel; Freitas, Ana; Pinto, Tiago; Vale, Zita; Morais, Hugo.

    Advances in Practical Applications of Heterogeneous Multi-Agent Systems. Springer, 2014. p. 371-374 (Lecture Notes in Computer Science, Vol. 8473).

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

  9. Published

    Availability by Design. / Vigo, Roberto; Nielson, Flemming; Nielson, Hanne Riis.

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

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

  10. Published

    Barriers and Solutions for a Green Transition. / Meyer, Niels I.

    Im Hürdenlauf zur Energiewende: Von Transformationen, Reformen und Innovationen. ed. / Achim Brunnengräber; Maria Rosaria Di Nucci. Springer, 2014. p. 107-118.

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

  11. Published

    Boundary-Layer and Air Quality Study at “Station Nord” in Greenland. / Batchvarova, Ekaterina; Gryning, Sven-Erik; Skov, Henrik; Sørensen, Lise Lotte; Kirova, H.; Münkel, Christoph.

    Air Pollution Modeling and its Application XXIII. ed. / Douw Steyn; Rohit Mathur. Springer, 2014. p. 525-529 (Springer Proceedings in Complexity).

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

Download list: To download, please limit the number of search results to 1,000 or less.