Springer, 0-387

Central database

Publisher

  1. 2015
  2. In press

    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. 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. 2014
  4. E-pub ahead of print

    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. (Springer Proceedings in Mathematics & Statistics, Vol. 103).

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

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

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

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

  8. Published

    Combining Formal Logic and Machine Learning for Sentiment Analysis. / Petersen, Niklas Christoffer ; Villadsen, Jørgen.

    Foundations of Intelligent Systems. ed. / T. Andreasen; H. Christiansen; J.-C. Cubero; Z.W. Ras. Springer, 2014. p. 375-384 (Lecture Notes in Computer Science, Vol. 8502).

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

  9. Published

    Condition Monitoring Benefit for Operation Support of Offshore Wind Turbines. / Thöns, Sebastian; McMillan, D.

    Reliability Modeling and Analysis of Smart Power Systems. Springer, 2014. p. 169-182.

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

  10. Published

    Denial-of-Service Security Attack in the Continuous-Time World. / Wang, Shuling ; Nielson, Flemming; Nielson, Hanne Riis.

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

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

  11. Published

    Differential Geometry Applied to Rings and Möbius Nanostructures. / Lassen, Benny; Willatzen, Morten; Gravesen, Jens.

    Physics of Quantum Rings. ed. / Vladimir M. Fomin. Vol. Part III Springer, 2014. p. 409-435 (NanoScience and Technology).

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

  12. Published

    Domain Theory, Its Models and Concepts. / Andreasen, Mogens Myrup; Howard, Thomas J.; Bruun, Hans Peter Lomholt.

    An Anthology of Theories and Models of Design: Philosophy, Approaches and Empirical Explorations. ed. / A. Chakrabarti; L.T.M. Blessing. Springer, 2014. p. 173-195.

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

  13. Published

    Eels in culture, fisheries and science in Denmark. / Rindom, Suzanne; Tomkiewicz, Jonna; Munk, Peter; Aarestrup, Kim; Als, Thomas Damm; Pedersen, Michael Ingemann; Graver, Christian; Anderberg, Carina.

    Eels and humans. ed. / Katsumi Tsukamoto; Mari Kuroki. Tokyo : Springer, 2014. p. 41-61 (Humanity and the Sea).

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

  14. Published

    EHRA: Specification and Analysis of Energy-Harvesting Wireless Sensor Networks. / Dung, Phan Anh; Hansen, Michael Reichhardt; Madsen, Jan.

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

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

  15. Evaluation of Mesoscale Model Profiles Against Consecutive Radiosounding Data During the Sofia 2003 Experiment. / Kirova, H.; Batchvarova, Ekaterina; Nikolov, Valeri .

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

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

  16. Published

    Experimental Grey Box Model Identification of an Active Gas Bearing. / Theisen, Lukas Roy Svane; Pierart Vásquez, Fabián Gonzalo; Niemann, Hans Henrik; Santos, Ilmar; Blanke, Mogens.

    Vibration Engineering and Technology of Machinery: Proceedings of VETOMAC X 2014. ed. / Jyoti K. Sinha. Springer, 2014. p. 963-976 (Mechanisms and Machine Science, Vol. 23).

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

  17. Force Spectroscopy of DNA and RNA: Structure and Kinetics from Single-Molecule Experiments. / Ettlinger, Rebecca Bolt; Sørensen, Michael Askvad; Oddershede, Lene Broeng.

    Nucleic Acid Nanotechnology: Part I. ed. / Jørgen Kjems; Elena Ferapontova; Kurt V. Gothelf. Springer, 2014. p. 23-52 (Nucleic Acids and Molecular Biology, Vol. 29).

    Publication: ResearchBook chapter – Annual report year: 2014

  18. Published

    Geoid of Nepal from airborne gravity survey. / Forsberg, René; Olesen, Arne Vestergaard; Einarsson, Indriði; Manandhar, Niraj; Shreshta, Kalyan.

    Earth on the Edge: Science for a Sustainable Planet: Earth on the Edge: Science for a Sustainable Planet Earth on the Edge: Science for a Sustainable Planet Proceedings of the IAG General Assembly, Melbourne, Australia, June 28 - July 2, 2011. ed. / C. Rizos; P. Willis. Melbourne, Australia : Springer, 2014. (International Association of Geodesy Symposia, Vol. 139).

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

  19. Published

    Geoinformation for Informed Decisions. / Rahman, A. Abdul (Editor); Boguslawski, P. (Editor); Anton, François (Editor); Said, M. N. (Editor); Omar, K. M. (Editor).

    Springer, 2014. 261 p. (Lecture notes in geoinformation and Cartography).

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

  20. Published

    History Matching with Geostatistical Prior: A Smooth Formulation. / Melnikova, Yulia; Lange, Katrine; Zunino, Andrea; Cordua, Knud Skou; Mosegaard, Klaus.

    Mathematics of Planet Earth. Springer, 2014. p. 703-707 (Lecture Notes in Earth Sciences).

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

  21. Published

    ICT-powered Health Care Processes. / Carbone, Marco; Christensen, Anders Skovbo; Nielson, Flemming; Nielson, Hanne Riis; Hildebrandt, Thomas; Sølvkjær, Martin.

    Foundations of Health Information Engineering and Systems: Third International Symposium, FHIES 2013, Macau, China, August 21-23, 2013. Revised Selected Papers. Springer, 2014. p. 59-68 (Lecture Notes in Computer Science, Vol. 8315).

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

  22. Published

    Indium Tin Oxide-Free Polymer Solar Cells: Toward Commercial Reality. / Angmo, Dechan; Espinosa Martinez, Nieves; Krebs, Frederik C.

    Low-cost Nanomaterials : Toward Greener and More Efficient Energy Applications. ed. / Z. Lin; J. Wang. Springer, 2014. p. 189-225 (Green Energy and Technology).

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

  23. Published

    Integrating Renewables in Electricity Markets : Operational Problems. / Morales González, Juan Miguel; Conejo, Antonio J.; Madsen, Henrik; Pinson, Pierre; Zugno, Marco.

    Springer, 2014. 429 p. (International Series in Operations Research and Management Science, Vol. 205).

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

  24. Published

    Measurements and modeling of the wind profile up to 600 meters at a flat coastal site. / Batchvarova, Ekaterina; Gryning, Sven-Erik; Floors, Rogier Ralph; Vincent, Claire Louise; Peña, Alfredo; Mikkelsen, Torben.

    Air Pollution Modeling and its Application XXII. ed. / Douw G. Steyn; Peter J.H. Builtjes; Renske M.A. Timmermans. Springer, 2014. p. 565-569.

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

  25. Published

    Methods for dynamic investigations of surface-attached in vitro bacterial and fungal biofilms.. / Sternberg, Claus; Bjarnsholt, Thomas; Shirtliff, Mark.

    Microbial Biofi lms: Methods and Protocols. ed. / Donelli Gianfranco. Vol. 1147 Springer, 2014. p. 3-22 (Methods in Molecular Biology, Vol. 1147).

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

  26. Methods for service life prediction in refractory materials. / Cannio, M.; Boccaccini, Dino; Boccaccini, A.R.

    Encyclopedia of Thermal Stresses. ed. / R.B. Hetnarski. Springer, 2014. p. 3008-3018.

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

  27. Published

    Methods for studying biofilm formation: flow cells and confocal laser scanning microscopy.. / Tolker-Nielsen, Tim; Sternberg, Claus.

    Pseudomonas Methods and Protocols. ed. / Alain Filloux; Juan-Luis Ramos. Vol. 1149 Springer, 2014. p. 615-629 (Methods in Molecular Biology, Vol. 1149).

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

  28. Microstructural tailoring of thermal shock resistance in refractory materials. / Cannio, M.; Boccaccini, Dino; Leonelli, C.

    Encyclopedia of Thermal Stresses. ed. / R.B. Hetnarski. Springer, 2014. p. 3042-3056.

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

  29. New Methods for the Assessment of Thermal Shock Resistance in Refractory Materials. / Cannio, M.; Boccaccini, Dino; Romagnoli, M.

    Encyclopedia of Thermal Stresses. ed. / R.B. Hetnarski. Springer, 2014. p. 3293-3307.

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

  30. Published

    On the (In)Equivalence of Impossible Differential and Zero-Correlation Distinguishers for Feistel- and Skipjack-Type Ciphers. / Blondeau, Celine; Bogdanov, Andrey; Wang, Meiqin.

    Applied Cryptography and Network Security. Springer, 2014. (Lecture Notes in Computer Science, Vol. 8479).

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

  31. Published

    Parallel Processing and Applied Mathematics. 10th International Conference, PPAM 2013. Revised Selected Papers. / Wyrzykowski, Roman (Editor); Dongarra, Jack (Editor); Karczewski, Konrad (Editor); Wasniewski, Jerzy (Editor).

    Springer, 2014. 817 p. (Lecture Notes in Computer Science, Vol. 8384).

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

  32. Published

    Perceiving design as modelling: A cybernetic systems perspective. / Maier, Anja; Wynn, David C.; Howard, Thomas J.; Andreasen, Mogens Myrup.

    An Anthology of Theories and Models of Design: Philosophy, Approaches and Empirical Explorations. ed. / A. Chakrabarti; L.T.M. Blessing. Springer, 2014. p. 133-148.

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

  33. Published

    Planar Parametrization in Isogeometric Analysis. / Gravesen, Jens; Evgrafov, Anton ; Nguyen, Dang-Manh; Nørtoft, Peter.

    Mathematical Methods for Curves and Surfaces: 8th International Conference, MMCS 2012, Oslo, Norway, June 28 – July 3, 2012, Revised Selected Papers. Springer, 2014. (Lecture Notes in Computer Science, Vol. 8177).

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

  34. Published

    Reservoir Modeling Combining Geostatistics with Markov Chain Monte Carlo Inversion. / Zunino, Andrea; Lange, Katrine; Melnikova, Yulia; Hansen, Thomas Mejer; Mosegaard, Klaus.

    Mathematics of Planet Earth Lecture : Proceedings of the 15th Annual Conference of the International Association for Mathematical Geosciences. Springer, 2014. p. 683-687 (Lecture Notes in Earth Science).

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

  35. Published

    Smart Rotor Modeling: Aero-Servo-Elastic Modeling of a Smart Rotor with Adaptive Trailing Edge Flaps. / Bergami, Leonardo.

    Springer, 2014. 156 p. (Research Topics in Wind Energy, Vol. 3).

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

  36. Published

    Sublinear Space Algorithms for the Longest Common Substring Problem. / Kociumaka, Tomasz; Starikovskaya, Tatiana; Vildhøj, Hjalte Wedel.

    Algorithms - ESA 2014: Proceedings of the 22th Annual European Symposium 2014. ed. / Andreas S. Schulz; Dorothea Wagner. Springer, 2014. p. 605-617 (Lecture Notes in Computer Science, Vol. 8737).

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

  37. Published

    Synthetic Plasmid Biology. / Bentzon-Tilia, Mikkel; Sørensen, Søren Johannes; Hansen, Lars Hestbjerg.

    Molecular Life Sciences: An Encyclopedic Reference. Springer, 2014.

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

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

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

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

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

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

  43. 2013
  44. 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

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

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

  47. Published

    Agile Processes in Software Engineering and Extreme Programming : 14th International Conference, XP 2013, Vienna, Austria, June 3-7, 2013. Proceedings. / Baumeister, Hubert (Editor); Weber, Barbara (Editor).

    Springer, 2013. (Lecture Notes in Business Information Processing, Vol. 149).

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

  48. Published

    A multi-level and participatory model for prevention of work-related stress in knowledge work. / Ipsen, Christine; Andersen, Vibeke.

    Salutogenic organizations and change: The concepts behind organizational health intervention research. ed. / Georg F. Bauer; Gregor J. Jenny. Springer, 2013.

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

  49. Published

    An All-In-One Approach to Differential Cryptanalysis for Small Block Ciphers. / Albrecht, Martin Roland; Leander, Gregor.

    Selected Areas in Cryptography: 19th International Conference, SAC 2012, Windsor, ON, Canada, August 15-16, 2012, Revised Selected Papers. Springer, 2013. p. 1-15 (Lecture Notes in Computer Science, Vol. 7707).

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

  50. Published

    An Improved Optimization Method for the Relevance Voxel Machine. / Ganz, Melanie; Sabuncu, M. R.; Van Leemput, Koen.

    Machine Learning in Medical Imaging: 4th International Workshop, MLMI 2013, Held in Conjunction with MICCAI 2013, Nagoya, Japan, September 22, 2013. Proceedings. Springer, 2013. p. 147-154 (Lecture Notes in Computer Science, Vol. 8184).

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

  51. Published

    An LNS Approach for Container Stowage Multi-port Master Planning. / Pacino, Dario.

    Computational Logistics: 4th International Conference, ICCL 2013, Copenhagen, Denmark, September 25-27, 2013. Proceedings. Heidelberg : Springer, 2013. p. 35-44 (Lecture Notes in Computer Science, Vol. 8197).

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

  52. Published

    An Offer You Cannot Refuse: Obtaining Efficiency and Fairness in Preplay Negotiation Games with Conditional Offers. / Goranko, Valentin; Turrini, Paolo.

    Logic, Rationality, and Interaction: 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings. Springer, 2013. p. 110-123.

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

  53. Published

    Application for Wind Turbine Blades. / McGugan, Malcolm.

    New Trends in Structural Health Monitoring. ed. / Wieslaw Ostachowicz; Alfredo Güemes . Springer, 2013. p. 373-427 (International Centre for Mechanical Sciences. Courses and Lectures, Vol. 542).

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

  54. Published

    Applying mechanistic models in bioprocess development.. / Lencastre Fernandes, Rita; Bodla, Vijaya Krishna; Carlquist, Magnus; Heins, Anna-Lena; Eliasson Lantz, Anna; Sin, Gürkan; Gernaey, Krist V.

    Advances in Biochemical Engineering/Biotechnology . Springer, 2013. p. 137–166 (Advances in Biochemical Engineering. Biotechnology, Vol. 132).

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

  55. Published

    A Probabilistic, Non-parametric Framework for Inter-modality Label Fusion. / Iglesias, Juan Eugenio; Sabuncu, Mert Rory; Van Leemput, Koen.

    Medical Image Computing and Computer-Assisted Intervention – MICCAI 2013: 16th International Conference, Nagoya, Japan, September 22-26, 2013, Proceedings, Part III. Springer, 2013. p. 576-583 (Lecture Notes in Computer Science, Vol. 8151).

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

  56. Published

    A Seligman-Style Tableau System. / Blackburn, Patrick Rowan; Bolander, Thomas; Braüner, Torben; Jørgensen, Klaus Frovin.

    Logic for Programming, Artificial Intelligence, and Reasoning: 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings. Springer, 2013. p. 147-163.

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

  57. Published

    Binaural Localization and Detection of Speakers in Complex Acoustic Scenes. / May, Tobias; van de Par, S.; Kohlrausch, A.

    The Technology of Binaural Listening: Modern Acoustics and Signal Processing. ed. / Jens Blauert. Springer, 2013. p. 397-425.

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

  58. Published

    BioFET-SIM : A Tool for the Analysis and Prediction of Signal Changes in Nanowire-Based Field Effect Transistor Biosensors. / Hediger, M. R.; Martinez, K. L.; Nygård, J.; Brandbyge, Mads; Jensen, J. H.; De Vico, L.

    Nanoscale sensors. Springer, 2013. p. 55-86 (Lecture Notes in Nanoscale Science and Technology, Vol. 15).

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

  59. Published

    Bisimulation for Single-Agent Plausibility Models. / Andersen, Mikkel Birkegaard; Bolander, Thomas; van Ditmarsch, H.; Jensen, Martin Holm.

    AI 2013: Advances in Artificial Intelligence: 26th Australasian Joint Conference, Dunedin, New Zealand, December 1-6, 2013. Proceedings. Springer, 2013. p. 277-288 (Lecture Notes in Computer Science, Vol. 8272).

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

  60. Published

    Broadcast, Denial-of-Service, and Secure Communication. / Vigo, Roberto; Nielson, Flemming; Nielson, Hanne Riis.

    Integrated Formal Methods: 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013. Proceedings. Springer, 2013. p. 412-427 (Lecture Notes in Computer Science, Vol. 7940).

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

  61. Published

    Can comodulation masking release occur when frequency changes could promote perceptual segregation of the on-frequency and flanking bands?. / Verhey, Jesko L; Epp, Bastian; Stasiak, Arkadiusz; Winter, Ian M.

    Advances in Experimental Medicine and Biology. Vol. 787 Springer, 2013. p. 475-482 (Advances in Experimental Medicine and Biology).

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

  62. Published

    Change in mass and damping on vertically vibrating footbridges due to pedestrians. / Georgakis, Christos T.; Jørgensen, Nina G.

    Topics in Dynamics of Bridges, Volume 3: Proceedings of the 31st IMAC, A Conference on Structural Dynamics, 2013. ed. / Alvaro Cunha. Vol. 3 Springer, 2013. p. 37-45 (Conference Proceedings of the Society for Experimental Mechanics Series).

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

  63. Published

    Climate Change Impact Assessment of Dike Safety and Flood Risk in the Vidaa River System. / Madsen, H.; Sunyer Pinya, Maria Antonia; Larsen, J.; Madsen, M. N.; Møller, B.; Drückler, T.; Matzdorf, M.; Nicolaisen, J.

    Climate Change and Disaster Risk Management: Climate Change Management. ed. / W. Leal Filho. Springer, 2013. p. 583-595.

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

  64. Published

    Compact q-gram Profiling of Compressed Strings. / Bille, Philip; Cording, Patrick Hagge; Gørtz, Inge Li.

    Combinatorial Pattern Matching: 24th Annual Symposium, CPM 2013, Bad Herrenalb, Germany, June 17-19, 2013. Proceedings. Springer, 2013. p. 62-73 (Lecture Notes in Computer Science, Vol. 7922).

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

  65. Published

    Comparison of Algal Biodiesel Production Pathways Using Life Cycle Assessment Tool. / Singh, Anoop; Olsen, Stig Irving.

    Life Cycle Assessment of Renewable Energy Sources. Springer, 2013. p. 145-168 (Green Energy and Technology).

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

  66. Published

    Compositional Synthesis of Controllers from Scenario-Based Assume-Guarantee Specifications. / Greenyer, Joel; Kindler, Ekkart.

    Model-Driven Engineering Languages and Systems: 16th International Conference, MODELS 2013, Miami, FL, USA, September 29 – October 4, 2013. Proceedings. Springer, 2013. p. 774-789 (Lecture Notes in Computer Science, Vol. 8107).

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

  67. Published

    Computational Logistics : 4th International Conference, ICCL 2013, Copenhagen, Denmark, September 25-27, 2013, Proceedings. / Pacino, Dario (Editor); Voß, Stefan (Editor); Jensen, Rune Møller (Editor).

    Springer, 2013. 269 p. (Lecture Notes in Computer Science, Vol. 8197).

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

  68. Published

    Conceptual Pathway Querying of Natural Logic Knowledge Bases from Text Bases. / Andreasen, Troels; Bulskov, Henrik; Nilsson, Jørgen Fischer; Anker Jensen, Per; Lassen, Tine.

    Flexible Query Answering Systems: 10th International Conference, FQAS 2013, Granada, Spain, September 18-20, 2013. Proceedings. ed. / Henrik Legind Larsen; Maria J. Martin-Bautista; María Amparo Vila; Troels Andreasen; Henning Christiansen. Springer, 2013. p. 1-12 (Lecture Notes in Computer Science, Vol. 8132).

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

  69. Published

    Cormorants in Denmark : Re-enforced management and scientific evidence. / Jepsen, Niels; Olesen, Thomas.

    Human-Wildlife Conflicts in Europe: Fisheries and Fish-eating Vertebrates as a Model Case. ed. / Reinhard A. Klenke; Irene Ring; Andreas Kranz; Niels Jepsen; Felix Rauschmayer; Klaus Henle. Berlin : Springer, 2013. p. 165-183 (Environmental Science).

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

  70. Published

    Deciding between Conflicting Influences. / Jensen, Andreas Schmidt.

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

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

  71. Published

    Deciding bisimilarities on distributions. / Eisentraut, Christian; Hermanns, Holger; Krämer, Julia; Turrini, Andrea; Zhang, Lijun.

    Quantitative Evaluation of Systems: 10th International Conference, QEST 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings. Springer, 2013. p. 72-88 (Lecture Notes in Computer Science, Vol. 8054).

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

  72. Published

    Deciding on PSS: A Framework for PSS Strategies. / Neugebauer, Line Maria; Mougaard, Krestine; Andersen, Jakob Axel Bejbro; McAloone, Tim C.

    Product-Service Integration for Sustainable Solutions. Proceedings of the 5th CIRP International Conference on Industrial Product-Service Systems. ed. / Horst Meier. Springer, 2013. p. 299-310 (Lecture Notes in Production Engineering).

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

  73. Published

    Defining Privacy Is Supposed to Be Easy. / Mödersheim, Sebastian Alexander; Gross, Thomas; Viganò, Luca.

    Logic for Programming, Artificial Intelligence, and Reasoning: 19th International Conference, LPAR-19, Stellenbosch, South Africa, December 14-19, 2013. Proceedings. Springer, 2013. p. 619-635 (Lecture Notes in Computer Science, Vol. 8312).

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

  74. Published

    Detecting and Preventing Beacon Replay Attacks in Receiver-Initiated MAC Protocols for Energy Efficient WSNs. / Di Mauro, Alessio; Fafoutis, Xenofon; Mödersheim, Sebastian Alexander; Dragoni, Nicola.

    Secure IT Systems: 18th Nordic Conference, NordSec 2013, Ilulissat, Greenland, October 18-21, 2013, Proceedings. Springer, 2013. p. 1-16 (Lecture Notes in Computer Science, Vol. 8208).

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

  75. Published

    Development of a GPU-accelerated MIKE 21 Solver for Water Wave Dynamics. / Aackermann, Peter Edward ; Pedersen, Peter Juhler Dinesen; Engsig-Karup, Allan Peter; Clausen, Thomas; Grooss, Jesper.

    Facing the Multicore-Challenge III: Aspects of New Paradigms and Technologies in Parallel Computing. Springer, 2013. p. 129-130 (Lecture Notes in Computer Science, Vol. 7686).

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

  76. Published

    Diagrammatic Reasoning with Classes and Relationships. / Nilsson, Jørgen Fischer.

    Visual Reasoning with Diagrams. ed. / Amirouche Moktefi; Sun-Joo Shin. Springer, 2013. p. 83-100 (Studies in Universal Logic).

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

  77. Published

    Differences in Radiotherapy Delivery and Outcome Due to Contouring Variation. / Hollensen, Christian; Persson, Gitte; Højgaard, Liselotte; Specht, Lena; Larsen, Rasmus.

    Clinical Image-Based Procedures. From Planning to Intervention: International Workshop, CLIP 2012, Held in Conjunction with MICCAI 2012, Nice, France, October 5, 2012, Revised Selected Papers. Springer, 2013. p. 122-129 (Lecture Notes in Computer Science, Vol. 7761).

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

  78. Differential Cryptanalysis of Keccak Variants. / Kölbl, Stefan; Mendel, Florian; Nad, Tomislav; Schläffer, Martin.

    Cryptography and Coding: 14th IMA International Conference, IMACC 2013, Oxford, UK, December 17-19, 2013. Proceedings. Springer, 2013. p. 141-157 (Lecture Notes in Computer Science; No. 8308).

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

  79. Published

    Dynamical System Approaches to Combinatorial Optimization. / Starke, Jens.

    Handbook of Combinatorial Optimization. ed. / Panos M. Pardalos; Ding-Zhu Du; Ronald L. Graham. Springer, 2013. p. 1065-1124.

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

  80. Published

    Electrical Vehicles Activities Around the World. / Schauer, Gerd; Garcia-Valle, Rodrigo.

    Electric Vehicle Integration into Modern Power Networks . Springer, 2013. p. 273-319 .

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

  81. Published

    Energy Efficiency in Large Scale Distributed Systems : COST IC0804 European Conference, EE-LSDS 2013, Vienna, Austria, April 22-24, 2013, Revised Selected Papers. / Pierson, Jean-Marc (Editor); Da Costa, Georges (Editor); Dittmann, Lars (Editor).

    Springer, 2013. (Lecture Notes in Computer Science).

    Publication: ResearchBook – Annual report year: 2013

  82. Published

    Engineering a Multi-Agent System in GOAL. / Villadsen, Jørgen; Jensen, Andreas Schmidt; Christensen, Nicolai Christian ; Hess, Andreas Viktor ; Johnsen, Jannick Boese ; Woller, Øyvind Grønland ; Ørum, Philip Bratt .

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

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

  83. Published

    Extracting Sound-Source-Distance Information from Binaural Signals. / Georganti, E.; May, Tobias; van de Par, S.; Mourjopoulos, J.

    The Technology of Binaural Listening: Modern Acoustics and Signal Processing. ed. / Jens Blauert. Springer, 2013. p. 171-199.

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

  84. Published

    Extreme swimming: The oceanic migrations of anguillids. / Righton, David; Aarestrup, Kim; Jellyman, Don; Sébert, Philipe; Thillart, Guido van den; Tsukamoto, Katsumi.

    Swimming Physiology of Fish: Towards Using Exercise to Farm a Fit Fish in Sustainable Aquaculture. ed. / Arjan P. Palstra; Josep V. Planas. Berlin : Springer, 2013. p. 19-44.

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

  85. Published

    Fast, Sequence Adaptive Parcellation of Brain MR Using Parametric Models. / Puonti, Oula; Iglesias, Juan Eugenio; Van Leemput, Koen.

    Medical Image Computing and Computer-Assisted Intervention – MICCAI 2013: 16th International Conference, Nagoya, Japan, September 22-26, 2013, Proceedings, Part I. Springer, 2013. p. 727-734 (Lecture Notes in Computer Science, Vol. 8149).

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

  86. Published

    Fides: Lightweight Authenticated Cipher with Side-Channel Resistance for Constrained Hardware. / Bilgin, Begul; Bogdanov, Andrey; Knezevic, Miroslav; Mendel, Florian; Wang, Qingju.

    Cryptographic Hardware and Embedded Systems - CHES 2013: 15th International Workshop, Santa Barbara, CA, USA, August 20-23, 2013. Proceedings. Springer, 2013. p. 142-158 (Lecture Notes in Computer Science, Vol. 8086).

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

  87. Published

    Fingerprints in Compressed Strings. / Bille, Philip; Cording, Patrick Hagge; Gørtz, Inge Li; Sach, Benjamin; Vildhøj, Hjalte Wedel; Vind, Søren Juhl.

    Algorithms and Data Structures: 13th International Symposium, WADS 2013, London, ON, Canada, August 12-14, 2013. Proceedings. Springer, 2013. p. 146-157 (Lecture Notes in Computer Science, Vol. 8037).

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

  88. Published

    Formal Model-Based Validation for Tally Systems. / Cochran, Dermot; Kiniry, Joseph.

    E-Voting and Identify: 4th International Conference, Vote-ID 2013, Guildford, UK, July 17-19, 2013. Proceedings. Springer, 2013. p. 41-60 (Lecture Notes in Computer Science, Vol. 7985).

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

  89. Published

    Generating Protocol Software from CPN Models Annotated with Pragmatics. / Simonsen, Kent Inge; Kristensen, Lars M.; Kindler, Ekkart.

    Formal Methods: Foundations and Applications: 16th Brazilian Symposium, SBMF 2013, Brasilia, Brazil, September 29 - October 4, 2013, Proceedings. Springer, 2013. p. 227-242 (Lecture Notes in Computer Science, Vol. 8195).

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

  90. Published

    Genus Zero Graph Segmentation: Estimation of Intracranial Volume. / Jensen, Rasmus Ramsbøl; Thorup, Signe Strann; Paulsen, Rasmus Reinhold; Darvann, Tron A.; Hermann, Nuno V.; Larsen, Per; Kreiborg, Sven; Larsen, Rasmus.

    Image Analysis: 18th Scandinavian Conference, SCIA 2013, Espoo, Finland, June 17-20, 2013. Proceedings. Springer, 2013. p. 290-298 (Lecture Notes in Computer Science, Vol. 7944).

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

  91. Published

    Grid support capabilities of wind turbines. / Michalke, Gabriele ; Hansen, Anca Daniela.

    Handbook of Wind Power Systems. ed. / P. Pardalos; S. Rebennack; M.V.F. Pereira; N.A. Iliadis; V. Pappu. Springer, 2013. p. 569-590 (Energy Systems).

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

  92. Published

    Hazard Identification of the Offshore Three-phase Separation Process Based on Multilevel Flow Modeling and HAZOP. / Wu, Jing; Zhang, Laibin; Lind, Morten; Liang, Wei; Hu, Jinqiu; Jørgensen, Sten Bay; Sin, Gürkan; Khokhar, Zia Ullah.

    Proceedings of The 26th International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems (IEA/AIE). Springer, 2013. p. 421-430.

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

  93. Published

    Human - wildlife conflicts in Europe : Fisheries and fish-eating vertebrates as a model case. / Klenke, R.A. (Editor); Ring, I. (Editor); Kranz, A. (Editor); Jepsen, Niels (Editor); Rauschmayer, F. (Editor); Henle, K. (Editor).

    Berlin : Springer, 2013. 347 p. (Environmental Science).

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

  94. Published

    Importance of Life Cycle Assessment of Renewable Energy Sources. / Singh, Anoop (Editor); Olsen, Stig Irving (Editor); Pant, Deepak (Editor).

    Life Cycle Assessment of Renewable Energy Sources. Springer, 2013. p. 1-12 (Green Energy and Technology).

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

  95. Published

    Improved Impossible Differential Attacks on Large-Block Rijndael. / Wang, Qingju; Gu, Dawu; Rijmen, Vincent; Liu, Ya; Chen, Jiazhe; Bogdanov, Andrey.

    Information Security and Cryptology – ICISC 2012: 15th International Conference, Seoul, Korea, November 28-30, 2012, Revised Selected Papers. Springer, 2013. p. 126-140 (Lecture Notes in Computer Science, Vol. 7839).

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

  96. Incentives in Multi-dimensional Auctions under Information Asymmetry for Costs and Qualities. / Papakonstantinou, Athanasios; Bogetoft, Peter.

    Agent-Mediated Electronic Commerce: Designing Trading Strategies and Mechanisms for Electronic Markets. ed. / Ester David; Christopher Kiekintveld; Onn Shebory. Springer, 2013. p. 104–118 (Lecture Notes in Business Information Processing, Vol. 136).

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

  97. Published

    Influences of Morphology and Doping on the Photoactivity of TiO2 Nanostructures. / Barakat, N. A. M.; Kanjwal, Muzafar Ahmad.

    Structural Nanocomposites: Perspectives for Future Applications. ed. / James Njuguna. London : Springer, 2013. p. 105-141.

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

  98. Published

    Is Synthesizing MRI Contrast Useful for Inter-modality Analysis?. / Iglesias, Juan Eugenio; Konukoglu, Ender; Zikic, Darko; Glocker, Ben; Van Leemput, Koen; Fischl, Bruce.

    Medical Image Computing and Computer-Assisted Intervention – MICCAI 2013: 16th International Conference, Nagoya, Japan, September 22-26, 2013, Proceedings, Part I. Springer, 2013. p. 631-638 (Lecture Notes in Computer Science, Vol. 8149).

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

  99. Published

    Lazy Mobile Intruders. / Mödersheim, Sebastian Alexander; Nielson, Flemming; Nielson, Hanne Riis.

    Principles of Security and Trust: Second International Conference, POST 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings. Springer, 2013. p. 147-166 (Logical Methods in Computer Science, Vol. 7796).

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

  100. Published

    Lessons Learned in Designing User-configurable Modular Robotics. / Lund, Henrik Hautop .

    Proceedings of 2nd International Conference on Robot Intelligence and Applications. Springer, 2013.

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

  101. Published

    Life Cycle Assessment of Renewable Energy Sources. / Singh, Anoop (Editor); Pant, Deepak (Editor); Olsen, Stig Irving (Editor).

    Springer, 2013. 293 p. (Green Energy and Technology).

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

  102. Published

    Marine Gravity and Geoid from Satellite Altimetry. / Andersen, Ole Baltazar.

    Geoid Determination - Theory and Methods. ed. / Fernando Sansò; Michael G. Sideris. Springer, 2013. p. 401-451 (Lecture Notes in Earth Sciences, Vol. 110).

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

  103. Published

    Maximizing Entropy over Markov Processes. / Biondi, Fabrizio; Legay, Axel; Nielsen, Bo Friis; Wąsowski, Andrzej.

    Language and Automata Theory and Applications: 7th International Conference, LATA 2013, Bilbao, Spain, April 2-5, 2013. Proceedings. Springer, 2013. p. 128-140 (Lecture Notes in Computer Science, Vol. 7810).

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

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