Publications

Search for publications at Department of Computer Science

Below you find a complete list of publications published and edited by scientists at the Department of Computer Science

Østerby, O. (2003). Five ways of reducing the Crank-Nicolson oscillations. BIT Numerical Mathematics, 43(4), 811-822. https://doi.org/10.1023/B:BITN.0000009942.00540.94

Thomsen, R. (2003). Flexible Ligand Docking Using Differential Evolution. In R. Sarker, R. Reynolds, H. Abbass, K. Chen Tan, B. McKay, D. Essam & T. Gedeon (Eds.), The 2003 Congress on Evolutionary Computation, CEC '03 (Vol. 4, pp. 2354-2361). IEEE Press.

Thomsen, R. (2003). Flexible Ligand Docking Using Evolutionary Algorithms: Investigating the Effects of Variation Operators and Local-Search Hybrids. BioSystems, 72(1-2), 57-73.

Ager, M. S., Biernacki, D., Danvy, O. & Midtgaard, J. (2003). From Interpreter to Compiler and Virtual Machine: A Functional Derivation. BRICS Report Series, (RS-03-14).

Biernacki, D. & Danvy, O. (2003). From Interpreter to Logic Engine by Defunctionalization. BRICS Report Series, (RS-03-25).

Nygaard, M., Winskel, G., Amadio, R. (Ed.) & Lugiez, D. (Ed.) (2003). Full Abstraction for HOPLA. In G. Goos, J. van Leeuwen & J. Hartmanis (Eds.), Lecture Notes in Computer Science: Concur 2003 - Concurrency Theory (Vol. 2761. Mobility, pp. 383-398). Springer.

Ager, M. S., Biernacki, D., Danvy, O. & Midtgaard, J. (2003). Functional Correspondence between Evaluators and Abstract Machines. BRICS Report Series, (RS-03-13).

Eriksen, M. A., Buscher, M. & Christensen, M. (2003). Grounded Imagination: Dialogue in Context. Paper presented at Fieldworks - Dialogues between Art and Anthropology, Tate Modern Gallery, London, United Kingdom. http://www.tate.org.uk/modern/eventseducation/fieldworks

Ernst, E. & Cardelli, L. (Ed.) (2003). Higher-Order Hierarchies. In ECOOP 2003 -- Object-Oriented Programming: Lecture Notes in Computer Science (pp. 109-156). Springer. https://doi.org/10.1007/b11832

Bardram, J. E. (2003). Hospitals of the Future - Ubiquitous Computing support for Medical Work in Hospitals. In J. E. Bardram, I. Korhonen, A. Mihailidis & D. Wan (Eds.), Ubicom 2003: Fifth International Conference on Ubiquitous Computing: Seattle, Washington, USA (Vol. ubicom2003, pp. Artikel 13). Ubicomp.

Bouvin, N. O., Christensen, B. G., Grønbæk, K. & Hansen, F. A. (2003). HyCon: A Framework for Context-aware Mobile Hypermedia. New Review of Hypermedia and Multimedia, 9(1), 59-88. https://doi.org/10.1080/13614560410001725310

Arge, L. A. (2003). Implementing External Memory Algorithms and Data Structures. In Proceedings of 5th Workshop on Algorithm Engineering and Experiments Society for Industrial and Applied Mathematics.

Thomsen, R., Fogel, G. B. & Krink, T. (2003). Improvement of Clustal-Derived Sequence Alignments with Evolutionary Algorithms. In 2003 Congress on Evolutionary Computation (pp. 1499-1507). IEEE Press.

Rasmussen, T. K. & Krink, T. (2003). Improving Hidden Markov Model Training for Multiple Sequence Alignment by a Particle Swarm Optimization - Evolutionary Algorithm Hybrid. BioSystems, 72, 5-17.

Agarwal, P. K., Arge, L. A. & Erickson, J. (2003). Indexing Moving Points. Journal of Computer and System Sciences, 66, Issue 1, 207-243. https://doi.org/10.1016/S0022-0000(02)00035-1

Kaul, M., Khosla, R. & Mitsukura, Y. (2003). Intelligent Packet Shaper to Avoid Network Congestion for Improved Streaming Video Quality at Clients. In Proceedings 2003 IEEE International Symposium on Computational Intelligence in Robotics and Automation (pp. 988-993). IEEE Computer Society Press. http://ieeexplore.ieee.org/xpl/articleDetails.jsp?tp=&arnumber=1222051&contentType=Conference+Publications&searchField%3DSearch_All%26queryText%3DProceedings+of+IEEE+International+Symposium+on+Computational+Intelligence+in+Robotics+and+Automation

Ingstrup, M. (2003). Interaction Widget. In K. Henney & D. Schütz (Eds.), Proceedings of the 8th European Conference on Pattern Languages of Programs, 2003 UVK Verlagsgesellschaft.

Baillie, L., Benyon, D., Macauley, C. & Petersen, M. G. (2003). Investigating design issues in household environments. Cognition, Technology and Work, 5(1), 33-43. https://doi.org/10.1007/s10111-002-0116-5

Arge, L. A., Danner, A. & Teh, S.-M. (2003). I/O-efficient Point Location uisng Persistent B-Trees. In Proceedings of 5th Workshop on Algorithm Engineering and Experiments Society for Industrial and Applied Mathematics. http://www.siam.org/meetings/alenex03/Abstracts/large.pdf

Arge, L. A., Danner, A. & Teh, S.-M. (2003). I/O-efficient point location using persistent B-trees. Journal of Experimental Algorithmics, 8, Special Issue. https://doi.org/10.1145/996546.996549

Arge, L. A. & Zeh, N. (2003). I/O-efficient strong connectivity and depth-first search for directed planar graphs. In 44th Annual IEEE Symposium on Foundations of Computer Science, 2003. Proceedings. (pp. 261-270). IEEE Computer Society Press.

Agarwal, P. K., Arge, L. A., Yang, J. & Yi, K. (2003). I/O-Efficient Structures for Orthogonal Range-Max and Stabbing-Max Queries. In G. Di Battista & U. Zwick (Eds.), Algorithms - ESA 2003: 11th Annual European Symposium, Budapest, Hungary, September 16-19, 2003. Proceedings (pp. 7-18). Springer. https://doi.org/10.1007/978-3-540-39658-1_4

Arge, L. A., Toma, L. & Zeh, N. (2003). I/O-efficient topological sorting of planar DAGs. In Proceedings of the fifteenth annual ACM symposium on Parallel algorithms and architectures (pp. 85-93). Association for Computing Machinery. https://doi.org/10.1145/777412.777427

Danvy, O. & Schultz, U. P. (2003). Lambda-Lifting in Quadratic Time. BRICS Report Series, (RS-03-26).

Bjerrum, E., Bødker, S., Dourish, P. (Ed.) & Schmidt, K. (Ed.) (2003). Learning and living in the "New office". In K. Kuutti, E. H. Karsten, P. Dourish, G. Fitzpatrick & K. Schmidt (Eds.), Proceedings of the 2003 Eighth European Conference on Computer-Supported Cooperative Work (pp. 199-218). Kluwer Academic Publishers.

Brodal, G. S., Fagerberg, R. & Farach-Colton, M. (Ed.) (2003). Lower Bounds for External Memory Dictionaries. In Proceedings of the fourteenth annual ACM-SIAM symposium on Discrete algorithms (pp. 546-554). Society for Industrial and Applied Mathematics.

Braga, C. D. O., Haeusler, E. H., Meseguer, J., Mosses, P. D. & Leuschel, M. (Ed.) (2003). Mapping Modular SOS to Rewriting Logic. In Logic Program Synthesis and Transformation: LOPSTR (Lecture Notes in Computer Science ed., Vol. 2664/2003, pp. 262-277). Springer.

Braga, C. D. O., Haeusler, E. H., Meseguer, J. & Mosses, P. D. (2003). Mapping Modular SOS to Rewriting Logic. (pp. 262-277). Springer LNCS.

Topping, C. J., Østergaard, S., Pertoldi, C. & Bach, L. A. (2003). Modelling the loss of genetic diversity in vole populations in a spatially and temporally varying environment. Annales Zoologici Fennici, 40(3), 255-267.

Bardram, J. E. & Bossen, C. (2003). Moving to get aHead: Local Mobility and Collaborative Work. In ECSCW 2003: Proceedings of the Eighth european Conference on Computer Supported Cooperative Work (pp. 355-374). Kluwer Academic Publishers.

Bardram, J. E., Bossen, C., Dourish, P. (Ed.), Fitzpatrick, G. (Ed.), Schmidt, K. (Ed.), Kuutti, K. (Ed.) & Karsten, E. H. (Ed.) (2003). Moving to get aHead: Local Mobility and Collaborative Work. In ECSCW' 03: Proceedings of the eighth conference on European Conference on Computer Supported Cooperative Work (Vol. ECSCW, pp. 355-374). Kluwer Academic Publishers.

Nørregaard, P., Dindler, C., Fritsch, J., Iversen, O. S., Nielsen, C. & Andersen, J. (2003). NetWorking News - A Method for Engaging Children Actively In Design. In Proceedings for the 26th Information Systems Research Seminar in Scandinavia (IRIS 26)

Byskov, J. M., Madsen, B. A. & Skjernaa, B. (2003). New Algorithms for Exact Satisfiability. BRICS Report Series, (RS-03-30).

Grønbæk, K. (Ed.) (2003). New Review of Hypermedia and Multimedia (NRHM): Theme for the issue: Hypermedia Beyond the Desktop. Taylor & Francis. New Review of Hypermedia and Multimedia Vol. 9 No. 1 https://doi.org/10.1080/13614560410001688132

Damgård, I. B. & Groth, J. (2003). Non-interactive and Reusable Non-malleable Commitment Schemes. In Proceedings of the thirty-fifth annual ACM symposium on Theory of computing (pp. 426-437). Association for Computing Machinery. https://doi.org/10.1145/780542.780605

Miltersen, P. B., Radhakrishnan, J. & Wegener, I. (2003). On converting CNF to DNF. In B. Rovan & P. Vojtás (Eds.), Mathematical Foundations of Computer Science 2003: 28th International Symposium, MFCS 2003, Bratislava, Slovakia, August 25-29, 2003, Proceedings (pp. 612-621). Springer. https://doi.org/10.1007/978-3-540-45138-9_55

Arge, L. A., Meyer, U., Toma, L. & Zeh, N. (2003). On External-Memory Planar Depth First Search. Journal of Graph Algorithms and Applications, 7, Issue 2, 105-129. http://www.jgaa.info/accepted/2003/Arge+2003.7.2.pdf

Nielsen, J. B. (2003). On Protocol Security in the Cryptographic Model (BRICS Dissertation Series DS-03-8 ed.). Aarhus Universitet.

Crépeau, C., Dumais, P., Mayers, D. & Salvail, L. (2003). On the Computational Collapse of Quantum Information. BRICS Report Series, (RS-03-3).

Carbone, M. & Maffeis, S. (2003). On the Expressive Power of Polyadic Synchronisation in Pi-Calculus. Nordic Journal of Computing, 10(2), 70-98.

Brodal, G. S., Fagerberg, R. & Goemans, M. X. (Ed.) (2003). On the Limits of Cache-Obliviousness. In Proceedings of the thirty-fifth annual ACM symposium on Theory of computing (pp. 307-315). Association for Computing Machinery. https://doi.org/10.1145/780542.780589

Arge, L. A. & Vitter, J. S. (2003). Optimal External Memory Interval Management. S I A M Journal on Computing, 32, Issue 6, 1488-1508. https://doi.org/10.1137/S009753970240481X

Brodal, G. S., Lagogiannis, G., Makris, C., Tsakalidis, A. & Tsichlas, K. (2003). Optimal Finger Search Trees in the Pointer Machine. Journal of Computer and System Sciences, 67(2), 381-418. https://doi.org/10.1016/S0022-0000(03)00013-8

Kuijpers, G., Nielsen, T. T. & Prasad, R. (2003). Performance Investigation of Extensions to the AODV Routing Protocol. Paper presented at 6th International Symposium on Wireless Personal Multimedia Coomunications. WPMC 2003, Yokosuda, Japan.

Grønbæk, K., Kristensen, J. F., Ørbæk, P. & Eriksen, M. A. (2003). Physical Hypermedia: Organising Collections of Mixed Physical and Digital Material. In Proceedings of the fourteenth ACM conference on Hypertext and Hypermedia (pp. 10-19). Association for Computing Machinery. https://doi.org/10.1145/900051.900056

Vesterstrøm, J. S. (2003). Physical Mapping Using Simulated Annealing and Evolutionary Algorithms. In Proceedings of the IEEE Congress on Evolutionary Computation, CEC 2003, 8 -12 December 2003, Canberra, Australien (Vol. 1, pp. 327- 334). IEEE Press.

Schwartzbach, M. I. (Ed.) (2003). PLAN-X 2004 Informal Proceedings. Department of Computer Science, Aarhus University.

Schougaard, K. R. & Schultz, U. P. (2003). POMP - Pervasive Object Model Project. Paper presented at ECOOP 2003 Workshop on Resource Aware Computing., Darmstadt, Germany.

Kaptelinin, V., Nardi, B., Bødker, S., Carroll, J., Hollan, J., Hutchins, E. & Winograd, T. (2003). Post-cognitivist HCI: second-wave theories. In G. Cockton & P. Korhonen (Eds.), Ikke angivet (pp. 692-693). Association for Computing Machinery. https://doi.org/10.1145/765891.765933

Christensen, A. S., Møller, A. & Schwartzbach, M. I. (2003). Precise Analysis of String Expressions. In Static Analysis: 10th International Symposium, SAS 2003 San Diego, CA, USA, June 11-13, 2003 Proceedings (pp. 1-18). Springer. https://doi.org/10.1007/3-540-44898-5_1

Displaying results 4751 to 4800 out of 5916

100

101

Revised 01.09.2025

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University