Springer Verlag
Local database
Publisher
- 2000
- Published
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
- 1999
- Published
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
- Published
Computational Learning Theory, Proceedings of the 4th European Conference, EuroCOLT'99. / Fischer, Paul; Simon, H.-U.
Springer Verlag, 1999.Publication: Research - peer-review › Book – Annual report year: 1999
- Published
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
- Published
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
- Published
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
- 1998
- Published
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
- 1997
- Published
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
- Published
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
- Published
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