Springer-Verlag
Local database
Publisher
- 2009
- Published
Tetrahedral Mesh Improvement Using Multi-face Retriangulation. / Misztal, Marek Krzysztof; Bærentzen, Jakob Andreas; Anton, François; Erleben, Kenny.
In: 18th International Meshing Roundtable. Springer-Verlag, 2009. p. 539-556.Publication: Research - peer-review › Article in proceedings – Annual report year: 2009
- 2008
- Published
Linear Systems Control: Deterministic and Stochastic Methods. / Hendricks, Elbert; Jannerup, Ole Erik; Sørenson, Paul Haase.
Heidelberg : Springer-Verlag, 2008. 198 p.Publication: Education › Book – Annual report year: 2008
- 2007
- Published
An update on the side channel cryptanalysis of MACs based on cryptographic hash functions. / Gauravaram, Praveen; Okeya, Katsuyuki.
In: 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-review › Article in proceedings – Annual report year: 2007
- Published
Approximating Offsets of Surfaces by using the Support Function Representation. / Gravesen, Jens; Jüttler, Bert; Šír, Zbynĕk.
In: Progress in Industrial Mathematics at ECMI 2006. Springer-Verlag, 2007. p. 719-723.Publication: Research - peer-review › Article in proceedings – Annual report year: 2007
- Published
A Scalable Inclusion Constraint Solver Using Unification. / Zhang, Ye; Nielson, Flemming.
In: 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-review › Article in proceedings – Annual report year: 2007
- Published
A Scandinavian Model of Innovative Product Development. / McAloone, Timothy Charles; Andreasen, Mogens Myrup; Boelskifte, Per.
In: 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-review › Book chapter – Annual report year: 2007
- 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-review › Book – Annual report year: 2007
- Published
Semantic Modelling Using TV-Anytime Metadata in DVB-H mobile broadcast. / Butkus, Andrius; Petersen, Michael Kai.
In: 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-review › Book chapter – Annual report year: 2007
- Published
Stochastic Modeling and Deterministic Limit of Catalytic Surface Processes. / Starke, Jens; Reichert, Christian; Eiswirth, Markus; Oelschlaeger, Karl.
In: Reactive Flows, Diffusion and Transport. ed. / Willi Jaeger; Rolf Rannacher; Juergen Warnatz. Springer-Verlag, 2007. p. 341-370.Publication: Research › Book chapter – Annual report year: 2007
- 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).
In: 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-review › Article in proceedings – Annual report year: 2007
- Published
Surfaces with Piecewise Linear Support Functions over Spherical Triangulations. / Almegaard, Henrik; Bagger, Anne; Gravesen, Jens; Jüttler, Bert; Šír, Zbynĕk.
In: 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-review › Article in proceedings – Annual report year: 2007
- Published
Wind farm power fluctuations. / Sørensen, Poul Ejnar; Mann, Jakob; Schmidt Paulsen, Uwe; Vesth, Allan.
In: Wind Energy. New York, NY (US) : Springer-Verlag, 2007. p. 139-145.Publication: Research - peer-review › Article in proceedings – Annual report year: 2007
- 2006
- Published
Determination of Angle of Attack (AOA) for Rotating Blades. / Shen, Wen Zhong; Hansen, Martin Otto Laver; Sørensen, Jens Nørkær.
In: Wind Energy: Proceedings of the Euromech Colloquium. Berlin Heidelberg : Springer-Verlag, 2006. p. 205-209.Publication: Research - peer-review › Article in proceedings – Annual report year: 2006
- 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-review › Book – Annual report year: 2006
- 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-review › Book – Annual report year: 2006
- Published
Reusing Design Knowledge : Advances in Design. / Ahmed, Saeema; Wallace, Ken M.
In: Advances in Design. ed. / Hoda A ElMaraghy; Waguih ElMaraghy. Springer-Verlag, 2006.Publication: Research - peer-review › Book chapter – Annual report year: 2006
- 2005
- External
Badger - A Fast and Provably Secure MAC. / Boesgaard, Martin; Scavenius, Ove; Pedersen, Thomas; Christensen, Thomas; Zenner, Erik .
In: 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-review › Article in proceedings – Annual report year: 2005
- Published
Comparison of polycyclic aromatic hydrocarbons (PAHs) removals during anaerobic and aerobic sewage sludge treatment. / Trably, Eric; Patureau, D.; Delgenes, J.P.
In: 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-review › Book chapter – Annual report year: 2005
- Published
Engineering Knowledge Management.. / Wallace, Ken M.; Ahmed, Saeema; Bracewell, Rob.
In: 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-review › Book chapter – Annual report year: 2005
- 2004
- Published
Automating the Hierarchical Synthesis of MEMS Using Evolutionary Approaches. / Fan, Zhun; Wang, J; Seo, K.; Hu, J; Rosenberg, R.; Terpenny, J.; Goodman, E.
In: Evolvable Machines - Theory & Practice. Heidelberg : Springer-Verlag, 2004. p. 129-149.Publication: Research - peer-review › Book chapter – Annual report year: 2004
- Published
Evaluating and managing safety barriers in major hazard plants. / Duijm, N.J.; Andersen, H.B.; Hale, A.; Goossens, L.; Hourtolou, D.
In: Proceedings. London : Springer-Verlag, 2004. p. 110-115.Publication: Research › Article in proceedings – Annual report year: 2004
- Published
Proof Support for RAISE - by a Reuse Approach based on Institutions. / Lindegaard, Morten Peter; Haxthausen, Anne Elisabeth.
In: Proceedings of AMAST'04. Springer-Verlag, 2004. p. 319-333.Publication: Research - peer-review › Article in proceedings – Annual report year: 2004
- External
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.
In: Transport Developments and Innovations in an Evolving World. Berlin : Springer-Verlag, 2004. p. 275-289 (Advances in Spatial Science).Publication: Research - peer-review › Book chapter – Annual report year: 2004
- Published
The Succinct Solver Suite. / Nielson, Flemming; Nielson, Hanne Riis; Sun, Hongyan; Buchholtz, Mikael; Hansen, René Rydhof; Pilegaard, Henrik; Seidl, Helmut.
In: Proc. TACAS'04. Springer-Verlag, 2004. p. 251-265.Publication: Research - peer-review › Article in proceedings – Annual report year: 2004
- 2003
- Published
An Ontology for a TripTych Formal Software Development. / Bjørner, Dines; Wirsing, Martin (Editor).
In: US DoD Workshop on Radical Innovations for Software and Systems Engineering. Springer-Verlag, 2003.Publication: Research - peer-review › Article in proceedings – Annual report year: 2003