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

Britz, D., Østerby, O. & Strutwolf, J. (2003). Damping of Crank–Nicolson error oscillations. Computational Biology and Chemistry, 27(3), 253-263. https://doi.org/10.1016/S0097-8485(02)00075-X

Petersen, M. G. (2003). Designing for Learning in Use of Everyday Artefacts. Department of Computer Science, Aarhus University.

Hill, M. C. & Østerby, O. (2003). Determining extreme parameter correlation in ground water models. Groundwater, 41(4), 420-430. https://doi.org/10.1111/j.1745-6584.2003.tb02376.x

Petrucci, L., Billington, J., Kristensen, L. M. & Qureshi, Z. H. (2003). Developing a Formal Specification for the Mission Systems of a Maritime Surveillance Aircraft. In Proceedings of the Third International Conference on Application of Concurrency to System Design (pp. 92-101). IEEE Computer Society Press.

Workspace & Mogensen, P. H. (Ed.) (2003). Documentation of Infrastructure. In EU,IST, FET, DC project, Workspace: Distributed Work support through component based SPAtial Computing Environments IST-2000-25290 (17 - WS-UAA-21 ed., Vol. WS-D17-v1-0, pp. 1-28). Datalogisk Institut. http://www.daimi.au.dk/workspace/Deliverables/WS-D17-v1-0.pdf

Brabrand, C. (2003). Domain Specific Languages for Interactive Web Services (BRICS Dissertation Series DS-03-1 ed.). Århus Universitet.

Nygaard, M. & Winskel, G. (2003). Domain Theory for Concurrency. B R I C S Report Series, (RS-03-43).

Damgård, I. B. & Frandsen, G. S. (2003). Efficient Algorithms for gcd and Cubic Residuosity in the Ring of Eisenstein Integers. In A. Lingas & B. J. Nilsson (Eds.), Fundamentals of Computation Theory (pp. 109-117). Springer. https://doi.org/10.1007/978-3-540-45077-1_11

Arge, L. A., Chase, J. S., Halpin, P., Toma, L., Vitter, J. S., Urban, D. & Wickremesinghe, R. (2003). Efficient Flow Computation on Massive Grid Terrain Datasets. Geoinformatica, 7, Issue 4, 283-313. https://doi.org/10.1023/A:1025526421410

Arge, L. A. & Chatham, A. (2003). Efficient Object-Relational Interval Management and Beyond. In Advances in Spatial and Temporal Databases: 8th International Symposium, SSTD 2003 Santorini Island, Greece, July 24-27, 2003. Proceedings (pp. 66-82). Springer. https://doi.org/10.1007/978-3-540-45072-6_5

Kristensen, L. M. & Mailund (2003). Efficient Path Finding with the Sweep-Line Method using External Storage. In Proceedings of International Conference on Formal Engineering Methods (ICFEM 2003) (pp. 319-337)

Kristensen, L. M. & Mailund, T. (2003). Efficient Path Finding with the Sweep-Line Method using External Storage. In Proceedings of the 5th International Conference on Formal Engineering Methods, ICFEM 2003: Formal Methods and Software Engineering (2885 of Lecture Notes in Computer Science ed., Vol. 2885/2003, pp. 319-337). Springer.

Hansen, K. M., Thomsen, J. & Pedersen, M. Ø. (2003). EPCiR prototype. Computer programme

Christensen, H. B. & Hansen, K. M. (2003). EPJ-Softwarearkitekturer. Analyse af software-arkitekturerne for EPJ-systemerne i Ribe Amt, i Århus Amt og på Amager Hospital med speciel fokus på integrationsmuligheder. The Alexandra Institut.

Petersen, M. G. (2003). Everyday Artefacts - Challenges and opportunities for HCI. Paper presented at Home Oriented Informatics and Telematics Conference. HOIT 2003, Irvine, CA, United States.

Caprani, O., Fredslund, J., Jacobsen, J., Kramhøft, L., Lunding, R. B., Ilsø, J. M. & Wahlberg, M. (2003). Evolution of Computer Bugs – an Interdisciplinary Team Work. In K. H. Madsen & L. Qvortrup (Eds.), Behind the Scenes of Multimedia Production (pp. 186-215). Springer.

Christensen, A. S., Møller, A. & Schwartzbach, M. I. (2003). Extending Java for High-Level Web Service Construction. A C M Transactions on Programming Languages and Systems, 25(6), 814-875. https://doi.org/10.1145/945885.945890

Gerhardy, P. & Kohlenbach, U. (2003). Extracting Herbrand Disjunctions by Functional Interpretation. B R I C S Report Series, (RS-03-32).

Ager, M. S., Danvy, O. & Rohde, H. K. (2003). Fast Partial Evaluation of Pattern Matching in Strings. In Proceedings of the 2003 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation (pp. 3-9). Association for Computing Machinery. https://doi.org/10.1145/777388.777390

Ager, M. S., Danvy, O. & Rohde, H. K. (2003). Fast Partial Evaluation of Pattern Matching in Strings. B R I C S Report Series, (RS-03-11).

Ager, M. S., Danvy, O. & Rohde, H. K. (2003). Fast Partial Evaluation of Pattern Matching in Strings. B R I C S Report Series, (RS-03-20).

Workspace & Mogensen, P. H. (Ed.) (2003). Final Demonstrator Status: Deliverable 5: Status report, month 36. In EU,IST, FET, DC project, Workspace: IST-2000-25290:Distributed Work support through component based SPAtial Computing Environments (Deliverable 5 ed., Vol. WS-D5-v1, pp. 1-46). Datalogisk Institut. http://www.daimi.au.dk/workspace/Deliverables/WS-D5-v1.0.pdf

Workspace & Mogensen, P. H. (Ed.) (2003). Final Evaluations: Deliverable 18; In EU,IST, FET, DC project, Workspace: Distributed Work support through component based SPAtial Computing Environments (Deliverable 18 ed., Vol. WS-UAA-22, pp. 1-29). Datalogisk Institut. http://www.daimi.au.dk/workspace/Deliverables/WS-D18-v1-0.pdf

Workspace & Mogensen, P. H. (Ed.) (2003). Final Project Report. In EU,IST, FET, DC project, Workspace: Distributed Work support through component based SPAtial Computing Environments (Final Report ed., Vol. WS-UAA-23, pp. 1-7). Datalogisk Institut. http://www.daimi.au.dk/workspace/Deliverables/WS-FinalReportV1-0.pdf

Ø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. B R I C S Report Series, (RS-03-14).

Biernacki, D. & Danvy, O. (2003). From Interpreter to Logic Engine by Defunctionalization. B R I C S 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. B R I C S 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. B R I C S 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.

Displaying results 4551 to 4600 out of 5740

Revised 01.09.2025

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University