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

Damgård, I. B. & Frandsen, G. S. (2003). An Extended Quadratic Frobenius Primality Test with Average and Worst Case Error Estimates. In A. Lingas & B. J. Nilsson (Eds.), Fundamentals of Computation Theory (pp. 118-131). Springer. https://doi.org/10.1007/978-3-540-45077-1_12

Caspersen, M. E. (2003). An Inverted Curriculum for CS1. In Frontiers in Education, 2003. FIE 2003. 33rd Annual (Vol. 1). IEEE Press. https://doi.org/10.1109/FIE.2003.1263334

Biernacka, M., Biernacki, D. & Danvy, O. (2003). An Operational Foundation for Delimited Continuations. BRICS Report Series, (RS-03-41).

Mortensen, K. H., Schougaard, K. S. F. & Schultz, U. P. (2003). A Programming Language Approach to Safety in Home Networks. Center for Pervasive Computing Publications, CfPC-2003-PB-53.

Mortensen, K. H., Schougaard, K. R. & Schultz, U. P. (2003). A Programming Language Approach to Safety in Home Networks. Department of Computer Science, Aarhus University.

Danvy, O. (2003). A Rational Deconstruction of Landin's SECD Machine. BRICS Report Series, (RS-03-33).

Lorenz, D. H., Ernst, E. & Aksit, M. (Ed.) (2003). Aspects and Polymorphism in AspectJ. In Proc. of AOSD'03: Proceedings of the 2nd international conference on Aspect-oriented software development (pp. 150-157). Association for Computing Machinery. https://doi.org/10.1145/643603.643619

Ernst, E. (2003). A Stratification of Class Family Dependencies. In T. D'Hondt (Ed.), Technology of object-oriented languages, systems and architectures (pp. 16-30). Kluwer Academic Publishers.

Lambov, B. Z. (2003). A Two Layer Approach to the Computability and Complexity of Real Functions. In Computability and Complexity in Analysis 2003 (302 of Informatic Berichte ed., pp. 279-302). Fern-Universität Hagen.

Grønbæk, K., Kristensen, J. F., Ørbæk, P. & Eriksen, M. A. (2003). Augmenting Physical Material with Hypermedia Structures. New Review of Hypermedia and Multimedia, 9(1), 5-34. https://doi.org/10.1080/13614560410001725293

Bouvin, N. O. (2003). Augmenting the Web through Open Hypermedia. New Review of Hypermedia and Multimedia, 8, 3-26. https://doi.org/10.1080/13614560208914733

Schultz, U. P., Lawall, J. L. & Consel, C. (2003). Automatic program specialization for Java. ACM Transactions on Programming Langauges and Systems (TOPLAS), 25(4), 452-499.

Procopiuc, O., Agarwal, P. K., Arge, L. A. & Vitter, J. S. (2003). Bkd-Tree: A Dynamic Scalable kd-Tree. In Advances in Spatial and Temporal Databases: 8th International Symposium, SSTD 2003 Santorini Island, Greece, July 24-27, 2003. Proceedings (pp. 46-65). Springer. https://doi.org/10.1007/978-3-540-45072-6_4

Kohlenbach, U. & Lambov, B. (2003). Bounds on Iterations of Asymptotically Quasi-Nonexpansive Mappings. BRICS Report Series, (RS-03-51).

Agarwal, P. K., Arge, L. A., Danner, A. & Holland-Minkley, B. (2003). Cache-oblivious data structures for orthogonal range searching. In Proceedings of the nineteenth annual symposium on Computational geometry (pp. 237-245). Association for Computing Machinery. https://doi.org/10.1145/777792.777828

Hansen, K. A., Miltersen, P. B. & Vinay, V. (2003). Circuits on Cylinders. In Fundamentals of Computation Theory (pp. 171-182). Springer. https://doi.org/10.1007/978-3-540-45077-1_17

Jørgensen, J. B., Aalst, W. M. P. V. D. (Ed.) & Best, E. (Ed.) (2003). Coloured Petri Nets in Development of a Pervasive Health Care System. In Ikke angivet (2679 of Lecture Notes in Computer Science ed., Vol. 2679/2003, pp. 256-275). Springer.

Schultz, U. P., Burgaard, K., Christensen, F. G. & Knudsen, J. L. (2003). Compiling Java for low-end embedded systems. In Proceedings of the 2003 ACM SIGPLAN conference on Languages, compilers, and tools for embedded systems (pp. 42-50). Association for Computing Machinery.

Doh, K. & Mosses, P. D. (2003). Composing Programming Languages by Combining Action-Semantics Modules. Science of Computer Programming, 47(1), 3-36.

Crépeau, C., Dumais, P., Mayers, D. & Salvail, L. (2003). Computational Collapse of Quantum State with Application to Oblivious Transfer. BRICS Report Series, (RS-03-37).

Brodal, G. S., Fagerberg, R., Östlin, A., Pedersen, C. N. S. & Rao, S. S. (2003). Computing Refined Buneman Trees in Cubic Time. In G. Benson & R. Page (Eds.), Algorithms in Bioinformatics: Third International Workshop, WABI 2003, Budapest, Hungary, September 15-20, 2003. Proceedings (pp. 259-270). Springer. https://doi.org/10.1007/978-3-540-39763-2_20

Brodal, G. S., Fagerberg, R. & Pedersen, C. N. S. (2003). Computing the Quartet Distance Between Evolutionary Trees in Time O(n log n). Algorithmica, 38(2), 377-395. https://doi.org/10.1007/s00453-003-1065-y

Bardram, J. E., Kjær, R. E. & Pedersen, M. Ø. (2003). Context-Aware User Authentication - Supporting Proximity-Based Login in Pervasive Computing. In Proceedings of Ubicomp 2003: Ubiquitous Computing (2864 ed., pp. 107-123). Springer.

Ratzer, A. V., Wells, L. M., Lassen, H. M., Laursen, M., Qvortrup, J. F., Stissing, M. S., Westergaard, M., Christensen, S., Jensen, K., Aalst, W. M. P. V. D. (Ed.) & Best, E. (Ed.) (2003). CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets. In W. V. D. Aalst & E. Best (Eds.), Applications and Theory of Petri Nets 2003 (Vol. 2679, pp. 450-462). Springer.

Damian, D. & Danvy, O. (2003). CPS Transformation of Flow Information, Part II: Administrative Reductions. Journal of Functional Programming, 13(5), 925-933. https://doi.org/10.1017/S0956796803004702

Govindarajan, S., Agarwal, P. K. & Arge, L. A. (2003). CRB-Tree: An Efficient Indexing Scheme for Range-Aggregate Queries. In D. Calvanese, M. Lenzerini & R. Motwani (Eds.), Database Theory - ICDT 2003: 9th International Conference Siena, Italy, January 8-10, 2003 Proceedings (pp. 143-157). Springer. https://doi.org/10.1007/3-540-36285-1_10

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.). Aarhus Universitet.

Nygaard, M. & Winskel, G. (2003). Domain Theory for Concurrency. BRICS 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. BRICS 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. BRICS Report Series, (RS-03-11).

Ager, M. S., Danvy, O. & Rohde, H. K. (2003). Fast Partial Evaluation of Pattern Matching in Strings. BRICS 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

Displaying results 4701 to 4750 out of 5916

100

Revised 01.09.2025

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University