Springer, 0-387

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

    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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  34. 2013
  35. 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

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

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

  38. 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: ResearchBook – Annual report year: 2013

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  55. Published

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

    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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  70. Published

    Electric Vehicle Integration into Modern Power Networks. / Garcia-Valle, Rodrigo (Editor); Lopes, João A. Peças (Editor).

    Springer, 2013.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

  94. Published

    Measuring Sandy Bottom Dynamics by Exploiting Depth from Stereo Video Sequences. / Musumeci, Rosaria E.; Farinella, Giovanni M.; Foti, Enrico; Battiato, Sebastiano; Petersen, Thor Ugelvig; Sumer, B. Mutlu.

    Image Analysis and Processing – ICIAP 2013. Vol. 8156 Springer, 2013. p. 420-430 (Lecture Notes in Computer Science, Vol. 8156).

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

  95. Published

    Medical Information Retrieval Enhanced with User's Query Expanded with Tag-Neighbors. / Durao, Frederico; Bayyapu, Karunakar Reddy; Xu, Guandong; Dolog, Peter; Lage, Ricardo.

    Handbook of Medical and Healthcare Technologies. Vol. Part I Springer, 2013. p. 17-40 .

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

  96. Published

    MITHYS: Mind The Hand You Shake - Protecting Mobile Devices from SSL Usage Vulnerabilities. / Conti, M.; Dragoni, Nicola; Gottardo, S.

    Security and Trust Management: 9th International Workshop, STM 2013, Egham, UK, September 12-13, 2013. Proceedings. Springer, 2013. p. 65-81 (Lecture Notes in Computer Science, Vol. 8203).

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

  97. Published

    MOCQL: A Declarative Language for Ad-Hoc Model Querying. / Störrle, Harald.

    Modelling Foundations and Applications: 9th European Conference, ECMFA 2013, Montpellier, France, July 1-5, 2013. Proceedings. Springer, 2013. p. 3-19 (Lecture Notes in Computer Science, Vol. 7949).

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

  98. Published

    Modeling Horizontal Localization of Complex Sounds in the Impaired and Aided Impaired Auditory System. / Le Goff, Nicolas; Buchholz, J. M.; Dau, Torsten.

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

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

  99. Published

    Modelling speech intelligibility in adverse conditions.. / Jørgensen, Søren; Dau, Torsten.

    Basic Aspects of Hearing: Advances in Experimental Medicine and Biology. Vol. 787 Springer, 2013. p. 343-351 (Advances in Experimental Medicine and Biology).

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

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

  101. Published

    Multilevel Flow Modeling Based Decision Support System and Its Task Organization. / Zhang, Xinxin; Lind, Morten; Ravn, Ole.

    Lecture Notes in Computer Science : Recent Trends in Applied Artificial Intelligence . Vol. 7906 Springer, 2013. p. 431-440.

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

  102. Published

    Next-Practise in University Research Based Open Innovation - From Push to Pull: Case Studies from Denmark. / Rønnow Lønholdt, Jens; Wilken Bengtsson, Mille ; Karlby, Lone Tolstrup; Skovgaard Lund, Dorthe; Møller, Carsten; Nielsen, Jacob; Schwarz, Annette Winkel; Ulbak, Kristoffer Amlani.

    Innovation through Knowledge Transfer 2012. Vol. 18 Springer, 2013. p. 61-77 (Smart Innovation, Systems and Technologies).

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

  103. Published

    Ni-Based Solid Oxide Cell Electrodes. / Mogensen, Mogens Bjerg; Holtappels, Peter.

    Solid Oxide Fuels Cells: Facts and Figures: Past, Present and Future Perspectives for SOFC Technologies. ed. / John T.S. Irvine; Paul Connor. Springer, 2013. p. 25-45 (Green Energy and Technology).

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

  104. Published

    On Feature Relevance in Image-Based Prediction Models: An Empirical Study. / Konukoglu, E.; Ganz, Melanie; Van Leemput, Koen; Sabuncu, M. R.

    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. 171-178 (Lecture Notes in Computer Science, Vol. 8184).

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

  105. Published

    On the relationship between LTL normal forms and Büchi automata. / Li, Jianwen; Pu, Geguang; Zhang, Lijun; Wang, Zheng; He, Jifeng; Guldstrand Larsen, Kim.

    Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday. Springer, 2013. p. 256-270 (Lecture Notes in Computer Science, Vol. 8051).

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

  106. Published

    Optical Coherence Tomography: Advanced Modeling. / Andersen, Peter E.; Thrane, Lars; Yura, Harold T.; Tycho, Andreas; Jørgensen, Thomas Martini.

    Handbook of Coherent-Domain Optical Methods: Biomedical Diagnostics, Environmental Monitoring, and Materials Science. ed. / Valery V. Tuchin. Springer, 2013. p. 743-798.

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

  107. Published

    Parallelizable and Authenticated Online Ciphers. / Andreeva, Elena; Bogdanov, Andrey; Luykx, Atul; Mennink, Bart; Tischhauser, Elmar Wolfgang; Yasuda, Kan.

    Advances in Cryptology. 19th International Conference on the Theory and Application of Cryptology and Information Security. ed. / Kazue Sako; Palash Sarkar. Springer, 2013. p. 424-443 (Lecture Notes in Computer Science, Vol. 8269).

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

  108. Published

    Physicians’ Progress Notes : The Integrative Core of the Medical Record. / Bansler, Jørgen; Havn, Erling C.; Mønsted, Troels; Schmidt, Kjeld; Hastrup Svendsen, Jesper .

    Proceedings of the 13th European Conference on Computer Supported Cooperative Work (ECSCW 2013). ed. / O.W. Bertelsen. london : Springer, 2013. p. 123-142.

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

  109. Published

    Planning using dynamic epistemic logic: Correspondence and complexity. / Jensen, Martin Holm.

    Logic, Rationality, and Interaction: 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings. Springer, 2013. p. 316-320 (Lecture Notes in Computer Science, Vol. 8196).

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

  110. Published

    Playful Interaction with Voice Sensing Modular Robots. / Heesche, Bjarke; MacDonald, Ewen; Fogh, Rune; Pacheco, Moises; Christensen, David Johan.

    Proceedings of ICSR 2013. Springer, 2013. p. 180–189 (Lecture Notes in Artificial Intelligence, Vol. 8239).

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

  111. Published

    Playware Explorations in Robot Art. / Lund, Henrik Hautop ; Pagliarini, Luigi.

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

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

  112. Published

    Preface. / Jensen, Rune Møller; Pacino, Dario; Voß, Stefan.

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

    Publication: ResearchPreface/postscript – Annual report year: 2013

  113. Published

    Probabilistic Analysis of the Quality Calculus. / Nielson, Hanne Riis; Nielson, Flemming.

    Formal Techniques for Distributed Systems: Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings. Springer, 2013. p. 258-272 (Lecture Notes in Computer Science, Vol. 7892).

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

  114. Prototypical Implementation of a Remanufacturing Oriented Grinding Machine. / da Silva, Eraldo Jannone; Ometto, Aldo Roberto; Rozenfeld, Henrique; Silva, Diogo A. Lopes; Antelmi Pigosso, Daniela Cristina; Alves Reis, vinicius Ricco.

    Leveraging Technology for a Sustainable World: Proceedings of the 19th CIRP Conference on Life Cycle Engineering, University of California at Berkeley, Berkeley, USA, May 23 - 25, 2012. ed. / David A. Dornfeld; Barbara S. Linke. Springer, 2013. p. 257-262.

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

  115. Published

    Reimplementing a Multi-Agent System in Python. / Villadsen, Jørgen; Jensen, Andreas Schmidt; Ettienne, Mikko Berggren; Vester, Steen; Andersen, Kenneth Balsiger; Frøsig, Andreas.

    Programming Multi-Agent Systems: 10th International Workshop, ProMAS 2012, Valencia, Spain, June 5, 2012, Revised Selected Papers. ed. / Mehdi Dastani; Jomi F. Hübner; Brian Logan. Springer, 2013. p. 205-216 (Lecture Notes in Computer Science, Vol. 7837).

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

  116. Published

    Revisiting Weak Simulation for Substochastic Markov Chains. / Jansen, David N.; Song, Lei; Zhang, Lijun.

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

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

  117. Published

    Safety versus Security in the Quality Calculus. / Nielson, Hanne Riis; Nielson, Flemming.

    Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday. Springer, 2013. p. 285-303 (Lecture Notes in Computer Science, Vol. 8051).

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

  118. Published

    Satellite Remote Sensing in Offshore Wind Energy. / Hasager, Charlotte Bay; Badger, Merete; Astrup, Poul; Karagali, Ioanna.

    Handbook of Wind Power Systems. ed. / Panos M. Pardalos; Steffen Rebennack; Mario V. F. Pereira; Niko A. Iliadis; Vijay Pappu. Springer, 2013. p. 711-745 (Energy Systems).

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

  119. Published

    Secure IT Systems : 18th Nordic Conference, NordSec 2013, Ilulissat, Greenland, October 18-21, 2013, Proceedings. / Nielson, Hanne Riis (Editor); Gollmann, Dieter (Editor).

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

    Publication: ResearchBook – Annual report year: 2013

  120. Published

    Security Games for Cyber-Physical Systems. / Vigo, Roberto; Bruni, Alessandro; Yuksel, Ender.

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

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

  121. Published

    Seeking Constructive Synergy: Design Science and the Constructive Research Approach. / Piirainen, Kalle; Gonzalez, Rafael A. .

    Design Science at the Intersection of Physical and Virtual Design - Proceedings of the 8th International Conference. Springer, 2013. p. 59-72 (Lecture Notes in Computer Science; No. 7939).

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

  122. Published

    Selected Areas in Cryptography : 19th International Conference, SAC 2012, Windsor, ON, Canada, August 15-16, 2012, Revised Selected Papers. / Knudsen, Lars Ramkilde (Editor); Wu, Huapeng (Editor).

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

    Publication: ResearchBook – Annual report year: 2013

  123. Published

    Sparse suffix tree construction in small space. / Bille, Philip; Fischer, Johannes; Gørtz, Inge Li; Kopelowitz, Tsvi; Sach, Benjamin; Vildhøj, Hjalte Wedel.

    Automata, Languages, and Programming: 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part I. Springer, 2013. p. 148-159 (Lecture Notes in Computer Science, Vol. 7965).

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

  124. Published

    State of the Art on Different Types of Electric Vehicles. / Soares, F. J. ; Almeida, P.M. Rocha Almeida; Lopes, J.A. Pecas; Garcia-Valle, Rodrigo; Marra, Francesco.

    Electric Vehicle Integration into Modern Power Networks. Springer, 2013. p. 1-13.

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

  125. Published

    Statistical Quality Assessment of Pre-fried Carrots Using Multispectral Imaging. / Sharifzadeh, Sara; Clemmensen, Line Katrine Harder; Løje, Hanne; Ersbøll, Bjarne Kjær.

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

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

  126. Published

    Synthetic Aperture Radar Data Processing on an FPGA Multi-Core System. / Schleuniger, Pascal; Kusk, Anders; Dall, Jørgen; Karlsson, Sven .

    Architecture of Computing Systems – ARCS 2013: 26th International Conference, Prague, Czech Republic, February 19-22, 2013. Proceedings. Springer, 2013. p. 74-85 (Lecture Notes in Computer Science, Vol. 7767).

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

  127. Published

    Systematic Approach to Formulate PSS Development Project Proposals in the Fuzzy Front End. / Barquet, Ana Paula B.; Antelmi Pigosso, Daniela Cristina; Rozenfeld, Henrique.

    Product-Service Integration for Sustainable Solutions: Proceedings of the 5th CIRP International Conference on Industrial Product-Service Systems, Bochum, Germany, March 14th - 15th, 2013. ed. / Horst Meier. Springer, 2013. p. 121-130 (Lecture Notes in Production Engineering).

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

  128. Published

    System-Level Optimization of a DAC for Hearing-Aid Audio Class D Output Stage. / Pracný, Peter ; Jørgensen, Ivan Harald Holger; Bruun, Erik.

    Technological Innovation for the Internet of Things : 4th IFIP WG 5.5/SOCOLNET Doctoral Conference on Computing, Electrical and Industrial Systems. Vol. 394 Springer, 2013. p. 647-654 (IFIP AICT - Advances in Information and Communication technology, Vol. 394).

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

  129. Published

    Tableaux-Based Decision Method for Single-Agent Linear Time Synchronous Temporal Epistemic Logics with Interacting Time and Knowledge. / Ajspur, Mai; Goranko, Valentin.

    Logic and Its Applications: 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings. Springer, 2013. p. 80-96 (Lecture Notes in Computer Science, Vol. 7750).

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

  130. Published

    Targeted Metabolic Engineering Guided by Computational Analysis of Single-Nucleotide Polymorphisms (SNPs). / Udatha, D B R K Gupta; Rasmussen, Simon; Sicheritz-Pontén, Thomas; Panagiotou, Gianni.

    Systems Metabolic Engineering : Methods and Protocols. Springer, 2013. p. 409-428 (Methods in Molecular Biology, Vol. 985).

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

  131. Published

    Terahertz Spectroscopy of Crystalline and Non-Crystalline Solids. / Parrott, Edward P. J.; Fischer, Bernd M.; Gladden, Lynn F.; Zeitler, J. Axel; Jepsen, Peter Uhd.

    Terahertz Spectroscopy and Imaging. Springer, 2013. p. 191-227 (Springer Series in Optical Sciences, Vol. 171).

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

  132. Published

    The Quest for Minimal Quotients for Probabilistic Automata. / Eisentraut, Christian; Hermanns, Holger; Schuster, Johann; Turrini, Andrea; Zhang, Lijun.

    Tools and Algorithms for the Construction and Analysis of Systems: 19th International Conference, TACAS 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. 16-31 (Lecture Notes in Computer Science, Vol. 7795).

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

  133. Published

    Time-Space Trade-Offs for the Longest Common Substring Problem. / Starikovskaya, Tatiana; Vildhøj, Hjalte Wedel.

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

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

  134. Published

    Towards a CPN-Based Modelling Approach for Reconciling Verification and Implementation of Protocol Models. / Simonsen, Kent Inge; Kristensen, Lars Michael.

    Model-Based Methodologies for Pervasive and Embedded Software: 8th International Workshop, MOMPES 2012, Essen, Germany, September 4, 2012. Revised Papers. Springer, 2013. p. 106-125 (Lecture Notes in Computer Science, Vol. 7706).

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

  135. Published

    Towards an Operationalization of the “Physics of Notations” for the Analysis of Visual Languages. / Störrle, Harald; Fish, Andrew.

    Model-Driven Engineering Languages and Systems. Springer, 2013. p. 104-120 (Lecture Notes in Computer Science, Vol. 8107).

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

  136. Published

    Tree compression with top trees. / Bille, Philip; Gørtz, Inge Li; Landau, Gad M.; Weimann, Oren.

    Automata, Languages, and Programming: 40th International Colloquium, ICALP 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part I. Springer, 2013. p. 160-171 (Lecture Notes in Computer Science, Vol. 7965).

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

  137. Upper Ontology for Multi-Agent Energy Systems’ Applications. / Santos, Gabriel; Pinto, Tiago; Vale, Zita; Morais, Hugo; Praca, Isabel.

    Distributed Computing and Artificial Intelligence: Advances in Intelligent Systems and Computing. ed. / Sigeru Omatu; Jose Neves. Vol. 217 Springer, 2013. p. 617-624.

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

  138. Published

    What Genes Tell about Iris Appearance. / Harder, Stine; Christoffersen, Susanne R.; Johansen, Peter; Børsting, Claus; Morling, Niels; Andersen, Jeppe D.; Dahl, Anders Lindbjerg; Paulsen, Rasmus Reinhold.

    Medical Computer Vision. Recognition Techniques and Applications in Medical Imaging: Second International MICCAI Workshop, MCV 2012, Nice, France, October 5, 2012, Revised Selected Papers. Springer, 2013. p. 244-253 (Lecture Notes in Computer Science, Vol. 7766).

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

  139. Published

    XACML 3.0 in Answer Set Programming. / Ramli, Carroline Dewi Puspa Kencana; Nielson, Hanne Riis; Nielson, Flemming.

    Logic-Based Program Synthesis and Transformation: 22nd International Symposium, LOPSTR 2012, Leuven, Belgium, September 18-20, 2012, Revised Selected Papers. Springer, 2013. p. 89-105 (Lecture Notes in Computer Science, Vol. 7844).

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

  140. 2012
  141. Published

    A branch-and-price algorithm for the long-term home care scheduling problem. / Gamst, Mette; Jensen, Thomas Sejr.

    Operations Research Proceedings 2011: Selected Papers of the International Conference on Operations Research. ed. / Diethard Klatte; Hans-Jakob Lüthi; Karl Schmedders. Springer, 2012. p. 483-488 (Operations Research Proceedings).

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

  142. Published

    Absorption Kinetics of Insulin Mixtures after Subcutaneous Administration. / Rasmussen, Christian H.; Søeborg, Tue; Mosekilde, Erik; Colding-Jorgensen, Morten.

    Biosimulation in Biomedical Research, Health Care and Drug Development. Springer, 2012. p. 329-359.

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

  143. Published

    A generative model for probabilistic label fusion of multimodal data. / Iglesias, Juan Eugenio; Sabuncu, Mert Rory; Van Leemput, Koen.

    Multimodal Brain Image Analysis: Second International Workshop, MBIA 2012, Held in Conjunction with MICCAI 2012, Nice, France, October 1-5, 2012. Proceedings. Springer, 2012. p. 115–133 (Lecture Notes in Computer Science, Vol. 7509).

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

  144. Published

    A look back: 57 years of scientific computing. / Wasniewski, Jerzy.

    Parallel Processing and Applied Mathematics: 9th International Conference, PPAM 2011. ed. / Roman Wyrzykowski ; Jack Dongarra; Konrad Karczewski; Jerzy Wasniewski. Springer, 2012. p. 1-9 (Lecture Notes in Computer Science, Vol. 7203).

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

  145. Published

    Automated Generation of Safety Requirements from Railway Interlocking Tables. / Haxthausen, Anne Elisabeth.

    Leveraging Applications of Formal Methods, Verification andValidation: Applications and Case Studies, Part II. Springer, 2012. p. 261-275 (Lecture Notes in Computer Science, Vol. 7610).

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

  146. Published

    Auto-tuning Dense Vector and Matrix-vector Operations for Fermi GPUs. / Sørensen, Hans Henrik Brandenborg.

    Parallel Processing and Applied Mathematics: 9th International Conference, PPAM 2011. ed. / Roman Wyrzykowski; Jack Dongarra; Konrad Karczewski; Jerzy Wasniewski. Springer, 2012. p. 619-629 (Lecture Notes in Computer Science, Vol. 7203).

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

  147. Published

    Bayesian methods in structural bioinformatics. / Hamelryck, Thomas Wim (Editor); Mardia, Kanti (Editor); Ferkinghoff-Borg, Jesper (Editor).

    Springer, 2012. 385 p. (Statistics for Biology and Health, Springer).

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

  148. Published

    Belief Bisimulation for Hidden Markov Models Logical Characterisation and Decision Algorithm. / Jansen, David N.; Nielson, Flemming; Zhang, Lijun.

    NASA Formal Methods: 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3-5, 2012. Proceedings. Springer, 2012. p. 326-340 (Lecture Notes in Computer Science, Vol. 7226).

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

  149. Published

    Bicliques for Preimages: Attacks on Skein-512 and the SHA-2 Family. / Khovratovich, Dmitry; Rechberger, Christian; Savelieva, Alexandra.

    Fast Software Encryption: 19th International Workshop, FSE 2012, Washington, DC, USA, March 19-21, 2012. Revised Selected Papers. Springer, 2012. p. 244-263 (Lecture Notes in Computer Science, Vol. 7549).

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

  150. Published

    Business Process Management : 10th International Conference, BPM 2012 Proceedings. / Barros, Alistair (Editor); Gal, Avigdor (Editor); Kindler, Ekkart (Editor).

    Springer, 2012. (Lecture Notes in Computer Science, Vol. 7481).

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

  151. Published

    Case Study on Printed Matter in Denmark. / Larsen, Henrik Fred.

    Global Risk-Based Management of Chemical Additives Volume 1: Production, Usage and Environmental Occurrence. Springer, 2012. p. 167-181 (The Handbook of Environmental Chemistry; No. 18).

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

  152. Published

    Climate impacts on the Baltic Sea: From science to policy. / Reckermann, Marcus (Editor); Brander, Keith (Editor); MacKenzie, Brian (Editor); Omstedt, Anders (Editor).

    Berlin : Springer, 2012. 216 p. (Springer Earth System Sciences).

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

  153. Published

    Collaborative Product/Service-Systems – On conceptualisation of PSS offerings and business nets. / Mougaard, Krestine; Neugebauer, Line Maria; McAloone, Tim C.; Bey, Niki; Andersen, Jakob Axel Bejbro.

    The Philosopher's Stone for Sustainability: Proceedings of the 4th CIRP International Conference on Industrial Product-Service Systems. ed. / Yoshiki Shimomura; Koji Komita. Springer, 2012.

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

  154. Comparison between 2PB and 4PB methodologies based on the dissipated energy approach. / Pettinari, Matteo; Sangiorgi, C.; Petretto, F.; Picariello, F.

    7th RILEM International conference on cracking in pavements: Mechanisms, modeling, testing, detection, prevention and case histories. Vol. 4 Springer, 2012. p. 31-39 (RILEM Bookseries).

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

  155. Published

    Complex Strategic Choices : Applying Systemic Planning for Strategic Decision Making. / Leleur, Steen.

    Springer, 2012. 168 p. (Decision Engineering).

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

  156. Published

    Concepts in Mechanism Based Modeling. / Lund, Ole; Laugesen, Jakob Lund; Mosekilde, Erik.

    Biosimulation in Biomedical Research, Health Care and Drug Development. Springer, 2012. p. 19-41.

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

  157. Published

    Conditional Epistemic Planning. / Andersen, Mikkel Birkegaard; Bolander, Thomas; Jensen, Martin Holm.

    Logics in Artificial Intelligence: 13th European Conference, JELIA 2012, Toulouse, France, September 26-28, 2012. Proceedings. Springer, 2012. p. 94-106 (Lecture Notes in Computer Science, Vol. 7519).

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

  158. Published

    Controlling Parametric Resonance : Induction and Stabilization of Unstable Motions. / Galeazzi, Roberto; Pettersen, Kristin Ytterstad.

    Parametric Resonance in Dynamical Systems. ed. / T.I. Fossen; H Nijmeijer. Vol. 4 Springer, 2012. p. 305-327.

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

  159. Published

    Crowd-induced vibrations of a steel footbridge in Reykjavík. / Ingólfsson, Einar Thór; Gudmundsson, G. V.; Živanović, S.; Pavic, A.

    Conference Proceedings of the Society for Experimental Mechanics Series. Springer, 2012.

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

  160. Published

    Data Acquisition and Flux Calculations. / Rebmann, C.; Kolle, O; Heinesch, B; Queck, R.; Ibrom, Andreas; Aubinet, M.

    Eddy Covariance: A Practical Guide to Measurement and Data Analysis. ed. / Marc Aubinet; Timo Vesala; Dario Papale. Springer, 2012. p. 59-84.

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

  161. Published

    Data Driven Constraints for the SVM. / Darkner, Sune; Clemmensen, Line Katrine Harder.

    Machine Learning in Medical Imaging: Third International Workshop, MLMI 2012, Held in Conjunction with MICCAI 2012, Nice, France, October 1, 2012, Revised Selected Papers. Springer, 2012. p. 70-77 (Lecture Notes in Computer Science, Vol. 7588).

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

  162. Published

    Deciding Security for a Fragment of ASLan. / Mödersheim, Sebastian Alexander.

    Computer Security – ESORICS 2012: 17th European Symposium on Research in Computer Security, Pisa, Italy, September 10-12, 2012. Proceedings. Springer, 2012. p. 127-144 (Lecture Notes in Computer Science, Vol. 7459).

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

  163. Published

    Decoding Complex Cognitive States Online by Manifold Regularization in Real-Time fMRI. / Hansen, Toke Jansen; Hansen, Lars Kai; Madsen, Kristoffer Hougaard.

    Machine Learning and Interpretation in Neuroimaging: International Workshop, MLINI 2011, Held at NIPS 2011, Sierra Nevada, Spain, December 16-17, 2011, Revised Selected and Invited Contributions. Springer, 2012. p. 76-83 (Lecture Notes in Computer Science, Vol. 7263).

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

  164. Published

    Designing competitions for education in robotics. / Andersen, Nils Axel; Ravn, Ole.

    Advances in Autonomous Robotics. ed. / Guido Herrmann; Matthew Studley. Springer, 2012. p. 140-151 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 7429).

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

  165. Published

    Design Principles for Synthesizable Processor Cores. / Schleuniger, Pascal; McKee, Sally A.; Karlsson, Sven .

    Architecture of Computing Systems – ARCS 2012: 25th International Conference Munich, Germany, February 28 – March 2, 2012 Proceedings. Springer, 2012. p. 111-122 (Lecture Notes in Computer Science, Vol. 7179).

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

  166. Published

    Detection of Parametric Roll on Ships. / Galeazzi, Roberto; Blanke, Mogens; Poulsen, Niels Kjølstad.

    Parametric Resonance in Dynamical Systems . ed. / Thor I. Fossen; Henk Nijmeijer. Springer, 2012. p. 17-43.

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

  167. Published

    Dry etching for flat panel displays. / Stamate, Eugen; Yeom, Geun Young.

    Handbook of Visual Display Technology. ed. / Janglin Chen; Wayne Cranton; Mark Fihn. Springer, 2012. p. 871-884.

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

  168. Ecodesign Maturity Model: the Ecodesign Practices. / Antelmi Pigosso, Daniela Cristina; Rozenfeld, Henrique.

    Design for Innovative Value Towards a Sustainable Society : Proceedings of EcoDesign 2011: 7th International Symposium on Environmentally Conscious Design and Inverse Manufacturing. ed. / Mitsutaka Matsumoto; Yasushi Umeda; Keijiro Masui; Shinichi Fukushige. Springer, 2012. p. 424-429.

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

  169. Effect of different wet oxidation pretreatment conditions on ethanol fermentation from corn stover. / Qiang, Zhang; Thomsen, Anne Belinda.

    Information technology and agricultural engineering. ed. / Egui Zhu; Sabu Sambath. Springer, 2012. p. 953-958 (Advances in Intelligent and Soft Computing, Vol. 134).

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

  170. Published

    Emergence of Oscillatory Dynamics : Biosimulation in Biomedical Research, Health Care and Drug Development. / Laugesen, Jakob Lund; Mosekilde, Erik.

    Biosimulation in Biomedical Research, Health Care and Drug Development. Springer, 2012. p. 69-95.

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

  171. Published

    Emission control strategies for short-chain chloroparaffins in two semi-hypothetical case cities. / Eriksson, Eva; Revitt, M.; Lützhøft, Hans-Christian Holten; Viavattene, C.; Scholes, L.; Mikkelsen, Peter Steen.

    Urban environment: Proceedings of the 10th Urban Environment Symposium. ed. / Sébastien Rauch; Gregory M. Morrison. Springer, 2012. p. 213-223 (Alliance for Global Sustainability Bookseries; No. 19).

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

  172. Published

    Enabling multimode wireless access networks using remote radio heads. / Kardaras, Georgios; Soler, José; Dittmann, Lars.

    7th International ICST Conference on Broadband Communications, Networks, and Systems. Springer, 2012. p. 429-434 (Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering).

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

  173. Published

    Estimating the Probabilities of Low-Weight Differential and Linear Approximations on PRESENT-like Ciphers. / Abdelraheem, Mohamed Ahmed.

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

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

  174. Published

    Evaluation of Vertical Profiles in Mesoscale Meteorological Models Based on Observations for the COST728 Study of Winter 2003 PM Episodes in Europe. / Gryning, Sven-Erik; Batchvarova, Ekaterina; Quante, Marcus; Matthias, V.

    Air Pollution Modeling and its Application XXI. Dordrecht : Springer, 2012. p. 499-503.

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

  175. Published

    Fast and Cache-Oblivious Dynamic Programming with Local Dependencies. / Bille, Philip; Stöckel, Morten.

    Language and Automata Theory and Applications: 6th International Conference, LATA 2012 A Coruña, Spain, March 5-9, 2012 Proceedings. Springer, 2012. p. 131–142 (Lecture Notes in Computer Science, Vol. 7183).

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

  176. Published

    From Explicit to Symbolic Types for Communication Protocols in CCS. / Nielson, Hanne Riis; Nielson, Flemming; Kreiker, Jörg; Pilegaard, Henrik.

    Formal Modeling: Actors, Open Systems, Biological Systems: Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday. Springer, 2012. p. 74-89 (Lecture Notes in Computer Science; No. 7000).

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

  177. Published

    From Genome Sequence to Taxonomy - A Skeptic’s View. / Özen, Asli Ismihan; Vesth, Tammi Camilla; Ussery, David.

    The Prokaryotes. ed. / Rosenberg E.2012 : Springer, 2012.

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

  178. Published

    From PA(X) to RPAM(X). / Markvorsen, Steen.

    Raising Public Awareness of Mathematics. Springer, 2012. p. 255-267.

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

  179. Published

    Gender Recognition Using Cognitive Modeling. / Fagertun, Jens; Andersen, Tobias; Paulsen, Rasmus Reinhold.

    Computer Vision – ECCV 2012: Workshops and Demonstrations, Part II. Springer, 2012. p. 300-308 (Lecture Notes in Computer Science, Vol. 7584).

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

  180. Published
  181. Published

    Hardware Support for Embedded Java. / Schoeberl, Martin.

    Distributed, Embedded and Real-time Java Systems. ed. / M. Teresa Higuera-Toledano; Andy J. Wellings. Springer, 2012. p. 159-176.

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

  182. Published

    Heuristic Optimization Techniques for Determining Optimal Reserve Structure of Power Generating Systems. / Ding, Yi; Goel, Lalit ; Wang, Peng; Sun, Yuanzhang; Loh, Poh Chiang ; Wu, Qiuwei.

    Recent Advances in System Reliability: Signatures, Multi-state Systems and Statistical Inference. ed. / Anatoly Lisnianski; Ilia Frenkel . Springer, 2012. p. 145-154 (Springer Series in Reliability Engineering).

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

  183. Published

    High-Performance Matrix-Vector Multiplication on the GPU. / Sørensen, Hans Henrik Brandenborg.

    Euro-Par 2011. Springer, 2012. p. 377-386 (Lecture Notes in Computer Science; No. 7155).

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

  184. Published

    Identification of Functional Clusters in the Striatum Using Infinite Relational Modeling. / Andersen, Kasper Winther; Madsen, Kristoffer Hougaard; Siebner, Hartwig; Hansen, Lars Kai; Mørup, Morten.

    Machine Learning and Interpretation in Neuroimaging: International Workshop, MLINI 2011, Held at NIPS 2011, Sierra Nevada, Spain, December 16-17, 2011, Revised Selected and Invited Contributions. Springer, 2012. p. 226-233 (Lecture Notes in Computer Science, Vol. 7263).

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

  185. Published

    Impacts of climate change, including acidification, on marine ecosystems and fisheries. / Brander, Keith ; Havenhand, Jon.

    Climate impacts on the Baltic Sea: From science to policy. ed. / Marcus Reckermann; Keith Brander; Brian MacKenzie; Anders Omstedt. Berlin : Springer, 2012. p. 129-160 (Springer Earth System Sciences).

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

  186. Published

    Implementing a Multi-Agent System in Python with an Auction-Based Agreement Approach. / Ettienne, Mikko Berggren; Vester, Steen; Villadsen, Jørgen.

    Programming Multi-Agent Systems: 9th International Workshop, ProMAS 2011 Taipei, Taiwan, May 3, 2011 Revised Selected Papers. Springer, 2012. p. 185-196 (Lecture Notes in Artificial Intelligence; No. 7217).

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

  187. Published

    Incorporating Parameter Uncertainty in Bayesian Segmentation Models: Application to Hippocampal Subfield Volumetry. / Iglesias, J. E.; Sabuncu, M. R.; Van Leemput, Koen.

    Medical Image Computing and Computer-Assisted Intervention – MICCAI 2012: 15th International Conference, Nice, France, October 1-5, 2012, Proceedings, Part III. Springer, 2012. p. 50-57 (Lecture Notes in Computer Science, Vol. 7512).

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

  188. Published

    Jet-Based Local Image Descriptors. / Larsen, Anders Boesen Lindbo; Darkner, Sune; Dahl, Anders Lindbjerg; Pedersen, Kim Steenstrup.

    Computer Vision – ECCV 2012: Workshops and Demonstrations, Part III. Springer, 2012. p. 638-650 (Lecture Notes in Computer Science, Vol. 7584).

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

  189. Published

    Keeping Mathematical Awareness Alive. / Hansen, Vagn Lundsgaard.

    Raising Public Awareness of Mathematics. ed. / E. Behrends; N. Crato; J.F. Rodrigues. Springer, 2012. p. 387-396.

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

  190. Published

    Key-Alternating Ciphers in a Provable Setting: Encryption Using a Small Number of Public Permutations (Extended Abstract). / Bogdanov, Andrey; Knudsen, L.R.; Leander, Gregor; Standaert, Francois-Xavier; Steinberger, John; Tischhauser, E.

    Advances in Cryptology – CRYPTO 2012: 32nd Annual Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 2012. Proceedings. Vol. 7417 Springer, 2012. p. 45-62 (Lecture Notes in Computer Science, Vol. 7417).

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

  191. Published

    Large-Scale Scientific Computing : 8th International Conference, LSSC 2011, Sozopol, Bulgaria, June 6-10, 2011, Revised Selected Papers. / Lirkov, Ivan (Editor); Margenov, Svetozar (Editor); Wasniewski, Jerzy (Editor).

    Springer, 2012. (Lecture Notes in Computer Science; No. 7116).

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

  192. Published

    Learning in real life. / Rasmussen, Lauge Baungaard.

    Enabling innovation: Innovation capacity - German and international views. Springer, 2012. p. 117-120.

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

  193. Published

    Lectures on Logic and Computation : ESSLLI 2010, Copenhagen, Denmark, August 2010; ESSLLI 2011, Ljubljana, Slovenia, August 201;1 Selected Lecture Notes. / Bezhanishvili, Nick (Editor); Goranko, Valentin (Editor).

    Springer, 2012. 265 p. (Lecture Notes in Computer Science, Vol. 7388).

    Publication: ResearchBook – Annual report year: 2012

  194. Published

    Lernen in der Berufspraxis. / Rasmussen, Lauge Baungaard.

    Enabling innovation: Innovationsfähigkeit - deutsche und internationale Perspektiven. Springer, 2012. p. 121-125.

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

  195. Published

    Limits to Nonlinear Inversion. / Mosegaard, Klaus (Invited author).

    Applied Parallel and Scientific Computing. Proceedings of the PARA 2010 Meeting: Revised Selected Papers, Part I. Springer, 2012. p. 11-21 (Lecture Notes in Computer Science; No. Part 1, Vol. 7133).

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

  196. Published

    Longest Common Extensions via Fingerprinting. / Bille, Philip; Gørtz, Inge Li; Kristensen, Jesper.

    Language and Automata Theory and Applications: 6th International Conference, LATA 2012 A Coruña, Spain, March 5-9, 2012 Proceedings. Springer, 2012. p. 119-130 (Lecture Notes in Computer Science, Vol. 7183).

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

  197. Published

    Lung Tumor Segmentation Using Electric Flow Lines for Graph Cuts. / Hollensen, Christian; Cannon, George ; Cannon, Donald ; Bentzen, Søren ; Larsen, Rasmus.

    Image Analysis and Recognition: 9th International Conference, ICIAR 2012 Aveiro, Portugal, June 25-27, 2012 Proceedings, Part II. Springer, 2012. p. 206-213 (Lecture Notes in Computer Science; No. 7325).

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

  198. Published

    Mesh Processing in Medical Image Analysis : MeshMed 2012 Proceedings. / Levine, Joshua A. (Editor); Paulsen, Rasmus Reinhold (Editor); Zhang, Yongjie (Editor).

    Springer, 2012. (Lecture Notes in Computer Science, Vol. 7599).

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

  199. Published

    Meteorology and Wind Power. / Lundtang Petersen, Erik; Madsen, Peter Hauge.

    Encyclopedia of Sustainability Science and Technology. ed. / Robert A. Meyers. Springer, 2012.

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

  200. Published

    Mobile Context-Aware Support for Public Transportation Users. / von Buchwald, Esben; Larsen, Jakob Eg; Murray-Smith, Roderick.

    Mobile Context Awareness. ed. / Tom Lovett; Eamonn O'Neill. Springer, 2012. p. 133-142 .

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

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

  202. Published

    Modeling in Biomedical Research and Health Care. / Dawids, Steen G.; Laugesen, Jakob L.; Mosekilde, Erik.

    Biosimulation in Biomedical Research, Health Care and Drug Development. ed. / Erik Mosekilde; Olga Sosnovtseva ; Amin Rostami-Hodjegan. Springer, 2012.

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

  203. Published

    Modeling of Thermo-Electro-Mechanical Manufacturing Processes with Applications in Metal Forming and Resistance Welding : Applications in Metal Forming and Resistance Welding. / Nielsen, Chris Valentin; Zhang, Wengi; Alves, Luis; Bay, Niels; Martins, Paulo F.

    Springer, 2012. 120 p. (Springer Briefs in Applied Sciences and Technology: Manufacturing and Surface Engineering).

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

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

  205. Published

    Modelling Foundations and Applications : 8th European Conference, ECMFA 2012; Kgs. Lyngby, Denmark, July 2-5, 2012; Proceedings. / Vallecillo, Antonio (Editor); Tolvanen, Juha-Pekka (Editor); Kindler, Ekkart (Editor); Störrle, Harald (Editor); Kolovos, Dimitris (Editor).

    Springer, 2012. 446 p. (Lecture Notes in Computer Science, Vol. 7349).

    Publication: ResearchBook – Annual report year: 2012

  206. Published

    Modelling Local and Global Behaviour: Petri Nets and Event Coordination. / Kindler, Ekkart.

    Transactions on Petri Nets and Other Models of Concurrency VI. Springer, 2012. p. 71-93 (Lecture Notes in Computer Science, Vol. 7400).

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

  207. Published

    Molecular Electronic Structures of Transition Metal Complexes I. / Mingos, D.Michael P. (Editor); Day, Peter (Editor); Dahl, Jens Peder (Editor).

    Springer, 2012. 215 p. (Structure and Bonding, Vol. 142).

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

  208. Published

    Molecular Electronic Structures of Transition Metal Complexes II. / Mingos, David Michael P. (Editor); Day, Peter Arendt (Editor); Dahl, Jens Peder (Editor).

    Springer, 2012. 233 p. (Structure and Bonding, Vol. 143).

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

  209. Published

    New Level-3 BLAS Kernels for Cholesky Factorization. / Gustavson, Fred G.; Wasniewski, Jerzy; Herrero, José R.

    Parallel Processing and Applied Mathematics: 9th International Conference, PPAM 2011, Torun, Poland, September 11-14, 2011. Revised Selected Papers, Part I. Springer, 2012. p. 60-69 (Lecture Notes in Computer Science, Vol. 7203).

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

  210. Published

    Next Generation Flexible and Cognitive Heterogeneous Optical Networks : Supporting the Evolution to the Future Internet. / Tomkos, Ioannis; Angelou, Marianna; Barroso, Ramón J. Durán; de Miguel, Ignacio; Toledo, Rubén M. Lorenzo; Siracusa, Domenico; Salvadori, Elio; Tymecki, Andrzej; Ye, Yabin ; Tafur Monroy, Idelfonso .

    The Future Internet: Future Internet Assembly 2012: From Promises to Reality. Springer, 2012. p. 225–236 (Lecture Notes in Computer Science, Vol. 7281).

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

  211. Published

    On the distribution of linear biases: Three instructive examples. / Abdelraheem, Mohamed Ahmed; Beelen, Peter ; Leander, Gregor; Ågren, Martin.

    Advances in Cryptology – CRYPTO 2012: 32nd Annual Cryptology Conference, Santa Barbara, CA, USA, August 19-23, 2012. Proceedings. Vol. 7417 Springer, 2012. p. 50-67 (Lecture Notes in Computer Science, Vol. 7417).

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

  212. Published

    Pipeline for Tracking Neural Progenitor Cells. / Vestergaard, Jacob Schack; Dahl, Anders Lindbjerg; Holm, Peter; Larsen, Rasmus.

    Medical Computer Vision. Recognition Techniques and Applications in Medical Imaging: Second International MICCAI Workshop, MCV 2012, Nice, France, October 5, 2012, Revised Selected Papers. Springer, 2012. p. 155-164 (Lecture Notes in Computer Science, Vol. 7766).

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

  213. Published

    Post-Session Authentication. / Ahmed, Naveed; Jensen, Christian D.

    Trust Management VI: 6th IFIP WG 11.11 International Conference, IFIPTM 2012, Surat, India, May 21-25, 2012. Proceedings. Springer, 2012. (IFIP AICT - Advances in Information and Communication technology, Vol. 374).

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

  214. Published

    Predicting the Appearance of Materials Using Lorenz-Mie Theory. / Frisvad, Jeppe Revall; Christensen, Niels Jørgen; Jensen, Henrik Wann .

    The Mie Theory: Basics and Applications. Springer, 2012. p. 101-133 (Springer Series in Optical Sciences; No. 169).

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

  215. Published

    PRINCE - A Low-Latency Block Cipher for Pervasive Computing Applications: Extended Abstract. / Borghoff, J.; Canteaut, Anne Michele; Guneysu, T.; Kavun, E.B.; Knezevic, M.; Knudsen, Lars Ramkilde; Leander, Gregor; Nikov, V.; Paar, C.; Rechberger, Christian.

    Advances in Cryptology – ASIACRYPT 2012: 18th International Conference on the Theory and Application of Cryptology and Information Security, Beijing, China, December 2-6, 2012. Proceedings. Springer, 2012. p. 208-225 (Lecture Notes in Computer Science, Vol. 7658).

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

  216. Published

    Privacy Penetration Testing: How to Establish Trust in Your Cloud Provider. / Probst, Christian W.; Sasse, M. Angela ; Pieters, Wolter; Dimkov, Trajce; Luysterborg, Erik; Arnaud, Michel.

    European Data Protection: In Good Health?. Springer, 2012. p. 251-265.

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

  217. Published

    Probability of Parametric Roll in Random Seaways. / Jensen, Jørgen Juncher.

    Parametric Resonance in Dynamical Systems. ed. / Thor I. Fossen; Henk Nijmeijer . Springer, 2012. p. 91-106.

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

  218. Published

    Real-Time Rendering of Teeth with No Preprocessing. / Larsen, Christian Thode; Frisvad, Jeppe Revall; Jensen, Peter Dahl Ejby; Bærentzen, Jakob Andreas.

    Advances in Visual Computing: Proceedings of ISVC 2012, Part II. ed. / G. Bebis; R. Boyle; B. Parvin; D. Koracin; F. Charless; W. Sen; C. Min-Hyung; S. Mantler; J. Schulze; D. Acevedo; K. Mueller; M. Papka. Springer, 2012. p. 334-345 (Lecture Notes in Computer Science, Vol. 7432).

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

  219. Published

    Restoring the Generalizability of SVM Based Decoding in High Dimensional Neuroimage Data. / Abrahamsen, Trine Julie; Hansen, Lars Kai.

    Machine Learning and Interpretation in Neuroimaging: International Workshop, MLINI 2011, Held at NIPS 2011, Sierra Nevada, Spain, December 16-17, 2011, Revised Selected and Invited Contributions. Springer, 2012. p. 256-263 (Lecture Notes in Computer Science, Vol. 7263).

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

  220. Published

    Scheduling of outbound luggage handling at airports. / Barth, Torben C.; Pisinger, David.

    Operations Research Proceedings 2011: Selected papers. ed. / Diethard Klatte; Karl Schmedders; Hans-Jakob Lüthi. Vol. Part 8 Springer, 2012. p. 251-256.

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

  221. Published

    SC2: Secure Communication over Smart Cards : How to Secure Off-Card Matching in Security-by-Contract for Open Multi-application Smart Cards. / Dragoni, Nicola; Lostal, Eduardo; Papini, Davide; Fabra, Javier.

    Foundations and Practice of Security: 4th Canada-France MITACSWorkshop, FPS 2011 Paris, France, May 12-13, 2011 Revised Selected Papers. ed. / Joaquin Garcia-Alfaro; Pascal Lafourcade. Springer, 2012. p. 32-48 (Lecture Notes in Computer Science; No. 6888).

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

  222. Published

    Security, Privacy, and Applied Cryptography Engineering : Proceedings Second International Conference, SPACE 2012. / Bogdanov, Andrey (Editor); Sanadhya, Somitra (Editor).

    Springer, 2012. 185 p. (Lecture Notes in Computer Science, Vol. 7644).

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

  223. Published

    Segmenting Multiple Sclerosis Lesions using a Spatially Constrained K-Nearest Neighbour approach. / Lyksborg, Mark; Larsen, Rasmus; Sørensen, Per Soelberg; Blinkenberg, Morten ; Garde, Ellen ; Siebner, Hartwig R.; Dyrby, Tim Bjørn.

    ICIAR Proceedings: Springer Lecture Notes. Springer, 2012.

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

  224. Published

    Shear crack formation and propagation in fiber reinforced cementitious composites (FRCC). / Paegle, Ieva; Fischer, Gregor.

    High Performance Fiber Reinforced Cement Composites 6. Springer, 2012. (RILEM Bookseries).

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

  225. Simulation of flexible objects in robotics. / Fugl, Andreas Rune; Petersen, Henrik Gordon; Willatzen, Morten.

    Simulation, Modeling, and Programming for Autonomous Robots: Third International Conference, SIMPAR 2012, Tsukuba, Japan, November 5-8, 2012. Proceedings. Springer, 2012. p. 89-100 (Lecture Notes in Computer Science, Vol. 7628).

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

  226. Simultaneous estimation of material properties and pose for deformable objects from depth and color images. / Fugl, Andreas Rune; Jordt, Andreas; Petersen, Henrik Gordon; Willatzen, Morten; Koch, Reinhard.

    Pattern Recognition: Joint 34th DAGM and 36th OAGM Symposium, Graz, Austria, August 28-31, 2012. Proceedings. Springer, 2012. p. 165-174 (Lecture Notes in Computer Science, Vol. 7476).

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

  227. Published

    Statistical Surface Recovery: A Study on Ear Canals. / Jensen, Rasmus Ramsbøl; Olesen, Oline Vinter; Paulsen, Rasmus Reinhold; van der Poel, Mike; Larsen, Rasmus.

    Mesh Processing in Medical Image Analysis: MeshMed 2012 Proceedings. Springer, 2012. p. 49-58 (Lecture Notes in Computer Science, Vol. 7599).

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

  228. Published

    Step-by-step towards PSS – Evaluating, Deciding and Executing. / Neugebauer, Line Maria; Mougaard, Krestine; McAloone, Tim C.; Andersen, Jakob Axel Bejbro; Bey, Niki.

    The Philosopher's Stone for Sustainability: Proceedings of the 4th CIRP International Conference on Industrial Product-Service Systems. ed. / Yoshiki Shimomura; Koji Kimita. Springer, 2012.

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

  229. Published

    Stochastic vehicle routing with recourse. / Gørtz, Inge Li; Nagarajan, Viswanath; Saket, Rishi.

    Automata, Languages, and Programming: 39th International Colloquium, ICALP 2012. ed. / Artur Czumaj; Kurt Mehlhorn ; Andrew Pitts; Roger Wattenhofer. Springer, 2012. p. 411-423 (Lecture Notes in Computer Science, Vol. 7391).

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

  230. Published

    String Indexing for Patterns With Wildcards. / Bille, Philip; Gørtz, Inge Li; Vildhøj, Hjalte Wedel; Vind, Søren Juhl.

    Algorithm Theory – SWAT 2012: 13th Scandinavian Symposium and Workshops, Helsinki, Finland, July 4-6, 2012. Proceedings. ed. / Fedor V. Fornin; Petteri Kaski. Springer, 2012. p. 283-294 (Lecture Notes in Computer Science, Vol. 7357).

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

  231. Testing Library Specifications by Verifying Conformance Tests. / Kiniry, Joseph; Zimmerman, Daniel M.; Hyland, Ralph.

    Tests and Proofs: 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 – June 1, 2012. Proceedings. Springer, 2012. p. 51-66 (Lecture Notes in Computer Science, Vol. 7305).

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

  232. Published

    The Approach to Model Building. / Laugesen, Jakob Lund; Mosekilde, Erik.

    Biosimulation in Biomedical Research, Health Care and Drug Development. Springer, 2012. p. 43-68.

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

  233. Published

    The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures. / Armando, Alessandro; Arsac, Wihem; Avanesov, Tigran; Barletta, Michele; Calvi, Alberto; Cappai, Alessandro; Carbone, Roberto; Chevalier, Yannick; Compagna, Luca; Cuéllar, Jorge; Erzse, Gabriel; Frau, Simone; Minea, Marius; Mödersheim, Sebastian Alexander; Von Oheimb, David; Pellegrino, Giancarlo; Ponta, Serena Elisa; Rocchetto, Marco; Rusinowitch, Michael; Torabi Dashti, Mohammad; Turuani, Mathieu; Viganò, Luca.

    Tools and Algorithms for the Construction and Analysis of Systems: 18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings. Springer, 2012. p. 267-282 (Lecture Notes in Computer Science, Vol. 7214).

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

  234. Published

    The Cyber-Physical Attacker. / Vigo, Roberto.

    Computer Safety, Reliability, and Security: SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI, ERCIM/EWICS, IWDE Magdeburg, Germany, September 25-28, 2012 Proceedings. Springer, 2012. p. 347-356 (Lecture Notes in Computer Science, Vol. 7613).

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

  235. Published

    The Internet Erlang Formula. / Iversen, Villy Bæk.

    Internet of Things, Smart Spaces, and Next Generation Networking: 12th International Conference, NEW2AN 2012, and 5th Conference, ruSMART 2012, St. Petersburg, Russia, August 27-29, 2012 Proceedings. Springer, 2012. p. 328-337 (Lecture Notes in Computer Science, Vol. 7469).

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

  236. Published

    The Logic of XACML. / Ramli, Carroline Dewi Puspa Kencana; Nielson, Hanne Riis; Nielson, Flemming.

    Formal Aspects of Component Software: 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers. Springer, 2012. p. 205-222 (Lecture Notes in Computer Science, Vol. 7253).

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

  237. Published

    Theory of Security and Applications : Joint Workshop, TOSCA 2011 Saarbrücken, Germany, March 31 - April 1, 2011 Revised Selected Papers. / Mödersheim, Sebastian Alexander (Editor); Palamidessi, Catuscia (Editor).

    Springer, 2012. (Lecture Notes in Computer Science, Vol. 6993).

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

  238. Published

    Time-Resolved X-Ray Diffraction: The Dynamics of the Chemical Bond. / Møller, Klaus Braagaard; Henriksen, Niels Engholm.

    Molecular Electronic Structures of Transition Metal Complexes I. ed. / David Michael P. Mingos; Peter Day; Jens Peder Dahl. Springer, 2012. p. 185-211 (Structure & Bonding; No. 142).

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

  239. Published

    Time-Space Trade-offs for Longest Common Extensions. / Bille, Philip; Gortz, Inge Li; Sach, Benjamin; Vildhoj, Hjalte Wedel.

    Combinatorial Pattern Matching. ed. / Juha Kärkkäinen; Jens Stoye. Springer, 2012. p. 293-305 (Lecture Notes in Computer Science, Vol. 7354).

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

  240. Published

    Toward a Threat Model for Energy-Harvesting Wireless Sensor Networks. / Di Mauro, Alessio; Papini, Davide; Vigo, Roberto; Dragoni, Nicola.

    Networked Digital Technologies: 4th International Conference, NDT 2012 Dubai, UAE, April 24-26, 2012 Proceedings, Part II. Springer, 2012. p. 289-301 (Communications in Computer and Information Science, Vol. 294).

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

  241. Published

    Towards Symbolic Encryption Schemes. / Ahmed, Naveed; Jensen, Christian D.; Zenner, Erik.

    Computer Security – ESORICS 2012: 17th European Symposium on Research in Computer Security, Pisa, Italy, September 10-12, 2012. Proceedings. Springer, 2012. p. 557-572 (Lecture Notes in Computer Science, Vol. 7459).

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

  242. Published

    Ultrafast Terahertz Dynamics and Switching in Quantum Dots. / Turchinovich, Dmitry; Hoffmann, Matthias C. .

    Quantum Dot Devices Quantum Dot Devices. ed. / Zhiming M. Wang. Springer, 2012. p. 223-249 (Lecture Notes in Nanoscale Science and Technology, Vol. 13).

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

  243. Published

    Uncertainty Quantification. / Richardson, A.D.; Aubinet, M.; Barr, A.G.; Hollinger, D.Y.; Ibrom, Andreas; Lasslop, G.; Reichstein, M.

    Eddy Covariance. A Practical Guide to Measurement and Data Analysis. ed. / Marc Aubinet; Timo Vesala; Dario Papale. Springer, 2012. p. 173-209.

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

  244. Published

    WDM Phase-Modulated Millimeter-Wave Fiber Systems. / Yu, Xianbin; Prince, Kamau; Gibbon, Timothy Braidwood; Tafur Monroy, Idelfonso.

    WDM Systems and Networks: Modeling, Simulation, Design and Engineering. Springer, 2012. p. 325-335 (Uden navn).

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

  245. 2011
  246. Published

    A Cryptanalysis of PRINTcipher: The Invariant Subspace Attack. / Leander, Gregor; Abdelraheem, Mohamed Ahmed; Alkhzaimi, Hoda A.; Zenner, Erik.

    Lecture Notes in Computer Science. Vol. 6841 Springer, 2011.

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

  247. Published

    A Deformable Model for Bringing Particles in Focus. / Dahl, Anders Lindbjerg; Jørgensen, Thomas Martini; Larsen, Rasmus.

    Computer Vision, Imaging and Computer Graphics. Theory and Applications: Computer Vision, Imaging and Computer Graphics. Theory and Applications Computer Vision, Imaging and Computer Graphics. Theory and Applications International Joint Conference, VISIGRAPP 2010, Angers, France, May 17-21, 2010. Springer, 2011. p. 81-95 (Communications in Computer and Information Science; No. 229).

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

  248. Published

    Advanced Microscopy of Microbial Cells. / Haagensen, Janus Anders Juul; Regenberg, Birgitte; Sternberg, Claus.

    Advances in Biochemical Engineering/Biotechnology. Vol. 124 Springer, 2011. p. 21-54 (Advances in Biochemical Engineering/Biotechnology).

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

  249. Published

    Advanced operational modal analysis methods for linear time periodic system identification. / Allen, Mathew S.; Chauhan, Shashank; Hansen, Morten Hartvig.

    Conference Proceedings of the Society for Experimental Mechanics Series. Vol. 4 New York : Springer, 2011. p. 31-44 (:Conference Proceedings of the Society for Experimental Mechanics Series; No. 4).

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

  250. Published

    Advances in Offshore Wind Resource Estimation. / Hasager, Charlotte Bay; Badger, Merete; Pena Diaz, Alfredo; Badger, Jake; Antoniou, Ioannis; Nielsen, Morten; Astrup, Poul; Courtney, Michael; Mikkelsen, Torben.

    Advances in Wind Energy Conversion Technology. Springer, 2011. p. 85-106 (Environmental Science and Engineering).

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

  251. A Generative Approach for Image-Based Modeling of Tumor Growth. / Menze, Bjoern H.; Van Leemput, Koen; Honkela, Antti; Konukoglu, Ender; Weber, Marc-André; Ayache, Nicholas; Golland, Polina.

    Information Processing in Medical Imaging: 22nd International Conference, IPMI 2011 Kloster Irsee, Germany, July 3-8, 2011 Proceedings. Springer, 2011. p. 735-747 (Lecture Notes in Computer Science; No. 6801).

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

  252. Published

    ALPHA: Proposal of Mapping QoS Parameters between UPnP Home Network and GMPLS Access. / Brewka, Lukasz Jerzy; Sköldström, Pontus; Gavler, Anders; Nordell, Viktor; Wessing, Henrik; Dittmann, Lars.

    Access Networks: 5th International ICST Conference on Access Networks, AccessNets 2010 and First ICST International Workshop on Autonomic Networking and Self-Management in Access Networks, SELFMAGICNETS 2010, Budapest, Hungary, November 3-5, 2010: Revised Selected Papers. Vol. 63, 7 Springer, 2011. p. 226-239 (Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering; No. 63).

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

  253. Published

    Analysing Protocol Stacks for Services. / Gao, Han; Nielson, Flemming; Nielson, Hanne Riis.

    Rigorous Software Engineering for Service-Oriented Systems: Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing. ed. / Martin Wirsing; Matthias Hölzl. Vol. 6582 Springer, 2011. p. 369-389 (Lecture Notes in Computer Science).

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

  254. Published

    Analysis of Seed Sorting Process by Estimation of Seed Motion Trajectories. / Buus, Ole Thomsen; Jørgensen, Johannes Ravn; Carstensen, Jens Michael.

    Image Analysis: 17th Scandinavian Conference, SCIA 2011, Ystad, Sweden, May 2011. Proceedings. Springer, 2011. p. 273-284 (Lecture Notes in Computer Science, Vol. 6688).

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

  255. Published

    Analysis of Wind Turbine Loads. / Aagaard Madsen, Helge; Thomsen, Kenneth.

    Advances in Wind Energy Conversion Technology. Springer, 2011. p. 107-132 (Environmental Science and Engineering).

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

  256. Published

    An Automated System for the Detection and Diagnosis of Kidney Lesions in Children from Scintigraphy Images. / Landgren, Matilda; Sjöstrand, Karl; Ohlsson, Mattias; Ståhl, Daniel; Overgaard, Niels Christian; Åström, Kalle; Sixt, Rune; Edenbrandt, Lars.

    Image Analysis: 17th Scandinavian Conference, SCIA 2011 - Ystad, Sweden, May 2011 - Proceedings. Springer, 2011. p. 489-500 (Lecture Notes in Computer Science; No. 6688).

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

  257. Applications of hyperpolarized agents in solutions.. / Ardenkjær-Larsen, Jan Henrik; Jóhannesson, Haukur; Petersson, J Stefan; Wolber, Jan.

    Methods in molecular biology.. ed. / Leif Schröder. Vol. 771 Springer, 2011. p. 655-689.

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

  258. Published

    A Semantics-Based Approach to Retrieving Biomedical Information. / Andreasen, Troels; Bulskov, Henrik; Zambach, Sine; Lassen, Tine; Madsen, Bodil Nistrup; Jensen, Per Anker; Thomsen, Hanne Erdman; Nilsson, Jørgen Fischer.

    Flexible Query Answering Systems: 9th International Conference, FQAS 2011 Ghent, Belgium, October 26-28, 2011 Proceedings. Springer, 2011. p. 108-118 (Lecture Notes in Artificial Intelligence; No. 7022).

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

  259. Published

    A Smartphone Interface for a Wireless EEG Headset with Real-Time 3D Reconstruction. / Stopczynski, Arkadiusz; Larsen, Jakob Eg; Stahlhut, Carsten; Petersen, Michael Kai; Hansen, Lars Kai.

    Affective Computing and Intelligent Interaction: 4th International Conference, ACII 2011 Memphis, TN, USA, October 9-12, 2011 Proceedings, Part II. ed. / S. D ́Mello. Springer, 2011. p. 317-318 (Lecture Notes in Computer Science; No. 6975).

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

  260. Published

    Automata-Based CSL Model Checking. / Zhang, Lijun; Jansen, David N.; Nielson, Flemming; Hermanns, Holger.

    Automata, Languages and Programming: 38th International Colloquium, ICALP 2011 - Zurich, Switzerland, July 4-8, 2011 - Proceedings, Part II. Springer, 2011. p. 271-282 (Lecture Notes in Computer Science; No. 6756).

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

  261. Published

    Automatic Compartment Modelling and Segmentation for Dynamical Renal Scintigraphies. / Ståhl, Daniel; Åström, Kalle; Overgaard, Niels Christian; Landgren, Matilda; Sjöstrand, Karl; Edenbrandt, Lars.

    Image Analysis: 17th Scandinavian Conference, SCIA 2011 - Ystad, Sweden, May 2011 - Proceedings. Springer, 2011. p. 557-568 (Lecture Notes in Computer Science; No. 6688).

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

  262. Published

    Automatic Segmentation of Abdominal Adipose Tissue in MRI. / Mosbech, Thomas Hammershaimb; Pilgaard, Kasper; Vaag, Allan; Larsen, Rasmus.

    Image Analysis: 17th Scandinavian Conference, SCIA 2011 - Ystad, Sweden, May 2011 - Proceedings. Springer, 2011. p. 501-511 (Lecture Notes in Computer Science; No. 6688).

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

  263. Published

    Bisimulations Meet PCTL Equivalences for Probabilistic Automata. / Song, Lei; Zhang, Lijun; Godskesen, Jens Chr.

    CONCUR 2011 – Concurrency Theory: 22nd International Conference, CONCUR 2011 Aachen, Germany, September 6-9, 2011 Proceedings. Vol. 6901 Springer, 2011. p. 108-123 (Lecture Notes in Computer Science; No. 6901).

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

  264. Published

    Boundary Conditions for a New Type of Design Task : Understanding Product/Service-Systems. / McAloone, Tim C.

    The Future of Design Methodology. ed. / Herbert Birkhofer. London, UK : Springer, 2011. p. 113-124.

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

  265. Published

    C2 - Block Cipher. / Knudsen, Lars Ramkilde; Leander, Gregor.

    Encyclopedia of Cryptography and Security. 2. ed. Springer, 2011. p. 179-180.

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

  266. Published

    Capacitated Vehicle Routing with Non-Uniform Speeds. / Gørtz, Inge Li; Molinaro, Marco; Nagarajan, Viswanath; Ravi, R.

    Lecture Notes in Computer Science: The 15th Conference on Integer Programming and Combinatorial Optimization. Vol. 6655/2011 Berlin : Springer, 2011. p. 235-247 (Lecture Notes in Computer Science).

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

  267. Published

    Combining Static Analysis and Runtime Checking in Security Aspects for Distributed Tuple Spaces. / Yang, Fan; Aotani, Tomoyuki; Masuhara, Hidehiko; Nielson, Flemming; Nielson, Hanne Riis.

    Coordination Models and Languages: 13th International Conference, COORDINATION 2011, Reykjavik, Iceland, June 6-9, 2011 - Proceedings. Vol. 6721 Springer, 2011. p. 202-218 (Lecture Notes in Computer Science).

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

  268. Published

    Cryptanalysis of ARMADILLO2. / Abdelraheem, Mohamed Ahmed; Blondeau, Céline; Naya-Plasencia, María; Videau, Marion; Zenner, Erik.

    Advances in Cryptology. ed. / Dong Hoon Lee; Xiaoyun Wang. Springer, 2011. p. 308-326 (Lecture Notes in Computer Science; No. 7073).

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

  269. Cryptanalysis of the Light-Weight Cipher A2U2. / Abdelraheem, Mohamed Ahmed; Borghoff, Julia; Zenner, Erik; David, Mathieu.

    Cryptography and Coding: 13th IMA International Conference, IMACC 2011, Oxford, UK, December 2011, Proceedings. ed. / Liqun Chen. Vol. LNCS 7089 Springer, 2011. p. 375-390.

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

  270. Published

    Decoding algorithms. / Peters, Christiane.

    Encyclopedia of Cryptography and Security. ed. / Henk C.A. van Tilborg; Sushil Jajodia. Springer, 2011.

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

  271. Published

    Deterministic Differential Properties of the Compression Function of BMW. / Guo, Jian; Thomsen, Søren Steffen.

    Selected Areas in Cryptography 2010: 17th International Workshop, SAC 2010, Waterloo, Ontario, Canada, August 12-13, Revised Selected Papers. ed. / Alex Biryukov; Guang Gong; Douglas R. Stinson. Vol. 6544 Springer, 2011. p. 338-350 (Lecture Notes in Computer Science).

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

  272. Published

    Differential cryptanalysis of round-reduced PRINTcipher: Computing roots of permutations. / Abdelraheem, Mohamed Ahmed; Leander, Gregor; Zenner, Erik.

    Lecture Notes in Computer Science. Vol. 6733 Springer, 2011.

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

  273. Published

    Diffie-Hellman without Difficulty. / Mödersheim, Sebastian Alexander.

    Formal Aspects of Security and Trust: 8th International Workshop, FAST 2011. ed. / Gilles Barthe; Anupam Datta; Sandro Etalle . Springer, 2011. p. 214-229 (Lecture Notes in Computer Science).

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

  274. Double SP-Functions: Enhanced Generalized Feistel Networks : Extended Abstract. / Bogdanov, Andrey; Shibutani, Kyoji.

    Information Security and Privacy. Proceedings. Springer, 2011. p. 106-119 (Lecture Notes in Computer Science, Vol. 6812).

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

  275. Ecodesign Maturity Model: criteria for methods and tools classification. / Antelmi Pigosso, Daniela Cristina; Rozenfeld, H.; Seliger, G.

    Advances in Sustainable Manufacturing: Proceedings of the 8th Global Conference on Sustainable Manufacturing. ed. / Günther Seliger; Marwan M.K. Khraisheh; I.S. Jawahir. Springer, 2011. p. 241-245.

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

  276. Published

    Edge emitters with external cavities : Chapter 15.1. / Chi, Mingjun; Petersen, Paul Michael.

    Landolt-Börnstein: Numerical Data and Functional Relationships in Science and Technology-New Series: VIII/1B3, Laser Systems. Vol. 3 Berlin : Springer, 2011. p. 245-257.

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

  277. Published

    Edge-Matching Problems with Rotations. / Ebbesen, Martin; Fischer, Paul; Witt, Carsten.

    Fundamentals of Computation Theory: 18th International Symposium, FCT 2011 Oslo, Norway, August 22-25, 2011 Proceedings. Springer, 2011. p. 114-125 (Lecture Notes in Computer Science; No. 6914).

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

  278. Published

    Efficient Hyperelastic Regularization for Registration. / Darkner, Sune; Hansen, Michael Sass; Larsen, Rasmus; Hansen, Mads Fogtmann.

    Image Analysis: 17th Scandinavian Conference, SCIA 2011 - Ystad, Sweden, May 2011 - Proceedings. Springer, 2011. p. 295-305 (Lecture Notes in Computer Science; No. 6688).

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

  279. Published

    Estimation of Damping for one of the new European Court Towers in Luxembourg. / Brincker, Rune; Brandt, Anders; Georgakis, Christos; Roldsgaard, Joan Hee; Schilz, Dietmar.

    Civil Engineering Topics: Proceedings of the 29th IMAC, A Conference on Structural Dynamics. ed. / Tom Proulox. Vol. 4 Springer, 2011. p. 373-381.

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

  280. Published

    Examples of Vector Velocity Imaging. / Hansen, Peter M.; Pedersen, Mads M.; Hansen, Kristoffer L.; Nielsen, Michael B.; Jensen, Jørgen Arendt.

    IFMBE Proceedings. ed. / K Dremstrup; S Rees; M. Ø Jensen. Vol. 34 Springer, 2011. p. 77-80.

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

  281. Published

    Finite Element Implementation of a Structurally-Motivated Constitutive Relation for the Human Abdominal Aortic Wall with and without Aneurysms. / Enevoldsen, Marie Sand; Henneberg, Kaj-Åge; Lönn, L; Jensen, Jørgen Arendt.

    IFMBE Proceedings. ed. / Kim Dremstrup; Steve Rees; Morten Ølgaard Jensen. Vol. 34 Springer, 2011. p. 13-16.

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

  282. Published

    Formal Development of a Tool for Automated Modelling and Verification of Relay Interlocking Systems. / Haxthausen, Anne Elisabeth; Kjær, Andreas A.; Le Bliguet, Marie.

    FM 2011: Formal Methods: 17th International Symposium on Formal Methods Limerick, Ireland, June 20-24, 2011 Proceedings. Springer, 2011. p. 118-132 (Lecture Notes in Computer Science; No. 6664).

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

  283. Published

    Galois Connections for Flow Algebras. / Filipiuk, Piotr; Terepeta, Michal Tomasz; Nielson, Hanne Riis; Nielson, Flemming.

    Formal Techniques for Distributed Systems: Joint 13th IFIP WG 6.1 International Conference, FMOODS 2011 and 30th IFIP WG 6.1 International Conference, FORTE 2011 Reykjavik, Iceland, June 6-9, 2011 Proceedings. Springer, 2011. p. 138-152 (Lecture Notes in Computer Science; No. 6722).

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

  284. Published

    Good Friends, Bad News - Affect and Virality in Twitter. / Hansen, Lars Kai; Arvidsson, Adam; Nielsen, Finn Årup; Colleoni, Elanor; Etter, Michael.

    Future Information Technology: 6th International Conference, FutureTech 2011 - Loutraki, Greece, June 28-30, 2011 - Proceedings, Part II. Springer, 2011. (Communications in Computer and Information Science; No. 185).

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

  285. Published

    Hill climbing algorithms and trivium. / Borghoff, Julia; Knudsen, Lars Ramkilde; Matusiewicz, Krystian.

    Lecture Notes in Computer Science. Vol. 6544 Springer, 2011. p. 57-73 (Lecture Notes in Computer Science).

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

  286. Published

    Homotopic Object Reconstruction Using Natural Neighbor Barycentric Coordinates. / Sharma, Ojaswa; Anton, François.

    Transactions on Computational Science XIV: Special Issue on Voronoi Diagrams and Delaunay Triangulation. ed. / M. L. Gavrilova. Springer, 2011. p. 188-210 (Lecture Notes in Computer Science; No. 6970).

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

  287. Published

    Hybrid fiber reinforcement and crack formation in Cementitious Composite Materials. / Pereira, E.B.; Fischer, Gregor; Barros, J.A.O.

    High Performance Fiber Reinforced Cement Composites 6. Springer, 2011. (RILEM Bookseries).

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

  288. Hyperpolarized molecules in solution.. / Ardenkjær-Larsen, Jan Henrik; Jóhannesson, Haukur; Petersson, J Stefan; Wolber, Jan.

    Methods in molecular biology.. ed. / Leif Schröder; Cornelius Faber. Vol. 771 Springer, 2011. p. 205-226.

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

  289. Published

    Improved security analysis of Fugue-256. / Gauravaram, Praveen; Bagheri, Nasoor; Knudsen, Lars Ramkilde; Wei, Lei.

    Proceedings of Australasian Conference on Information Security and Privacy: ACISP 2011. Springer, 2011. p. 439-443 (Lecture Notes in Computer Science).

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

  290. Published

    Initial studies on the variations of load-displacement curves of in vivo human healthy heel pads. / Matteoli, Sara; Wilhjelm, Jens E.; Virga, Antonio; Corvi, Andrea; Torp-Perdersen, Søren T.

    IFMBE Proceedings. ed. / K Dremstrup; S Rees; M. Ø. Jensen. Vol. 34 Springer, 2011. p. 152-155.

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

  291. Published

    Is Engineering Design Disappearing from Design Research?. / Andreasen, Mogens Myrup; Howard, Thomas J.

    The Future of Design Methodology. Springer, 2011. p. 21-34.

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

  292. Published

    Locating Depots for Capacitated Vehicle Routing. / Gørtz, Inge Li; Nagarajan, Viswanath.

    Approximation, Randomization, and Combinatorial Optimization: 14th InternationalWorkshop, APPROX 2011 and 15th InternationalWorkshop, RANDOM 2011 Princeton, NJ, USA, August 17-19, 2011 Proceedings. Vol. 6845 Springer, 2011. p. 230-241 (Lecture Notes in Computer Science).

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

  293. Published

    Magnetic Relaxation Phenomena. / Mørup, Steen; Gütlich, Philipp (Editor); Bill, Eckard (Editor); Trautwein, Alfred X. (Editor).

    Mössbauer Spectroscopy and Transition Metal Chemistry: Fundamentals and Applications. 1. ed. Berlin Heidelberg : Springer, 2011. p. 201-234.

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

  294. Published

    Mechanical interaction between concrete and structural reinforcement in the tension stiffening process. / Lárusson, Lárus Helgi; Fischer, Gregor; Jönsson, Jeppe.

    High Performance Fiber Reinforced Cement Composites 6. Springer, 2011. (RILEM Bookseries).

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

  295. Published

    Model Checking Algorithms for CTMDPs. / Buchholz, Peter; Hahn, Ernst Moritz; Hermanns, Holger; Zhang, Lijun.

    Computer Aided Verification: 23rd International Conference, CAV 2011 - Snowbird, UT, USA, July 14-20, 2011 - Proceedings. Springer, 2011. p. 225-242 (Lecture Notes in Computer Science; No. 6806).

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

  296. Published

    Modeling and Control for Islanding Operation of Active Distribution Systems. / Cha, Seung-Tae; Wu, Qiuwei; Saleem, Arshad; Østergaard, Jacob; Ding, Yi.

    Modeling and Control in Smart Grid: Towards Higher Penetration of Renewable Energy. Springer, 2011.

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

  297. Published

    Monitoring of cellular dynamics with electrochemical detection techniques. / Heiskanen, Arto; Emnéus, Jenny.

    Applications of Electrochemistry and Nanotechnology in Biology and Medicine I. Springer, 2011. p. 1-104 (Modern Aspects of Electrochemistry; No. 52).

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

  298. Published

    Non-linear Imaging using an Experimental Synthetic Aperture Real Time Ultrasound Scanner. / Rasmussen, Joachim; Du, Yigang; Jensen, Jørgen Arendt.

    IFMBE Proceedings. ed. / K. Dremstrup; S Rees; M. Ø Jensen. Vol. 34 Springer, 2011. p. 101-104.

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

  299. Published

    On Inferring Image Label Information Using Rank Minimization for Supervised Concept Embedding. / Bespalov, Dmitriy; Dahl, Anders Lindbjerg; Bai, Bing; Shokoufandeh, Ali.

    Image Analysis: 17th Scandinavian Conference, SCIA 2011 - Ystad, Sweden, May 2011 - Proceedings. Springer, 2011. p. 103-113 (Lecture Notes in Computer Science; No. 6688).

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

  300. Published

    On Linear Hulls, Statistical Saturation Attacks, PRESENT and a Cryptanalysis of PUFFIN. / Leander, Gregor.

    Lecture Notes in Computer Science. Vol. 6917 Springer, 2011. p. 303-322.

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

  301. Published

    On Stabilization in Herman’s Algorithm. / Kiefer, Stefan; Murawski, Andrzej S.; Ouaknine, Joël; Worrell, James; Zhang, Lijun.

    Automata, Languages and Programming: 38th International Colloquium, ICALP 2011 - Zurich, Switzerland, July 4-8, 2011 - Proceedings, Part II. Springer, 2011. p. 466-477 (Lecture Notes in Computer Science; No. 6756).

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

  302. Published

    Performance Evaluation of a Synthetic Aperture Real-Time Ultrasound System. / Stuart, Matthias Bo; Tomov, Borislav Gueorguiev; Jensen, Jørgen Arendt.

    IFMBE Proceedings. ed. / Kim Dremstrup; Steve Rees; Morten Ølgaard Jensen. Vol. 34 Springer, 2011. p. 160-163.

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

  303. Published

    Photon Differentials in Space and Time. / Schjøth, Lars; Frisvad, Jeppe Revall; Erleben, Kenny; Sporring, Jon.

    Computer Vision, Imaging and Computer Graphics. ed. / Paul Richard; José Braz. Springer, 2011. p. 274-286 (Communications in Computer and Information Science; No. 229).

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

  304. Practical Attacks on the Maelstrom-0 Compression Function. / Kölbl, Stefan; Mendel, Florian.

    Applied Cryptography and Network Security: 9th International Conference, ACNS 2011, Nerja, Spain, June 7-10, 2011. Proceedings. Springer, 2011. p. 449-461 (Lecture Notes in Computer Science, Vol. 6715).

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

  305. Published

    Practical near-collisions on the compression function of BMW. / Leurent, Gaëtan; Thomsen, Søren Steffen.

    Lecture Notes in Computer Science. ed. / Antoine Joux. Vol. 6733 Springer, 2011. p. 238-251.

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

  306. Published

    Preliminary Experimental Verification of Synthetic Aperture Flow Imaging Using a Dual Stage Beamformer Approach. / Li, Ye; Jensen, Jørgen Arendt.

    IFMBE Proceedings. ed. / Kim Dremstrup; Steve Rees; Morten Ølgaard Jensen. Vol. 34 Springer, 2011. p. 53-56.

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

  307. Published

    PRESENT - Block Cipher. / Knudsen, Lars Ramkilde; Leander, Gregor.

    Encyclopedia of Cryptography and Security. ed. / Henk C.A. Tilborg; Sushil Jajodia. 2. ed. Springer, 2011. p. 953-955.

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

  308. Proposal of an Ecodesign Maturity Model: supporting Companies to improve Environmental Sustainability. / Antelmi Pigosso, Daniela Cristina; Rozenfeld, H.

    Glocalized Solutions for Sustainability in Manufacturing: Proceedings of the 18th CIRP International Conference on Life Cycle Engineering, Technische Universität Braunschweig, Braunschweig, Germany, May 2nd - 4th, 2011. ed. / Jürgen Hesselbach; Christoph Herrmann. Springer, 2011. p. 136-141.

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

  309. Published

    Querying Class-Relationship Logic in a Metalogic Framework. / Nilsson, Jørgen Fischer.

    Flexible Query Answering Systems: 9th International Conference, FQAS 2011 Ghent, Belgium, October 26-28, 2011 Proceedings. Springer, 2011. p. 96-107 (Lecture Notes in Artificial Intelligence; No. 7022).

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

  310. Published

    Range and geophysical corrections in coastal regions: and implications for mean sea surface determination. / Andersen, Ole Baltazar; Scharroo, Remko.

    Coastal Altimetry. ed. / S. Vignudelli; A. Kostianoy; P. Cipollini; J. Benveniste. Springer, 2011. p. 103-146.

    Publication: ResearchBook chapter – Annual report year: 2011

  311. Published

    Reachability for Finite-State Process Algebras Using Static Analysis. / Skrypnyuk, Nataliya; Nielson, Flemming.

    Reachability Problems: 5th InternationalWorkshop, RP 2011 Genoa, Italy, September 28-30, 2011, Proceedings. Vol. 6945 Springer, 2011. p. 231-244 (Lecture Notes in Computer Science).

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

  312. Really fast syndrome-based hashing. / Bernstein, Daniel J.; Lange, Tanja; Peters, Christiane; Schwabe, Peter.

    Progress in Cryptology: 4th International Conference on Cryptology in Africa, Dakar, Senegal, July 5-7, 2011. Proceedings. ed. / Abderrahmane Nitaj; David Pointcheval. Springer, 2011. p. 134-152 (Lecture Notes in Computer Science; No. 6767).

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

  313. Published

    Real Time Surface Registration for PET Motion Tracking. / Wilm, Jakob; Olesen, Oline Vinter; Paulsen, Rasmus Reinhold; Højgaard, Liselotte; Roed, Bjarne; Larsen, Rasmus.

    Image Analysis: 17th Scandinavian Conference, SCIA 2011 Ystad, Sweden, May 2011 Proceedings. Springer, 2011. p. 166-175 (Lecture Notes in Computer Science).

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

  314. Published

    Resonant Damping of Flexible Structures Under Random Excitation, in Computational Methods in Stochastic Dynamics. / Krenk, Steen; Høgsberg, Jan Becker.

    Computational Methods in Applied Sciences. Vol. 22 Springer, 2011.

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

  315. Published

    Salmonella. / Josefsen, Mathilde Hartmann; Löfström, Charlotta; Olsen, Katharina E.P.; Mølbak, Kåre; Hoorfar, Jeffrey.

    Molecular Detection of Human Bacterial Pathogens. ed. / Dongyou Liu. Springer, 2011. p. 1023-1035.

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

  316. Published

    Sensometrics. / Brockhoff, Per B.

    International Encyclopedia of Statistical Science. ed. / Miodrag Lovric. Vol. 19 Springer, 2011. p. 1302-1305.

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

  317. Published

    Smartphones Get Emotional: Mind Reading Images and Reconstructing the Neural Sources. / Petersen, Michael Kai; Stahlhut, Carsten; Stopczynski, Arkadiusz; Larsen, Jakob Eg; Hansen, Lars Kai.

    Affective Computing and Intelligent Interaction: 4th International Conference, ACII 2011 Memphis, TN, USA, October 9-12, 2011 Proceedings, Part II. ed. / S. D ́Mello. Vol. 2 Springer, 2011. p. 578-587 (Lecture Notes in Computer Science; No. 6975).

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

  318. Published

    Sparse Similarity-Based Fisherfaces. / Fagertun, Jens; Gomez, David Delgado; Hansen, Mads Fogtmann; Paulsen, Rasmus Reinhold.

    Image Analysis: 17th Scandinavian Conference, SCIA 2011 - Ystad, Sweden, May 2011 - Proceedings. Springer, 2011. p. 69-78 (Lecture Notes in Computer Science; No. 6688).

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

  319. Published

    Spongent: A lightweight hash function. / Bogdanov, Andrey; Knežević, Miroslav; Leander, Gregor; Toz, Deniz; Varici, Kerem; Verbauwhede, Ingrid.

    Cryptographic hardware and embedded systems - CHES 2011. Proceedings. Vol. 6917 Springer, 2011. p. 312-325 (Lecture Notes in Computer Science, Vol. 6917).

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

  320. Published

    State-of-the-Art Multi-Objective Optimisation of Manufacturing Processes Based on Thermo-Mechanical Simulations. / Tutum, Cem Celal; Hattel, Jesper Henri.

    Multi-objective Evolutionary Optimisation for Product Design and Manufacturing. ed. / Lihui Wang; Amos H.C. Ng; Kalyanmoy Deb. Vol. 1 Springer, 2011. p. 71-133.

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

  321. Published

    Substring Range Reporting. / Bille, Philip; Gørtz, Inge Li.

    Combinatorial Pattern Matching: 22nd Annual Symposium, CPM 2011 Palermo, Italy, June 27-29, 2011 Proceedings. Vol. 6661 Springer, 2011. p. 299-308 (Lecture Notes in Computer Science).

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

  322. Published

    Supercontinuum Light Sources for Hyperspectral Subsurface Laser Scattering : Applications for Food Inspection. / Nielsen, Otto Højager Attermann; Dahl, Anders Lindbjerg; Larsen, Rasmus; Møller, Flemming; Nielsen, Frederik Donbæk; Thomsen, Carsten L.; Aanæs, Henrik; Carstensen, Jens Michael.

    Image Analysis: 17th Scandinavian Conference, SCIA 2011 - Ystad, Sweden, May 2011 - Proceedings. Springer, 2011. p. 327-337 (Lecture Notes in Computer Science; No. 6688).

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

  323. Published

    Synthesis for PCTL in Parametric Markov Decision Processes. / Hahn, Ernst Moritz; Han, Tingting; Zhang, Lijun.

    NASA Formal Methods: Third International Symposium, NFM 2011 - Pasadena, CA, USA, April 18-20, 2011 - Proceedings. Springer, 2011. p. 146-161 (Lecture Notes in Computer Science; No. 6617).

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

  324. Published

    The ePNK: An Extensible Petri Net Tool for PNML. / Kindler, Ekkart.

    Applications and Theory of Petri Nets: 32nd International Conference, PETRI NETS 2011 Newcastle, UK, June 20-24, 2011 Proceedings. Springer, 2011. p. 318-327 (Lecture Notes in Computer Science; No. 6709).

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

  325. Published

    The Relevance Voxel Machine (RVoxM): A Bayesian Method for Image-Based Prediction. / Sabuncu, Mert R.; Van Leemput, Koen.

    Medical Image Computing and Computer-Assisted Intervention –MICCAI2011: 14th International Conference Toronto, Canada, September 18-22, 2011 Proceedings. Vol. 3 Springer, 2011. p. 99-106 (Lecture Notes in Computer Science; No. 6893).

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

  326. Published

    The Third Workshop on Behaviour Modelling - Foundations and Applications. / Roubtsova, Ella; McNeile, Ashley; Kindler, Ekkart; Aksit, Mehmet.

    Modelling Foundations and Applications: 7th European Conference, ECMFA 2011 Birmingham, UK, June 6-9, 2011 Proceedings. Springer, 2011. p. 381-382 (Lecture Notes in Computer Science; No. 6698).

    Publication: ResearchArticle in proceedings – Annual report year: 2011

  327. Published

    Towards a Framework for Modelling and Verification of Relay Interlocking Systems. / Haxthausen, Anne Elisabeth.

    Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems: 16th MontereyWorkshop 2010 Redmond,WA, USA, March 31 – April 2, 2010. Revised Selected Papers. Springer, 2011. p. 176-192 (Lecture Notes in Computer Science; No. 6662).

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

  328. Published

    Towards Formal Validation of Trust and Security of the Internet of Services. / Carbone, Roberto; Minea, Marius; Mödersheim, Sebastian Alexander; Ponta, Serena Elisa; Turuani, Mathieu; Viganò, Luca.

    The Future Internet: Future Internet Assembly 2011: Achievements and Technological Promises. Springer, 2011. p. 193-207 (Lecture Notes in Computer Science; No. 6656).

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

  329. Published

    Transactions on Computational Science IX : Special Issue on Voronoi Diagrams in Science and Engineering. / Anton, François (Editor).

    Springer, 2011. 203 p. (Lecture Notes in Computer Science; No. 6290).

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

  330. Published

    Trends in Controllable Oil Film Bearings. / Santos, Ilmar (Invited author).

    IUTAM Symposium on Emerging Trends in Rotordynamics. ed. / K. Gupta. Springer, 2011. p. 185-199 (IUTAM Bookseries; No. 25).

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

  331. Published

    Trust Management V : 5th IFIP WG 11.11 International Conference, IFIPTM 2011, Copenhagen, Denmark, June 29 - July 1, 2011, Proceedings. / Wakeman, I. (Editor); Gudes, E. (Editor); Jensen, Christian D. (Editor); Crampton, J. (Editor).

    Trust Management V. Springer, 2011.

    Publication: ResearchBook chapter – Annual report year: 2011

  332. Published

    Ultrafast THz saturable absorption in doped semiconductors at room temperature. / Turchinovich, Dmitry; Hoffmann, M. V.

    Ultrafast Phenomena XVII. Springer, 2011.

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

  333. Published

    Visualisation for Stochastic Process Algebras: The Graphic Truth. / Smith, Michael James Andrew; Gilmore, Stephen.

    Computer Performance Engineering: 8th European Performance Engineering Workshop, EPEW 2011 Borrowdale, UK, October 12-13, 2011 Proceedings. Springer, 2011. p. 310-324 (Lecture Notes in Computer Science; No. 6977).

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

  334. Published

    Wild McEliece Incognito. / Bernstein, Daniel J.; Lange, Tanja; Peters, Christiane.

    Lecture Notes in Computer Science. Vol. 7071 Springer, 2011. p. 244-254.

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

  335. 2010
  336. Published

    A Course Programme in Mobile Robotics with Integrated Hands-on Exercises and Competitions. / Ravn, Ole; Andersen, Nils Axel.

    Trends in Intelligent Robotics: 13th FIRA Robot World Congress, FIRA 2010, Bangalore, India, September 15-17, 2010. Proceedings. Vol. 103 Springer, 2010. p. 266-273.

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

  337. Published

    A Formal Model of Identity Mixer. / Camenisch, Jan; Mödersheim, Sebastian Alexander; Sommer, Dieter.

    Proceedings of the 15th International Workshop on Formal Methods for Industrial Critical Systems. Heidelberg : Springer, 2010. p. 198-214 (Lecture Notes in Computer Science; No. LNCS 6371).

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

  338. Published

    Application of the method of auxiliary sources in optical diffraction microscopy. / Karamehmedovic, Mirza; Sørensen, Mads Peter; Hansen, Poul-Erik; Lavrinenko, Andrei.

    Progress in Industrial Mathematics at ECMI 2008. 1. ed. Heidelberg, Dordrecht, London, New York : Springer, 2010. p. 899-905.

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

  339. Published

    ASLan++ — A Formal Security Specification Language for Distributed Systems. / Von Oheimb, David; Mödersheim, Sebastian Alexander.

    Formal Methods for Components and Objects: 9th International Symposium, FMCO 2010 Graz, Austria, November 29 - December 1, 2010 Revised Papers. Springer, 2010. p. 1-22 (Lecture Notes in Computer Science; No. 6957).

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

  340. Published

    Aspects of Insider Threats. / Probst, Christian W.; Hunker, Jeffrey; Gollmann, Dieter; Bishop, Matt.

    Aspects of Insider Threats. Springer, 2010. p. 1-16.

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

  341. Published

    Au Nanoparticles for Applications in Analysis of Cellular and Biomolecular Recognitions. / Cao, Cuong; Wolff, Anders; Bang, Dang Duong.

    Proceedings of the 3rd International Conference on the Development of BME in Vietnam, 11-14th Jan 2010. Springer, 2010. p. 294-297 (IFMBE Proceedings).

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

  342. Published

    Bioinspired Computation in Combinatorial Optimization : Algorithms and Their Computational Complexity. / Neumann, Frank; Witt, Carsten.

    Springer, 2010. (Natural Computing Series).

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

  343. Published

    BredeQuery: Coordinate-Based Meta-analytic Search of Neuroscientific Literature from the SPM Environment. / Wilkowski, Bartlomiej; Szewczyk, Marcin Marek; Rasmussen, Peter Mondrup; Hansen, Lars Kai; Nielsen, Finn Årup.

    Biomedical Engineering Systems and Technologies: Communications in Computer and Information Science. Vol. 52 Berlin : Springer, 2010. p. 314-324.

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

  344. Published

    Capturing the Intention of Model Changes. / Könemann, Patrick.

    Proceedings of the 13th International Conference on Model Driven Engineering Languages and Systems. Vol. Part II Springer, 2010. p. 108-122 (Lecture Notes in Computer Science; No. 6395).

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

  345. Published

    Cryptanalysis of Tav-128 hash function. / Kumar, Ashish; Sanadhya, Somitra Kumar; Gauravaram, Praveen; Safkhani, Masoumeh; Naderi, Majid.

    Proceedings of Indocrypt 2010: 11th International Conference on Cryptology in India. ed. / Guang Gong; Kishan Chand Gupta. Springer, 2010. p. 118-130 (Lecture Notes in Computer Science, Vol. 6498).

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

  346. Published

    Cryptanalysis of the ESSENCE Family of Hash Functions. / Mouha, Nicky; Sekar, Gautham; Aumasson, Jean-Philippe; Peyrin, Thomas; Thomsen, Søren Steffen; Turan, Meltem Sönmez; Preneel, Bart.

    Information Security and Cryptology: 5th International Conference, Inscrypt 2009, Beijing, China, December 12-15, 2009. Revised Selected Papers. Springer, 2010. p. 15-34 (Lecture Notes in Computer Science; No. 6151).

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

  347. Published

    Cryptographic Hash Functions. / Gauravaram, Praveen; Knudsen, Lars Ramkilde.

    Handbook of Information and Communication Security. ed. / Peter Stavroulakis; Mark Stamp. 1. ed. Berlin Heidelberg : Springer, 2010. p. 59-80 (Engineering).

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

  348. Published

    Design of an Enterobacteriaceae Pan-genome Microarray Chip. / Lukjancenko, Oksana; Ussery, David.

    CSBio 2010. Vol. 115 Springer, 2010. p. 174-189.

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

  349. Published

    Developing a Coding Scheme to Analyse Creativity in Highly-constrained Design Activities. / Dekoninck, Elies; Yue, Huang; Howard, Thomas J.; McMahon, Chris/A.

    Design Creativity 2010. Springer, 2010. p. 157-164.

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

  350. Differential Cache-Collision Timing Attacks on AES with Applications to Embedded CPUs. / Bogdanov, Andrey; Eisenbarth, Thomas; Paar, Christof; Wienecke, Malte.

    Topics in Cryptology - CT-RSA 2010. Proceedings. Springer, 2010. p. 235-251 (Lecture Notes in Computer Science, Vol. 5985).

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

  351. Published

    Differential Distinguishers for the Compression Function and Output Transformation of Hamsi-256. / Aumasson, Jean-Philippe; Käsper, Emilia; Knudsen, Lars Ramkilde; Matusiewicz, Krystian; Ødegård, Rune; Peyrin, Thomas; Schläffer, Martin.

    Proceedings of the 15th Australasian conference on Information security and privacy: July 5-7. Sydney, Australia : Springer, 2010. p. 87-103 (Lecture notes in computer science; No. 6168).

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

  352. Distributed online learning of central pattern generators in modular robots. / Christensen, David Johan; Spröwitz, Alexander; Ijspeert, Auke Jan.

    From Animals to Animats 11. ed. / R. Goebel; J. Siekmann; W. Wahlster. Springer, 2010. p. 402-412 (Lecture Notes in Computer Science; No. 6226).

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

  353. Evolution Over the Life Span of Complex Systems. / Pena, M.; Ibragimova, E.S.; Thompson, M.K.

    Global Product Development: Proceedings of the 20th CIRP Design Conference. ed. / Alain Bernard. Springer, 2010. p. 51-59.

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

  354. Published

    Fast Arc-Annotated Subsequence Matching in Linear Space. / Bille, Philip; Gørtz, Inge Li.

    SOFSEM 2010: Theory and Practice of Computer Science. Springer, 2010. p. 188-199 (Lecture Notes in Computer Science, Vol. 5901).

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

  355. Fractal Gene Regulatory Networks for Robust Locomotion Control of Modular Robots. / Zahadat, Payam; Christensen, David Johan; Schultz, Ulrik Pagh; Katebi, Serajeddin; Stoy, Kasper.

    From Animals to Animats 11. ed. / S Doncieux; B Girard; A Guillot; J Hallam; J-A Meyer; J-B Mouret. Springer, 2010. p. 544-554 (Lecture Notes in Computer Science; No. 6226).

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

  356. Published

    Gabor analysis for imaging. / Christensen, Ole; Feichtinger, Hans; Paukner, Stephan.

    Handbook in Imaging. Springer, 2010.

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

  357. Published

    Generating quality tetrahedral meshes from binary volumes. / Hansen, Mads Fogtmann; Bærentzen, Jakob Andreas; Larsen, Rasmus.

    Proceedings of the VISAPP. Springer, 2010.

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

  358. Published

    Genomic approaches in aquaculture and fisheries. / Cancela, M. Leonor; Bargelloni, Luca; Boudry, Pierre; Boulo, Viviane; Dias, Jorge; Huvet, Arnaud; Laize, Vincent; Lapegue, Sylvie; Leite, Ricardo; Mira, Sara; Eg Nielsen, Einar; Planas, Josep V.; Roher, Nerea; Sarropoulou, Elena; Volckaert, Filip A. M.; Cock, JM; TessmarRaible, K; Boyen, C; Viard, F.

    Introduction to Marine Genomics. ed. / J.M. Cock; K. Tessmar-Raible; C. Boyen; F. Viard. Dordrecht : Springer, 2010. p. 213-286.

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

  359. Published

    Greenland Ice Sheet Mass Loss from GRACE Monthly Models. / Sørensen, Louise Sandberg; Forsberg, René.

    GRAVITY, GEOID AND EARTH OBSERVATION. Springer, 2010. p. 527-532 (International Association of Geodesy Symposia; No. 135).

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

  360. Published

    Insider Threats in Cyber Security. / Probst, Christian W. (Editor); Hunker, Jeffrey (Editor); Gollmann, Dieter (Editor); Bishop, Matt (Editor).

    Springer, 2010. 244 p. (Advances in Information Security; No. 49).

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

  361. Published

    Large Neighborhood Search. / Pisinger, David; Røpke, Stefan.

    Handbook of Metaheuristics. ed. / Michel Gendreau. 2. ed. Springer, 2010. p. 399-420.

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

  362. Published

    LES based POD analysis of Jet in Cross Flow. / Cavar, Dalibor (Invited author); Meyer, Knud Erik (Invited author); Jakirlic, S. (Invited author); Saric, S. (Invited author).

    Direct and Large-Eddy Simulation VII. Springer, 2010. p. 253-259.

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

  363. Published

    Linking Design Decisions to Design Models in Model-based Software Development. / Könemann, Patrick.

    Software Architecture: 4th European Conference , ECSA 2010, Copenhagen, Denmark, August 23-26, 2010, Proceedings. 1. ed. Springer, 2010. p. 246-262 (Lecture Notes in Computer Science; No. 6285).

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

  364. Published

    Mathematical Properties Relevant to Geomagnetic FieldModeling. / Sabaka, Terence J.; Hulot, Gauthier; Olsen, Nils.

    Handbook of Geomathematics. Springer, 2010. p. 504-538.

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

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

  366. Published

    Modelling of PCF Nonlinearities. / Nikolov, Nikola Ivanov; Sørensen, Thorkild; Bang, Ole; Bjarklev, Anders Overgaard; Juul Rasmussen, Jens.

    Photonic Crystal Fibers: Science and Applications. Springer, 2010.

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

  367. Published

    MuZeeker - Adapting a music search engine for mobile phones. / Larsen, Jakob Eg; Halling, Søren Christian; Sigurdsson, Magnus Kristinn; Hansen, Lars Kai.

    Mobile Multimedia Processing: Fundamentals, Methods, and Applications. Springer, 2010. p. 154-169 (Lecture Notes in Computer Science; No. 5960).

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

  368. Published

    Network Survivability : End-to-End Recovery Using Local Failure Information. / Marzo, José L.; Stidsen, Thomas Riis; Ruepp, Sarah Renée; Calle, Eusebi; Tapolcai, Janos; Segovia, Juan.

    Graphs and Algorithms in Communication Networks: Studies in Broadband, Optical, Wireless and Ad Hoc Networks. ed. / Arie Koster; Xavier Muñoz. Springer, 2010. (Texts in Theoretical Computer Science. An EATCS Series).

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

  369. E-pub ahead of print

    Nonlinear Model Predictive Control for an Artificial Beta-Cell. / Boiroux, Dimitri; Finan, Daniel Aaron; Jørgensen, John Bagterp; Poulsen, Niels Kjølstad; Madsen, Henrik.

    Recent Advances in Optimization and its Applications in Engineering. Springer, 2010. p. 299-308.

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

  370. Published

    Non-smooth problems in vehicle systems dynamics : Proceedings of the Euromech Colloquium. / Thomsen, Per Grove (Editor); True, Hans (Editor).

    Springer, 2010. 270 p.

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

  371. Published

    Ocean Dynamic Topography from GPS - Galathea-3 First results. / Andersen, Ole Baltazar; Olesen, Arne Vestergaard; Forsberg, René; Strykowski, Gabriel; Cordua, Knud Skou; Zhang, X.

    Gravity, Geoid and Earth Observation. ed. / Stelios P. Mertikas. Vol. 135 Springer, 2010. p. 239-346.

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

  372. Published

    On the Collision and Preimage Resistance of Certain Two-Call Hash Functions. / Bagheri, Nasour; Gauravaram, Praveen; Naderi, Majid; Thomsen, Søren Steffen.

    Proceedings of the 9th International Conference on Cryptology and Network Security: ,. Vol. 6467 Springer, 2010. p. 96-105 (Lecture Notes in Computer Science).

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

  373. Published

    On the Comparison of Different Number Systems in the Implementation of Complex FIR Filters. / Cardarilli, Gian Carlo; Nannarelli, Alberto; Re, Marco.

    VLSI-SoC: Design Methodologies for SoC and SiP. Springer, 2010. p. 174-190.

    Publication: ResearchBook chapter – Annual report year: 2010

  374. Published

    Optimal Controller Design of a Wind Turbine with Doubly Fed Induction Generator for Small Signal Stability Enhancement. / Yang, Lihui; Yang, Guangya; Xu, Zhao; Dong, Zhao Yang; Xue, Yu Sheng.

    Wind Power Systems: Applications of Computational Intelligence. ed. / Lingfeng Wang; Chanan Singh; Andrew Kusiak. Springer, 2010. p. 167-190.

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

  375. Published

    PRINTcipher: A Block Cipher for IC-Printing. / Knudsen, Lars Ramkilde; Leander, Gregor.

    Cryptographic Hardware and Embedded Systems, CHES 2010: 12th International Workshop, Santa Barbara, CA, USA, August 17-20, 2010. ed. / Stefan Mangard; Francois-Xavier Standaert. Springer, 2010. p. 16-32 (Lecture notes in computer science; No. 6225).

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

  376. Published

    Pseudo-cryptanalysis of the Original Blue Midnight Wish. / Thomsen, Søren Steffen.

    Fast Software Encryption 2010. Springer, 2010. p. 304-317 (Lecture Notes in Computer Science).

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

  377. Published

    Radioactivity and Pollution in the Nordic Seas and Arctic Region : Observations, Modeling, and Simulations. / Johannessen, Ola M.; Volkov, Vladimir A.; Pettersson, Lasse H.; Maderich, Vladimir S.; Zheleznyak, Mark J.; Gao, Yongqi; Bobylev, Leonid P.; Stepanov, Andrey V.; Neelov, Ivan A.; Tishkov, Viktor P.; Nielsen, Sven Poul.

    Berlin : Springer, 2010. 500 p. (Nansen Center's Polar series; No. 5).

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

  378. Rethinking the Role of Time in Formal Design Theories. / Thompson, M.K.; Doroshenko, M.A.

    Global Product Development: Proceedings of the 20th CIRP Design Conference. ed. / Alain bernard. Springer, 2010. p. 61-72.

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

  379. Published

    Rotational Rebound Attacks on Reduced Skein. / Khovratovich, Dmitry; Nikolic, Ivica; Rechberger, Christian.

    Advances in Cryptology - ASIACRYPT 2010: 16th International Conference on the Theory and Application of Cryptology and Information Security, Singapore, December 5-9, 2010. Proceedings. ed. / Masayuki Abe. Springer, 2010. p. 1-19 (Lecture Notes in Computer Science, Vol. 6477).

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

  380. Published

    Sources of the Geomagnetic Field and theModern Data That Enable Their Investigation. / Olsen, Nils; Hulot, Gauthier; Sabaka, Terence J.

    Handbook of Geomathematics. Springer, 2010. p. 106-124.

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

  381. Published

    Stacked Josephson Junctions. / Madsen, Søren Find; Pedersen, Niels Falsig; Christiansen, Peter Leth.

    Nanoscience and Engineering in Superconductivity. Springer, 2010. p. 163-186.

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

  382. Published

    Stochastic programming models for short-term power generation and bidding. / Kristoffersen, Trine; Fleten, S,-E.

    Energy, Natural Resource and Environmental Economics. ed. / E. Bjørndal; M. Bjørndal; M. Rönnqvist. Springer, 2010. p. 187-200.

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

  383. Published

    String Matching with Variable Length Gaps. / Bille, Philip; Gørtz, Inge Li; Vildhøj, Hjalte Wedel; Wind, David Kofoed.

    String Processing and Information Retrieval - 17th International Symposium, SPIRE 2010. Springer, 2010. p. 385-394 (Lecture Notes in Computer Science; No. 6393).

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

  384. Published

    Terrestrial Water Storage from GRACE and Satellite Altimetry in the Okavango Delta (Botswana). / Andersen, Ole Baltazar; Krogh, Pernille Engelbredt; Bauer-Gottwein, Peter; Leiriao, S.; Smith, R.; Berry, Philippa.

    Gravity, Geoid and Earth Observation. ed. / S. P. Mertikas. Vol. 135/ 7 Springer, 2010. p. 521-526.

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

  385. Published

    The Genome Atlas Resource. / Azam Qureshi, Matloob; Rotenberg, Eva; Stærfeldt, Hans Henrik; Hansson, Lena; Ussery, David.

    International Conference on Computational Systems-Biology and Bioinformatics, Proceedings. Vol. 115 Springer, 2010. p. 149-158.

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

  386. Published

    The Impact of CAS Use in Introductory Engineering Mathematics. / Schmidt, Karsten (Invited author); Rattleff, Pernille (Invited author); Hussmann, Peter Munkebo (Invited author).

    Progress in Industrial Mathematics at ECMI 2008. Springer, 2010.

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

  387. Published

    The Risk of Risk Analysis. / Probst, Christian W.; Hunker, Jeffrey.

    Economics of Information Security and Privacy. Springer, 2010. p. 279-299.

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

  388. Published

    Worst-case analysis of heap allocations. / Puffitsch, Wolfgang; Huber, Benedikt; Schoeberl, Martin.

    Leveraging Applications of Formal Methods, Verification and Validation: 4th International Symposium On Leveraging Applications (ISoLA 2010). Vol. 2 1. ed. Springer, 2010. p. 464-478 (Lecture Notes in Computer Science; No. 6416).

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

  389. 2009
  390. Published

    A Cache Timing Analysis of HC-256. / Zenner, Erik.

    Selected Areas in Cryptography: Workshop Proceedings. ed. / R. Avanzi; L. Keliher; F. Sica. Springer, 2009. p. 199-213 (Springer Lecture Notes in Computer Science (LNCS); No. 5381).

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

  391. A critical review on modelling formalisms and simulation tools in computational biosystems. / Machado, Daniel; Costa, Rafael S.; Rocha, Miguel; Rocha, Isabel; Tidor, Bruce; Ferreira, Eugénio C.

    Distributed Computing, Artificial Intelligence, Bioinformatics, Soft Computing, and Ambient Assisted Living: 10th International Work-Conference on Artificial Neural Networks, IWANN 2009 Workshops, Salamanca, Spain, June 10-12, 2009. Proceedings. Vol. 2 Springer, 2009. p. 1063-1070 (Lecture Notes in Computer Science, Vol. 5518).

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

  392. Published

    A Domain-specific Framework for Automated Construction and Verification of Railway Control Systems. / Haxthausen, Anne Elisabeth (Invited author).

    Computer Safety, Reliability, and Security. ed. / Buth; Rabe; Seyfarth. Vol. 5775 Berlin / Heidelberg : Springer, 2009. p. 1-3 (Lecture Notes in Computer Science).

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

  393. Published

    A Formal Semantics for the WS-BPEL Recovery Framework - The Pi-Calculus Way. / Dragoni, Nicola; Mazzara, Manuel.

    6th International Workshop on Web Services and Formal Methods (WS-FM'09). Springer, 2009. (LNCS).

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

  394. Published

    A Mechanism for Identity Delegation at Authentication Level. / Ahmed, Naveed; Jensen, Christian D.

    Identity and Privacy in the Internet Age, Proceedings: Lecture Notes in Computer Science. Vol. 5838 Springer, 2009. p. 148-162.

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

  395. Published

    Analysis of gait using a treadmill and a Time-of-flight camera. / Jensen, Rasmus Ramsbøl; Paulsen, Rasmus Reinhold; Larsen, Rasmus.

    Dynamic 3D Imaging. Heidelberg : Springer, 2009. p. 154-166.

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

  396. Published

    Analyzing Gait Using a Time-of-Flight Camera. / Jensen, Rasmus Ramsbøl; Paulsen, Rasmus Reinhold; Larsen, Rasmus.

    Proceedings of the Scandinavian Conference on Image Analysis. Heidelberg : Springer, 2009.

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

  397. Published

    Applied Algebra, Algebraic Algorithms and Error-Correcting Codes. / Bras-Amorós, Maria (Editor); Høholdt, Tom (Editor).

    Berlin : Springer, 2009. 243 p. (Lecture Notes in Computer Science; No. 5527).

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

  398. Published

    A Practical Key Recovery Attack on Basic TCHo. / Leander, Gregor; Herrmann, Mathias.

    Public Key Cryptography - PKC 2009: 12th International Conference on Practice and Theory in Public Key Cryptography. Springer, 2009. p. 411-424 (Lecture Notes in Computer Science; No. 5443).

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

  399. Published

    Bioprocess Modelling for Learning Model Predictive Control (L-MPC). / Alvarez Villanueva, Maria Antonieta; Stocks, Stuart M.; Jørgensen, Sten Bay.

    Computational Intelligence Techniques for Bioprocess Modelling, Supervision and Control: M.C.Nicoletti and L.C. Jain (Eds.), Studies in Computational Intelligence. Vol. Chapter 9 Germany : Springer, 2009. p. 237-280.

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

  400. Published

    Bivium as a Mixed Integer Programming Problem. / Borghoff, Julia; Knudsen, Lars Ramkilde; Stolpe, Mathias.

    Cryptography and Coding: 12th IMA International Conference, Cryptography and Coding 2009 Cirencester, UK, DEcenber 2009. ed. / Matthew G. Parker. Springer, 2009. p. 133-152 (Lecture Notes of Computer Science; No. 5921).

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

  401. Published

    Cache Timing Analysis of LFSR-based Stream Ciphers. / Zenner, Erik; Leander, Gregor; Hawkes, Philip.

    Cryptography and Coding. Berlin : Springer, 2009. (Lecture Notes in Computer Science; No. 5921).

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

  402. Published

    CC-based Design of Secure Application Systems. / Sharp, Robin.

    Engineering Secure Software and Systems. ed. / B. De Win; F. Massacci; S. Redwine; N. Zannone. Springer, 2009. p. 111-121 (Lecture Notes in Computer Science; No. 5429).

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

  403. Published

    Charge transport of solute oligonucleotides in metallic nanogaps - observations and some puzzles. / Kuznetsov, Alexander M.; Ulstrup, Jens.

    Bioinorganic Electrochemistry. ed. / Ole Hammerich; Jens Ulstrup. Guilford : Springer, 2009. p. 163-208.

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

  404. Published

    Considerations for implementation of manufactured nanomaterial policy and governance. / Satterstrom, S.F.; Arcuri, A.S.A.; Davis, T.A.; Gulledge, W.; Hansen, Steffen Foss; Haraza, M.A.S.; Kapustka, L.; Karkan, D.; Linkov, I.; Melkonyan, M.; Monica, J.; Owen, R.; Palma-Oliveira, J.M.; Srdjevic, B.

    Nanomaterials: Risks and Benefits. ed. / I. Linkov; J. Steevens. Dordrecht, NL : Springer, 2009. p. 329-350.

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

  405. Published

    Cryptanalysis of C2. / Borghoff, Julia; Knudsen, Lars Ramkilde; Leander, Gregor; Matusiewicz, Krystian.

    Advances in Cryptology - CRYPTO 2009: 29th Annual International Cryptology Conference. ed. / Shai Halevi. Vol. 5677 1st. ed. Belin Heldelberg New York : Springer, 2009. p. 250-266.

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

  406. Published

    Cryptanalysis of MDC-2. / Knudsen, Lars Ramkilde; Mendel, Florian; Rechberger, Christian; Thomsen, Søren Steffen.

    Advances in Cryptology - EUROCRYPT 2009: 28th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Cologne, Germany, April 26-30, 2009. Proceedings.. ed. / Antoine Joux. Berlin / Heidelberg : Springer, 2009. p. 106-120 (Lecture Notes in Computer Science; No. 5479).

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

  407. Published

    Cryptanalysis of the LAKE Hash Family. / Biryukov, Alex; Gauravaram, Praveen; Guo, Jian; Khovratovich, Dmitry; Ling, San; Matusiewicz, Krystian; Nikolić, Ivica; Pieprzyk, Josef; Wang, Huaxiong.

    Fast Software Encryption. ed. / Orr Dunkelman. Vol. 5665 Berlin / Heidelberg : Springer, 2009. p. 156-179 (Lecture Notes in Computer Science; No. 5665).

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

  408. Published

    Cryptanalysis of Vortex. / Aumasson, Jean-Philippe; Dunkelman, Orr; Mendel, Florian; Rechberger, Christian; Thomsen, Søren Steffen.

    Progress in Cryptology - AFRICACRYPT 2009: Proceedings. ed. / Bart Preneel. Springer, 2009. p. 14-28 (Lecture Notes in Computer Science; No. 5580).

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

  409. Published

    Declarative Business Process Modelling and the Generation of ERP Systems. / Schultz-Møller, Nicholas Poul; Hølmer, Christian; Hansen, Michael Reichhardt.

    Software and Data Technologies. Springer, 2009. p. 134-146 (Communications in Computer and Information Science; No. Volume 47).

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

  410. Published

    DXRD and Its Applications Leading to New Modelling. / Juul Jensen, Dorte.

    Microstructure and Texture in Steels and other Materials. ed. / A. Haldar; S. Suwas; D. Bhattacharjee. London : Springer, 2009. p. 247-254.

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

  411. Published

    Electrochemical Biosensing of Redox Proteins and Enzymes. / Chi, Qijin; Jensen, Palle Skovhus; Ulstrup, Jens.

    Nanobioelectronics for Electronics, Biology and Medicine. ed. / Andreas Offenhaeusser; Ross Rinaldi. Springer, 2009. p. 183-210.

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

  412. Exploit Morphology to Simplify Docking of Self-reconfigurable Robots. / Stoy, Kasper; Brandt, David; Bordignon, Mirko; Schultz, Ulrik Pagh; Christensen, David Johan.

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

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

  413. Published

    Geolocating fish using Hidden Markov Models and Data Storage Tags. / Thygesen, Uffe Høgsbro; Pedersen, Martin Wæver; Madsen, Henrik.

    Tagging and Tracking of Marine Animals with Electronic Devices: Volume 8 reviews: methods and technologies in fish biology and fisheries. ed. / J.L. Nielsen. Vol. Part 2: Geolocation Methods Springer, 2009. p. 277-293 (Reviews: Methods and Technologies in Fish Biology and Fisheries; No. 9). (Reviews: Methods and Technologies in Fish Biology and Fisheries, Vol. 9).

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

  414. Published

    Geospatial-Enabled RuleML in a Study on Querying Respiratory Disease Information. / Gao, Sheng; Boley, Harold; Mioc, Darka; Anton, François; Yi, Xialoun.

    Third International RuleML Symposium on Rule Interchange and Applications (RuleML-2009). Springer, 2009. p. 272-281 (Lecture Notes in Computer Science).

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

  415. Published

    Greedy Local Search and Vertex Cover in Sparse Random Graphs. / Witt, Carsten.

    Theory and Applications of Models of Computation: 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings. Springer, 2009. p. 410-419 (Lecture Notes in Computer Science, Vol. 5532).

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

  416. Published

    Height and Tilt Geometric Texture. / Andersen, Vedrana; Desbrun, Mathieu; Bærentzen, Jakob Andreas; Aanæs, Henrik.

    Advances in Visual Computing: 5th International Symposium, ISVC 2009. ed. / G. Bebis. Vol. Part 1 Springer, 2009. p. 656-667.

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

  417. Published

    Hierarchical Markov Random Fields Applied to Model Soft Tissue Deformations on Graphic Hardware. / Seiler, Christof; Büchler, Philippe; Nolte, Lutz-Peter; Reyes, Mauricio; Paulsen, Rasmus R.

    Recent Advances in the 3D Physiological Human. ed. / Nadia Magnenat-Thalmann. Springer, 2009. p. 133-148.

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

  418. Published

    Human health risks of engineered nanomaterials: Critical knowledge gaps in nanomaterials risk assessment. / Elder, A.; Lynch, I.; Grieger, Khara Deanne; Chan-Remillard, S.; Gatti, A.; Gnewuch, H.; Kenawy, E.; Korenstein, R.; Kuhlbusch, T.; Linker, F.; Matias, S.; Monteiro-Riviere, N.; Pinto, V.R.S.; Rudnitsky, R.; Savolainen, K.; Shvedova, A.

    Nanotechnology. Risks and Benefits. ed. / I. Linkov; J. Steevens. Dordrecht, NL : Springer, 2009. p. 3-29.

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

  419. Published

    Kernel based subspace projection of near infrared hyperspectral images of maize kernels. / Larsen, Rasmus; Arngren, Morten; Hansen, Per Waaben; Nielsen, Allan Aasbjerg.

    Proceedings on the 16th Scandinavian Conference on Image Analysis. ed. / Arnt-Børre Salberg. New York : Springer, 2009. (Lecture Notes in Computer Science).

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

  420. Large scale dynamic model reconstruction for the central carbon metabolism of escherichia coli. / Costa, Rafael S.; Machado, Daniel; Rocha, Isabel; Ferreira, EugénioC.

    Distributed Computing, Artificial Intelligence, Bioinformatics, Soft Computing, and Ambient Assisted Living: 10th International Work-Conference on Artificial Neural Networks, IWANN 2009 Workshops, Salamanca, Spain, June 10-12, 2009. Proceedings. Vol. 2 Springer, 2009. p. 1079-1083 (Lecture Notes in Computer Science, Vol. 5518).

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

  421. Published

    Lessons from a prototype geolocation problem. / Thygesen, Uffe Høgsbro; Nielsen, Anders.

    Tagging and Tracking of Marine Animals with Electronic Devices. Vol. Part 2: Geolocation Methods Springer, 2009. p. 257-276 (Reviews: Methods and Technologies in Fish Biology and Fisheries, Vol. 9).

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

  422. Published

    Markerless 3D Face Tracking. / Walder, Christian; Breidt, Martin; Bulthoff, Heinrich; Scholkopf, Bernhard; Curio, Cristobal.

    Pattern Recognition. Springer, 2009. p. 41-50 (Lecture Notes in Computer Science).

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

  423. Published

    Mass Action Models Describing Extant Horizontal Transfer of Plasmids: Inferences and Parameter Sensitivities. / Smets, Barth F.; Lardon, Laurent.

    Horizontal Gene Transfer : Genomes in Flux. ed. / Maria Boekels Gogarten; Johann Peter Gogarten; Lorraine Olendzenski. Vol. 17 Springer, 2009. p. 289-305 (Methods in Molecular Biology; No. 532).

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

  424. Published

    Mattson Solomon transform and algebra codes. / Martinez-Moro, Edgar; Ruano, Diego.

    Gröbner Bases, Coding, and Cryptography. Springer, 2009. p. 385-388.

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

  425. Published

    Measuring Meteorology in Urban Areas - Some Progress and Many Problems. / Gryning, Sven-Erik; Batchvarova, Ekaterina.

    Meteorological and Air Quality Models for Urban Areas. ed. / A. Baklanov; S. Grimmond; A. Mahura; M. Athanassiadou. Springer, 2009. p. 125-131.

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

  426. Published

    Methods and Tools. / Jensen, Jørgen Juncher; Soares, Carlos Guedes; Papanikolaou, Apostolos.

    Risk-based Ship Design: Methods, Tools and Applications. ed. / Apostolos Papanikolaou. 1. ed. Berlin : Springer, 2009. p. 195-301.

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

  427. Published

    Minimum Makespan Multi-vehicle Dial-a-Ride. / Gørtz, Inge Li; Nagarajan, Viswanath; Ravi, R.

    Algorithms - ESA 2009. Springer, 2009. p. 540-552 (Lecture Notes in Computer Science; No. Volume 5757/2009).

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

  428. Published

    Model-based Software Engineering and Process-Aware Information Systems. / Kindler, Ekkart.

    Transactions on Petri Nets and Other Models of Concurrency II: Special Issue on Concurrency in Process-Aware Information Systems. ed. / K. Jensen; W.M.P. van der Aalst. Vol. 2 1. ed. Springer, 2009. p. 27-45 (Lecture Notes in Computer Science; No. 5460).

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

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

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

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

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

  433. Published

    Nanomaterials in consumer products. / Hansen, Steffen Foss; Baun, Anders; Michelson, E.S.; Kamper, A.; Borling, P.; Stuer-Lauridsen, F.

    Nanotechnology. Risks and Benefits. ed. / I. Linkov; J. Steevens. Dordrecht, NL : Springer, 2009. p. 359-367.

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

  434. Published

    Nonce Generators and the Nonce Reset Problem. / Zenner, Erik.

    Proceedings ISC 2009. ed. / P. Samarati. Springer, 2009. p. 411-426 (Lecture Notes in Computer Science; No. 5735).

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

  435. Published

    On randomizing hash functions to strengthen the security of digital signatures. / Gauravaram, Praveen; Knudsen, Lars Ramkilde.

    Proceedings of Eurocrypt-2009. ed. / Antoine Joux. Vol. 5479 Berlin Heidelberg New York : Springer, 2009. p. 88-105 (Lecture Notes in Computer Science; No. 5479).

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

  436. Published

    ONTOGRABBING: Extracting Information from Texts Using Generative Ontologies. / Nilsson, Jørgen Fischer; Szymczak, Bartlomiej Antoni; Jensen, P.A.

    Flexible Query Answering Systems: 8th International Conference, Fqas 2009. Berlin : Springer, 2009. (Lecture Notes in Artificial Intelligence; No. 5822).

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

  437. Published

    Optical coherence tomography: Technique and applications. / Thomsen, Jakob Borup; Sander, Birgit; Mogensen, Mette; Thrane, Lars; Jørgensen, Thomas Martini; Jemec, Gregor B.E.; Andersen, Peter E.

    Advanced Imaging in Biology and Medicine: Technology, Software Environments, Applications. ed. / C.W. Sensen; B. Hallgrimsson. Berlin : Springer, 2009. p. 103-130.

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

  438. Published

    Optimal Bipartitet Ramanujan Graphs from Balanced Incomplete Block Designs: Their Characterization and Applications to Expander/LDPC Codes.. / Høholdt, Tom (Invited author); Janwa, Heeralal (Invited author).

    Applied Algebra, Algebraic Algorithms, and Error-Correcting Codes: Springer Lecture Notes in Computer Science. Vol. 5527 Berlin : Springer, 2009. p. 53-65.

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

  439. Published

    Optimizing TCP Performance over UMTS with Split TCP Proxy. / Hu, Liang; Dittmann, Lars.

    Communications and Networking in China. Vol. Volume 26 Springer, 2009. p. 25-35 (Communications in Computer and Information Science).

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

  440. Published

    Practical Pseudo-collisions for Hash Functions ARIRANG-224/384. / Guo, Jian; Matusiewicz, Krystian; Knudsen, Lars Ramkilde; Ling, San; Wang, Huaxiong.

    Selected Areas in Cryptography: 16th Annual International Workshop. ed. / Michael J. Jacobson; Vincent Rijmen; Reihaneh Safavi-Naini. Vol. 5867 1st. ed. Berlin Heidelberg : Springer, 2009. p. 141-156.

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

  441. Published

    Preimages for Step-Reduced SHA-2. / Aoki, Kazumaro; Guo, Jian; Matusiewicz, Krystian; Sasaki, Yu; Wang, Lei.

    Advances in Cryptology -- ASIACRYPT 2009. ed. / Mitsuru Matsui. Vol. 5912 Springer, 2009. p. 578-597 (Lecture Notes in Computer Science; No. 5912).

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

  442. Real-Time Sound Synthesis of Plucked String Instruments Using a Data Parallel Architecture. / Luong, Huynh Van; Cho, Sangjin; Kim, Jong Myon; Chong, Uipil.

    Emerging Intelligent Computing Technology and Applications: 5th International Conference on Intelligent Computing, ICIC 2009, Ulsan, South Korea, September 16-19, 2009. Proceedings. Springer, 2009. p. 211-221 (Lecture Notes in Computer Science, Vol. 5754).

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

  443. Published

    Rebound Attack on the Full LANE Compression Function. / Matusiewicz, Krystian; Naya-Plasencia, Maria; Nikolic, Ivica; Sasaki, Yu; Martin Schlaeffer, Martin.

    Advances in Cryptology -- ASIACRYPT 2009. ed. / Mitsuru Matsui. Vol. 5912 1. ed. Springer, 2009. p. 106-125 (Lecture Notes in Computer Science; No. 5912).

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

  444. Published

    Regularisation of 3D Signed Distance Fields. / Paulsen, Rasmus Reinhold; Bærentzen, Jakob Andreas; Larsen, Rasmus.

    Proceedings of the 16th Scandinavian Conference on Image Analysis. Vol. 5575 Springer, 2009. p. 513-519 (Lecture Notes in Computer Science).

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

  445. Removing bias in latitude estimated from solar irradiance time series. / Sibert, J.; Nielsen, Anders; Musyl, M.; Leroy, B.; Evans, K.

    Tagging and Tracking of Marine Animals with Electronic Devices: Geolocation Methods. Vol. 2 Springer, 2009. p. 311-322.

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

  446. Published

    Security in Wiki-Style Authoring Systems. / Jensen, Christian D.

    Trust Management III: Third IFIP WG 11.11 International Conference. Springer, 2009. p. 81-98 (IFIP Advances in Information and Communication Technology; No. 300).

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

  447. Published

    Semantic Contours in Tracks Based on Emotional Tags. / Petersen, Michael Kai; Hansen, Lars Kai; Butkus, Andrius.

    Computer Music Modeling and Retrieval.: Genesis of Meaning in Sound and Music. Vol. Volume 5493/2010 1st. ed. Springer, 2009. p. 45-66 (Lecture Notes in Computer Science: Information Systems and Applications; No. 5493).

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

  448. Published

    Service-Oriented Strategies for Manufacturing Firms. / Tan, Adrian; McAloone, Tim C.; Matzen, Detlef.

    Introduction to Product/Service-System Design. ed. / Tomohiko Sakao; Mattias Lindahl. Springer, 2009. p. 197-218.

    Publication: Education - peer-reviewBook chapter – Annual report year: 2010

  449. State space model for light based tracking of marine animals: validation on swimming and diving creatures. / Nielsen, Anders; Sibert, J.; Kohin, S.; Musyl, M.

    Tagging and Tracking of Marine Animals with Electronic Devices: Geolocation Methods. Vol. 2 Springer, 2009. p. 295-309.

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

  450. Published

    Strategic approaches for the management of environmental risk uncertainties posed by nanomaterials. / Owen, R.; Crane, M.; Grieger, Khara Deanne; Handy, R.; Linkov, I.; Depledge, M.

    Nanotechnology. Risks and Benefits. ed. / I. Linkov; J. Steevens. Dordrecht, NL : Springer, 2009. p. 369-384.

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

  451. Published

    Structure and Strength of IF Steel After Large Strain Deformation. / Hansen, Niels; Huang, Xiaoxu; Kamikawa, Naoya.

    Microstructure and Texture in Steels and other Materials. ed. / A. Haldar; S. Suwas; D. Bhattacharjee. London : Springer, 2009. p. 33-42.

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

  452. Published

    Surrogate Modeling for Geometry Optimization. / Rojas Larrazabal, Marielba de la Caridad; Abraham, Yonas; Holzwarth, Natalie; Plemmons, Robert.

    Proceedings of the ECMI. Springer, 2009. (Mathematics in Industry).

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

  453. Published

    Survey of PHY and LINK layer functions of cognitive radio networks for opportunistic spectrum sharing. / Hu, Liang; Iversen, Villy Bæk; Dittmann, Lars.

    Proceedings, Chinacombiz. Springer, 2009. p. 10-24 (Communications in Computer and Information Science; No. 26).

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

  454. Published

    Synchronization: From Simple to Complex. / Balanov, A.; Janson, N.; Postnov, D.; Sosnovtseva, Olga.

    Berlin : Springer, 2009. 426 p.

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

  455. Published

    Systematic design of metamaterials by topology optimization. / Sigmund, Ole (Invited author).

    Symposium on Modelling Nanomaterials and Nanosystems: IUTAM Bookseries. ed. / R Pyrz; J C Rauhe. Springer, 2009. p. 151-160.

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

  456. Published

    Testing EGM08 on Leveling Data from Scandinavia, Adjacent Baltic Areas, and Greenland.. / Strykowski, Gabriel; Forsberg, René.

    Proceedings IAG International Gravity Symposium. ed. / Stelios P. Mertikas. Berlin Heidelberg : Springer, 2009. p. 505-509.

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

  457. Published

    Texture Segmentation by Contractive Decomposition and Planar Grouping. / Dahl, Anders Lindbjerg; Bogunovich, Peter; Shokoufandeh, Ali.

    Lecture Notes in Computer Science. 1. ed. Berlin / Heidelberg : Springer, 2009. p. 343-352.

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

  458. Published

    The order bound for toric codes. / Beelen, Peter (Invited author); Ruano, Diego (Invited author).

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 5527 Springer, 2009. p. 1-10.

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

  459. Published

    The Rebound Attack: Cryptanalysis of Reduced Whirlpool and Grøstl. / Mendel, Florian; Rechberger, Christian; Schläffer, Martin; Thomsen, Søren Steffen.

    Fast Software Encryption: 16th International Workshop, FSE 2009 Leuven, Belgium, February 22-25, 2009 Revised Selected Papers. ed. / Orr Dunkelman. Springer, 2009. p. 260-276 (Lecture Notes in Computer Science; No. 5665).

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

  460. Published

    The Science of Construction Materials. / Jensen, Ole Mejlhede (Editor); Hansen, Per Freiesleben.

    Heidelberg : Springer, 2009.

    Publication: EducationBook – Annual report year: 2009

  461. Published

    Thule Expedition 2003 - Studies on Radioactive Contamination and Particles. / Nielsen, Sven Poul; Roos, Per; Dahlgaard, Henning; Olsen, Svend K.; Jernström, Jussi; Eriksson, Mats.

    Radioactive Particles in the Environment: Proceedings. ed. / Deborah Oughton; Valery Kashparov. Springer, 2009. p. 93-109 (NATO Science for Peace and Security Series. Series C: Environmental Security).

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

  462. Total Cost of Ownership Considerations in Global Sourcing Processes. / Alard, Robert; Bremen, Philipp; Oehmen, Josef; Schneider, Christian.

    Advances in Production Management Systems. New Challenges, New Approaches. Springer, 2009. p. 491-498 (IFIP AICT - Advances in Information and Communication technology, Vol. 338).

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

  463. Published

    Towards a Standard for Modular Petri Nets : A Formalisation. / Kindler, Ekkart; Petrucci, Laure.

    Proceedings of the Application and Theory of Petri Nets: 30th International Conference. ed. / Giuliana Franceschinis; Karsten Wolf. Springer, 2009. p. 43-62 (Lecture Notes in Computer Science; No. 5606).

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

  464. Published

    Unsupervised Assessment of Subcutaneous and Visceral Fat by MRI. / Jørgensen, Peter Stanley; Larsen, Rasmus; Wraae, Kristian.

    IMAGE ANALYSIS, PROCEEDINGS. Vol. 5575 Springer, 2009. p. 179-188 (Lecture Notes in Computer Science).

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

  465. Published

    Where are All the Agents? On the Gap Between Theory and Practice of Agent-Based Referral Networks : An Inter-Agent Communication Perspective. / Dragoni, Nicola.

    Principles of Practice in Multi-Agent Systems. Berlin : Springer, 2009. (Lecture Notes in Artificial Intelligence; No. 5925).

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

  466. Published

    WILMAR: A stochastic programming tool to analyze the large-scale integration of wind energy. / Weber, Christoph; Meibom, Peter; Barth, Rüdiger; Brand, Heike.

    Optimization in the Energy Industry. ed. / J. Kallrath; P.M. Pardalos; S. Rebennack; M. Scheidt. Springer, 2009. p. 437-460 (Energy Systems).

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

  467. Published

    WRS: The Wikipedia Recommender System. / Lefévre, Thomas; Jensen, Christian D.; Thomas Rune, Korsgaard.

    Trust Management III: Third IFIP WG 11.11 International Conference. Springer, 2009. p. 298-301 (IFIP Advances in Information and Communication Technology; No. 300).

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

  468. 2008
  469. Published

    Acoustic Signals and Systems. / Jacobsen, Finn (Editor).

    Handbook of Signal Processing in Acoustics. ed. / David Havelock; Sonoko Kuwano; Michael Vorländer. Vol. Part 1 New York, NY, : Springer, 2008. p. 3-144.

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

  470. Published

    Advice for Coordination. / Hankin, Chris; Nielson, Flemming; Nielson, Hanne Riis; Yang, Fan.

    10th international conference on Coordination Models and Languages (Coordination'08). ed. / Doug Lea; Gianluigi Zavattaro. Germany : Springer, 2008. p. 153-168 (Lecture Notes in Computer Science; No. 5052).

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

  471. Published

    A Formal Analysis of Complex Type Flaw Attacks on Security Protocols. / Gao, Han; Bodei, Chiara; Degano, Pierpaolo.

    Lecture Notes in Computer Science. Vol. 5140 Springer, 2008. p. 167-183.

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

  472. Algebraic methods in side-channel collision attacks and practical collision detection. / Bogdanov, Andrey; Kizhvatov, Ilya; Pyshkin, Andrey.

    Progress in Cryptology - INDOCRYPT 2008. Proceedings. Springer, 2008. p. 251-265 (Lecture Notes in Computer Science, Vol. 5365).

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

  473. Published

    Alternative splicing in the ENCODE protein complement. / Tress, M.L.; Casadio, R.; Giorgetti, A.; Hallin, Peter Fischer; Juncker, Agnieszka; Kulberkyte, Eleonora; Martelli, P.; Raimondo, D.; Reeves, G.A.; Thornton, J.M.; Tramontano, A.; Wang, Kai; Wesselink, J.J.; Valencia, A.

    Modern Genome Annotation: The Biosapiens Network. Vol. Chapter 8.2 Springer, 2008. p. 453-480.

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

  474. Published

    Analysis of Surfaces Using Constrained Regression Models. / Darkner, Sune; Sabuncu, Mert R.; Golland, Polina; Paulsen, Rasmus Reinhold; Larsen, Rasmus.

    Lecture Notes in Computer Science: Medical Image Computing and Computer assisted Intervention. Vol. 5241-I Springer, 2008. p. 842-849.

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

  475. Published

    Analysis of the LSM/YSZ interface on micro- and nano-scale by SEM, FIB/SEM and (S)TEM. / Liu, Yi-Lin; Kuhn, Luise Theil; Bowen, Jacob R.

    EMC 2008. Proceedings. ed. / S. Richter; A. Schwedt. Vol. 2 Berlin : Springer, 2008. p. 349-350.

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

  476. A New Parallel Approach to Fuzzy Clustering for Medical Image Segmentation. / Luong, Huynh Van; Kim, Jong Myon.

    Advances in Visual Computing: 4th International Symposium, ISVC 2008, Las Vegas, NV, USA, December 1-3, 2008. Proceedings, Part I. Springer, 2008. p. 1092-1101 (Lecture Notes in Computer Science, Vol. 5358).

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

  477. Published

    A Syndrome Formulation of the Interpolation Step in the Guruswami-Sudan Algorithm. / Beelen, Peter (Invited author); Høholdt, Tom (Invited author).

    Coding Theory and Applications: 2nd International Castle Meeting, ISMCTA 2008, Castillo de la Mota, Medina del Campo, Spain, September 15-19, 2008, Proceedings. 1. ed. Springer, 2008. p. 20-32.

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

  478. Published

    Auditory processing models. / Dau, Torsten.

    Handbook of Signal Processing in Acoustics. ed. / David Havelock; Sonoko Kuwano; Michael Vorländer. New York, NY, : Springer, 2008.

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

  479. Published

    Bioinorganic eletrochemistrry. / Hammerich, Ole (Editor); Ulstrup, Jens.

    Springer, 2008. 310 p.

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

  480. Published

    Briefly on grid generation. / Engsig-Karup, Allan Peter.

    Nodal Discontinuous Galerkin Methods: Algorithms, Analysis, and Applications. first. ed. Springer, 2008. p. 451-461.

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

  481. Published

    Business risks and opportunities from climate change in large developing countries - a case study focusing on China. / Zhu, Xianli; Wu, X.

    Economics and management of climate change. Risks, mitigation and adaptation. ed. / B. Hansjürgens; X. Wu. Berlin : Springer, 2008. p. 293-304.

    Publication: ResearchBook chapter – Annual report year: 2008

  482. Published

    Car Users' Trade-off Between Time, Trip Length, Cost and Road Pricing in Behavioural Models. / Vuk, Goran; Nielsen, Otto Anker.

    Road Pricing, the Economy, and the Environment. 1. ed. Springer, 2008. p. 351-372.

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

  483. Published

    CASL, the Common Algebraic Specification Language. / Mossakowski, Till; Haxthausen, Anne Elisabeth; Sannella, Donald; Tarlecki, Andrzej.

    Logics of Specification Languages. ed. / Dines Bjørner; Martin C. Henson. Springer, 2008. (Monographs in Theoretical Computer Science. An EATCS Series; No. XXII).

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

  484. Published

    CenSurE: Center Surround Extremas for Realtime Feature Detection and Matching. / Agrawal, Motilal; Konolige, Kurt; Blas, Morten Rufus.

    The 10th European Conference on Computer Vision. Springer, 2008. p. 102-115.

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

  485. Published

    Charge transfer and interfacial bioelectrochemistry at the nanoscale and single-molecule levels. / Zhang, Jingdong; Albrecht, Tim; Chi, Qijin; Kuznetsov, Alexander M; Ulstrup, Jens.

    Bioinorganic Electrochemistry. ed. / Ole Hammerich; Jens Ulstrup. Guilford, UK : Springer, 2008. p. 251-304.

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

  486. Chvátal-Gomory Rank-1 Cuts used in a Dantzig-Wolfe Decomposition of the Vehicle Routing Problem with Time Windows. / Petersen, Bjørn; Pisinger, David; Spoorendonk, Simon.

    The Vehicle Routing Problem: Latest Advances and New Challenges. ed. / B. Golden; R. Raghavan; E. Wasil. Springer, 2008.

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

  487. Published

    Climate related marine ecosystem changes. / Dippner, J. W.; Vuorinen, I.; Daunys, D.; Flikman, J.; Halkka, A.; Köster, Fritz; Lehikoinen, E.; MacKenzie, Brian; Möllmann, C.; Møhlenberg, F.; Olenin, S.; Schiedek, D.; Skov, H.; Wasnung, N.

    Assessment of Climate Change for the Baltic Sea Basin. ed. / B.v. Bodungen; H.v. Storch. Springer, 2008. p. 309-377 (Regional climate studies).

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

  488. Published

    Cold-adapted fungi as a source for valuable metabolites. / Frisvad, Jens Christian.

    Psychrophiles: From Biodiversity to Biotechnology. ed. / R. Margesin; F. Schinner; J.-C. Marx; C. Gerday. Berlin : Springer, 2008. p. 381-387.

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

  489. Published

    Computer simulation of electron nanodiffraction from polycrystalline materials. / Sugio, K.; Huang, Xiaoxu.

    EMC 2008. Proceedings. Vol. 1: Instrumentation and methods. ed. / M. Luysberg; K. Tillmann; T. Weirich. Springer, 2008. p. 227-228.

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

  490. Published

    Concrete Security for Entity Recognition: The Jane Doe Protocol. / Lucks, Stefan; Zenner, Erik; Weimerskirch, Andre; Westhoff, Dirk.

    Progress in Cryptology - INDOCRYPT 2008. ed. / Dipanwita Roy Chowdhury; Vincent Rijmen; Abhijit Das. Springer, 2008. p. 158-171 (Lecture Notes in Computer Science; No. 5365).

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

  491. Published

    Convolutive Blind Source Separation Methods. / Pedersen, Michael Syskind; Larsen, Jan; Kjems, Ulrik; Parra, Lucas C.

    Springer Handbook of Speech. Vol. Chap. 52 Springer, 2008.

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

  492. Published

    COST ACTION 636 xenobiotics in the urban water cycle - a network for collaboration within Europe. / Ledin, Anna; Patureau, D.

    Pharmaceuticals in the environment. Vol. Chapter 26 3rd. ed. Freiburg, Germany : Springer, 2008. p. 419-426.

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

  493. Published

    Dakota – Hashing from a Combination of Modular Arithmetic and Symmetric Cryptography. / Damgård, Ivan Bjerre; Knudsen, Lars Ramkilde; Thomsen, Søren Steffen.

    Applied Cryptography and Network Security 2008: 6th International Conference, ACNS 2008, New York, NY, USA, June 3-6, 2008, Proceedings. ed. / Steven M. Bellovin; Rosario Gennaro; Angelos Keromytis; Moti Yung. Springer, 2008. p. 144-155 (Lecture Notes in Computer Science; No. 5037).

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

  494. Published

    Deformable Mosaicing for Whole-Body MRI. / Wachinger, Christian; Glocker, Benjamin; Zeltner, Jochen; Paragios, Nikos; Komodakis, Nikos; Hansen, Michael Sass; Navab, Nasir.

    Proceedings of MICCAI. Vol. 2 Springer, 2008. p. 113-121 (LNCS; No. 5241).

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

  495. Published

    Design, Automation, and Test in Europe : The Most Influential Papers of 10 Years DATE. / Lauwereins, Rudy (Editor); Madsen, Jan (Editor).

    Springer, 2008. 515 p.

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

  496. Published

    Duration Calculus. / Hansen, Michael Reichhardt.

    Logics of Specification Languages. ed. / Dines Bjørner; Martin C. Henson. Springer, 2008. p. 291-341 (Monographs in Theoretical Computer Science. An EATCS Series).

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

  497. Published

    Elongational Dynamics of Narrow Molar Mass Distribution Linear and Branched Polystyrene Melts. / Rasmussen, Henrik K.; Skov, Anne Ladegaard; Nielsen, Jens Kromann; Laille, Philippe; Hassager, Ole.

    Proceedings of The 15 International Congress on Rheology. Springer, 2008. p. 415-417 (AIP Conference Proceedings. Materials Physics and Applications; No. 1027).

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

  498. Published

    Estimation of Parametric Roll in a Stochastic Seaway. / Jensen, Jørgen Juncher; Pedersen, Preben Terndrup; Vidic-Perunovic, Jelena.

    IUTAM Symposium on Fluid-Structure Interaction in Ocean Engineering. Hamburg : Springer, 2008. p. 141-154 (Iutam Bookseries).

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

  499. Published

    Ethical Traceability and Communicating Food. / Nielsen, Thorkild (Editor); Coff, Christian (Editor); Korthals, Michiel (Editor); Barling, David (Editor).

    Springer, 2008. 343 p. (The International Library of Environmental, Agricultural and Food Ethics; No. 15).

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

  500. Published

    Ethical traceability in the bacon supply chain. / Nielsen, Thorkild; Kristensen, Niels Heine.

    Ethical Traceability and Communicating Food. Springer, 2008. p. 83-123.

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

  501. Published

    European Transportation in the Greenhouse — System and Policy Indicators. / Gudmundsson, Henrik (Invited author).

    Climate Change and Energy Pathways for the Mediterranean: Alliance for Global Sustainability Bookseries. ed. / Ernest J. Moniz. Vol. 15 Heidelberg : Springer, 2008. p. 163-191 (Alliance for Global Sustainability Bookseries Science and Technology: Tools for Sustainable Development).

    Publication: ResearchArticle in proceedings – Annual report year: 2008

  502. Published

    Experiences with Functional Programming in an Introductory Curriculum. / Hansen, Michael Reichhardt; Kristensen, Jens Thyge.

    Reflections on the Teaching of Programming: Methods and Implementations. ed. / Jens Bennedsen; Michael Caspersen; Michael Kölling. Springer, 2008. p. 31-47 (Lecture Notes in Computer Science; No. 4821).

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

  503. External Effects of Road-pricing. / Rich, Jeppe; Nielsen, Otto Anker.

    Road-pricing, the economy and the Environment. Springer, 2008. (Advance in Spatial Science).

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

  504. Published

    Feasibility of a Constellation of Miniature Satellites for Performing Measurements of the Magnetic Field of the Earth. / Thomsen, Michael; Merayo, José M.G.; Brauer, Peter; Vennerstrøm, Susanne; Olsen, Nils; Tøffner-Clausen, Lars.

    Small Satellites for Earth Observation. 1. ed. Netherlands : Springer, 2008. p. 123-132.

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

  505. Published

    Fish. / MacKenzie, Brian; Möllmann, C.; Köster, Fritz.

    Assessment of Climate Change for the Baltic Sea Basin. ed. / H.v. Storch. Vol. 5.8 Springer, 2008. p. 334-341 (Regional climate studies).

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

  506. Published

    From Flow Logic to Static Type Systems in Coordination Languages. / De Nicola, Rocco; Gorla, Daniele; Hansen, René Rydhof; Nielson, Flemming; Nielson, Hanne Riis; Probst, Christian W.; Pugliese, Rosario.

    Coordination Models and Languages: 10th International Conference, COORDINATION 2008. Vol. 5052 Springer, 2008. p. 100-116 (Lecture Notes in Computer Science).

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

  507. Published

    From product to service orientation in the maritime equipment industry : a case study. / Matzen, Detlef; McAloone, Timothy Charles.

    Manufacturing Systems and Technologies for the new Frontier: The 41st CIRP Conference on Manufacturing Systems. ed. / Mamoru Mitsuishi; Kanji Ueda; Fumihiko Kimura. Vol. 1 1. ed. London : Springer, 2008. p. 515-518.

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

Previous 1 2 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