Danvy, O., Rhiger, M. & Grobauer, B. (2001).
A Unifying Approach to Goal-Directed Evaluation. In W. Taha (Ed.),
Semantics, Applications, and Implementation of Program Generation: Second International Workshop, SAIG 2001 Florence, Italy, September 6, 2001 Proceedings (pp. 108-125). Springer.
https://doi.org/10.1007/3-540-44806-3_7
Jagota, A., Lyngsø, R. B.
, Pedersen, C. N. S., Gascuel, O. (Ed.) & Moret, B. M. E. (Ed.) (2001).
Comparing Hidden Markov Model and a Stochastic Context-Free Grammer. In
Proceedings of the First International Workshop on Algorithms in Bioinformatics (2149 of Lecture Notes in Computer Science ed., Vol. Volume 2149/2001, pp. 69-94). Springer.
Brodal, G. S., Fagerberg, R.
, Pedersen, C. N. S., Eades, P. (Ed.) & Takaoka, T. (Ed.) (2001).
Computing the Quartet Distance Between Evolutionary Trees in Time O(n log² n). In
Proceedings of Algorithms and Computation : 12th International Symposium, ISAAC 2001 (2223 of Lecture Notes in Computer Science ed., Vol. 2223/2001, pp. 731-742). Springer.
Andersen, P., Beaudouin-Lafon, M., Mackay, W. E., Janecek, P., Lassen, M., Jensen, M., Mortensen, K., Munck, S., Ratzer, A., Ravn, K.
, Christensen, S., Jensen, K., Colom, J. M. (Ed.) & Koutny, M. (Ed.) (2001).
CPN/Tools: A Post-WIMP Interface for Editing and Simulating Coloured Petri Nets. In G. Goos, J. Hartmanis & J. van Leeuwen (Eds.),
Applications and Theory of Petri Nets 2001 (Vol. 2075, pp. 71-80). Springer.
https://doi.org/10.1007/3-540-45740-2_6
Jensen, K., Christensen, S., Ravn, K., Ratzer, A., Munck, S., Mortensen, K., Lund, K.
, Lassen, H. M., Jacecek, P.
, Andersen, P., Jensen, M., Mackay, W. E. & Beaudouin-Lafon, M. (2001).
CPN/Tools: A Tool for Editing and Simulating Coloured Petri Nets: ETAPS Tool Demonstration Related to TACAS. In T. Margaria & W. Yi (Eds.),
Tools and Algorithms for the Construction and Analysis of Systems (pp. 574-577). Springer.
https://doi.org/10.1007/3-540-45319-9_39
Miltersen, P. B., Rajasekaran, S. (Ed.), Pardalos, P. M. (Ed.), Reif, J. H. (Ed.) & Rolim, J. D. P. (Ed.) (2001).
Derandomizing complexity classes. In
Handbook on Randomized Computing: Combinatorial Optimization, Vol. 9 (chapter 19 ed., Vol. II, chapter 19, pp. 843-935). Kluwer Academic Publishers (Springer).
Krink, T., Ursem, R. K., Filipic, B., Spector, L. (Ed.), Goodman, E. D. (Ed.), Wu, A. (Ed.), Langdon, W. B. (Ed.), Voigt, H. (Ed.), Gen, M. (Ed.), Sen, S. (Ed.), Dorio, M. (Ed.), Pezeshk, S. (Ed.), Garzon, M. H. (Ed.) & Burke, E. (Ed.) (2001).
Evolutionary Algorithms in Control Optimization: The Greenhouse Problem. In
GECCO 2001: Proceedings of the Genetic and Evolutionary Computation Conference (pp. 440-447). Morgan Kaufmann.
Nielsen, P. M.
, Schori, C., Sørensen, J. L., Salvail, L., Damgård, I. B. & Polzik, E. S. (2001).
Experimental quantum key distribution with proven security against realistic attacks.
Journal of Modern Optics,
48, 1921-1942.
Toma, L., Wickremsinghe, R.
, Arge, L. A., Chase, J. S., Vitter, J. S., Halpin, P. N. & Urban, D. (2001).
Flow computation on massive grids. In
Proceedings of the 9th ACM international symposium on Advances in geographic information systems (pp. 82-87). Association for Computing Machinery.
https://doi.org/10.1145/512161.512180Hansen, K. M., MacIntyre, B., Mynatt, E. D., Tullio, J. & Voida, S. (2001).
Hypermedia in the Kimura System: Using Spacial, Temporal and Navigational Relationships to Support Multitasking and Background Awareness. In
Proceedings of the twelfth ACM Conference on Hypertext and Hypermedia (Vol. Posters). ACM Press New York, NY, USA.
Hansen, K. M. (2001).
Kimura. Computer programme
