Jørgensen, J. B., Christensen, S., Tuovinen, A., Xu, J., Steffen, B. (red.) & Margaria, T. (red.) (2004).
Estimation of Memory Usage of Mobile Phone Software Using UML and Coloured Petri Nets. Afhandling præsenteret på 1st International Symposium on Leveraging Applications of Formal Methods (ISOLA 2004), Paphos, Cypern.
Billington, J., Gallasch, G. E.
, Kristensen, L. M. & Mailund, T. (2004).
Exploiting Equivalence Reduction and the Sweep-Line Method for Detecting Terminal States.
I E E E Transactions on Systems, Man and Cybernetics, Part A: Systems & Humans,
34(1), 23-37.
Kristensen, L. M., Mailund, T., Billington, J. & Gallasch, G. E. (2004).
Exploiting Equivalence Reduction and the Sweep-Line Method for Detecting Terminal States.
I E E E Transactions on Systems, Man and Cybernetics, Part A: Systems & Humans,
34(1), 23-38.
Arge, L., Meyer, U. & Toma, L. (2004).
External Memory Algorithms for Diameter and All-Pair Shortest-Paths on Sparse Graphs. I J. Diaz, J. Karhumäki, A. Lepistö & D. Sannella (red.),
Automata, Languages and Programming: 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004. Proceedings (s. 146-157). Springer.
https://doi.org/10.1007/978-3-540-27836-8_15
Brynskov, M. & Andersen, P. B. (2004).
Habitats, Activities, and Signs. I J. Filipe & K. Liu (red.),
Proceedings of The 7th International Workshop on Organisational Semiotics. (s. 128-151). Institute for Systems and Technologies of Information, Control and Communication.
Bardram, J. E., Larsen, S. B., Mamykina, L. (red.)
, Bardram, J. E. (red.), Korhonen, I. (red.), Mynatt, E. D. (red.) & Pratt, W. (red.) (2004).
Hopper's Home and Hopper's Hospital: Usability Laboratories for Home Care. I
The CHI2004 workshop on HCI and Homecare: Connecting Families and Clinicians
Hansen, F. A., Bouvin, N. O., Christensen, B. G., Grønbæk, K., Pedersen, T. B. & Gagach, J. (2004).
Integrating the Web and the World: Contextual Trails on the Move. I
Proceedings of the 15th ACM Conference on Hypertext and Hypermedia (s. 98-107). Association for Computing Machinery.
https://doi.org/10.1145/1012807.1012837
Lahire, P., Arévalo, G., Astudillo, H., Black, A. P.
, Ernst, E., Huchard, M., Oplustil, T., Sakkinen, M. & Valtchev, P. (red.) (2004).
MASPEGHI 2004 - Mechanisms for Specialization, Generalization, and Inheritance. I B. M. Østvold & J. Malenfant (red.),
Object-Oriented Technology. ECOOP 2004 Workshop Reader: ECOOP 2004 Workshops, Oslo, Norway, June 14-18, 2004, Final Reports (s. 101-117). Springer.
https://doi.org/10.1007/978-3-540-30554-5_11