Springer-Verlag

Local database

Publisher

  1. 2009
  2. Published

    Tetrahedral Mesh Improvement Using Multi-face Retriangulation. / Misztal, Marek Krzysztof; Bærentzen, Jakob Andreas; Anton, François; Erleben, Kenny.

    18th International Meshing Roundtable. Springer-Verlag, 2009. p. 539-556.

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

  3. 2008
  4. Published

    Linear Systems Control: Deterministic and Stochastic Methods. / Hendricks, Elbert; Jannerup, Ole Erik; Sørenson, Paul Haase.

    Heidelberg : Springer-Verlag, 2008. 198 p.

    Publication: EducationBook – Annual report year: 2008

  5. 2007
  6. Published

    An update on the side channel cryptanalysis of MACs based on cryptographic hash functions. / Gauravaram, Praveen; Okeya, Katsuyuki.

    INDOCRYPT 2007: 8th International Conference on Cryptology in India. ed. / Kannan Srinathan; Pandu Rangan; Moti Yung. Vol. 4859 Berlin Heidelberg : Springer-Verlag, 2007. p. 393-403 (Lecture Notes in Computer Science; No. 4859).

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

  7. Published

    Approximating Offsets of Surfaces by using the Support Function Representation. / Gravesen, Jens; Jüttler, Bert; Šír, Zbynĕk.

    Progress in Industrial Mathematics at ECMI 2006. Springer-Verlag, 2007. p. 719-723.

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

  8. Published

    A Scalable Inclusion Constraint Solver Using Unification. / Zhang, Ye; Nielson, Flemming.

    Proceedings of the 17th International Symposium on Logic-Based Program Symthesis and Transformation. Springer-Verlag, 2007. p. 121-137 (Lecture Notes in Computer Science; No. 4915).

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

  9. Published

    A Scandinavian Model of Innovative Product Development. / McAloone, Timothy Charles; Andreasen, Mogens Myrup; Boelskifte, Per.

    The Future of Product Development. ed. / Frank-Lothar Krause. Vol. Proceedings of the 17th CIRP Design Conference Berlin : Springer-Verlag, 2007. p. 269-278.

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

  10. Published

    European energy futures 2030. Technology and social visions from the European energy delphi survey. / Wehnert, T.; López Araguás, J.P.; Bernardini, O.; Jaworski, L.; Jörss, W.; Jørgensen, Birte Holst; Ninni, A.; Nielsen, O.; Oniszk-Poplawska, A.; Welte, D.

    Heidelberg : Springer-Verlag, 2007. 231 p.

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

  11. Published

    Semantic Modelling Using TV-Anytime Metadata in DVB-H mobile broadcast. / Butkus, Andrius; Petersen, Michael Kai.

    Interactive TV: A shared experience: Proceedings of EuroITV 2007. ed. / Pablo Cesar; Konstantinos Chorianopoulos; Jens F. Jensen. Berlin : Springer-Verlag, 2007. (Lecture Notes in Computer Science; No. 4471).

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

  12. Published

    Stochastic Modeling and Deterministic Limit of Catalytic Surface Processes. / Starke, Jens; Reichert, Christian; Eiswirth, Markus; Oelschlaeger, Karl.

    Reactive Flows, Diffusion and Transport. ed. / Willi Jaeger; Rolf Rannacher; Juergen Warnatz. Springer-Verlag, 2007. p. 341-370.

    Publication: ResearchBook chapter – Annual report year: 2007

  13. Published

    Studying the properties of Variational Data Assimilation Methods by Applying a Set of Test-Examples. / Thomsen, Per Grove; Zlatev, Zahari; Boyanov, T. (Editor); Dimova, S. (Editor); Georgiev, K. (Editor); Nikolov, G. (Editor).

    Numerical Methods and Applications. 6th International Conference, NMA 2006.. Vol. Lecture Notes in Computer Science Vol. 4310 Springer-Verlag, 2007. p. 492-499.

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

  14. Published

    Surfaces with Piecewise Linear Support Functions over Spherical Triangulations. / Almegaard, Henrik; Bagger, Anne; Gravesen, Jens; Jüttler, Bert; Šír, Zbynĕk.

    Mathematics of Surfaces XII. ed. / Ralph Martin; Malcolm Sabin; Joab Winkler. Springer-Verlag, 2007. p. 42-63 (Lecture Notes in Computer Science; No. 4647).

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

  15. 2006
  16. Published

    Determination of Angle of Attack (AOA) for Rotating Blades. / Shen, Wen Zhong; Hansen, Martin Otto Laver; Sørensen, Jens Nørkær.

    Wind Energy: Proceedings of the Euromech Colloquium. Berlin Heidelberg : Springer-Verlag, 2006. p. 205-209.

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

  17. Published

    Medical Image Computing and Computer-Assisted Intervention - MICCAI 2006 : 9th International Conference Copenhagen, Denmark, October 1-6, 2006,. / Larsen, Rasmus (Editor); Nielsen, Mads; Sporring, Jon.

    Springer-Verlag, 2006. (Lecture Notes in Computer Science; No. 4190).

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

  18. Published

    PARA'04, State-of-the-art in scientific computing : LNCS Proceedings. / Dongarra, Jack (Editor); Madsen, Kaj; Wasniewski, Jerzy.

    Springer-Verlag, 2006.

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

  19. Published

    Reusing Design Knowledge : Advances in Design. / Ahmed, Saeema; Wallace, Ken M.

    Advances in Design. ed. / Hoda A ElMaraghy; Waguih ElMaraghy. Springer-Verlag, 2006.

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

  20. Published

    Wind farm power fluctuations. / Sørensen, Poul Ejnar; Mann, Jakob; Schmidt Paulsen, Uwe; Vesth, Allan.

    Wind energy. Proceedings of the Euromech colloquium. ed. / J. Peinke; P. Schaumann; S. Barth. New York, NY (US) : Springer-Verlag, 2006. p. 139-145.

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

  21. 2005
  22. Badger - A Fast and Provably Secure MAC. / Boesgaard, Martin; Scavenius, Ove; Pedersen, Thomas; Christensen, Thomas; Zenner, Erik .

    Proceedings ACNS 2005. ed. / John Ioannidis; Angelos Keromytis; Moti Yung. London, UK : Springer-Verlag, 2005. p. 176-191 (Lecture Notes in Computer Science; No. 3531).

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

  23. Published

    Comparison of polycyclic aromatic hydrocarbons (PAHs) removals during anaerobic and aerobic sewage sludge treatment. / Trably, Eric; Patureau, D.; Delgenes, J.P.

    Environmental chemistry: Green chemistry and pollutants in ecosystems. ed. / E. Lichtfouse; J. Schwarzbauer; D. Robert. Vol. Chapter 39 Heidelberg, Germany : Springer-Verlag, 2005. p. 431-440.

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

  24. Published

    Engineering Knowledge Management.. / Wallace, Ken M.; Ahmed, Saeema; Bracewell, Rob.

    Design Process Improvement: A Review of Current Practice. ed. / John Clarkson; Claudia Eckert. First. ed. London : Springer-Verlag, 2005. p. 326-343.

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

  25. 2004
  26. Published

    Automating the Hierarchical Synthesis of MEMS Using Evolutionary Approaches. / Fan, Zhun; Wang, J; Seo, K.; Hu, J; Rosenberg, R.; Terpenny, J.; Goodman, E.

    Evolvable Machines - Theory & Practice. Heidelberg : Springer-Verlag, 2004. p. 129-149.

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

  27. Published

    Evaluating and managing safety barriers in major hazard plants. / Duijm, N.J.; Andersen, H.B.; Hale, A.; Goossens, L.; Hourtolou, D.

    Proceedings. London : Springer-Verlag, 2004. p. 110-115.

    Publication: ResearchArticle in proceedings – Annual report year: 2004

  28. Published

    Proof Support for RAISE - by a Reuse Approach based on Institutions. / Lindegaard, Morten Peter; Haxthausen, Anne Elisabeth.

    Proceedings of AMAST'04. Springer-Verlag, 2004. p. 319-333.

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

  29. Scenario building for the future of the Tel-Aviv metropolitan area and its transportation system using the Delphi method. / Shiftan, Yoram; Kaplan, Sigal; Hakkert, Shalom.

    Transport Developments and Innovations in an Evolving World. Berlin : Springer-Verlag, 2004. p. 275-289 (Advances in Spatial Science).

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

  30. Published

    The Succinct Solver Suite. / Nielson, Flemming; Nielson, Hanne Riis; Sun, Hongyan; Buchholtz, Mikael; Hansen, René Rydhof; Pilegaard, Henrik; Seidl, Helmut.

    Proc. TACAS'04. Springer-Verlag, 2004. p. 251-265.

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

  31. 2003
  32. Published

    An Ontology for a TripTych Formal Software Development. / Bjørner, Dines; Wirsing, Martin (Editor).

    US DoD Workshop on Radical Innovations for Software and Systems Engineering. Springer-Verlag, 2003.

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

  33. Published

    Applied Algebra, Algebraic Algorithms and Error-Correcting Codes. / Fossorier, Marc (Editor); Høholdt, Tom (Editor); Poli, Alain (Editor).

    Berlin : Springer-Verlag, 2003.

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

  34. Published

    Decentralised power generation in the liberalised EU energy markets. Results from the DECENT research project. / Jörss, W.; Jørgensen, Birte Holst; Löffler, P.; Morthorst, Poul Erik; Uyterlinde, M.; Sambeek, E. van; Wehnert, T.

    Berlin : Springer-Verlag, 2003. 259 p.

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

  35. How engineering designers obtain information : Human behaviour in design. / Wallace, Ken M.; Ahmed, Saeema.

    Human Behabviour in design: Individuals, teams, tools. ed. / Udo Lindemann. Munich, Germany : Springer-Verlag, 2003. p. 184-194.

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

  36. On the Efficiency of the Clock Control Guessing Attack. / Zenner, Erik .

    Proceedings ICISC 2002. ed. / Pil Joong Lee; Chae Hoon Lim. London, UK : Springer-Verlag, 2003. p. 200-212 (Lecture Notes in Computer Science; No. 2587).

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

  37. Published

    Vibrations and Stability : Advanced Theory, Analysis, and Tools. / Thomsen, Jon Juel.

    Berlin - Heidelberg - New York : Springer-Verlag, 2003. 404 p.

    Publication: EducationBook – Annual report year: 2003

  38. 2002
  39. Published

    Automatic Complexity Analysis. / Nielson, Flemming; Nielson, Hanne Riis; Seidl, H.

    Proc. ESOP'02. Springer-Verlag, 2002. p. 243-261.

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

  40. Published

    Point and planar LIF for velocity-concentration correlations in a jet in cross flow. / Meyer, Knud Erik; Özcan, Oktay; Larsen, Poul Scheel; Gjelstrup, P.; Westergaard, C. H.

    Proceedings of 10th Internaltional Symposium on Applications of Laser Techniques to Fluid Mechanics. Lisbon : Springer-Verlag, 2002.

    Publication: ResearchArticle in proceedings – Annual report year: 2002

  41. Published

    Two approaches to synthesis based on the domain theory. / Hansen, Claus Thorp; Andreasen, Mogens Myrup.

    Engineering Design Synthesis. Vol. Chapter 6 London : Springer-Verlag, 2002. p. 93-108.

    Publication: ResearchBook chapter – Annual report year: 2002

  42. 2001
  43. Published

    Automated Proof Support for Interval Logics. / Rasmussen, Thomas Marthedal.

    8. LPAR 2001, Havana, Cuba. Springer-Verlag, 2001. p. 317-326.

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

  44. Published

    Control-flow analysis in cubic time. / Nielson, Flemming; Seidl, H.

    ESOP 2001 - European Symposium On Programming, Genova, Italy, April 2-6. Springer-Verlag, 2001. p. 252-268.

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

  45. Published

    Deformation structure and recrystallization in an Al single crystal deformed in tension. / Huang, X.; Okada, T.; Wert, J.A.; Inoko, F.

    Recrystallization and grain growth. Proceedings. Vol. 2. ed. / G. Gottstein; D.A. Molodov. Berlin : Springer-Verlag, 2001. p. 773-778.

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

  46. Published

    Experimental measurements of nucleation and growth rates. / Juul Jensen, D.

    Recrystallization and grain growth. Proceedings. Vol. 1. ed. / G. Gottstein; D.A. Molodov. Berlin : Springer-Verlag, 2001. p. 73-86.

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

  47. Published

    Flux divergence of reactive nitrogen over the coastal ocean. / Sørensen, L.L.; Pedersen, B.; Lund, M.

    Transport and chemical transformation in the troposphere. Proceedings. ed. / P.M. Midgley; M.J. Reuther; M. Williams. Berlin : Springer-Verlag, 2001. p. 54-61.

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

  48. Published

    Growth kinetics of individual cube grains as studied by the 3D X-ray diffraction microscope. / Lauridsen, E.M.; Schmidt, Søren; Margulies, L.; Poulsen, H.F.; Juul Jensen, D.

    Recrystallization and grain growth. Proceedings. Vol. 1. ed. / G. Gottstein; D.A. Molodov. Berlin : Springer-Verlag, 2001. p. 589-594.

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

  49. Improved Cryptanalysis of the Self-Shrinking Generator. / Zenner, Erik ; Krause, Matthias; Lucks, Stefan.

    Proceedings ACISP 2001. ed. / Vijay Varadharajan; Yi Mu. London, UK : Springer-Verlag, 2001. p. 21-35 (Lecture Notes in Computer Science; No. 2119).

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

  50. Published

    Investigation of relationships between matrix orientations and nuclei at triple junctions. / Sabin, T.J.; Winther, G.; Juul Jensen, D.

    Recrystallization and grain growth. Proceedings. Vol. 2. ed. / G. Gottstein; D.A. Molodov. Berlin : Springer-Verlag, 2001. p. 809-814.

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

  51. Published

    Measurement of orientation dependent stored energy of deformation on a local scale. / Godfrey, A.; Juul Jensen, D.; Hansen, N.

    Recrystallization and grain growth. Proceedings. Vol. 2. ed. / G. Gottstein; D.A. Molodov. Berlin : Springer-Verlag, 2001. p. 843-848.

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

  52. Published

    Perspectives of System Informatics, IV. / Bjørner, Dines; Broy, M. (Editor); Zamulin, Alexandre V. (Editor).

    Springer-Verlag, 2001.

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

  53. Published

    Recrystallization in subdivided deformation microstructures. / Hughes, D.A.; Hansen, N.

    Recrystallization and grain growth. Proceedings. Vol. 2. ed. / G. Gottstein; D.A. Molodov. Berlin : Springer-Verlag, 2001. p. 659-668.

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

  54. Published

    Recrystallization of Fe3Al based alloys during superplastic deformation. / Huang, X.; Gao, D.C.; Yang, W.Y.; Sun, Z.Q.

    Recrystallization and grain growth. Proceedings. Vol. 2. ed. / G. Gottstein; D.A. Molodov. Berlin : Springer-Verlag, 2001. p. 875-880.

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

  55. Published

    The role of surface waves in modulating momentum, heat and chemical flux. / Smedman, A.-S.; Larsen, Søren Ejling.

    Transport and chemical transformation in the troposphere. Proceedings. ed. / P.M. Midgley; M.J. Reuther; M. Williams. Berlin : Springer-Verlag, 2001. p. 216-222.

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

  56. 2000
  57. Published

    A {K}leene analysis of Mobile Ambients. / Nielson, Flemming; Nielson, Hanne Riis; Sagiv, M.

    Proc. ESOP'00. Springer-Verlag, 2000. p. 305-319.

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

  58. Published

    A Kleene analysis of Mobile Ambients. / Nielson, Flemming; Nielson, Hanne Riis; Sagiv, M.

    Proc. ESOP'00. Springer-Verlag, 2000. p. 305-319.

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

  59. Published

    ASE: An overview of the Air-Sea Exchange subproject. / Larsen, Søren Ejling.

    Transport and chemical transformation of pollutants in the troposphere. An overview of the work of EUROTRAC. ed. / P. Borrell; P.M. Borrell. Berlin : Springer-Verlag, 2000. p. 285-293 (Transport and chemical transformation of pollutants in the troposphere, v. 1).

    Publication: ResearchBook chapter – Annual report year: 2000

  60. Published

    Combining Decision Diagrams and SAT Procedures for Efficient Symbolic Model Checking. / Williams, Poul Frederick; Biere, Armin; Clarke, Edmund M.; Gupta, Anubhav.

    Lecture Notes in Computer Science1855. Springer-Verlag, 2000.

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

  61. Published

    Domain Engineering - A Software Engineering discipline in Need of Research. / Bjørner, Dines.

    SOFTSEM'2000 Lecture Notes in Computer Science. Springer-Verlag, 2000. p. 18-24.

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

  62. Published

    Evaluation of meteorological conditions during NOSE. / Schulz, M.; Schrader, M.; Larsen, Søren Ejling; Krüger, O.

    Exchange and transport of air pollutants over complex terrain and the sea. Field measurements and numerical modelling; Ship, ocean platform and laboratory measurements. ed. / S.E. Larsen; F. Fiedler; P. Borrel. Berlin : Springer-Verlag, 2000. p. 20-21 (Transport and chemical transformation of pollutants in the troposphere, v. 9).

    Publication: ResearchBook chapter – Annual report year: 2000

  63. Published

    Exchange and transport of air pollutants over complex terrain and the sea. / Larsen, Søren Ejling; Fiedler, F.; Borrell, P.

    Berlin : Springer-Verlag, 2000. 357 p. (Transport and chemical transformation of pollutants in the troposphere, v. 9).

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

  64. Published

    Exchange and transport of air pollutants over complex terrain and the sea. Field measurements and numerical modelling; Ship, ocean platform and laboratory measurements. / Larsen, Søren Ejling; Fiedler, F. (Editor); Borrel, P. (Editor).

    Berlin : Springer-Verlag, 2000. 357 p. (Transport and chemical transformation of pollutants in the troposphere, v. 9).

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

  65. Published

    Factors determining particle dynamics over the air-sea interface. / Leeuw, G. de; Larsen, Søren Ejling; Mestayer, P.G.

    Exchange and transport of air pollutants over complex terrain and the sea. ed. / S.E. Larsen; F. Fiedler; P. Borrell. Berlin : Springer-Verlag, 2000. p. 24-31 (Transport and chemical transformation of pollutants in the troposphere, v. 9).

    Publication: ResearchBook chapter – Annual report year: 2000

  66. Published

    Fault-tolerant Control of Complex Systems. / Blanke, Mogens; Frei, C.; Kraus, K.; Patton, R. J.; Staroswiecki, M.

    Control of Complex Systems. Springer-Verlag, 2000.

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

  67. Published

    Fluxes in the marine atmospheric boundary layer. / Larsen, Søren Ejling; Geernaert, L.L.S.; Hansen, F.Å.; Hummelshøj, P.; Jensen, N.O.; Edson, J.B.

    Exchange and transport of air pollutants over complex terrain and the sea. ed. / S.E. Larsen; F. Fiedler; P. Borrell. Berlin : Springer-Verlag, 2000. p. 48-64 (Transport and chemical transformation of pollutants in the troposphere, v. 9).

    Publication: ResearchBook chapter – Annual report year: 2000

  68. Published

    From ASA towards full potential. / Vitos, Levente; Skriver, Hans Lomholt.

    Lecture Notes in Physics. Berlin : Springer-Verlag, 2000.

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

  69. Published

    From the FPU Chain to Biomolecular Dynamics. / Zolotaryuk, Yaroslav; Savin, A. V.; Christiansen, Peter Leth.

    Nonlinear Science at the Dawn of the 21st Century. Springer-Verlag, 2000. p. 394-407.

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

  70. Published

    Linking DC together with TRSL. / Haxthausen, Anne Elisabeth; Yong, X.

    IFM'2000 2nd Int. Conf. on Integrated Formal Methods, no. 1945. Springer-Verlag, 2000. p. 25-44.

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

  71. Published

    Optimising the common path interferometer: A theoretical framework. / Glückstad, J.; Mogensen, P.C.

    Interferometry in speckle light. Theory and applications. Proceedings. Berlin : Springer-Verlag, 2000. p. 543-550.

    Publication: ResearchArticle in proceedings – Annual report year: 2000

  72. Published

    Overview of air-sea exchange. / Larsen, Søren Ejling.

    Exchange and transport of air pollutants over complex terrain and the sea. ed. / S.E. Larsen; F. Fiedler; P. Borrell. Berlin : Springer-Verlag, 2000. p. 3-7 (Transport and chemical transformation of pollutants in the troposphere, v. 9).

    Publication: ResearchBook chapter – Annual report year: 2000

  73. Published

    Quantum Lattice Solitons. / Scott, Alwyn C.

    Nonlinear Science at the Dawn of the 21st Century. Springer-Verlag, 2000. p. 339-355.

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

  74. Published

    Self-focusing and collapse of light beams in nonlinear dispersive media. / Bergé, L.; Juul Rasmussen, J.

    Nonlinear science at the dawn of the 21st century. ed. / P.L. Christiansen; M.P. Sørensen; A.C. Scott. Berlin : Springer-Verlag, 2000. p. 213-228 (Lecture notes in physics, 542).

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

  75. Published

    Ship Propulsion Control and Reconfiguration. / Izadi-Zamanabadi, R.; Amann, P.; Blanke, Mogens; others, and.

    Control of Complex Systems. Springer-Verlag, 2000.

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

  76. Published

    Subsorted Partial Higher-order Logic as an extension of CASL. / Mossakowski, T.; Haxthausen, Anne Elisabeth; Krieg-Brückner, B.

    WADT'99. Springer-Verlag, 2000. p. 126-145.

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

  77. Published

    Surface exchange. / Jensen, N.O.; Pio, C.A.

    Transport and chemical transformation of pollutants in the troposphere. An overview of the work of EUROTRAC. ed. / P. Borrell; P.M. Borrell. Berlin : Springer-Verlag, 2000. p. 69-83 (Transport and chemical transformation of pollutants in the troposphere, v. 1).

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

  78. Published

    Surface flux variability in relation to the mesoscale. / Jensen, N.O.; Hasager, C.B.; Hummelshøj, P.; Pilegaard, K.; Barthelmie, R.J.

    Exchange and transport of air pollutants over complex terrain and the sea. ed. / S.E. Larsen; F. Fiedler; P. Borrell. Berlin : Springer-Verlag, 2000. p. 322-328 (Transport and chemical transformation of pollutants in the troposphere, v. 9).

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

  79. Published

    The Satellite Attitude Control Problem. / Wisniewski, R.; Astolfi, A.; Bak, T.; Blanke, Mogens; others, and.

    Control of Complex Systems. Springer-Verlag, 2000.

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

  80. 1999
  81. Published

    Abstract Interpretation of Mobile Ambients. / Hansen, René Rydhof; Jensen, J. G.; Nielson, Flemming; Nielson, Hanne Riis.

    Proc. SAS'99. Springer-Verlag, 1999. p. 134-148.

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

  82. Published

    A Triptych Software Development Paradigm : Domain, Requirements and Software. / Bjørner, Dines.

    In Honour of Hans Langmaack. Heidelberg : Springer-Verlag, 1999. p. 29-60.

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

  83. Published

    Difference Decision Diagrams. / Møller, Jesper; Lichtenberg, Jakob; Andersen, Henrik Reif; Hulgaard, Henrik.

    Computer Science Logic (LNCS 1683). Springer-Verlag, 1999.

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

  84. Published

    Electricity Companies and Railway Networks as Newcomers in Telecommunications. / Falch, Morten.

    Towards Competition in Network Industries Telecommunications, Energy and Transportation in Europe and Russia. Berlin : Springer-Verlag, 1999. p. 149-170.

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

  85. Published

    Error estimates on averages of correlated data. / Flyvbjerg, H.

    Advances in computer simulation. ed. / J. Kertész; I. Kondor. Berlin : Springer-Verlag, 1999. p. 88-103 (Lecture notes in physics, 501).

    Publication: ResearchArticle in proceedings – Annual report year: 1999

  86. Published

    Interprocedural Control Flow Analysis. / Nielson, Flemming; Nielson, Hanne Riis.

    Proc. ESOP'99. Springer-Verlag, 1999. p. 20-39.

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

  87. Published
  88. Published

    Modeling microtubule oscillations. / Jobs, E.; Wolf, D.E.; Flyvbjerg, H.

    Statistical mechanics of biocomplexity. ed. / D. Reguera; J.M.G. Vilar; J.M. Rubi. Berlin : Springer-Verlag, 1999. p. 46-55 (Lecture notes in physics, 527).

    Publication: ResearchArticle in proceedings – Annual report year: 1999

  89. Published

    Monte Carlo study of oxygen ordering in Yba2Cu3O6+x. / Mønster, D.; Lindgård, Per-Anker; Andersen, N.H.

    Proceedings. ed. / D.P. Landau; H.-B. Schüttler. Berlin : Springer-Verlag, 1999. p. 150-154 (Springer proceedings in physics, 84).

    Publication: ResearchArticle in proceedings – Annual report year: 1999

  90. Published

    Signed Interval Logic. / Rasmussen, Thomas Marthedal Rasmus.

    Computer Science Logic. Springer-Verlag, 1999. p. 157-171.

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

  91. Published

    Static Analysis of Processes for No Read-Up and No Write-Down. / Bodei, C.; Degano, P.; Nielson, Flemming; Nielson, Hanne Riis.

    Proc. FOSSACS'99. Springer-Verlag, 1999. p. 120-134.

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

  92. Published

    Transport of phosphorus and carbon in arbuscular mycorrhizas. / Jakobsen, I.

    Mycorrhiza. Structure, function, molecular biology and biotechnology. ed. / A. Varma; B. Hock. Berlin : Springer-Verlag, 1999. p. 305-332.

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

  93. Published

    Validating Firewalls in Mobile Ambients. / Nielson, Flemming; Nielson, Hanne Riis; Hansen, René Rydhof; Jensen, J. G.

    Proc. CONCUR'99. Springer-Verlag, 1999. p. 463-477.

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

  94. Published

    Verification of Hierarchical State/Event Systems using Reusability and Compositionality. / Berhmann, Gerd; Larsen, Kim G.; Andersen, Henrik Reif; Hulgaard, Henrik; Lind-Nielsen, Jørn.

    Tools and Algorithms for the Construction and Analysis of Systems (LNCS 1579). Springer-Verlag, 1999.

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

  95. Published

    Verification of Large State/Event Systems using Compositionality and Dependency Analysis.. / Lind-Nielsen, Jørn; Andersen, Henrik Reif; Behrmann, Gerd; Hulgaard, Henrik; Kristoffersen, Kaare; Larsen, Kim G.

    Proceedings of TACAS'98 (LNCS 1384). Springer-Verlag, 1999.

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

  96. 1998
  97. Published

    Adaptive Regularization in Neural Network Modeling. / Larsen, Jan; Svarer, Claus; Andersen, Lars Nonboe; Hansen, Lars Kai.

    Neural Networks: Tricks of the Trade. Springer-Verlag, 1998. p. 113-132.

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

  98. Published

    An Adequate First Order Logic of Intervals. / Chaochen, Zhou; Hansen, Michael Reichhardt; de Roever, Willem-Paul (Editor); Langmaack, Hans (Editor); Pnueli, Amir (Editor).

    Compositionality: The Significant Difference. Springer-Verlag, 1998. p. 584-608.

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

  99. Published

    Atmospheric degradation of anthropogenic molecules. / Wallington, T.J.; Nielsen, O.J.

    Handbook of environmental chemistry. Vol. 2. Reactions and processes. Part 1. ed. / O. Hutzinger. Berlin : Springer-Verlag, 1998. p. 64-96.

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

  100. Published

    Behaviour Analysis and Safety Conditions: A Case Study in CML. / Nielson, Hanne Riis; Amtoft, T.; Nielson, Flemming.

    Proc. FASE'98. Springer-Verlag, 1998. p. 255-269.

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

  101. Published

    Control Flow Analysis for the Pi-calculus. / Bodei, C.; Degano, P.; Nielson, Flemming; Nielson, Hanne Riis.

    Proc. CONCUR'98. Springer-Verlag, 1998. p. 84-98.

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

  102. Published

    Cooperative buildings - the case of office VISION. / Andersen, H.H.K.; Moltke, I.

    Cooperative buildings: Integrating information, organization, and architecture. ed. / N.A. Streitz; S. Konomi; H.-J. Burkhardt. Berlin : Springer-Verlag, 1998. p. 163-177.

    Publication: ResearchArticle in proceedings – Annual report year: 1998

  103. Published

    Domains as a Prerequisite for Requirements and Software : Doain Perspectives and Facets, Requirements Aspects and Software Views. / Bjørner, Dines.

    Requirements Targeting Software and Systems Engineering. Heidelberg : Springer-Verlag, 1998.

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

  104. Published

    Flow Logics for Constraint Based Analysis. / Nielson, Hanne Riis; Nielson, Flemming.

    Proc. CC'98. Springer-Verlag, 1998. p. 109-127.

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

  105. Published

    The Flow Logic of Imperative Objects. / Nielson, Flemming; Nielson, Hanne Riis.

    Proc. MFCS'98. Springer-Verlag, 1998. p. 220-228.

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

  106. 1997
  107. Published

    A Comparison of Modular Verification Techniques. / Andersen, Henrik Reif; Staunstrup, Jørgen; Maretti, Niels.

    Proceedings of TAPSOFT'97, LNCS 1214. Berlin, Heidelberg : Springer-Verlag, 1997. p. 550-564.

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

  108. Published

    Adaptive Regularization in Neural Network Modelling. / Larsen, Jan; Svarer, C; Andersen, Lars Nonboe; Hansen, Lars Kai; Orr, G.B. (Editor); Muller, K. (Editor); Caruana, R. (Editor).

    Springer-Verlag, 1997.

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

  109. Published

    Adaptive Sampling and Bias Estimation in Path Tracing. / Tamstorf, Rasmus; Jensen, Henrik Wann.

    Rendering Techniques '97. Heidelberg : Springer-Verlag, 1997. p. 285-295.

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

  110. Published

    A Formal Software Engineering Paradigm : From Domains via Requirements to Software. Formal Specification and Design Calculi. / Bjørner, Dines.

    SOFSEM'97: Theory and Practice of Informatics. Heidelberg : Springer-Verlag, 1997. p. 219-248.

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

  111. Published

    A Simple Neural Network Contextual Classifier. / Nielsen, Allan Aasbjerg; Tidemann, J.

    Neurocomputation in Remote Sensing Data Analysis. Berlin : Springer-Verlag, 1997. p. 186-193.

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

  112. Published

    A Universal Reactive Machine. / Andersen, Henrik Reif; Mørk, Simon; Sørensen, Morten U.

    Proceedings of CONCUR'97: Concurrency Theory, 8th International Conference, LNCS 1243. Berlin, Heidelberg : Springer-Verlag, 1997. p. 89-103.

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

  113. Published

    Fluid lipid-bilayer membranes: some basic physical mechanisms for lateral self-organization. / Miao, Ling; Hansen, Per Lyngs; Ipsen, John Hjorth.

    Les Houches Proceedings on Dynamical Networks in Physicsand Biology. Berlin : Springer-Verlag, 1997.

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

Previous 1 2 Next
Download list:
Download as PDF
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
Word