Co-firing of Coal with Biomass and Waste in Full-scale Suspension-fired Boilers. / Dam-Johansen, Kim; Jappe Frandsen, Flemming; Jensen, Peter Arendt; Jensen, Anker Degn.

In: Cleaner Combustion and Sustainable World - Proceedings of the 7th International Symposium on Coal Combustion. ed. / Haiying Qi; Bo Zhao. Springer Verlag, 2013. p. 781-800.

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

Sensor-coupled fractal gene regulatory networks for locomotion control of a modular snake robot. / Zahadat, Payam; Christensen, David Johan; Katebi, Serajeddin; Stoy, Kasper.

In: Distributed Autonomous Robotic Systems. The 10th International Symposium. Springer Verlag, 2013. p. 517-530 (Springer Tracts in Advanced Robotics; No. 83).

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

A collaborative approach to botnet protection. / Stevanovic, Matija; Revsbech, Kasper; Pedersen, Jens Myrup; Sharp, Robin; Jensen, Christian D.

In: Multidisciplinary Research and Practice for Information Systems. ed. / Gerald Quirchmayr; Josef Basl; Ilsun You; Lida Xu; Edgar Weippl. Springer Verlag, 2012. p. 624-638 (Lecture Notes in Computer Science, Vol. 7465).

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

Integral and Multidimensional Linear Distinguishers with Correlation Zero. / Bogdanov, Andrey; Leander, Gregor; Nyberg, Kaisa; Wang, Meiqin.

In: Advances in Cryptology – ASIACRYPT 2012. ed. / Xiaoyun Wang; Kazue Sako. Springer Verlag, 2012. p. 244-261 (Lecture Notes in Computer Science, Vol. 7658).

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

Zero correlation linear cryptanalysis with reduced data complexity. / Bogdanov, Andrey; Wang, Meiqin.

In: Fast Software Encryption: Revised Selected Papers. Springer Verlag, 2012. p. 29-48 (Lecture Notes in Computer Science, Vol. 7549).

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

Analytical and numerical modelling of thermoviscous shocks in their interactions in nonlinear fluids including dissipation.. / Rasmussen, Anders Rønne; Sørensen, Mads Peter; Gaididei, Yuri Borisovich; Christiansen, Peter Leth.

In: Progress in Industrial Mathematics at ECMI 2008. 1. ed. Heidelberg, Dordrecht, London, New York : Springer Verlag, 2010. p. 997-1002 (Industrial Mathematics).

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

A methodology for automated cartographic data input, drawing and editing using kinetic Delaunay/Voronoi diagrams. / Gold, Christopher M.; Mioc, Darka; Anton, François; Sharma, Ojaswa; Dakowicz, Maciej.

In: Generalized Voronoi Diagram: A Geometry-Based Approach to Computational Intelligence. Springer Verlag, 2008.

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

Attacking and defending the McEliece cryptosystem. / Bernstein, Daniel J.; Lange, Tanja; Peters, Christiane.

In: PROCEEDINGS OF POST-QUANTUM CRYPTOGRAPHY. Vol. Volume 5299 Springer Verlag, 2008. p. 31-46 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); No. Volume 5299 LNCS).

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

Analytical and numerical models for tsunami run-up. / Madsen, Per A.; Fuhrman, David R.

In: Tsunami and Nonlinear Waves. Berlin : Springer Verlag, 2007. p. 209-237.

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

Cryptanalysis of the CRUSH Hash Function. / Knudsen, Lars Ramkilde; Henricksen, Matt.

In: Selected Areas in Cryptography: SAC 2007. Berlin : Springer Verlag, 2007. p. 74-83 (Lecture Notes in Computer Science; No. 4876).

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

Known-Key Distinguishers for Some Block Ciphers. / Knudsen, Lars Ramkilde; Rijmen, Vincent.

In: Advances in Cryptology: ASIACRYPT 2007. Berlin : Springer Verlag, 2007. p. 315-324 (Lecture Notes in Computer Science; No. 4833).

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

Microbial degradation of MTBE in reactors. / Waul, Christopher Kevin; Arvin, Erik; Schmidt, Jens Ejbye.

In: The handbook of environmental chemistry. ed. / O. Hutzinger; D. Barceló. Vol. 5: Water pollution, Part R Fuel oxygenates Berlin : Springer Verlag, 2007. p. 213-248.

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

PRESENT: An Ultra-Lightweight Block Cipher. / Knudsen, Lars Ramkilde; Vikkelsø, Charlotte Heinstrup.

In: Cryptographic Hardware and Embedded Systems. Springer Verlag, 2007. p. 450-466 (Lecture Notes in Computer Science; No. 4727).

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

Sound intensity. / Jacobsen, Finn.

In: Springer Handbook of Acoustics. 1st. ed. New York : Springer Verlag, 2007. p. 1053-1075.

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

Contact mechanics, friction and adhesion with application to quasicrystals. / Persson, B N J; Carbone, G; Samoilov, V N; Sivebæk, Ion Marius; Tartaglino, Ugo; Volokitin, A I; Yang, C.

In: Fundamentals of Friction and Wear on the Nanoscale. ed. / E Gnecco; E Meyer. 1. ed. Springer Verlag, 2006.

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

Deaf and Hard of Hearing People: Electronic Communication Aids. / Bothe, Hans-Heinrich.

In: 10th International Conference on Computers Helping People with Special Needs. Vol. 1 Springer Verlag, 2006. p. 575-578 (Lecture Notes in Computer Science).

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

Debonding or breakage of short fibres in a metal matrix composite. / Tvergaard, Viggo.

In: Proc. of IUTAM Symposium on Multiscale Modelling of Damage and Fracture in Composite Materials. ed. / T. Sadowski. Springer Verlag, 2006. p. 67-76.

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

Effective Feature Preprocessing for Time Series Forecasting. / Zhao, Junhua; Dong, Zhaoyang; Xu, Zhao.

In: Advanced Data Mining and Applications. Vol. 4093 Berlin/Heidelberg : Springer Verlag, 2006. p. 769-781 (Lecture Notes in Computer Science).

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

Liberalisation of Telecommunications and Innovation Dynamics in Denmark. / Falch, Morten; Henten, Anders.

In: Digital Economic Dynamics: Innovations, Networks and Regulation. ed. / P.J.J. Welfens; M. Meske. Springer Verlag, 2006. p. 91-118.

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

Mass change of the Greenland Ice Sheet from GRACE. / Forsberg, René; Reeh, Niels.

In: Gravity Field of the Earth – 1st meeting of the International Gravity Field Service. Springer Verlag, 2006. (IAG proceedings series).

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

Trust-Based Route Selection in Dynamic Source Routin. / Jensen, Christian D.; Connell, Paul O.

In: 4th International Conference on Trust Management. Springer Verlag, 2006. p. 150-163.

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

3-D modelling of the magnetic fields due to ocean tidal flow.. / Kuvshinov, Alexei; Olsen, Nils.

In: Earth Observation with CHAMP: Results from Three Years in Orbit. ed. / Chr. Reigber; H. Lühr; P. Schwintzer; J. Wickert. Springer Verlag, 2005.

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

Functional 2D Procrustes Shape Analysis. / Larsen, Rasmus.

In: 14th Scandinavian Conference on Image Analysis. Springer Verlag, 2005.

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

Improved High Resolution Altimetric Gravity Field Mapping : KMS2002 Global Marine Gravity Field. / Andersen, Ole Baltazar; Seneviratne, S.I.; Hinderer, J.; Viterbo, P.

In: A window on the Future of Geodesy: IAG symposium. ed. / F. Sanso. Vol. 128 Heidelberg : Springer Verlag, 2005. p. 326-331 (International Association of Geodesy Symposia; No. 128).

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

Initial results from retracking and reprocessing the ERS-1 geodetic mission altimetry for gravity field purposes. / Andersen, Ole Baltazar; Knudsen, Per; Berry, P.A.M.; Mathers, E.L.; Trimmer, R.; Kenyon, S.

In: Gravity, Geoid and Space Missions: GGSM 2004 IAG International Symposium Porto, Portugal August 30 – September 3, 2004. ed. / C. Jekeli; L. Bastos; J. Fernandes. Vol. 129 Heidelberg : Springer Verlag, 2005. p. 1-5 (International Association of Geodesy Symposia; No. 129).

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

Modelling the ocean effect of geomagnetic storms at ground and satellite altitude. / Kuvshinov, Alexei; Olsen, Nils.

In: Earth Observation with CHAMP,: Results from Three Years in Orbit. ed. / Chr. Reigber; H. Lühr; P. Schwintzer; J. Wickert,. Springer Verlag, 2005.

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

On shape optimization for eigenvalue problem. / Pedersen, Pauli; Pedersen, Niels Leergaard.

In: Proceedings of the 21st International Congress of Theoretical and Applied Mechanics. ed. / W. Gutkowski; T.A. Kowalewski. Vol. 351 and 2 pages on CD Warsaw, Poland : Springer Verlag, 2005.

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

Preimage and Collision Attacks on MD2. / Knudsen, Lars Ramkilde; Mathiassen, John Erik.

In: Fast Software Encryption: Proceedings. Vol. 3557 Springer Verlag, 2005. p. 255-267 (Lecture Notes in Computer Science; No. 3557).

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

Seasonal Gravity Field Variations from GRACE and Hydrological Models. / Andersen, Ole Baltazar; Hinderer, Jacques; Lemoine, Frank G.

In: Gravity, Geoid and Space Missions: GGSM 2004 IAG International Symposium Porto, Portugal August 30 – September 3, 2004. Vol. 129 Heidelberg : Springer Verlag, 2005. p. 316-321.

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

Size-Effects in Void Growth. / Niordson, Christian Frithiof.

In: Proceedings of the 21st International Congress of Theoretical and Applied Mechanics with CD-ROM. ed. / W. Gutkowski; T. A. Kowalewski. Springer Verlag, 2005.

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

Some Attacks Against a Double Length Hash Proposal. / Knudsen, Lars Ramkilde; Muller, Frederic.

In: Asiacrypt 2005: Proceedings. Vol. 3788 Springer Verlag, 2005. p. 462-473 (Lecture Notes in Computer Science; No. 3788).

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

The Cryptanalysis of the AES - A Brief Survey. / Knudsen, Lars Ramkilde.

In: AES 2004. Vol. 3373 Springer Verlag, 2005. p. 1-10 (Lecture Notes in Computer Science; No. 3373).

Publication: Research › Article in proceedings – Annual report year: 2005

The spectrum of the magnetic secular variation. / Holme, Richard; Olsen, Nils.

In: Earth Observation with CHAMP, Results from Three Years in Orbit. ed. / Chr. Reigber; H. Lühr; P. Schwintzer; J. Wickert. Springer Verlag, 2005.

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

Trust Transfer: Encouraging Self-Recommendations without Sybil Attack. / Seigneur, Jean-Marc; Gray, Alan; Jensen, Christian D.

In: Third International Conference on Trust Management. Springer Verlag, 2005. p. 321-337.

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

3-D modelling of the mangmetic fields due to ocean tidal flow. / Kuvshinov, A.; Olsen, Nils.

In: Proceedings of the 2nd CHAMP Science Meeting. ed. / chr. Reigber; H. Lühr; P. Schwinzer. Springer Verlag, 2004.

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

Development and Full-Scale Evaluation of a New Marine Propeller Type. / Andersen, Poul; Friesch, J.; Kappel, J.

In: Procedings of Jahrbuch der Schiffbautechnische Gesellschaft (STG). Berlin : Springer Verlag, 2004. p. 465-476.

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

High temperature Superconducting Cables. / Tønnesen, Ole; Østergaard, Jacob; Narlikar, A.V. (Editor).

In: High Temperature Superconductivity 2 Engineering Applications. Springer Verlag, 2004.

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

Magnetic crystal thickness in Greenland from CHAMP and Ørsted data. / Maule, Cathrine Fox; Purucker, M.E.; Olsen, Nils.

In: Proceedings of the 2nd CHAMP Science Meeting. ed. / Chr. Reigber; H. Lühr; P. Schwinzer. Springer Verlag, 2004.

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

Modelling the ocean effect of geomagnetic stroms at grond and satellite altitude. / Kuvshinov, A.; Olsen, Nils.

In: Proceedings of the 2nd CHAMP Science Meeting. ed. / chr. Reigber; H. Lühr; P. Schwinzer. Springer Verlag, 2004.

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

Semiconductor Quantum Dots for Optoelectronic Applications. / Berg, Tommy Winther; Hvam, Jørn Märcher.

In: Optics of Semiconductors and Their Nanostructures. ed. / H. Kalt; M. Hetterich. Berlin, Germany : Springer Verlag, 2004. p. 249-273 (Springer Series in Solid-State Sciences; No. 146).

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

Spatial Analysis of BioAmbients. / Nielson, Hanne Riis; Nielson, Flemming; Pilegaard, Henrik.

In: Proceedings of Static Analysis Symposium 2004 (SAS'04). Springer Verlag, 2004. p. 69-83.

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

The significance of maternal immunity for protection of pigs against Mycoplasma hyosynoviae. / Hagedorn-Olsen, Tine; Friis, Niels F; Jungersen, Gregers; Riber, Ulla; Lauritsen, Klara Tølbøll; Kristensen, B; Nielsen, N.C.; Lind, Peter.

In: Proceedings of 2nd International Veterinary Vaccines and Diagnostics Conference. Springer Verlag, 2004.

Publication: Research › Conference abstract in proceedings – Annual report year: 2000

A model-based study of carbon fluxes at ten European forest sites. / Falge, E.; Tenhunen, J.; Aubinet, M.; Bernhofer, C.; Clement, R.; Granier, A.; Kowalski, A.; Moors, E.; Pilegaard, K.; Rannik, Ü.; Rebmann, C.

In: Fluxes of carbon, water and energy of European forests. ed. / R. Valentini. Berlin : Springer Verlag, 2003. p. 151-177 (Ecological Studies, 163).

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

CO2: A CHAMP magnetic field model. / Holme, R.; Olsen, Nils; Rother, M.; Lühr, H.

In: Proceedings of the First CHAMP Science Meeting. ed. / Chr. Reigber; H. Lühr; P. Schwintzer. Springer Verlag, 2003.

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

Deciduous forests: Carbon and water fluxes, balances and ecophysiological determinants. / Granier, A.; Aubinet, M.; Epron, D.; Falge, E.; Gudmundsson, J.; Jensen, N.O.; Köstner, B.; Matteucci, G.; Pilegaard, K.; Schmidt, M.; Tenhunen, J.

In: Fluxes of carbon, water and energy of European forests. ed. / R. Valentini. Berlin : Springer Verlag, 2003. p. 55-70 (Ecological Studies, 163).

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

Developing the Business Model – a Methodology for Virtual Enterprises. / Tølle, Martin; Vesterager, Johan.

In: Handbook on Enterprise Architectures. ed. / Peter Bernus, Laszlo Nemes & Günter Schmidt. Springer Verlag, 2003. p. 291-308.

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

Evaluation and validation of a conversational agent embodied in a bookstore. / Semeraro, G.; Andersen, H.H.K.; Andersen, V.; Lops, P.; Abbattista, F.

In: Universal access: Theoretical perspectives, practice, and experience. ed. / C. Stephanidis. Berlin : Springer Verlag, 2003. p. 360-371 (Lecture Notes in Computer Science; No. 2615).

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

Improving the definition of cratonic boundaries utilizing the lithospheric magnetic field derived from CHAMP observations. / Purucker, M.; Olsen, Nils.

In: Proceedings of the First CHAMP Science Meeting. ed. / Chr. Reigber; H. Lühr; P. Schwintzer. Springer Verlag, 2003.

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

Ionospheric currents from CHAMP magnetic field data - comparison with ground based measurements. / Ritter, P.; Viljanen, A.; Lühr, H.; Amm, A.; Olsen, Nils.

In: Proceedings of the First CHAMP Science Meeting. ed. / Chr. Reigber; H. Lühr; P. Schwintzer. Springer Verlag, 2003.

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

Knowledge Based Product Configuration - a documentatio tool for configuration projects. / Hvam, Lars; Malis, Martin.

In: The Customer Centric Enterprise. ed. / Mitchell m. Tseng and Frank T. Piller. Springer Verlag, 2003. p. 315-328.

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

Methodology for data acquisition, storage and treatment. / Aubinet, M.; Clement, R.; Elbers, J.A.; Foken, T.; Grelle, A.; Ibrom, Andreas; Moncrieff, J.; Pilegaard, K.; Rannik, Ü.; Rebmann, C.

In: Fluxes of carbon, water and energy of European forests. ed. / R. Valentini. Berlin : Springer Verlag, 2003. p. 9-35 (Ecological Studies, 163).

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

Monitoring magnetospheric contributions using ground-based and satellite magnetic data. / Olsen, Nils; Vennerstrøm, Susanne; Friis-Christensen, Eigil.

In: Proceedings of the First CHAMP Science Meeting. ed. / Chr. Reigber; H. Lühr; P. Schwintzer. Springer Verlag, 2003.

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

Motion-compensation of Cardiac Perfusion MRI using a Statistical Texture Ensemble. / Stegmann, Mikkel Bille; Larsson, Henrik B. W.

In: Functional Imaging and Modeling of the Heart, FIMH 2003. Springer Verlag, 2003. p. 151-161.

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

On Optimality of Context Modeling for Bit-plane Coding in the JPEG2000 Standard. / Krivoulets, Alexander; Wu, Xiaolin; Forchhammer, Søren.

In: Visual Content Processing and Representation, LNCS 2849. Berlin, Germany : Springer Verlag, 2003. p. 208-216.

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

Sensitivity Analysis for Dynamic Stability Problems. / Pedersen, Pauli.

In: Modern Problems of Structural Stability. Wien : Springer Verlag, 2003. p. 285-340 (CISM Courses and Lectures, International Centre for Mechanical Sciences; No. 436).

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

The Social Shaping of Technology: A New Space for Politics?. / Yoshinaka, Yutaka; Clausen, Christian; Hansen, Anne Grethe.

In: Technikgestaltung zwischen Wunsch und Wirklichkeit.. ed. / A. Grunwald. Springer Verlag, 2003. p. 117-137.

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

Integral cryptanalysis. / Knudsen, Lars Ramkilde; Wagner, David.

In: Fast Software Encryption (Revised Papers): Proceedings. Springer Verlag, 2002. p. 112-127 (Lecture Notes in Computer Science, Vol. 2365).

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

Scenarios as methods of Community Building. / Rasmussen, Lauge Baungaard.

In: EU-India Cross Cultural Innovation network. ed. / K.S. Gill. Springer Verlag, 2002.

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

A procedure for building product models. / Hvam, Lars; Riis, Jesper; Malis, Martin; Hansen, Benjamin Loer.

In: Moving into Mass Customization: Information Systems and Management Principles. ed. / Claus Rautenstrauch, Ralph Seelmann-Eggebert, Klaus Turowski. Springer Verlag, 2001. p. 19-39.

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

depolymerisation and biosynthesis of polysaccharides. / Stone, B. A.; Svensson, Birte.

In: Glycoscience: Chemistry and Chemical Biology. ed. / B. Fraser-Reid; K. Tatsuta; J. Thiem. Berlin/Heidelberg : Springer Verlag, 2001. p. 1905-1990.

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

The use of numerical models in coastal hydrodynamics and morphology. / Deigaard, Rolf; Fredsøe, Jørgen.

In: River, Coastal and Estuarine Morphodynamics. ed. / Giovanni Seminara; Paolo Blondeaux. 12. ed. Springer Verlag, 2001. p. 61-92.

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

AC-losses in superconducting power cables. / Tønnesen, Ole; Østergaard, Jacob; Däumling, M.; Olsen, S. Krüger; Traholt, C.; Willen, D.; Kühle, A.; Rasmussen, C.N.; Rasmussen, C.

In: High Temperature Superconductors. ed. / A.V. Narlikar. Vol. 32 Springer Verlag, 2000.

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

Josephson Flux-Flow Oscillators in Microwave Fields. / Salerno, M.; Samuelsen, Mogens Rugholm.

In: Nonlinear Science at the Dawn of the 21th Century. Heidelberg : Springer Verlag, 2000. p. 87-102.

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

Lactic acid production. / Villadsen, John.

In: Bioreaction engineering modeling and control (Eds.: K. Schügerl and K.-H. Bellgardt). Berlin : Springer Verlag, 2000. p. 349-373.

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

Stacked Josephson junctions. / Pedersen, Niels Falsig.

In: Nonlinear Science at the Dawn of the 21th Century (Eds. Christiansen, P. L., Soerensen, M. P. and Scott, A. C.. Berlin : Springer Verlag, 2000. p. 121-135.

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

Analysis of hybrid systems: An ounce of realism can save an infinity of states. / Fränzle, Martin; Flum, J. (Editor); Rodriguez-Artalejo, M. (Editor).

In: Computer Science Logic (CSL'99). Springer Verlag, 1999. p. 126-140.

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

Formal Development and Verification of a Distributed Railway Control System. / Haxthausen, Anne Elisabeth; Peleska, Jan.

In: Proceedings of FM'99. Springer Verlag, 1999.

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

Non-rigid registration by geometry-constrained diffusion.. / Andresen, Per Rønsholt; Nielsen, Mads.

In: Medical Image Computing and Computer-Assisted Intervention - MICCAI 1999. Springer Verlag, 1999. p. 533-543.

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

Stepwise CTL model checking of state/event systems. / Lind-Nielsen, Jørn; Andersen, Henrik Reif.

In: Stepwise CTL model checking of state/event systems. Springer Verlag, 1999.

Publication: Research › Article in proceedings – Annual report year: 1999

Compiling graphical real-time specifications into silicon. / Fränzle, Martin; Lüth, Karsten; Ravn, A. P. (Editor); Rischel, H. (Editor).

In: Formal Techniques in Real-Time and Fault-Tolerant Systems. 5th International Symposium, FTRTFT'98. Proceedings. Springer Verlag, 1998. p. 272-281.

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

A Generator for Composition Interpreters. / Steensgaard-Madsen, Jørgen.

In: Object-Oriented Technology. Berlin : Springer Verlag, 1997. p. 369-373.

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

Interoperability of Standards for Robotics in CIME : Research Reports Esprit-Project 6457-InterRob-Vol.1. / Mikosch, Falk (Editor); Kroszynski, Uri; Sørensen, Torben; Ludwig, Arnold; Horsch, Thomas.

In: Interoperability of Standards for Robotics in CIME. Berlin : Springer Verlag, 1997.

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

Nonlinear Versus Linear Models in Functional Neuroimaging: Learning Curves and Generalization Crossover. / Mørch, Niels J.S.; Hansen, Lars Kai; Strother, S.C.; C., Svarer; Rottenberg, D.A.; Lautrup, B.; Savoy, R.; Paulson, O.B.; Duncan, J. (Editor); Gindi, G. (Editor).

In: The 15th International Conference on Information Processing in Medical Imaging. Springer Verlag, 1997. p. 259-270.

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

Physics - and the physics of biologicalsystems. / Flyvbjerg, H.; Mouritsen, Ole G.

In: Physics of Biological Systems. From Molecules to Species. Berlin : Springer Verlag, 1997. p. 1-7.

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

Randomized Hypotheses and Minimum Disagreement Hypotheses for Learning with Noise. / Cesa-Bianchi, N.; Fischer, Paul; Shamir, E.; Simon, H.- U.

In: Computational Learning Theory: Proc. EuroCOLT\verb+~+'97, LNAI\verb+~+1208. Springer Verlag, 1997. p. 119-133.

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

Space mapping optimization for engineering design. / Madsen, Kaj; Bandler, J.W; Biernacki, R.M; Chen, S.H; H, Hemmers R.

In: Large Scale Optimization with Applications. Springer Verlag, 1997. p. 1-16.

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

A Coordinate Measuring Machine Approach to Evaluate Process Capabilities of Rapid Prototyping Techniques,. / Meneghello, R; De Chiffre, Leonardo; Sacilotto, A.

In: Proc. of 4th Int. Seminar AMST, Udine,. Springer Verlag, 1996.

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

Approaches to understand culture. / Rasmussen, Lauge Baungaard; Rauner, Felix.

In: Industrial cultures and production. London : Springer Verlag, 1996.

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

Broadband Network Teletraffic : Final Report of Action COST 242. / Roberts, James (Editor); Mocci, Ugo (Editor); Virtamo, Jorma; Andersen, Allan T.

In: Broadband Network Teletraffic. Springer Verlag, 1996.

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

Design Verification using Synchronized Transitions. / Staunstrup, Jørgen.

In: Formal Hardware Verification. Springer Verlag, 1996.

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

Education and Manpower Development for Cleaner Production. / Jørgensen, Michael Søgaard.

In: Education and Manpower Development for Cleaner Production. Springer Verlag, 1996.

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

Human.Centred Methods of Social and Technocal Design. / Rasmussen, Lauge Baungaard.

In: Human.Centred Methods of Social and Technocal Design. Springer Verlag, 1996.

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

Industrial Culture and Design Methodology. / Binder, Thomas; Nielsen, Klaus T.

In: Industrial Cultures and Production. London : Springer Verlag, 1996.

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

Industrial cultures : Theory and methods of cross-national comparisons. / Rasmussen, Lauge Baungaard.

In: Industrial cultures and production. London : Springer Verlag, 1996. p. 18-39.

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

Industrial Cultures - theory and methods of cross-national comparisons.. / Rasmussen, Lauge Baungaard.

In: Industrial Cultures - theory and methods of cross-national comparisons.. Springer Verlag, 1996.

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

Mean Field Reconstruction with Snaky Edge Hints. / Philipsen, Peter Alshede; Hansen, Lars Kai; Toft, Peter Aundal.

In: Proceedings of the Interdisciplinary Inversion Conference on Methodology, Computation and Integrated Applications IIC'95 1996. Berlin : Springer Verlag, 1996. p. 312-319.

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

Myoelectric Signals from Paretic Wrist Extensor Controlling Electrical Stimulation of the Same Muscle. / Thorsen, Rune A; Biering-Soerensen, Fin; Hansen, Steffen Duus; Andersen, Ole Trier.

In: Proceedings of the 5th Topical Workshop of the Concerted Action RAFT 1995. Springer Verlag, 1996.

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

Parallel Implementation of Classical Optimization Methods. / Tingleff, Ole.

In: Applied Parallel Computing. Berlin : Springer Verlag, 1996. p. 668-675.

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

Synthesizing controllers from duration calculus. / Fränzle, Martin; Jonsson, Bengt (Editor); Parrow, Joachim (Editor).

In: Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT 96). Springer Verlag, 1996. p. 168-187.

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

The relative merits of biological versus chemical wastewater treatment. / Harremoës, P.; Henze, M.

In: The relative merits of biological versus chemical wastewater treatment. Berlin : Springer Verlag, 1996. p. 317-318.

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

Understanding Competitivenes. / Rasmussen, Lauge Baungaard.

In: Understanding Competitivenes. Springer Verlag, 1996.

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

Communication Harnesses for Transputer Systems with Tree Structure and Cube Structure. / Tingleff, Ole.

In: Applied Parallel Computing. Berlin : Springer Verlag, 1995. p. 513-523.

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

Development of Safety-Critical Real-Time Systems. / Rischel, Hans; Cuellar, J.; Mørk, S.; Wildgruber, I.

In: SOFSEM'95: Theory and Practice of Informatics. Heidelberg : Springer Verlag, 1995. p. 206-235.

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

Role of La in internal initiation. / Belsham, Graham; Sonenberg, N.; Svitkin, Y.

In: Current Topics in Microbiology and Immunology: Cap-Independent Translation. ed. / P. Sarnow. Vol. Vol. 203 New York : Springer Verlag, 1995. p. 85-98.

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

Provably correct systems. / Jifeng, He; Hoare, Charles A. R.; Fränzle, Martin; Müller-Olm, Markus; Olderog, Ernst-RÜdiger; Schenke, Michael; Hansen, Michael Reichhardt; Ravn, Anders P.; Rischel, Hans; Langmaack, H. (Editor); Vytopil, J. (Editor); de Roever, W.-P. (Editor).

In: Formal Techniques in Real-Time and Fault-Tolerant Systems (FTRTFT 94). Springer Verlag, 1994. p. 288-335.

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

Towards provably correct code generation for a hard real-time programming language. / Fränzle, Martin; Müller-Olm, Markus; Fritzson, Peter A. (Editor).

In: Compiler Construction (CC 94). Vol. 786 Springer Verlag, 1994. p. 294-308.

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

A DSS for determinig multi-product optimal batch sizes with in-process inventories and multi-work centers. / Vidal, Rene Victor Valqui; Rygaard, Jens Moberg.

In: IFIP/IFORS/IMACS/ISPE Symposium on information control problems in manufacturing technology, Poland. Springer Verlag, 1992. p. 599-606.

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

Provably correct compiler development and implementation. / Buth, Bettina; Buth, Karl-Heinz; Fränzle, Martin; Karger, Burghard von; Lakhneche, Yassine; Langmaack, Hans; Müller-Olm, Markus; Kastens, U. (Editor); Pfahler, P. (Editor).

In: Compiler Construction. Springer Verlag, 1992. p. 141-155.

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

Dynamics of tidally forced basin–wide coastal eddies. / Visser, Andre; Bowman, M.J.; Crawford, W.R.

In: Residual Currents and Long–term Transport. ed. / R.T. Cheng. New York : Springer Verlag, 1990. (Lecture Notes on Coastal and Estuarine Studies: Physics of Shallow Bays and Estuaries).

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