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

Central database

Publisher

  1. 2015
  2. Published

    Optimal Sceduling of Stochastic Production Processes Through Model Checking. / Herbert, Luke Thomas; Hansen, Zaza Nadja Lee; Sharp, Robin; Jacobsen, Peter.

    Modelling and Management of Engineering Processes: Proceedings of the 3rd International Conference 2013. ed. / Michael Schabacker; Kilian Gericke; Nikoletta Szélig; Sándor Vajna. Springer, 2015. p. 187-202.

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

  3. Published

    Pareto Efficient Solutions of Attack-Defence Trees. / Aslanyan, Zaruhi; Nielson, Flemming.

    Principles of Security and Trust: Proceedings of the 4th International Conference, POST 2015. ed. / Riccardo Focardi; Andrew Myers. Springer, 2015. p. 95-114 (Lecture Notes in Computer Science, Vol. 9036).

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

  4. Published

    Polymer Based Biosensors for Medical Applications. / Cherré, Solène; Rozlosnik, Noemi.

    Advanced Polymers in Medicine. Springer, 2015. p. 513-537.

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

  5. Published

    Quantifying the Impact of Subgrid Scale Models in Actuator-Line Based LES of Wind Turbine Wakes in Laminar and Turbulent Inflow. / Chivaee, Hamid Sarlak; Meneveau, C.; Sørensen, Jens Nørkær; Mikkelsen, Robert.

    Direct and Large-Eddy Simulation IX. ed. / Jochen Frölich; Hans Kuerten; Bernard J. Geurts; Vincenzo Armenio. Springer, 2015. p. 169-175 (ERCOFTAC Series; No. 20).

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

  6. Published

    Quantitative Mapping of Mechanisms for Photoinitiated Coating Degradation. / Kiil, Søren.

    Service Life Prediction of Exterior Plastics: Vision for the Future. ed. / Christopher C. White; Jon Martin; J. Thomas Chapin. Springer, 2015. p. 185-198.

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

  7. Published

    Reconciling White-Box and Black-Box Perspectives on Behavioral Self-adaptation. / Bruni, Roberto; Corradini, Andrea; Gadducci, Fabio; Hölzl, Matthias; Lluch Lafuente, Alberto; Vandin, Andrea; Wirsing, Martin.

    Software Engineering for Collective Autonomic Systems: The ASCENS Approach. ed. / Martin Wirsing; Matthias Hölzl; Nora Koch; Philip Mayer. Springer, 2015. p. 163-184 (Lecture Notes in Computer Science, Vol. 8998).

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

  8. Published

    Scanning Conductive Torsion Mode. / Sun, Ling; Bonaccurso, Elmar.

    Surface Science Tools for Nanomaterials Characterization. ed. / Challa S.S.R. Kumar. Springer, 2015. p. 199-225.

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

  9. Published

    Stochastic Model Checking of the Stochastic Quality Calculus. / Nielson, Flemming; Nielson, Hanne Riis; Zeng, Kebin.

    Software, Services, and Systems: Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering. ed. / Rocco De Nicola; Rolf Hennicker. Springer, 2015. p. 522-537 (Lecture Notes in Computer Science, Vol. 8950).

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

  10. Accepted

    Thinking outside of the box or enjoying your 2 seconds of frame?. / Bækgaard, Per; Petersen, Michael Kai; Larsen, Jakob Eg.

    Proceedings of the 17th International Conference on Human-Computer Interaction (HCI 2015). Springer, 2015.

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

  11. Published

    Thiophene in Conducting Polymers: Synthesis of Poly(thiophene)s and Other Conjugated Polymers Containing Thiophenes, for Application in Polymer Solar Cells. / Livi, Francesco; Carlé, Jon Eggert; Bundgaard, Eva.

    Thiophenes. ed. / John A. Joule. Springer, 2015. p. 203-226 (Topics in Heterocyclic Chemistry , Vol. 39).

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

Previous 1 2 3 4 5 6 7 8 ...99 Next
Download list:
Download as PDF
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBE/CSEHarvardMLAStandardVancouverShortLong
Word