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.

In: 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-review › Book chapter – Annual report year: 2013

A calculus for quality. / Nielson, Hanne Riis; Nielson, Flemming; Vigo, Roberto.

In: 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-review › Article in proceedings – Annual report year: 2013

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

In: 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-review › Article in proceedings – Annual report year: 2013

Application for Wind Turbine Blades. / McGugan, Malcolm.

In: 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-review › Book chapter – Annual report year: 2013

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.

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

Publication: Research - peer-review › Book chapter – Annual report year: 2013

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.

In: 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-review › Article in proceedings – Annual report year: 2013

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

In: 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-review › Article in proceedings – Annual report year: 2013

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

In: Handbook of Wind Power Systems. Springer, 2013.

Publication: Research - peer-review › Book chapter – Annual report year: 2013

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

In: 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-review › Article in proceedings – Annual report year: 2013

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

In: 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-review › Article in proceedings – Annual report year: 2013

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

In: 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-review › Book chapter – Annual report year: 2013

Performance of LTE in High Speed Railway Scenarios. / Sniady, Aleksander; Soler, José.

In: Communication Technologies for Vehicles: 5th International Workshop, Nets4Cars/Nets4Trains 2013, Villeneuve d’Ascq, France, May 14-15, 2013. Proceedings. ed. / Marion Berbineau; Magnus Jonsson; Jean-Marie Bonnin; Soumaya Cherkaoui; Marina Aguado; Cristina Rico-Garcia; Hassan Ghannoum; Rashid Mehmood; Alexey Vinel. Springer, 2013. p. 211-222 (Lecture Notes in Computer Science, Vol. 7865).

Publication: Research - peer-review › Article in proceedings – Annual report year: 2013

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

In: 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-review › Article in proceedings – Annual report year: 2013

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

In: 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-review › Article in proceedings – Annual report year: 2013

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

In: 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-review › Article in proceedings – Annual report year: 2013

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.

In: 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-review › Article in proceedings – Annual report year: 2013

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

In: 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-review › Article in proceedings – Annual report year: 2012

A General Framework for Probabilistic Characterizing Formulae. / Sack, Joshua; Zhang, Lijun.

In: Verification, Model Checking, and Abstract Interpretation: 13th International Conference, VMCAI 2012 Philadelphia, PA, USA, January 22-24, 2012 Proceedings. Springer, 2012. p. 396-411 (Lecture Notes in Computer Science; No. 7148).

Publication: Research - peer-review › Article in proceedings – Annual report year: 2012

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

In: 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-review › Article in proceedings – Annual report year: 2012

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

In: 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-review › Article in proceedings – Annual report year: 2011

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

In: 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-review › Article in proceedings – Annual report year: 2012

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

In: 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-review › Article in proceedings – Annual report year: 2012

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

In: 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-review › Article in proceedings – Annual report year: 2012

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

In: 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-review › Article in proceedings – Annual report year: 2012

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

In: 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-review › Book chapter – Annual report year: 2011

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.

In: 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-review › Article in proceedings – Annual report year: 2012

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

In: 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-review › Article in proceedings – Annual report year: 2012

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

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

Publication: Research - peer-review › Book chapter – Annual report year: 2012

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

In: 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-review › Book chapter – Annual report year: 2012

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

In: 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-review › Article in proceedings – Annual report year: 2012

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

In: 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-review › Article in proceedings – Annual report year: 2012

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

In: 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-review › Article in proceedings – Annual report year: 2012

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

In: 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-review › Article in proceedings – Annual report year: 2012

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

In: 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-review › Article in proceedings – Annual report year: 2012

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

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

Publication: Research - peer-review › Book chapter – Annual report year: 2012

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

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

Publication: Research - peer-review › Book chapter – Annual report year: 2012

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.

In: 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-review › Article in proceedings – Annual report year: 2012

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

In: 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-review › Article in proceedings – Annual report year: 2012

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

In: 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-review › Article in proceedings – Annual report year: 2012

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.

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2011

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

In: 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-review › Article in proceedings – Annual report year: 2012

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

In: 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-review › Article in proceedings – Annual report year: 2012

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2012

Hardware Support for Embedded Java. / Schoeberl, Martin.

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

Publication: Research - peer-review › Book chapter – Annual report year: 2012

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.

In: 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-review › Book chapter – Annual report year: 2012

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2012

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.

In: 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-review › Article in proceedings – Annual report year: 2012

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

In: 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-review › Book chapter – Annual report year: 2012

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

In: Programming Multi-Agent Systems: 9th InternationalWorkshop, 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-review › Article in proceedings – Annual report year: 2012

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

In: 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-review › Article in proceedings – Annual report year: 2012

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2012

Keeping Mathematical Awareness Alive. / Hansen, Vagn Lundsgaard.

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

Publication: Research - peer-review › Book chapter – Annual report year: 2012

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.

In: 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-review › Article in proceedings – Annual report year: 2012

Learning in real life. / Rasmussen, Lauge Baungaard.

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

Publication: Research - peer-review › Book chapter – Annual report year: 2012

Lernen in der Berufspraxis. / Rasmussen, Lauge Baungaard.

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

Publication: Research - peer-review › Book chapter – Annual report year: 2012

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

In: 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-review › Article in proceedings – Annual report year: 2012

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

In: 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-review › Article in proceedings – Annual report year: 2012

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

In: 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-review › Article in proceedings – Annual report year: 2012

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

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

Publication: Research - peer-review › Encyclopedia chapter – Annual report year: 2013

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

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

Publication: Research - peer-review › Book chapter – Annual report year: 2012

Model Checking as Static Analysis: Revisited. / Zhang, Fuyuan; Nielson, Flemming; Nielson, Hanne Riis.

In: 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-review › Article in proceedings – Annual report year: 2012

Modelling and Analysis of Dynamic Reconfiguration in BP-Calculus. / Abouzaid, Faisal; Mullins, John; Mazzara, Manuel; Dragoni, Nicola.

In: 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-review › Article in proceedings – Annual report year: 2012

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

In: 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-review › Book chapter – Annual report year: 2012

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

In: 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-review › Article in proceedings – Annual report year: 2012

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 .

In: 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-review › Book chapter – Annual report year: 2012

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

In: 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-review › Article in proceedings – Annual report year: 2012

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

In: 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-review › Article in proceedings – Annual report year: 2012

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

In: 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-review › Article in proceedings – Annual report year: 2012

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

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

Publication: Research - peer-review › Book chapter – Annual report year: 2012

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.

In: 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-review › Article in proceedings – Annual report year: 2012

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.

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

Publication: Research - peer-review › Book chapter – Annual report year: 2012

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

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

Publication: Research - peer-review › Book chapter – Annual report year: 2012

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

In: 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-review › Article in proceedings – Annual report year: 2012

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

In: 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-review › Article in proceedings – Annual report year: 2012

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

In: 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-review › Article in proceedings – Annual report year: 2012

SC²: 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.

In: 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-review › Article in proceedings – Annual report year: 2012

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.

In: ICIAR Proceedings: Springer Lecture Notes. Springer, 2012.

Publication: Research - peer-review › Article in proceedings – Annual report year: 2012

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2012

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

In: 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-review › Article in proceedings – Annual report year: 2012

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

In: 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-review › Article in proceedings – Annual report year: 2012

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

In: 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-review › Article in proceedings – Annual report year: 2012

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

In: 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-review › Article in proceedings – Annual report year: 2012

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.

In: 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-review › Article in proceedings – Annual report year: 2012

The Cyber-Physical Attacker. / Vigo, Roberto.

In: 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-review › Article in proceedings – Annual report year: 2012

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

In: 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-review › Article in proceedings – Annual report year: 2012

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

In: 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-review › Article in proceedings – Annual report year: 2012

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

In: 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-review › Book chapter – Annual report year: 2012

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

In: 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-review › Article in proceedings – Annual report year: 2012

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

In: 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-review › Article in proceedings – Annual report year: 2012

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

In: 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-review › Article in proceedings – Annual report year: 2012

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

In: 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-review › Book chapter – Annual report year: 2012

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

In: 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-review › Book chapter – Annual report year: 2012

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

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

Publication: Research - peer-review › Book chapter – Annual report year: 2012

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2011

Adaptable Authentication Model: Exploring Security with Weaker Attacker Models. / Ahmed, Naveed; Jensen, Christian D.

In: Engineering Secure Software and Systems: Third International Symposium, ESSoS 2011 Madrid, Spain, February 9-10, 2011 Proceedings. Springer, 2011. p. 234-247 (Lecture Notes in Computer Science, Vol. 6542).

Publication: Research - peer-review › Article in proceedings – Annual report year: 2012

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

In: 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-review › Article in proceedings – Annual report year: 2011

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

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

Publication: Research - peer-review › Book chapter – Annual report year: 2011

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

In: 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-review › Article in proceedings – Annual report year: 2011

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.

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

Publication: Research - peer-review › Book chapter – Annual report year: 2011

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.

In: 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-review › Article in proceedings – Annual report year: 2011

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.

In: 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-review › Article in proceedings – Annual report year: 2011

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

In: 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-review › Book chapter – Annual report year: 2011

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

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

Publication: Research - peer-review › Book chapter – Annual report year: 2011

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.

In: 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-review › Article in proceedings – Annual report year: 2011

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

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

Publication: Research - peer-review › Book chapter – Annual report year: 2011

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.

In: 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-review › Article in proceedings – Annual report year: 2011

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.

In: 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-review › Article in proceedings – Annual report year: 2011

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

In: 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-review › Article in proceedings – Annual report year: 2011

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.

In: 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-review › Article in proceedings – Annual report year: 2011

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

In: 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-review › Article in proceedings – Annual report year: 2011

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

In: 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-review › Article in proceedings – Annual report year: 2011

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

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

Publication: Research - peer-review › Book chapter – Annual report year: 2011

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

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

Publication: Research - peer-review › Book chapter – Annual report year: 2011

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

In: 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-review › Article in proceedings – Annual report year: 2011

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

In: 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-review › Article in proceedings – Annual report year: 2011

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2011

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

In: 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-review › Article in proceedings – Annual report year: 2011

Decoding algorithms. / Peters, Christiane.

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

Publication: Research - peer-review › Book chapter – Annual report year: 2011

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

In: 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-review › Article in proceedings – Annual report year: 2011

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2011

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

In: 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-review › Article in proceedings – Annual report year: 2011

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2011

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

In: Handbook of Visual Display Technology. Springer, 2011.

Publication: Research - peer-review › Book chapter – Annual report year: 2010

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

In: 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-review › Book chapter – Annual report year: 2011

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

In: 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-review › Article in proceedings – Annual report year: 2011

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

In: 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-review › Article in proceedings – Annual report year: 2011

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

In: 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-review › Article in proceedings – Annual report year: 2011

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2011

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.

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2011

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

In: 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-review › Article in proceedings – Annual report year: 2011

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

In: 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-review › Article in proceedings – Annual report year: 2011

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

In: 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-review › Article in proceedings – Annual report year: 2011

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2011

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

In: 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-review › Book chapter – Annual report year: 2011

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2011

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

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

Publication: Research - peer-review › Book chapter – Annual report year: 2011

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2011

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.

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2011

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

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

Publication: Research - peer-review › Book chapter – Annual report year: 2011

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

In: 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-review › Article in proceedings – Annual report year: 2011

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

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

Publication: Research - peer-review › Book chapter – Annual report year: 2011

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2011

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

In: 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-review › Article in proceedings – Annual report year: 2011

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

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

Publication: Research - peer-review › Book chapter – Annual report year: 2011

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2011

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

In: 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-review › Article in proceedings – Annual report year: 2011

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2011

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

In: 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-review › Article in proceedings – Annual report year: 2011

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2011

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

In: 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-review › Article in proceedings – Annual report year: 2011

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2011

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2011

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

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

Publication: Research - peer-review › Book chapter – Annual report year: 2011

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

In: 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-review › Article in proceedings – Annual report year: 2011

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

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

Publication: Research › Book chapter – Annual report year: 2011

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

In: 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-review › Article in proceedings – Annual report year: 2011

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

In: 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-review › Article in proceedings – Annual report year: 2011

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

In: 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-review › Article in proceedings – Annual report year: 2011

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

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

Publication: Research - peer-review › Book chapter – Annual report year: 2011

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

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

Publication: Research - peer-review › Book chapter – Annual report year: 2011

Sensometrics. / Brockhoff, Per B.

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

Publication: Research - peer-review › Book chapter – Annual report year: 2011

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

In: 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-review › Article in proceedings – Annual report year: 2011

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

In: 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-review › Article in proceedings – Annual report year: 2011

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

In: 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-review › Article in proceedings – Annual report year: 2011

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

In: 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-review › Book chapter – Annual report year: 2011

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

In: 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-review › Article in proceedings – Annual report year: 2011

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.

In: 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-review › Article in proceedings – Annual report year: 2011

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

In: 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-review › Article in proceedings – Annual report year: 2011

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

In: 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-review › Article in proceedings – Annual report year: 2011

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

In: 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-review › Article in proceedings – Annual report year: 2011

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

In: 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: Research › Article in proceedings – Annual report year: 2011

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

In: 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-review › Article in proceedings – Annual report year: 2011

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.

In: 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-review › Book chapter – Annual report year: 2011

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2009

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

In: Trust Management V. Springer, 2011.

Publication: Research › Book chapter – Annual report year: 2011

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

In: Ultrafast Phenomena XVII. Springer, 2011.

Publication: Research - peer-review › Book chapter – Annual report year: 2011

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

In: 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-review › Article in proceedings – Annual report year: 2012

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2011

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

In: 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-review › Article in proceedings – Annual report year: 2010

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

In: 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-review › Article in proceedings – Annual report year: 2010

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

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

Publication: Research - peer-review › Article in proceedings – Annual report year: 2010

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

In: 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-review › Article in proceedings – Annual report year: 2011

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

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

Publication: Research - peer-review › Book chapter – Annual report year: 2010

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

In: 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-review › Article in proceedings – Annual report year: 2010

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.

In: Biomedical Engineering Systems and Technologies: Communications in Computer and Information Science. Vol. 52 Berlin : Springer, 2010. p. 314-324.

Publication: Research - peer-review › Article in proceedings – Annual report year: 2010

Capturing the Intention of Model Changes. / Könemann, Patrick.

In: 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-review › Article in proceedings – Annual report year: 2010

Cryptanalysis of Tav-128 hash function. / Kumar, Ashish; Sanadhya, Somitra Kumar; Gauravaram, Praveen; Safkhani, Masoumeh; Naderi, Majid.

In: 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-review › Article in proceedings – Annual report year: 2010

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.

In: 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-review › Article in proceedings – Annual report year: 2010

Cryptographic Hash Functions. / Gauravaram, Praveen; Knudsen, Lars Ramkilde.

In: Handbook of Information and Communication Security. ed. / Peter Stavroulakis; Mark Stamp. 1. ed. Berlin Heidelberg : Springer, 2010. p. 59-80 (Engineering).

Publication: Research - peer-review › Book chapter – Annual report year: 2010

Design of an Enterobacteriaceae Pan-genome Microarray Chip. / Lukjancenko, Oksana; Ussery, David.

In: CSBio 2010. Vol. 115 Springer, 2010. p. 174-189.

Publication: Research - peer-review › Article in proceedings – Annual report year: 2010

Developing a Coding Scheme to Analyse Creativity in Highly-constrained Design Activities. / Dekoninck, Elies; Yue, Huang; Howard, Thomas J.; McMahon, Chris/A.

In: Design Creativity 2010. Springer, 2010. p. 157-164.

Publication: Research - peer-review › Article in proceedings – Annual report year: 2010

Differential Cache-Collision Timing Attacks on AES with Applications to Embedded CPUs. / Bogdanov, Andrey; Eisenbarth, Thomas; Paar, Christof; Wienecke, Malte.

In: Topics in Cryptology - CT-RSA 2010. Proceedings. Springer, 2010. p. 235-251 (Lecture Notes in Computer Science, Vol. 5985).

Publication: Research - peer-review › Article in proceedings – Annual report year: 2010

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.

In: 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-review › Article in proceedings – Annual report year: 2010

Distributed online learning of central pattern generators in modular robots. / Christensen, David Johan; Spröwitz, Alexander; Ijspeert, Auke Jan.

In: 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-review › Article in proceedings – Annual report year: 2010

Evolution Over the Life Span of Complex Systems. / Pena, M.; Ibragimova, E.S.; Thompson, M.K.

In: Global Product Development: Proceedings of the 20th CIRP Design Conference. ed. / Alain Bernard. Springer, 2010. p. 51-59.

Publication: Research - peer-review › Article in proceedings – Annual report year: 2010

Fast Arc-Annotated Subsequence Matching in Linear Space. / Bille, Philip; Gørtz, Inge Li.

In: SOFSEM 2010: Theory and Practice of Computer Science. Springer, 2010. p. 188-199 (Lecture Notes in Computer Science, Vol. 5901).

Publication: Research - peer-review › Article in proceedings – Annual report year: 2010

Fractal Gene Regulatory Networks for Robust Locomotion Control of Modular Robots. / Zahadat, Payam; Christensen, David Johan; Schultz, Ulrik Pagh; Katebi, Serajeddin; Stoy, Kasper.

In: 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-review › Article in proceedings – Annual report year: 2010

Gabor analysis for imaging. / Christensen, Ole; Feichtinger, Hans; Paukner, Stephan.

In: Handbook in Imaging. Springer, 2010.

Publication: Research - peer-review › Book chapter – Annual report year: 2010

Generating quality tetrahedral meshes from binary volumes. / Hansen, Mads Fogtmann; Bærentzen, Jakob Andreas; Larsen, Rasmus.

In: Proceedings of the VISAPP. Springer, 2010.

Publication: Research - peer-review › Article in proceedings – Annual report year: 2009

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.

In: Introduction to Marine Genomics. ed. / J.M. Cock; K. Tessmar-Raible; C. Boyen; F. Viard. Dordrecht : Springer, 2010. p. 213-286.

Publication: Research - peer-review › Book chapter – Annual report year: 2011

Greenland Ice Sheet Mass Loss from GRACE Monthly Models. / Sørensen, Louise Sandberg; Forsberg, René.

In: GRAVITY, GEOID AND EARTH OBSERVATION. Springer, 2010. p. 527-532 (International Association of Geodesy Symposia; No. 135).

Publication: Research - peer-review › Book chapter – Annual report year: 2011

Large Neighborhood Search. / Pisinger, David; Røpke, Stefan.

In: Handbook of Metaheuristics. ed. / Michel Gendreau. 2. ed. Springer, 2010. p. 399-420.

Publication: Research - peer-review › Book chapter – Annual report year: 2010

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

In: Direct and Large-Eddy Simulation VII. Springer, 2010. p. 253-259.

Publication: Research - peer-review › Article in proceedings – Annual report year: 2010

Linking Design Decisions to Design Models in Model-based Software Development. / Könemann, Patrick.

In: 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-review › Article in proceedings – Annual report year: 2010

Mathematical Properties Relevant to Geomagnetic FieldModeling. / Sabaka, Terence J.; Hulot, Gauthier; Olsen, Nils.

In: Handbook of Geomathematics. Springer, 2010. p. 504-538.

Publication: Research - peer-review › Book chapter – Annual report year: 2010

Modelling and Verification of Relay Interlocking Systems. / Haxthausen, Anne Elisabeth (Invited author); Bliguet, Marie Le (Invited author); Kjær, Andreas (Invited author).

In: 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-review › Article in proceedings – Annual report year: 2010

Modelling of PCF Nonlinearities. / Nikolov, Nikola Ivanov; Sørensen, Thorkild; Bang, Ole; Bjarklev, Anders Overgaard; Juul Rasmussen, Jens.

In: Photonic Crystal Fibers: Science and Applications. Springer, 2010.

Publication: Research - peer-review › Book chapter – Annual report year: 2010

MuZeeker - Adapting a music search engine for mobile phones. / Larsen, Jakob Eg; Halling, Søren Christian; Sigurdsson, Magnus Kristinn; Hansen, Lars Kai.

In: Mobile Multimedia Processing: Fundamentals, Methods, and Applications. Springer, 2010. p. 154-169 (Lecture Notes in Computer Science; No. 5960).

Publication: Research - peer-review › Book chapter – Annual report year: 2010

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.

In: 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-review › Book chapter – Annual report year: 2010

Nonlinear Model Predictive Control for an Artificial Beta-Cell. / Boiroux, Dimitri; Finan, Daniel Aaron; Jørgensen, John Bagterp; Poulsen, Niels Kjølstad; Madsen, Henrik.

In: Recent Advances in Optimization and its Applications in Engineering. Springer, 2010. p. 299-308.

Publication: Research - peer-review › Book chapter – Annual report year: 2010

Ocean Dynamic Topography from GPS - Galathea-3 First results. / Andersen, Ole Baltazar; Olesen, Arne Vestergaard; Forsberg, René; Strykowski, Gabriel; Cordua, Knud Skou; Zhang, X.

In: Gravity, Geoid and Earth Observation. ed. / Stelios P. Mertikas. Vol. 135 Springer, 2010. p. 239-346.

Publication: Research - peer-review › Article in proceedings – Annual report year: 2010

On the Collision and Preimage Resistance of Certain Two-Call Hash Functions. / Bagheri, Nasour; Gauravaram, Praveen; Naderi, Majid; Thomsen, Søren Steffen.

In: 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-review › Article in proceedings – Annual report year: 2010

On the Comparison of Different Number Systems in the Implementation of Complex FIR Filters. / Cardarilli, Gian Carlo; Nannarelli, Alberto; Re, Marco.

In: VLSI-SoC: Design Methodologies for SoC and SiP. Springer, 2010. p. 174-190.

Publication: Research › Book chapter – Annual report year: 2010

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.

In: Wind Power Systems: Applications of Computational Intelligence. ed. / Lingfeng Wang; Chanan Singh; Andrew Kusiak. Springer, 2010. p. 167-190.

Publication: Research - peer-review › Book chapter – Annual report year: 2010

PRINTcipher: A Block Cipher for IC-Printing. / Knudsen, Lars Ramkilde; Leander, Gregor.

In: 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-review › Article in proceedings – Annual report year: 2010

Pseudo-cryptanalysis of the Original Blue Midnight Wish. / Thomsen, Søren Steffen.

In: Fast Software Encryption 2010. Springer, 2010. p. 304-317 (Lecture Notes in Computer Science).

Publication: Research - peer-review › Article in proceedings – Annual report year: 2010

Rethinking the Role of Time in Formal Design Theories. / Thompson, M.K.; Doroshenko, M.A.

In: Global Product Development: Proceedings of the 20th CIRP Design Conference. ed. / Alain bernard. Springer, 2010. p. 61-72.

Publication: Research - peer-review › Article in proceedings – Annual report year: 2010

Rotational Rebound Attacks on Reduced Skein. / Khovratovich, Dmitry; Nikolic, Ivica; Rechberger, Christian.

In: 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-review › Article in proceedings – Annual report year: 2010

Sources of the Geomagnetic Field and theModern Data That Enable Their Investigation. / Olsen, Nils; Hulot, Gauthier; Sabaka, Terence J.

In: Handbook of Geomathematics. Springer, 2010. p. 106-124.

Publication: Research - peer-review › Book chapter – Annual report year: 2010

Stacked Josephson Junctions. / Madsen, Søren Find; Pedersen, Niels Falsig; Christiansen, Peter Leth.

In: Nanoscience and Engineering in Superconductivity. Springer, 2010. p. 163-186.

Publication: Research - peer-review › Book chapter – Annual report year: 2010

Stochastic programming models for short-term power generation and bidding. / Kristoffersen, Trine; Fleten, S,-E.

In: Energy, Natural Resource and Environmental Economics. ed. / E. Bjørndal; M. Bjørndal; M. Rönnqvist. Springer, 2010. p. 187-200.

Publication: Research - peer-review › Book chapter – Annual report year: 2011

String Matching with Variable Length Gaps. / Bille, Philip; Gørtz, Inge Li; Vildhøj, Hjalte Wedel; Wind, David Kofoed.

In: 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-review › Article in proceedings – Annual report year: 2010

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.

In: Gravity, Geoid and Earth Observation. ed. / S. P. Mertikas. Vol. 135/ 7 Springer, 2010. p. 521-526.

Publication: Research - peer-review › Article in proceedings – Annual report year: 2011

The Genome Atlas Resource. / Azam Qureshi, Matloob; Rotenberg, Eva; Stærfeldt, Hans Henrik; Hansson, Lena; Ussery, David.

In: International Conference on Computational Systems-Biology and Bioinformatics, Proceedings. Vol. 115 Springer, 2010. p. 149-158.

Publication: Research - peer-review › Article in proceedings – Annual report year: 2010

The Impact of CAS Use in Introductory Engineering Mathematics. / Schmidt, Karsten (Invited author); Rattleff, Pernille (Invited author); Hussmann, Peter Munkebo (Invited author).

In: Progress in Industrial Mathematics at ECMI 2008. Springer, 2010.

Publication: Research - peer-review › Article in proceedings – Annual report year: 2010

The Risk of Risk Analysis. / Probst, Christian W.; Hunker, Jeffrey.

In: Economics of Information Security and Privacy. Springer, 2010. p. 279-299.

Publication: Research - peer-review › Book chapter – Annual report year: 2010

Worst-case analysis of heap allocations. / Puffitsch, Wolfgang; Huber, Benedikt; Schoeberl, Martin.

In: 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-review › Article in proceedings – Annual report year: 2010

A Cache Timing Analysis of HC-256. / Zenner, Erik.

In: 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-review › Article in proceedings – Annual report year: 2009

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.

In: 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-review › Article in proceedings – Annual report year: 2009

A Domain-specific Framework for Automated Construction and Verification of Railway Control Systems. / Haxthausen, Anne Elisabeth (Invited author).

In: 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-review › Article in proceedings – Annual report year: 2009

A Formal Semantics for the WS-BPEL Recovery Framework - The Pi-Calculus Way. / Dragoni, Nicola; Mazzara, Manuel.

In: 6th International Workshop on Web Services and Formal Methods (WS-FM'09). Springer, 2009. (LNCS).

Publication: Research - peer-review › Article in proceedings – Annual report year: 2009

A Mechanism for Identity Delegation at Authentication Level. / Ahmed, Naveed; Jensen, Christian D.

In: Identity and Privacy in the Internet Age, Proceedings: Lecture Notes in Computer Science. Vol. 5838 Springer, 2009. p. 148-162.

Publication: Research - peer-review › Article in proceedings – Annual report year: 2009

Analysis of gait using a treadmill and a Time-of-flight camera. / Jensen, Rasmus Ramsbøl; Paulsen, Rasmus Reinhold; Larsen, Rasmus.

In: Dynamic 3D Imaging. Heidelberg : Springer, 2009. p. 154-166.

Publication: Research - peer-review › Article in proceedings – Annual report year: 2009

Analyzing Gait Using a Time-of-Flight Camera. / Jensen, Rasmus Ramsbøl; Paulsen, Rasmus Reinhold; Larsen, Rasmus.

In: Proceedings of the Scandinavian Conference on Image Analysis. Heidelberg : Springer, 2009.

Publication: Research - peer-review › Article in proceedings – Annual report year: 2009

A Practical Key Recovery Attack on Basic TCHo. / Leander, Gregor; Herrmann, Mathias.

In: 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-review › Article in proceedings – Annual report year: 2009

Bioprocess Modelling for Learning Model Predictive Control (L-MPC). / Alvarez Villanueva, Maria Antonieta; Stocks, Stuart M.; Jørgensen, Sten Bay.

In: 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-review › Book chapter – Annual report year: 2009

Bivium as a Mixed Integer Programming Problem. / Borghoff, Julia; Knudsen, Lars Ramkilde; Stolpe, Mathias.

In: 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-review › Article in proceedings – Annual report year: 2009

Cache Timing Analysis of LFSR-based Stream Ciphers. / Zenner, Erik; Leander, Gregor; Hawkes, Philip.

In: Cryptography and Coding. Berlin : Springer, 2009. (Lecture Notes in Computer Science; No. 5921).

Publication: Research - peer-review › Article in proceedings – Annual report year: 2009

CC-based Design of Secure Application Systems. / Sharp, Robin.

In: 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-review › Article in proceedings – Annual report year: 2009

Charge transport of solute oligonucleotides in metallic nanogaps - observations and some puzzles. / Kuznetsov, Alexander M.; Ulstrup, Jens.

In: Bioinorganic Electrochemistry. ed. / Ole Hammerich; Jens Ulstrup. Guilford : Springer, 2009. p. 163-208.

Publication: Research - peer-review › Book chapter – Annual report year: 2009

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.

In: Nanomaterials: Risks and Benefits. ed. / I. Linkov; J. Steevens. Dordrecht, NL : Springer, 2009. p. 329-350.

Publication: Research - peer-review › Book chapter – Annual report year: 2009

Cryptanalysis of C2. / Borghoff, Julia; Knudsen, Lars Ramkilde; Leander, Gregor; Matusiewicz, Krystian.

In: 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-review › Article in proceedings – Annual report year: 2009

Cryptanalysis of MDC-2. / Knudsen, Lars Ramkilde; Mendel, Florian; Rechberger, Christian; Thomsen, Søren Steffen.

In: 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-review › Article in proceedings – Annual report year: 2009

Cryptanalysis of the LAKE Hash Family. / Biryukov, Alex; Gauravaram, Praveen; Guo, Jian; Khovratovich, Dmitry; Ling, San; Matusiewicz, Krystian; Nikolić, Ivica; Pieprzyk, Josef; Wang, Huaxiong.

In: 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-review › Article in proceedings – Annual report year: 2009

Cryptanalysis of Vortex. / Aumasson, Jean-Philippe; Dunkelman, Orr; Mendel, Florian; Rechberger, Christian; Thomsen, Søren Steffen.

In: Progress in Cryptology - AFRICACRYPT 2009: Proceedings. ed. / Bart Preneel. Springer, 2009. p. 14-28 (Lecture Notes in Computer Science; No. 5580).

Publication: Research - peer-review › Article in proceedings – Annual report year: 2009

Declarative Business Process Modelling and the Generation of ERP Systems. / Schultz-Møller, Nicholas Poul; Hølmer, Christian; Hansen, Michael Reichhardt.

In: Software and Data Technologies. Springer, 2009. p. 134-146 (Communications in Computer and Information Science; No. Volume 47).

Publication: Research - peer-review › Book chapter – Annual report year: 2009

DXRD and Its Applications Leading to New Modelling. / Juul Jensen, Dorte.

In: Microstructure and Texture in Steels and other Materials. ed. / A. Haldar; S. Suwas; D. Bhattacharjee. London : Springer, 2009. p. 247-254.

Publication: Research - peer-review › Article in proceedings – Annual report year: 2010

Electrochemical Biosensing of Redox Proteins and Enzymes. / Chi, Qijin; Jensen, Palle Skovhus; Ulstrup, Jens.

In: Nanobioelectronics for Electronics, Biology and Medicine. ed. / Andreas Offenhaeusser; Ross Rinaldi. Springer, 2009. p. 183-210.

Publication: Research - peer-review › Book chapter – Annual report year: 2009

Exploit Morphology to Simplify Docking of Self-reconfigurable Robots. / Stoy, Kasper; Brandt, David; Bordignon, Mirko; Schultz, Ulrik Pagh; Christensen, David Johan.

In: Distributed Autonomous Robotic Systems 8. ed. / Hajime Asama; Haruhisa Kurokawa; Kosuke Sekiyama; Jun Ota. Vol. 8 Springer, 2009. p. 441-452.

Publication: Research - peer-review › Article in proceedings – Annual report year: 2009

Geolocating fish using Hidden Markov Models and Data Storage Tags. / Thygesen, Uffe Høgsbro; Pedersen, Martin Wæver; Madsen, Henrik.

In: 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-review › Book chapter – Annual report year: 2009

Geospatial-Enabled RuleML in a Study on Querying Respiratory Disease Information. / Gao, Sheng; Boley, Harold; Mioc, Darka; Anton, François; Yi, Xialoun.

In: Third International RuleML Symposium on Rule Interchange and Applications (RuleML-2009). Springer, 2009. p. 272-281 (Lecture Notes in Computer Science).

Publication: Research - peer-review › Book chapter – Annual report year: 2009

Height and Tilt Geometric Texture. / Andersen, Vedrana; Desbrun, Mathieu; Bærentzen, Jakob Andreas; Aanæs, Henrik.

In: Advances in Visual Computing: 5th International Symposium, ISVC 2009. ed. / G. Bebis. Vol. Part 1 Springer, 2009. p. 656-667.

Publication: Research - peer-review › Article in proceedings – Annual report year: 2009

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.

In: Recent Advances in the 3D Physiological Human. ed. / Nadia Magnenat-Thalmann. Springer, 2009. p. 133-148.

Publication: Research - peer-review › Article in proceedings – Annual report year: 2009

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.

In: Nanotechnology. Risks and Benefits. ed. / I. Linkov; J. Steevens. Dordrecht, NL : Springer, 2009. p. 3-29.

Publication: Research - peer-review › Book chapter – Annual report year: 2009

Kernel based subspace projection of near infrared hyperspectral images of maize kernels. / Larsen, Rasmus; Arngren, Morten; Hansen, Per Waaben; Nielsen, Allan Aasbjerg.

In: 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-review › Article in proceedings – Annual report year: 2009

Large scale dynamic model reconstruction for the central carbon metabolism of escherichia coli. / Costa, Rafael S.; Machado, Daniel; Rocha, Isabel; Ferreira, EugénioC.

In: 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-review › Article in proceedings – Annual report year: 2009

Lessons from a prototype geolocation problem. / Thygesen, Uffe Høgsbro; Nielsen, Anders.

In: 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-review › Book chapter – Annual report year: 2009

Markerless 3D Face Tracking. / Walder, Christian; Breidt, Martin; Bulthoff, Heinrich; Scholkopf, Bernhard; Curio, Cristobal.

In: Pattern Recognition. Springer, 2009. p. 41-50 (Lecture Notes in Computer Science).

Publication: Research - peer-review › Article in proceedings – Annual report year: 2009

Mass Action Models Describing Extant Horizontal Transfer of Plasmids: Inferences and Parameter Sensitivities. / Smets, Barth F.; Lardon, Laurent.

In: 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-review › Book chapter – Annual report year: 2009

Mattson Solomon transform and algebra codes. / Martinez-Moro, Edgar; Ruano, Diego.

In: Gröbner Bases, Coding, and Cryptography. Springer, 2009. p. 385-388.

Publication: Research - peer-review › Article in proceedings – Annual report year: 2009

Measuring Meteorology in Urban Areas - Some Progress and Many Problems. / Gryning, Sven-Erik; Batchvarova, Ekaterina.

In: 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-review › Book chapter – Annual report year: 2010

Methods and Tools. / Jensen, Jørgen Juncher; Soares, Carlos Guedes; Papanikolaou, Apostolos.

In: Risk-based Ship Design: Methods, Tools and Applications. ed. / Apostolos Papanikolaou. 1. ed. Berlin : Springer, 2009. p. 195-301.

Publication: Research - peer-review › Book chapter – Annual report year: 2009

Minimum Makespan Multi-vehicle Dial-a-Ride. / Gørtz, Inge Li; Nagarajan, Viswanath; Ravi, R.

In: Algorithms - ESA 2009. Springer, 2009. p. 540-552 (Lecture Notes in Computer Science; No. Volume 5757/2009).

Publication: Research - peer-review › Article in proceedings – Annual report year: 2009

Model-based Software Engineering and Process-Aware Information Systems. / Kindler, Ekkart.

In: 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-review › Book chapter – Annual report year: 2009

Models for the Dynamics of Articulatory Lip Movements. / Bothe, Hans-Heinrich (Invited author).

In: Proc. 2nd Int. Conf. on Information and Communication Technologies and Accessibility. Springer, 2009.

Publication: Research - peer-review › Article in proceedings – Annual report year: 2009

Morphology Independent Learning in Modular Robots. / Christensen, David Johan; Bordignon, Mirko; Schultz, Ulrik Pagh; Shaikh, Danish; Stoy, Kasper.

In: Distributed Autonomous Robotic Systems 8. ed. / Hajime Asama; Haruhisa Kurokawa; Jun Ota; Kosuke Sekiyama. Springer, 2009. p. 379-391.

Publication: Research - peer-review › Article in proceedings – Annual report year: 2009

Multiscale modelling of mechanical anisotropy of metals. / Winther, Grethe (Invited author).

In: IUTAM symposium on modelling nanomaterials and nanosystems. Proceedings. ed. / R. Pyrz; J.C. Rauhe. Springer, 2009. p. 89-98 (IUTAM Bookseries).

Publication: Research - peer-review › Article in proceedings – Annual report year: 2009

Music-Making and Musical Comprehension with Robotic Building Blocks. / Nielsen, Jacob.

In: 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-review › Article in proceedings – Annual report year: 2009

Nanomaterials in consumer products. / Hansen, Steffen Foss; Baun, Anders; Michelson, E.S.; Kamper, A.; Borling, P.; Stuer-Lauridsen, F.

In: Nanotechnology. Risks and Benefits. ed. / I. Linkov; J. Steevens. Dordrecht, NL : Springer, 2009. p. 359-367.

Publication: Research - peer-review › Book chapter – Annual report year: 2009

Nonce Generators and the Nonce Reset Problem. / Zenner, Erik.

In: Proceedings ISC 2009. ed. / P. Samarati. Springer, 2009. p. 411-426 (Lecture Notes in Computer Science; No. 5735).

Publication: Research - peer-review › Article in proceedings – Annual report year: 2009

On randomizing hash functions to strengthen the security of digital signatures. / Gauravaram, Praveen; Knudsen, Lars Ramkilde.

In: 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-review › Article in proceedings – Annual report year: 2009

ONTOGRABBING: Extracting Information from Texts Using Generative Ontologies. / Nilsson, Jørgen Fischer; Szymczak, Bartlomiej Antoni; Jensen, P.A.

In: Flexible Query Answering Systems: 8th International Conference, Fqas 2009. Berlin : Springer, 2009. (Lecture Notes in Artificial Intelligence; No. 5822).

Publication: Research - peer-review › Book chapter – Annual report year: 2009

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.

In: 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-review › Book chapter – Annual report year: 2009

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

In: 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-review › Article in proceedings – Annual report year: 2009

Optimizing TCP Performance over UMTS with Split TCP Proxy. / Hu, Liang; Dittmann, Lars.

In: Communications and Networking in China. Vol. Volume 26 Springer, 2009. p. 25-35 (Communications in Computer and Information Science).

Publication: Research - peer-review › Article in proceedings – Annual report year: 2009

Practical Pseudo-collisions for Hash Functions ARIRANG-224/384. / Guo, Jian; Matusiewicz, Krystian; Knudsen, Lars Ramkilde; Ling, San; Wang, Huaxiong.

In: 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-review › Article in proceedings – Annual report year: 2009

Preimages for Step-Reduced SHA-2. / Aoki, Kazumaro; Guo, Jian; Matusiewicz, Krystian; Sasaki, Yu; Wang, Lei.

In: 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-review › Article in proceedings – Annual report year: 2009

Rebound Attack on the Full LANE Compression Function. / Matusiewicz, Krystian; Naya-Plasencia, Maria; Nikolic, Ivica; Sasaki, Yu; Martin Schlaeffer, Martin.

In: 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-review › Article in proceedings – Annual report year: 2009

Regularisation of 3D Signed Distance Fields. / Paulsen, Rasmus Reinhold; Bærentzen, Jakob Andreas; Larsen, Rasmus.

In: Proceedings of the 16th Scandinavian Conference on Image Analysis. Vol. 5575 Springer, 2009. p. 513-519 (Lecture Notes in Computer Science).

Publication: Research - peer-review › Article in proceedings – Annual report year: 2009

Removing bias in latitude estimated from solar irradiance time series. / Sibert, J.; Nielsen, Anders; Musyl, M.; Leroy, B.; Evans, K.

In: Tagging and Tracking of Marine Animals with Electronic Devices: Geolocation Methods. Vol. 2 Springer, 2009. p. 311-322.

Publication: Research - peer-review › Book chapter – Annual report year: 2009

Security in Wiki-Style Authoring Systems. / Jensen, Christian D.

In: 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-review › Article in proceedings – Annual report year: 2009

Semantic Contours in Tracks Based on Emotional Tags. / Petersen, Michael Kai; Hansen, Lars Kai; Butkus, Andrius.

In: 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-review › Article in proceedings – Annual report year: 2009

Service-Oriented Strategies for Manufacturing Firms. / Tan, Adrian; McAloone, Tim C.; Matzen, Detlef.

In: Introduction to Product/Service-System Design. ed. / Tomohiko Sakao; Mattias Lindahl. Springer, 2009. p. 197-218.

Publication: Education - peer-review › Book chapter – Annual report year: 2010

State space model for light based tracking of marine animals: validation on swimming and diving creatures. / Nielsen, Anders; Sibert, J.; Kohin, S.; Musyl, M.

In: Tagging and Tracking of Marine Animals with Electronic Devices: Geolocation Methods. Vol. 2 Springer, 2009. p. 295-309.

Publication: Research - peer-review › Book chapter – Annual report year: 2009

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.

In: Nanotechnology. Risks and Benefits. ed. / I. Linkov; J. Steevens. Dordrecht, NL : Springer, 2009. p. 369-384.

Publication: Research - peer-review › Book chapter – Annual report year: 2009

Structure and Strength of IF Steel After Large Strain Deformation. / Hansen, Niels; Huang, Xiaoxu; Kamikawa, Naoya.

In: Microstructure and Texture in Steels and other Materials. ed. / A. Haldar; S. Suwas; D. Bhattacharjee. London : Springer, 2009. p. 33-42.

Publication: Research - peer-review › Article in proceedings – Annual report year: 2010

Surrogate Modeling for Geometry Optimization. / Rojas Larrazabal, Marielba de la Caridad; Abraham, Yonas; Holzwarth, Natalie; Plemmons, Robert.

In: Proceedings of the ECMI. Springer, 2009. (Mathematics in Industry).

Publication: Research - peer-review › Article in proceedings – Annual report year: 2009

Survey of PHY and LINK layer functions of cognitive radio networks for opportunistic spectrum sharing. / Hu, Liang; Iversen, Villy Bæk; Dittmann, Lars.

In: Proceedings, Chinacombiz. Springer, 2009. p. 10-24 (Communications in Computer and Information Science; No. 26).

Publication: Research - peer-review › Article in proceedings – Annual report year: 2009

Systematic design of metamaterials by topology optimization. / Sigmund, Ole (Invited author).

In: Symposium on Modelling Nanomaterials and Nanosystems: IUTAM Bookseries. ed. / R Pyrz; J C Rauhe. Springer, 2009. p. 151-160.

Publication: Research - peer-review › Article in proceedings – Annual report year: 2009

Testing EGM08 on Leveling Data from Scandinavia, Adjacent Baltic Areas, and Greenland.. / Strykowski, Gabriel; Forsberg, René.

In: Proceedings IAG International Gravity Symposium. ed. / Stelios P. Mertikas. Berlin Heidelberg : Springer, 2009. p. 505-509.

Publication: Research - peer-review › Article in proceedings – Annual report year: 2010

Texture Segmentation by Contractive Decomposition and Planar Grouping. / Dahl, Anders Lindbjerg; Bogunovich, Peter; Shokoufandeh, Ali.

In: Lecture Notes in Computer Science. 1. ed. Berlin / Heidelberg : Springer, 2009. p. 343-352.

Publication: Research - peer-review › Article in proceedings – Annual report year: 2009

The order bound for toric codes. / Beelen, Peter (Invited author); Ruano, Diego (Invited author).

In: 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-review › Article in proceedings – Annual report year: 2009

The Rebound Attack: Cryptanalysis of Reduced Whirlpool and Grøstl. / Mendel, Florian; Rechberger, Christian; Schläffer, Martin; Thomsen, Søren Steffen.

In: 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-review › Article in proceedings – Annual report year: 2009

Thule Expedition 2003 - Studies on Radioactive Contamination and Particles. / Nielsen, Sven Poul; Roos, Per; Dahlgaard, Henning; Olsen, Svend K.; Jernström, Jussi; Eriksson, Mats.

In: 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-review › Article in proceedings – Annual report year: 2009

Towards a Standard for Modular Petri Nets : A Formalisation. / Kindler, Ekkart; Petrucci, Laure.

In: 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-review › Article in proceedings – Annual report year: 2009

Unsupervised Assessment of Subcutaneous and Visceral Fat by MRI. / Jørgensen, Peter Stanley; Larsen, Rasmus; Wraae, Kristian.

In: IMAGE ANALYSIS, PROCEEDINGS. Vol. 5575 Springer, 2009. p. 179-188 (Lecture Notes in Computer Science).

Publication: Research - peer-review › Article in proceedings – Annual report year: 2009

Where are All the Agents? On the Gap Between Theory and Practice of Agent-Based Referral Networks : An Inter-Agent Communication Perspective. / Dragoni, Nicola.

In: Principles of Practice in Multi-Agent Systems. Berlin : Springer, 2009. (Lecture Notes in Artificial Intelligence; No. 5925).

Publication: Research - peer-review › Article in proceedings – Annual report year: 2009

WILMAR: A stochastic programming tool to analyze the large-scale integration of wind energy. / Weber, Christoph; Meibom, Peter; Barth, Rüdiger; Brand, Heike.

In: 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-review › Book chapter – Annual report year: 2009

WRS: The Wikipedia Recommender System. / Lefévre, Thomas; Jensen, Christian D.; Thomas Rune, Korsgaard.

In: 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-review › Conference abstract in proceedings – Annual report year: 2009

Acoustic Signals and Systems. / Jacobsen, Finn (Editor).

In: 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-review › Book chapter – Annual report year: 2008

Advice for Coordination. / Hankin, Chris; Nielson, Flemming; Nielson, Hanne Riis; Yang, Fan.

In: 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-review › Article in proceedings – Annual report year: 2008

A Formal Analysis of Complex Type Flaw Attacks on Security Protocols. / Gao, Han; Bodei, Chiara; Degano, Pierpaolo.

In: Lecture Notes in Computer Science. Vol. 5140 Springer, 2008. p. 167-183.

Publication: Research - peer-review › Article in proceedings – Annual report year: 2008

Algebraic methods in side-channel collision attacks and practical collision detection. / Bogdanov, Andrey; Kizhvatov, Ilya; Pyshkin, Andrey.

In: Progress in Cryptology - INDOCRYPT 2008. Proceedings. Springer, 2008. p. 251-265 (Lecture Notes in Computer Science, Vol. 5365).

Publication: Research - peer-review › Article in proceedings – Annual report year: 2008

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.

In: Modern Genome Annotation: The Biosapiens Network. Vol. Chapter 8.2 Springer, 2008. p. 453-480.

Publication: Research - peer-review › Book chapter – Annual report year: 2008

Analysis of Surfaces Using Constrained Regression Models. / Darkner, Sune; Sabuncu, Mert R.; Golland, Polina; Paulsen, Rasmus Reinhold; Larsen, Rasmus.

In: Lecture Notes in Computer Science: Medical Image Computing and Computer assisted Intervention. Vol. 5241-I Springer, 2008. p. 842-849.

Publication: Research - peer-review › Article in proceedings – Annual report year: 2008

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.

In: EMC 2008. Proceedings. ed. / S. Richter; A. Schwedt. Vol. 2 Berlin : Springer, 2008. p. 349-350.

Publication: Research - peer-review › Article in proceedings – Annual report year: 2008

A Syndrome Formulation of the Interpolation Step in the Guruswami-Sudan Algorithm. / Beelen, Peter (Invited author); Høholdt, Tom (Invited author).

In: 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-review › Article in proceedings – Annual report year: 2008

Auditory processing models. / Dau, Torsten.

In: Handbook of Signal Processing in Acoustics. ed. / David Havelock; Sonoko Kuwano; Michael Vorländer. New York, NY, : Springer, 2008.

Publication: Research - peer-review › Book chapter – Annual report year: 2008

Briefly on grid generation. / Engsig-Karup, Allan Peter.

In: Nodal Discontinuous Galerkin Methods: Algorithms, Analysis, and Applications. first. ed. Springer, 2008. p. 451-461.

Publication: Research - peer-review › Book chapter – Annual report year: 2008

Business risks and opportunities from climate change in large developing countries - a case study focusing on China. / Zhu, Xianli; Wu, X.

In: Economics and management of climate change. Risks, mitigation and adaptation. ed. / B. Hansjürgens; X. Wu. Berlin : Springer, 2008. p. 293-304.

Publication: Research › Book chapter – Annual report year: 2008

Car Users' Trade-off Between Time, Trip Length, Cost and Road Pricing in Behavioural Models. / Vuk, Goran; Nielsen, Otto Anker.

In: Road Pricing, the Economy, and the Environment. 1. ed. Springer, 2008. p. 351-372.

Publication: Research - peer-review › Book chapter – Annual report year: 2008

CASL, the Common Algebraic Specification Language. / Mossakowski, Till; Haxthausen, Anne Elisabeth; Sannella, Donald; Tarlecki, Andrzej.

In: 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-review › Book chapter – Annual report year: 2008

CenSurE: Center Surround Extremas for Realtime Feature Detection and Matching. / Agrawal, Motilal; Konolige, Kurt; Blas, Morten Rufus.

In: The 10th European Conference on Computer Vision. Springer, 2008. p. 102-115.

Publication: Research - peer-review › Article in proceedings – Annual report year: 2008

Charge transfer and interfacial bioelectrochemistry at the nanoscale and single-molecule levels. / Zhang, Jingdong; Albrecht, Tim; Chi, Qijin; Kuznetsov, Alexander M; Ulstrup, Jens.

In: Bioinorganic Electrochemistry. ed. / Ole Hammerich; Jens Ulstrup. Guilford, UK : Springer, 2008. p. 251-304.

Publication: Research - peer-review › Book chapter – Annual report year: 2009

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.

In: The Vehicle Routing Problem: Latest Advances and New Challenges. ed. / B. Golden; R. Raghavan; E. Wasil. Springer, 2008.

Publication: Research - peer-review › Book chapter – Annual report year: 2008

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.

In: 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-review › Book chapter – Annual report year: 2008

Cold-adapted fungi as a source for valuable metabolites. / Frisvad, Jens Christian.

In: Psychrophiles: From Biodiversity to Biotechnology. ed. / R. Margesin; F. Schinner; J.-C. Marx; C. Gerday. Berlin : Springer, 2008. p. 381-387.

Publication: Research - peer-review › Book chapter – Annual report year: 2008

Computer simulation of electron nanodiffraction from polycrystalline materials. / Sugio, K.; Huang, Xiaoxu.

In: EMC 2008. Proceedings. Vol. 1: Instrumentation and methods. ed. / M. Luysberg; K. Tillmann; T. Weirich. Springer, 2008. p. 227-228.

Publication: Research - peer-review › Article in proceedings – Annual report year: 2008

Concrete Security for Entity Recognition: The Jane Doe Protocol. / Lucks, Stefan; Zenner, Erik; Weimerskirch, Andre; Westhoff, Dirk.

In: 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-review › Article in proceedings – Annual report year: 2008

Convolutive Blind Source Separation Methods. / Pedersen, Michael Syskind; Larsen, Jan; Kjems, Ulrik; Parra, Lucas C.

In: Springer Handbook of Speech. Vol. Chap. 52 Springer, 2008.

Publication: Research - peer-review › Book chapter – Annual report year: 2008

COST ACTION 636 xenobiotics in the urban water cycle - a network for collaboration within Europe. / Ledin, Anna; Patureau, D.

In: Pharmaceuticals in the environment. Vol. Chapter 26 3rd. ed. Freiburg, Germany : Springer, 2008. p. 419-426.

Publication: Research - peer-review › Book chapter – Annual report year: 2008

Dakota – Hashing from a Combination of Modular Arithmetic and Symmetric Cryptography. / Damgård, Ivan Bjerre; Knudsen, Lars Ramkilde; Thomsen, Søren Steffen.

In: 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-review › Article in proceedings – Annual report year: 2008

Deformable Mosaicing for Whole-Body MRI. / Wachinger, Christian; Glocker, Benjamin; Zeltner, Jochen; Paragios, Nikos; Komodakis, Nikos; Hansen, Michael Sass; Navab, Nasir.

In: Proceedings of MICCAI. Vol. 2 Springer, 2008. p. 113-121 (LNCS; No. 5241).

Publication: Research - peer-review › Article in proceedings – Annual report year: 2008

Duration Calculus. / Hansen, Michael Reichhardt.

In: 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-review › Book chapter – Annual report year: 2008

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.

In: 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-review › Article in proceedings – Annual report year: 2008

Estimation of Parametric Roll in a Stochastic Seaway. / Jensen, Jørgen Juncher; Pedersen, Preben Terndrup; Vidic-Perunovic, Jelena.

In: IUTAM Symposium on Fluid-Structure Interaction in Ocean Engineering. Hamburg : Springer, 2008. p. 141-154 (Iutam Bookseries).

Publication: Research - peer-review › Article in proceedings – Annual report year: 2008

Ethical traceability in the bacon supply chain. / Nielsen, Thorkild; Kristensen, Niels Heine.

In: Ethical Traceability and Communicating Food. Springer, 2008. p. 83-123.

Publication: Research - peer-review › Book chapter – Annual report year: 2008

European Transportation in the Greenhouse — System and Policy Indicators. / Gudmundsson, Henrik (Invited author).

In: 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: Research › Article in proceedings – Annual report year: 2008

Experiences with Functional Programming in an Introductory Curriculum. / Hansen, Michael Reichhardt; Kristensen, Jens Thyge.

In: 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-review › Book chapter – Annual report year: 2008

External Effects of Road-pricing. / Rich, Jeppe; Nielsen, Otto Anker.

In: Road-pricing, the economy and the Environment. Springer, 2008. (Advance in Spatial Science).

Publication: Research - peer-review › Book chapter – Annual report year: 2008

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.

In: Small Satellites for Earth Observation. 1. ed. Netherlands : Springer, 2008. p. 123-132.

Publication: Research - peer-review › Book chapter – Annual report year: 2008

Fish. / MacKenzie, Brian; Möllmann, C.; Köster, Fritz.

In: 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-review › Book chapter – Annual report year: 2008

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.

In: Coordination Models and Languages: 10th International Conference, COORDINATION 2008. Vol. 5052 Springer, 2008. p. 100-116 (Lecture Notes in Computer Science).

Publication: Research - peer-review › Article in proceedings – Annual report year: 2008

From product to service orientation in the maritime equipment industry : a case study. / Matzen, Detlef; McAloone, Timothy Charles.

In: 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-review › Article in proceedings – Annual report year: 2008

Fuel cells. / Jensen, Jens Oluf; Li, Qingfeng.

In: Hydrogen in mobile and portable systems. ed. / A Léon; H Hahn. Springer, 2008.

Publication: Research › Book chapter – Annual report year: 2008

Fundamentals of laser-assisted fabrication of inorganic and organic films. / Schou, Jørgen (Invited author).

In: Functionalized Nanoscale Materials, Devices and Systems. ed. / A.K. Vaseashta; I.N. Mihailescu. Dordrecht : Springer, 2008. p. 241-256 (NATO Science for Peace and Security Series B - Physics and Biophysics).

Publication: Research - peer-review › Article in proceedings – Annual report year: 2008

Fungi in cold ecosystems. / Frisvad, Jens Christian.

In: Psychrophiles: From Biodiversity to Biotechnology. ed. / R. Margesin; F. Schinner; J.-C. Marx; C. Gerday. Berlin : Springer, 2008. p. 137-156.

Publication: Research - peer-review › Book chapter – Annual report year: 2008

Goal-oriented Composition of Services. / Nanz, Sebastian; Tolstrup, Terkel Kristian.

In: Proceedings of the 7th International Symposium on Software Composition (SC'08). Springer, 2008. p. 109-124 (Lecture Notes in Computer Science; No. 4954).

Publication: Research - peer-review › Article in proceedings – Annual report year: 2008

Hash functions and RFID tags: Mind the gap. / Bogdanov, Andrey; Leander, Gregor; Paar, Christof; Poschmann, Axel; Robshaw, Matt J. B.; Seurin, Yannick.

In: Proceedings of Cryptographic Hardware and Embedded Systems – CHES 2008. Springer, 2008. p. 283-299 (Lecture Notes in Computer Science, Vol. 5154).

Publication: Research - peer-review › Article in proceedings – Annual report year: 2008

In situ STM studies of immobilized biomolecules at the electrode-electrolyte interface. / Nichols, Richard J; Haiss, Wolfgang; Fernig, David G; Van Zallinge, Harm; Schiffrin, David J; Ulstrup, Jens.

In: Bioinorganic Electrochemistry. Guilford : Springer, 2008. p. 209-249.

Publication: Research - peer-review › Book chapter – Annual report year: 2009

Intensity techniques. / Jacobsen, Finn.

In: Handbook of Signal Processing in Acoustics. ed. / David Havelock; Sonoko Kuwano; Michael Vorländer. New York, NY, : Springer, 2008. p. 1107-1125.

Publication: Research - peer-review › Book chapter – Annual report year: 2008

Iterative Specialisation of Horn Clauses. / Nielsen, Christoffer Rosenkilde; Nielson, Flemming; Nielson, Hanne Riis.

In: Lecture Notes in Computer Science. Vol. Volume 4960 Springer, 2008. p. 131-145.

Publication: Research - peer-review › Article in proceedings – Annual report year: 2008

Lagrangian multi-particle staistics. / Lüthi, Beat; Berg, J.; Ott, Søren; Mann, Jakob.

In: Particle-laden flow. From geophysical to Kolmogorov scales. ed. / B.J. Geurts; Cercx,H.; W. Uijttewaal. Berlin : Springer, 2008. p. 257-270 (ERCOFTAC Series; No. 11).

Publication: Research - peer-review › Book chapter – Annual report year: 2008

Linear slide attacks on the KeeLoq block cipher. / Bogdanov, Andrey.

In: Information Security and Cryptology. Springer, 2008. p. 66-80 (Lecture Notes in Computer Science, Vol. 4990).

Publication: Research - peer-review › Article in proceedings – Annual report year: 2008

Linear-XOR and Additive Checksums Don't Protect Damgard-Merkle Hashes. / Gauravaram, Praveen; Kelsey, John.

In: RSA Conference 2008, Cryptographers' Track. ed. / Tal Malkin. Springer, 2008. p. 36-51 (Lecture Notes in Computer Science; No. 4964).

Publication: Research - peer-review › Article in proceedings – Annual report year: 2008

Microwave Radiometry and Radiometers for Ocean Applications. / Skou, Niels.

In: Remote Sensing of the European Seas. ed. / V. Barale; M. Gade. Heidelberg : Springer, 2008. p. 207-222.

Publication: Research - peer-review › Book chapter – Annual report year: 2008

Modeling light-tissue interaction in optical coherence tomography systems. / Andersen, Peter E.; Jørgensen, Thomas Martini; Thrane, Lars; Tycho, Andreas; Yura, H.

In: Optical coherence tomography - technology and applications. ed. / W. Drexler; J.G. Fujimoto. Springer, 2008. p. 73-118.

Publication: Research - peer-review › Book chapter – Annual report year: 2008

Modelling of the urban wind profile. / Gryning, Sven-Erik; Batchvarova, Ekaterina.

In: Air pollution modeling and its application XIX. ed. / Carlos Borrego; Ana Isabel Miranda. Dordrecht : Springer, 2008. p. 18-27 (NATO Science for Peace and Security Series. Series C: Environmental Security).

Publication: Research - peer-review › Article in proceedings – Annual report year: 2008

Modelling the CoCoME with the Java/A Component Model. / Knapp, Alexander; Janisch, Stephan; Hennicker, Rolf; Clark, Allan; Gilmore, Stephen; Hacklinger, Florian; Baumeister, Hubert; Wirsing, Martin.

In: The Common Component Modeling Example: Comparing Software Component Models. Springer, 2008. p. 207-237.

Publication: Research - peer-review › Book chapter – Annual report year: 2008

Network Traffic Generator Model for Fast Network-on-Chip Simulation. / Mahadevan, Shankar; Ang, Frederico; Olsen, Rasmus G.; Sparsø, Jens; Madsen, Jan.

In: Design, Automation, and Test in Europe: The Most Influential Papers of 10 Years DATE. ed. / Rudy Lauwereins; Jan Madsen. Springer, 2008. p. 173-184.

Publication: Research - peer-review › Article in proceedings – Annual report year: 2008

On-line street network analysis for flood evacuation planning. / Mioc, Darka (Invited author); Anton, François (Invited author); Liang, Gengsheng (Invited author).

In: Remote Sensing and GIS Technologies for Monitoring and Prediction of Disasters. ed. / Sisi Zlatanova. Springer, 2008. p. 221-242.

Publication: Research - peer-review › Book chapter – Annual report year: 2008

On-the Fly Merging of Attitude Solutions. / Jørgensen, Peter Siegbjørn; Jørgensen, John Leif; Denver, Troelz.

In: Small Satellites for Earth Observation: Selected Contributions. Springer, 2008. p. 175-183.

Publication: Research › Article in proceedings – Annual report year: 2008

Performance of multi-service system with retrials due to blocking and called-party-busy. / Stepanov, S.N.; Kokina, O.A.; Iversen, Villy Bæk.

In: Next Generation Teletraffic and Wired/Wireless Advanced Networking. Springer, 2008. p. 147-155 (Lecture Notes in Computer Science; No. 5174/2008).

Publication: Research - peer-review › Book chapter – Annual report year: 2008

Recent developments in dynamic vehicle routing systems. / Madsen, Oli B.G.; Larsen, Allan; Solomon, Marius M.

In: The Vehicle Routing Problem: Latest Advances and New Challenges. 1. ed. Springer, 2008. p. 199-220.

Publication: Research - peer-review › Book chapter – Annual report year: 2008

Recent Models and Algorithms for One-to-One Pickup and Delivery Problems. / Cordeau, Jean-Francois; Laporte, Gilbert; Røpke, Stefan.

In: The Vehicle Routing Problem: Latest Advances and New Challenges. ed. / Bruce Golden; S. Raghavan; Edward Wasil. Springer, 2008. p. 327-357.

Publication: Research - peer-review › Book chapter – Annual report year: 2008

Relational Analysis of Correlation. / Bauer, Jörg; Nielson, Flemming; Nielson, Hanne Riis; Pilegaard, Henrik.

In: Static Analysis: Proceedings of 15th International Symposium, SAS 2008. ed. / María Alpuente; Germán Vidal. Springer, 2008. p. 32-46 (Lecture Notes in Computer Science; No. 5079).

Publication: Research - peer-review › Article in proceedings – Annual report year: 2008

Roadpricing, the economy and the environment. / Jensen-Butler, Chris; Sloth, Birgitte; Larsen, Morten Marrot; Madsen, Bjarne; Nielsen, Otto Anker.

In: Roadpricing, the economy and the environment: Advances in spatial Science. Vol. XV XV. ed. Springer, 2008.

Publication: Research - peer-review › Book chapter – Annual report year: 2008

Road Pricing, the Economy and the Environment. / Madsen, Bjarne; Jensen-Butler, Chris; Kronbak, Jacob; Leleur, Steen.

In: A Systems Approach to Modelling the Regional Effects of Road Pricing. Vol. Road Pricing, the Economy and the Environment 1st. ed. Berlin; Heidelberg : Springer, 2008. p. 229-265.

Publication: Research - peer-review › Book chapter – Annual report year: 2008

Scheduling of Conditional Process Graphs for the Synthesis of Embedded Systems. / Eles, Petru; Kuchcinski, Krzysztof; Peng, Zebo; Doboli, Alexa; Pop, Paul.

In: Design, Automation, and Test in Europe: The Most Influential Papers of 10 Years DATE. Springer, 2008. p. 132-138.

Publication: Research - peer-review › Book chapter – Annual report year: 2008

Side channel analysis of some hash based MACs: A response to SHA-3 requirements. / Gauravaram, Praveen; Okeya, Katsuyuki.

In: Information and Communications Security: 10th International Conference, ICICS 2008 Birmingham, UK, October 20 - 22, 2008 Proceedings. ed. / Liqun Chen; Mark Ryan; Guilin Wang. 10. ed. Springer, 2008. p. 111-127 (Lecture Notes in Computer Science; No. 5308).

Publication: Research - peer-review › Article in proceedings – Annual report year: 2008

Strive for Greater Efficiency and Effectiveness within a Human Resources Division. / Andersen, Torben; Krogager, Per.

In: Designing Organizations: 21st Century approaches. Springer, 2008. p. 123-140.

Publication: Communication › Book chapter – Annual report year: 2008

Structural and Morphological Features of Acid-Bearing Polymers for PEM Fuel Cells. / Yang, Yunsong; Siu, Ana; Peckham, Timothy J.; Holdcroft, Steven.

In: Fuel Cells I. Vol. 215 Berlin : Springer, 2008. p. 55-126 (Advances in Polymer Science; No. 215).

Publication: Research - peer-review › Book chapter – Annual report year: 2008

The Logic of the RAISE Specification Language. / George, Chris; Haxthausen, Anne Elisabeth.

In: 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-review › Book chapter – Annual report year: 2008

The Microflown particle velocity sensor. / Jacobsen, Finn; de Bree, Hans-Elias.

In: Handbook of Signal Processing in Acoustics. ed. / David Havelock; Sonoko Kuwano; Michael Vorländer. New York, NY, : Springer, 2008. p. 1281-1289.

Publication: Research - peer-review › Book chapter – Annual report year: 2008

The Narrative Aspect of Scenario Building : How Story Telling may give people a memory of the Future. / Rasmussen, Lauge Baungaard.

In: Cognition, Communication and Interaction: Transdisciplinary perspectives on Interactive Technology. ed. / Satinder P. Gill. Vol. Human-Computer Interaction Series 1. ed. Lightning Source, UK : Springer, 2008. p. 174-194.

Publication: Research - peer-review › Book chapter – Annual report year: 2008

The Rabbit Stream Cipher. / Boesgaard, Martin; Vesterager, Mette; Zenner, Erik.

In: New Stream Cipher Designs: The eStream Finalists. ed. / Matthew Robshaw; Olivier Billet. Berlin : Springer, 2008. p. 69-83 (Lecture Notes in Computer Science; No. 4986).

Publication: Research › Book chapter – Annual report year: 2008

The Role of Abduction in Declarative Authorization Policies. / Becker, Moritz Y.; Nanz, Sebastian.

In: Proceedings of the 10th International Symposium on Practical Aspects of Declarative Languages (PADL'08). Springer, 2008. p. 84-99 (Lecture Notes in Computer Science; No. 4902).

Publication: Research - peer-review › Article in proceedings – Annual report year: 2008

Time-area optimized public-key engines: MQ-cryptosystems as replacement for elliptic curves?. / Bogdanov, Andrey; Eisenbarth, Thomas; Rupp, Andy; Wolf, Christopher.

In: Cryptographic Hardware and Embedded Systems – CHES 2008. Proceedings. Springer, 2008. p. 45-61 (Lecture Notes in Computer Science, Vol. 5154).

Publication: Research - peer-review › Article in proceedings – Annual report year: 2008

Transport Costs in a Multiregional Equilibrium Job Search Model. / Larsen, Morten Marott; Pilegaard, Ninette; Ommeren, Jos van.

In: Road Pricing, the Economy and the Environment. Berlin Heidelberg : Springer, 2008. p. 133-166.

Publication: Research - peer-review › Book chapter – Annual report year: 2008

Triplet of Helical Vortices. / Okulov, Valery; Naumov, Igor; Shen, Wen Zhong; Sørensen, Jens Nørkær.

In: IUTAM Symposium on Hamiltonian Dynamics, Vortex Structures, Turbulence: IUTAM Bookseries. Vol. 6 Springer, 2008. p. 281-290.

Publication: Research - peer-review › Article in proceedings – Annual report year: 2008

Uncertainty modeling with imprecise statistical reasoning and the precautionary principle in decision making. / Kozine, Igor.

In: Real-Time and Deliberative Decision Making. ed. / Igor Linkov; Elizabeth Ferguson; Victor S. Magar. Springer, 2008. p. 225-238 (NATO Science for Peace and Security Series C: Environmental Security).

Publication: Research - peer-review › Book chapter – Annual report year: 2008

Uncertainty modeling with imprecise statistical reasoning and the precautionary principle in decision making. / Kozine, Igor.

In: Real-Time and Deliberative Decision Making. ed. / I. Linkov; E. Ferguson; V.S. Magar. Berlin : Springer, 2008. p. 225-238 (NATO Science for Peace and Security Series C: Environmental Security).

Publication: Research - peer-review › Book chapter – Annual report year: 2008

Viral bioinformatics. / Adams, B.; Carolyn McHardy, A.; Lundegaard, Claus; Lengauer, T.

In: Modern Genome Annotation: The Biosapiens Network. Vol. Chapter 8.1 Springer, 2008. p. 429-450.

Publication: Research - peer-review › Book chapter – Annual report year: 2008

Vision Assisted Laser Scanner Navigation for Autonomous Robots. / Andersen, Jens Christian; Andersen, Nils Axel; Ravn, Ole.

In: Proceedings of the 10th International Symposium on Experimental Robotics 2006 (ISER '06). Vol. 39 Springer, 2008. p. 111-120.

Publication: Research - peer-review › Article in proceedings – Annual report year: 2008

A Domain-oriented, Model-based Approach for Construction and Verification of Railway Control Systems. / Haxthausen, Anne Elisabeth (Invited author); Peleska, Jan (Invited author).

In: Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjørner and Zhou Chaochen on Occasion of their 70th Birthdays. ed. / Cliff B. Jones; Zhiming Liu; Jim Woodcock. Springer, 2007. p. 320-348 (Lecture Notes in Computer Science; No. 4700).

Publication: Research - peer-review › Article in proceedings – Annual report year: 2007

A formal analysis for capturing replay attacks in cryptographic protocols. / Gao, Han; Bodei, Chiara; Degano, Pierpaolo; Nielson, Hanne Riis.

In: 12th Asian Computing Science Conference, ASIAN 2007: Lecture Notes in Computer Science. Vol. 4846 Springer, 2007. p. 150-165.

Publication: Research › Article in proceedings – Annual report year: 2007

A J Integral Approach for Measuring Cohesive Laws Using a Modified DCB Sandwich Specimen. / Lundsgaard-Larsen, Christian (Invited author); Berggreen, Christian (Invited author); Sørensen, Bent F. (Invited author).

In: Experimental Analysis of Nano and Engineering Materials and Structures: Proceedings of the 13th International Conference on Experimental Mechanics. ed. / E. E. Gdoutos. Dordrecht, The Netherlands : Springer, 2007.

Publication: Research - peer-review › Article in proceedings – Annual report year: 2007

A Logic for State-Modifying Authorization Policies. / Becker, Moritz Y.; Nanz, Sebastian.

In: Proceedings of the 12th European Conference on Research in Computer Security (ESORICS'07). Springer, 2007. (Lecture Notes in Computer Science; No. 4734).

Publication: Research - peer-review › Article in proceedings – Annual report year: 2007

Analysis of Deformation of the Human Ear and Canal Caused by Mandibular Movement. / Darkner, Sune; Paulsen, Rasmus Reinhold; Larsen, Rasmus.

In: Lecture Notes in Computer Science: Medical Image Computing and Computer-Assisted Intervention – MICCAI 2007. Vol. Volume 4792 Berlin / Heidelberg : Springer, 2007. p. 801-808.

Publication: Research - peer-review › Article in proceedings – Annual report year: 2007

A novel hybrid algorithm for function optimization: Particle Swarm assisted incremental evolution strategy. / Wenting, Mo; Sheng-Uei, Guan; Puthusserypady, Sadasivan.

In: Hybrid Evolutionary Systems. Springer, 2007. p. 101-125 (Studies in Computational Intelligence; No. 75).

Publication: Research - peer-review › Book chapter – Annual report year: 2007

A Point-Wise Quantification of Asymmetry Using Deformation Fields. Application to the Study of the Crouzon Mouse Model. / Ólafsdóttir, Hildur; Lanche, Stephanie; Darvann, Tron A.; Hermann, Nuno V.; Larsen, Rasmus; Ersbøll, Bjarne Kjær; Oubel, Estanislao; Frangi, Alejandro F.; Larsen, Per; Perlyn, Chad A.; Morriss-Kay, Gillian M.; Kreiborg, Sven.

In: Lecture Notes in computer Science: Medical Image Computing and Computer Assisted interventions - MICCAI 2007. Vol. 4792 Springer, 2007. p. 452-459.

Publication: Research - peer-review › Article in proceedings – Annual report year: 2007

A Point-Wise Quantification of Asymmetry Using Deformation Fields. Application to the Study of the Crouzon Mouse Model. / Ólafsdóttir, Hildur; Lanche, Stephanie; Darvann, Tron Andre; Hermann, Nuno Vibe; Larsen, Rasmus; Ersbøll, Bjarne Kjær; Oubel, Estanislao; Frangi, Alejandro F.; Larsen, Per; Perlyn, Chad A.; Morriss-Kay, Gillian M.; Kreiborg, Sven.

In: Proceedings of the 10th Medical Image Computing and Computer-Assisted Intervention. Berlin / Heidelberg : Springer, 2007. p. 452-459 (Lecture Notes in Computer Science; No. 4792).

Publication: Research - peer-review › Article in proceedings – Annual report year: 2007

Assessment of storm water ecotoxicity using a battery of biotests. / Scholes, L.; Baun, Anders; Seidl, M.; Eriksson, Eva; Revitt, M.; Mouchel, J.-M.

In: Highway and urban environment: Proceedings of highway and urban environment symposium, 8, 12-14 June 2006, Nicosia, Cyprus. ed. / G.M. Morrison; S. Rauch. Dordrecht, The Netherlands : Springer, 2007. p. 399-410 (Alliance for Global Sustainability Bookseries; No. 12).

Publication: Research - peer-review › Book chapter – Annual report year: 2007

A tapered coplanar strip antenna with improved matching. / Butrym, Alexander; Pivnenko, Sergey.

In: Ultra-Wideband Short-Pulse Electromagnetics 7. ed. / Frank Sabath. Berlin : Springer, 2007. p. 344-355.

Publication: Research - peer-review › Book chapter – Annual report year: 2007

A theory of Duration Calculus with applications. / Hansen, Michael Reichhardt; Hung, Dang Van.

In: Domain Modelling and Duration Calculus. ed. / Chris W. George; Zhiming Liu; Jim Woodcock. Springer, 2007. p. 119-176 (Lecture Notes in Computer Science; No. 4710).

Publication: Research - peer-review › Book chapter – Annual report year: 2007

A Traffic injection methodology with support for system-level synchronization. / Mahadevan, Shankar; Angiolini, Federico; Sparsø, Jens; Benini, Luca; Madsen, Jan.

In: VLSI-SoC: From Systems to Silicon: Best papers from IFIP TC 10, WG 10.5, Thirteenth International Conference ov Very Large Scale Integration of System on Chip. ed. / Ricardo Reis; Adam Osseiran. Springer, 2007. p. 145-161 (IFIP International Federation for Information Processing; No. 240).

Publication: Research - peer-review › Book chapter – Annual report year: 2007

Backwards/forwards dispersion and inertial range stretching rates. / Berg, Jacob.

In: Advances in turbulence 9: Proceedings. ed. / J.M.L.M. Palma; A.S. Lopes. Berlin : Springer, 2007. p. 64-66 (Springer Proceedings in Physics, 117).

Publication: Research - peer-review › Article in proceedings – Annual report year: 2007

Brownian motion after Einstein: Some new applications and new experiments. / Selmeczi, D. (Invited author); Tolic-Nørrelykke, S. (Invited author); Schäfer, E. (Invited author); Hagedorn, Peter (Invited author); Mosler, S. (Invited author); Berg-Sørensen, K. (Invited author); Larsen, Niels Bent (Invited author); Flyvbjerg, Henrik K. (Invited author).

In: Controlled nanoscale motion in biological and artificial systems. Proceedings. ed. / H. Linke; A. Månsson. Berlin : Springer, 2007. p. 181-199 (Lecture Notes in Physics, 711).

Publication: Research - peer-review › Article in proceedings – Annual report year: 2007

Classification of Biological Objects Using Active Appearance Modelling and Color Cooccurrence Matrices. / Dahl, Anders Bjorholm; Aanæs, Henrik; Larsen, Rasmus; Ersbøll, Bjarne Kjær.

In: Lecture Notes in Computer Science. Vol. 4522 Springer, 2007. p. 938-947.

Publication: Research - peer-review › Book chapter – Annual report year: 2007

Classification of Dynamic Vehicle Routing Systems. / Larsen, Allan; Madsen, Oli B.G.; Solomon, Marius M.

In: Dynamic Fleet Management. ed. / V. Zeimpekis; C.D. Tarantilis; G.M. Giaglis; I. Minis. Springer, 2007.

Publication: Research - peer-review › Book chapter – Annual report year: 2006

Cluster Based Cooperative Uplink Access in Centralized Wireless Networks. / Zhang, Qi; Fitezek, F.H.P.; Iversen, Villy Bæk.

In: Cognitive Wireless Networks Concepts, Methodologies and Visions, Inspiring the Age of Enlightenment of Wireless Communications. ed. / Frank H.P. Fitzek; Marcos D. Katz. Springer, 2007.

Publication: Research - peer-review › Book chapter – Annual report year: 2007

Communicating EU food and health research. / Børresen, Torger; Högberg, P.I.; Chryssochoidis, G.; Cnudde, F.; Belcher, T.; Oehlenschläger, J.

In: Communicating European Research 2005. Proceedings of the conference, Brussels, 14-15 November 2005. ed. / M. Claessens. Dordrecht : Springer, 2007. p. 219-224.

Publication: Research - peer-review › Book chapter – Annual report year: 2007

Comparison of aggregated and measured turbulent fluxes in an urban area. / Batchvarova, Ekaterina (Invited author); Gryning, Sven-Erik (Invited author); Rotach, M.W. (Invited author); Christen, A. (Invited author).

In: Air pollution modeling and its application 17. ed. / C. Borrego; A.-L. Norman. New York : Springer, 2007. p. 363-370 (NATO Challenges of Modern Society series).

Publication: Research - peer-review › Article in proceedings – Annual report year: 2007

Constrained ICA for the Analysis of High Stimulus Rate Auditory Evoked Potentials. / Harte, James.

In: 7th International Conference on Independent Component Analysis and Signal Separation. Berlin : Springer, 2007. p. 609-616.

Publication: Research - peer-review › Article in proceedings – Annual report year: 2007

Contact Indentations determined by a Direct Super Finite Element approach. / Pedersen, Pauli.

In: IUTAM Symposium on Multiscale Problems in Multibody System Contacts. Vol. volume 1 AA Dordrecht, The Netherlands : Springer, 2007. p. 183-193.

Publication: Research - peer-review › Article in proceedings – Annual report year: 2007

Data Flow Analysis for {CCS}. / Nielson, Hanne Riis; Nielson, Flemming.

In: Lecture Notes in Computer Science. Vol. 4444 Springer, 2007. p. 311-327.

Publication: Research - peer-review › Book chapter – Annual report year: 2007

Deadlock handling for real-time control of AGV's at automated container terminals. / Lehmann, M.; Grunow, Martin; Günther, H.O.

In: Container terminals and cargo systems: Design, operations management, and logistics control issues. ed. / K. H. Kim; H.O, Günther. 1. ed. Springer, 2007. p. 215-241.

Publication: Research - peer-review › Book chapter – Annual report year: 2007

Deciding an Interval Logic with Accumulated Durations. / Hansen, Michael Reichhardt; Fränzle, Martin.

In: Lecture Notes in Computer Science. Vol. 4424 Springer, 2007. p. 201-215.

Publication: Research - peer-review › Book chapter – Annual report year: 2007

Designing filters for copper removal for the secondary treatment of storm water. / Genc-Fuhrman, Hülya; Mikkelsen, Peter Steen; Ledin, Anna.

In: Highway and urban environment: Proceedings of highway and urban environment symposium, 8, 12-14 June 2006, Nicosia, Cyprus. ed. / G.M. Morrison; S. Rauch. Dordrecht, The Netherlands : Springer, 2007. p. 475-485 (Alliance for Global Sustainability Bookseries; No. 12).

Publication: Research - peer-review › Book chapter – Annual report year: 2007

Detection and analysis of microcracks in high-performance cementitious materials. / Lura, Pietro (Invited author); Weiss, Jason (Invited author); Jensen, Ole Mejlhede (Invited author).

In: Advances in construction materials 2007: Symposium on honor of Hans W Reinhardt. Berlin : Springer, 2007. p. 605-614.

Publication: Research - peer-review › Article in proceedings – Annual report year: 2007

Effects of land-use change on matter and energy exchange between ecosystems in the rain forest margin and the atmosphere. / Ibrom, Andreas; Oltchev, A.; June, T.; Ross, T.; Kreilein, H.; Falk, U.; Merklein, J.; Twele, A.; Rakkibu, G.; Grote, S.; Rauf, A.; Gravenhorst, G.

In: Stability of tropical rainforest margins. Linking ecological, economic and social constraints of land use and conservation. ed. / T. Tscharntke; C. Leuschner; M. Zeller; E. Guhardja; A. Bidin. Berlin : Springer, 2007. p. 463-492 (Environmental Science and Engineering; Environmental Science).

Publication: Research - peer-review › Book chapter – Annual report year: 2007

End-by-Hop Data Integrity. / Jensen, Christian D.; Farrell, Stephen.

In: Lecture Notes in Computer Science. Vol. 4572 Springer, 2007.

Publication: Research - peer-review › Book chapter – Annual report year: 2007

Forward Masking: Temporal Integration or Adaptation?. / Ewert, Stephan D.; Hau, Ole; Dau, Torsten.

In: Hearing - From Sensory Processing to Perception. Springer, 2007. p. 165-174.

Publication: Research - peer-review › Book chapter – Annual report year: 2007

Heat losses through pipe connections in hot water stores. / Andersen, Elsa; Fan, Jianhua; Furbo, Simon.

In: Proceedings of ISES 2007: Solar Energy and Human Settlement. Vol. Volume IV Beijing, China : Springer, 2007. p. 1998-2002.

Publication: Research - peer-review › Article in proceedings – Annual report year: 2007

Hybrid Logical Analyses of the Ambient Calculus. / Bolander, Thomas; Hansen, René Rydhof.

In: Logic, Language, Information and Computation, Proceedings. Springer, 2007. p. 83-100 (Lecture Notes in Computer Science, Vol. 4576 ).

Publication: Research - peer-review › Article in proceedings – Annual report year: 2007

Hybrid RANS/LES of neutral atmospheric boundary layer: Simple terrain. / Bechmann, Andreas; Mann, Jakob; Johansen, Jeppe; Sørensen, Niels N.

In: Progress in turbulence 2: Proceedings. ed. / M. Oberlack; G. Khujadze; S. Günther; T. Weller; M. Frewer; J. Peinke; S. Barth. Berlin : Springer, 2007. p. 155-158 (Springer Proceedings in Physics, 109).

Publication: Research - peer-review › Article in proceedings – Annual report year: 2007

Improved Approximate String Matching and Regular Expression Matching on Ziv-Lempel Compressed Texts. / Bille, Philip; Fagerberg, Rolf; Gørtz, Inge Li.

In: Combinatorial Pattern Matching, Proceedings. Springer, 2007. p. 52-62 (Lecture Notes in Computer Science, Vol. 4580).

Publication: Research - peer-review › Article in proceedings – Annual report year: 2007

Individual discriminative face recognition models based on subsets of features. / Clemmensen, Line Katrine Harder; Gomez, David Delgado; Ersbøll, Bjarne Kjær.

In: Lecture Notes in Computer Science. Vol. 4522 Berlin : Springer, 2007. p. 61-71.

Publication: Research › Article in proceedings – Annual report year: 2007