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

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. Software

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

Ø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

Displaying results 4801 to 4850 out of 6000