Danvy, O. & Hatcliff, J. (2000).
Partial Evaluation. I A. Ralston, E. Reilly & D. Hemmendinger (red.),
Encyclopedia of Computer Science (s. 1370-1371). Macmillan Reference.
Alstrup, S.
, Brodal, G. S. & Rauhe, T. (2000).
Pattern matching in dynamic texts. I D. Shmoys (red.),
Proceedings of the eleventh annual ACM-SIAM symposium on Discrete algorithms (s. 819-828). Society for Industrial and Applied Mathematics.
Bussard, L., Carver, L.
, Ernst, E., Jung, M., Robillard, M. & Speck, A. (2000).
Safe Aspect Composition. I G. Goos, J. Hartmanis, J. van Leeuwen, J. Malenfant, S. Moisan & A. Moreira (red.),
Object-Oriented Technology: ECOOP 2000 Workshop Reader ECOOP 2000 Workshops, Panels, and Posters Sophia Antipolis and Cannes, France, June 12–16, 2000 Proceedings (s. 205-210). Springer.
https://doi.org/10.1007/3-540-44555-2_16
Hein, J.
, Wiuf, C., Møller, M., Knudsen, B. & Wibling, G. (2000).
Statistical alignment: computational properties, homology testing and goodness-of-fit.
J. Mol. Biol.,
302(1), 265-279.
https://doi.org/10.1006/jmbi.2000.4061
Hansen, K. M., Damm, C. H., Thomsen, M. & Tyrsted, M. (2000).
Supporting several levels of restriction in the UML. I A. Evans, S. Kent & B. Selic (red.),
«UML» 2000 - The Unified Modeling Language: Advancing the Standard. Third International Conference York, UK, October 2-6, 2000 Proceedings (s. 396-409). Springer.
https://doi.org/10.1007/3-540-40011-7_29
Damm, C. H.
, Hansen, K. M., Thomsen, M. & Tyrsted, M. (2000).
The Knight Project: Tool Support for Collaborative Object-Oriented Modeling. Billeder, Video- og Lydoptagelser (digital)
Andersen, C. J.
, Hansen, K. M., Sandvad, E. S., Thomsen, M. & Tyrsted, M. (2000).
Tool Support for Iterative System Development Activities: Issues and Experiences. I K. A. Mughal, A. L. Opdahl & D. I. K. Sjøberg (red.),
Proceedings of NWPER'2000: Nordic Workshop on Programming Environment Research http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.38.4642