Publikationer

Søg publikationer fra Institut for Datalogi

Liste over publikationer af videnskabelige medarbejdere fra Institut for Datalogi, 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. I A. Lingas & B. J. Nilsson (red.), Fundamentals of Computation Theory (s. 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. I Advances in Spatial and Temporal Databases: 8th International Symposium, SSTD 2003 Santorini Island, Greece, July 24-27, 2003. Proceedings (s. 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. I Proceedings of International Conference on Formal Engineering Methods (ICFEM 2003) (s. 319-337)

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

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

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.

Pryor, S. C., Barthelmie, R. J., Jensen, B., Jensen, N. O. & Sørensen, L. L. (2003). Erratum: HNO₃ fluxes to a deciduous forest derived using gradient and REA methods (Atmospheric Environment (2002) 36 (5993-5999) PII: S1352231002007653). Atmospheric Environment, 37(5), 731. https://doi.org/10.1016/S1352-2310(02)00959-7

Petersen, M. G. (2003). Everyday Artefacts - Challenges and opportunities for HCI. Afhandling præsenteret på Home Oriented Informatics and Telematics Conference. HOIT 2003, Irvine, CA, USA.

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. I K. H. Madsen & L. Qvortrup (red.), Behind the Scenes of Multimedia Production (s. 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. I Proceedings of the 2003 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation (s. 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. (red.) (2003). Final Demonstrator Status: Deliverable 5: Status report, month 36. I EU,IST, FET, DC project, Workspace: IST-2000-25290:Distributed Work support through component based SPAtial Computing Environments (Deliverable 5 udg., Bind WS-D5-v1, s. 1-46). Datalogisk Institut. http://www.daimi.au.dk/workspace/Deliverables/WS-D5-v1.0.pdf

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

Workspace & Mogensen, P. H. (red.) (2003). Final Project Report. I EU,IST, FET, DC project, Workspace: Distributed Work support through component based SPAtial Computing Environments (Final Report udg., Bind WS-UAA-23, s. 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. I R. Sarker, R. Reynolds, H. Abbass, K. Chen Tan, B. McKay, D. Essam & T. Gedeon (red.), The 2003 Congress on Evolutionary Computation, CEC '03 (Bind 4, s. 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. (red.) & Lugiez, D. (red.) (2003). Full Abstraction for HOPLA. I G. Goos, J. van Leeuwen & J. Hartmanis (red.), Lecture Notes in Computer Science: Concur 2003 - Concurrency Theory (Bind 2761. Mobility, s. 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. Afhandling præsenteret på Fieldworks - Dialogues between Art and Anthropology, Tate Modern Gallery, London, Storbritannien. http://www.tate.org.uk/modern/eventseducation/fieldworks

Ernst, E. & Cardelli, L. (red.) (2003). Higher-Order Hierarchies. I ECOOP 2003 -- Object-Oriented Programming: Lecture Notes in Computer Science (s. 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. I J. E. Bardram, I. Korhonen, A. Mihailidis & D. Wan (red.), Ubicom 2003: Fifth International Conference on Ubiquitous Computing: Seattle, Washington, USA (Bind ubicom2003, s. 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. I 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. I 2003 Congress on Evolutionary Computation (s. 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. I Proceedings 2003 IEEE International Symposium on Computational Intelligence in Robotics and Automation (s. 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. I K. Henney & D. Schütz (red.), 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. I 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. I 44th Annual IEEE Symposium on Foundations of Computer Science, 2003. Proceedings. (s. 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. I G. Di Battista & U. Zwick (red.), Algorithms - ESA 2003: 11th Annual European Symposium, Budapest, Hungary, September 16-19, 2003. Proceedings (s. 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. I Proceedings of the fifteenth annual ACM symposium on Parallel algorithms and architectures (s. 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. (red.) & Schmidt, K. (red.) (2003). Learning and living in the "New office". I K. Kuutti, E. H. Karsten, P. Dourish, G. Fitzpatrick & K. Schmidt (red.), Proceedings of the 2003 Eighth European Conference on Computer-Supported Cooperative Work (s. 199-218). Kluwer Academic Publishers.

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

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

Braga, C. D. O., Haeusler, E. H., Meseguer, J. & Mosses, P. D. (2003). Mapping Modular SOS to Rewriting Logic. (s. 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. I ECSCW 2003: Proceedings of the Eighth european Conference on Computer Supported Cooperative Work (s. 355-374). Kluwer Academic Publishers.

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

Viser resultater 4851 til 4900 ud af 6061

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series