Springer, 0-387

Central database

Publisher

  1. 2015
  2. Published

    An institution for object-z with inheritance and polymorphism. / Baumeister, Hubert; Bettaz, Mohamed; Maouche, Mourad; Mosteghanemi, M'hamed.

    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. 134-154 (Lecture Notes in Computer Science, Vol. 8950).

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

  3. Published

    A white box perspective on behavioural adaptation. / Bruni, Roberto; Corradini, Andrea; Gadducci, Fabio; Lluch Lafuente, Alberto; Vandin, Andrea.

    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. 552-581 (Lecture Notes in Computer Science, Vol. 8950).

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

  4. Published

    Bunker Purchasing in Liner Shipping. / Plum, Christian Edinger Munk; Pisinger, David; Neergaard Jensen, Peter.

    Handbook of Ocean Container Transport Logistics: Making Global Supply Chains Effective. ed. / Chung-Yee Lee; Qiang Meng. Springer, 2015. p. 251-278 (International Series in Operations Research and Management Science, Vol. 220).

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

  5. Published

    Carbon Nanotube-Based Separation Columns for Microchip Electrochromatography. / Mogensen, Klaus Bo; Delacourt, B.; Kutter, Jörg Peter.

    Microchip Capillary Electrophoresis Protocols . Springer, 2015. (Methods in Molecular Biology, Vol. 1274).

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

  6. Published

    Compressed Data Structures for Range Searching. / Bille, Philip; Gørtz, Inge Li; Vind, Søren Juhl.

    Proceedings of the 9th International Conference on Language and Automata Theory and Applications (LATA 2015). ed. / Adrian-Horia Dediu; Enrico Formenti; Carlos Martín-Vide; Bianca Truthe. Springer, 2015. p. 577-586 (Lecture Notes in Computer Science, Vol. 8977).

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

  7. Published

    Effective and efficient model clone detection. / Störrle, Harald.

    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. 440-457 (Lecture Notes in Computer Science, Vol. 8950).

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

  8. Published

    Magnetic Field. / Olsen, Nils.

    Encyclopedia of Remote Sensing. ed. / Eni G. Njoku. Springer, 2015. p. 358-362 (Encyclopedia of Earth Sciences Series).

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

  9. In press

    On Devising Boussinesq-type Equations with Bounded Eigenspectra: Two Horizontal Dimensions. / Eskilsson, Claes; Engsig-Karup, Allan Peter.

    Proceedings of the 18th European Conference on Mathematics for Industry (ECMI 2014). Springer, 2015.

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

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

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

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

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

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

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

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

  17. 2014
  18. Published

    Advanced Topology Optimization Methods for Conceptual Architectural Design. / Aage, Niels; Amir, Oded; Clausen, Anders; Hadar, Lior ; Maier, Dana ; Søndergaard, Asbjørn .

    Advances in Architectural Geometry 2014. ed. / P. Block; J. Knippers; N.J. Mitra; W. Wang. Springer, 2014.

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

  19. Published

    Algorithm Theory - SWAT 2014 : 14th Scandinavian Symposium and Workshops, Copenhagen, Denmark, July 2-4, 2014. Proceedings.. / Ravi, R. (Editor); Gørtz, Inge Li (Editor).

    Springer, 2014. 391 p. (Lecture Notes in Computer Science, Vol. 8503).

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

  20. Published

    Analyzing Social Interactions: Promises and Challenges of Cross Recurrence Quantification Analysis. / Fusaroli, Riccardo; Konvalinka, Ivana; Wallot, Sebastian.

    Translational Recurrences: From Mathematical Theory to Real-World Applications. ed. / N. Marwan; M. Riley; A. Giuliani; C. L. Webber Jr.Springer, 2014. p. 137-155 (Springer Proceedings in Mathematics & Statistics, Vol. 103).

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

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

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

  23. 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. Vol. 8473 Springer, 2014. p. 371-374 (Lecture Notes in Computer Science).

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

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

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

  26. Published

    Can We Efficiently Check Concurrent Programs Under Relaxed Memory Models in Maude?. / Arrahman, Yehia Abd; Andric, Marina; Beggiato, Alessandro; Lluch Lafuente, Alberto.

    Revised Selected Papers of the 10th International Workshop on Rewriting Logic and Its Applications, WRLA 2014. ed. / Santiago Escobar. Springer, 2014. p. 21-41 (Lecture Notes in Computer Science, Vol. 8663).

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

  27. Published

    Colored Range Searching in Linear Space. / Grossi, Roberto; Vind, Søren Juhl.

    Algorithm Theory – SWAT 2014: Proceedings of the 14th Scandinavian Symposium and Workshops on Algorithm Theory. ed. / R. Ravi; Inge Li Gørtz. Springer, 2014. p. 229-240 (Lecture Notes in Computer Science, Vol. 8503).

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

Previous 1 2 3 4 5 6 7 8 ...39 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