Publikationer

Søg publikationer fra Institut for Datalogi

Liste over publikationer af videnskabelige medarbejdere fra Institut for Datalogi, Aarhus Universitet.

Clemensen, J., Larsen, S. B. & Ejskjær, N. (2004). Connecting Home and Clinican, Treatment of Diabetic Foot Ulcers at Home. I The CHI2004 workshop on HCI and Homecare: Connecting Families and Clinicians

Hansen, K. A. (2004). Constant Width Planar Computation Characterizes ACC⁰. I V. Diekert & M. Habib (red.), STACS 2004: 21st Annual Symposium on Theoretical Aspects of Computer Science, Montpellier, France, March 25-27, 2004. Proceedings (s. 44-55). Springer. https://doi.org/10.1007/978-3-540-24749-4_5

Iversen, J. & Mosses, P. D. (2004). Constructive Action Semantics for Core ML. BRICS Report Series, (RS-04-37).

Jørgensen, J. B., Bossen, C., Benyon, D. (red.), Moody, P. (red.), Gruen, D. (red.) & McAra-McWilliam, I. (red.) (2004). Context-descriptive Prototypes and Their Application to Medicine Administration. I Ikke angivet (s. 297-306). Society for Industrial and Applied Mathematics.

Bossen, C. & Jørgensen, J. B. (2004). Context-descriptive Prototypes and Their Application to Medicine Administration. I Across the Spectrum: Proceedings of the 2004 Conference on Designing Interactive Systems: Processes, Practices, Methods, and Techniques (s. 297-306). Association for Computing Machinery.

Jørgensen, J. B. & Moldt, D. (red.) (2004). CPN Models as Enhancements to a Traditional Software Specification for an Elevator Controller. I Ikke angivet (PB-571 of Daimi Reports udg., s. 99-116). Aarhus Universitet.

Danvy, O. & Nielsen, L. R. (2004). CPS Transformation of Beta-Redexes. BRICS Report Series, (RS-04-39).

Pold, S. & Bertelsen, O. W. (2004). Criticism as an Approach to Interface Aesthetics. I Ikke angivet (s. 23-32). Association for Computing Machinery. http://doi.acm.org/10.1145/1028014.1028018

Nielsen, M. (red.) (2004). Current Trends in Theoretical Computer Science - The Challenge of the New Century: Concurrency. World Scientific.

Andersen, H. M. & Schultz, U. P. (2004). Declarative Specialization for Object-Oriented-Program Specialization. Afhandling præsenteret på ACM SIGPLAN 2004 Symposium on Partial Eveluation and Program Manipulation (PEPM'04), Verona, Italien.

Ernst, E. (2004). Delegation by First-Class Methods. I K. Østerbye (red.), Proceedings of 11th Nordic Workshop on Programming and Software Development Tools and Techniques (NWPER'04) (s. 109-124). Turku Center for Computer Science.

Andersen, J. R., Bak, L., Grarup, S., Lund, K. V., Eskildsen, T., Hansen, K. M. & Torgersen, M. (2004). Design, Implementation, and Evaluation of the Resilient Smalltalk Embedded Platform. I Proceedings of the 12th European Smalltalk User Group (ESUG) Conference

Grønbæk, K., Kristensen, S., Andersen, T. L. & Nielsen, B. W. (2004). Designing an Augmented Reality Board Games with children: The BattleBoard 3D experience. I Proceedings of the 2004 conference on Interaction Design and Children: Building a Community (s. 137-138). Association for Computing Machinery. https://doi.org/10.1145/1017833.1017858

Andersen, T. L., Kristensen, S., Nielsen, B. W. & Grønbæk, K. (2004). Designing Augmented Reality Board Games: The BattleBoard 3D experience. I Proceedings of the 2nd annual OZCHI conference University of Wollongong, Australia. http://www.ozchi.org/proceedings/2004/pdfs/ozchi2004-132.pdf

Bødker, S. & Christiansen, E. (2004). Designing for ephemerality and prototypicality. I Proceedings of the 5th Conference on Designing Interactive Systems: processes, practices, methods, and technique (s. 255 - 260). Association for Computing Machinery. https://doi.org/10.1145/1013115.1013151

Bødker, S. & Nielsen, M. M. (2004). Desktop Computing. Australian Journal of Information Systems, 88-101.

Bødker, S. & Nielsen, M. M. (2004). Desktop Computing. I Proceedings of the 2nd annual OZCHI conference University of Wollongong, Australia. http://www.ozchi.org/proceedings/2004/pdfs/ozchi2004-123.pdf

Clemensen, J., Larsen, S. B. & Bardram, J. E. (2004). Developing Pervasive e-Health for Moving Experts from Hospital to Home. I Ikke angivet (s. 441-448). International Association for Development, IADIS.

Caspersen, M. E. (2004). Discussant Submission. Afhandling præsenteret på 3rd "Killer Examples" for Design Patterns and Objects First Workshop at OOPSLA 2004, Vancouver, British Columbia, Canada.

Mortensen, K. H., Schougaard, K. R., Schultz, U. P., Markopoulos, P. (red.), Eggen, B. (red.) & Aarts (red.) (2004). Distance-Based Access Modifiers Applied to Safety in Home Networks. I Ambient Intelligence: Second European Symposium (3295 i Lecture Notes in Computer Science udg., s. 315-326). Springer.

Mortensen, K. H., Schougaard, K. R. & Schultz, U. P. (2004). Distance-Based Access Modifiers Applied to Safety in Home Networks. I P. Markopoulos, B. Eggen, E. Aarts & J. Crowley (red.), Ambient Intelligence: Second European Symposium, EUSAI 2004, Eindhoven, The Netherlands, November 8-11, 2004. Proceedings (s. 315-326). Springer. https://doi.org/10.1007/978-3-540-30473-9_30

Krukow, K. & Twigg, A. (2004). Distributed Approximation of Fixed-Points in Trust Structures. BRICS Report Series, (RS-04-16).

Mogensen, P. H. (red.) (2004). Documentation of Appliances & Interaction Devices: Deliverable 16. I EU,IST, FET, DC project, Workspace: Distributed Work support through component based SPAtial Computing Environments (Deliverable 16 udg., Bind WS-UAA-20, s. 1-22). Datalogisk Institut, Aarhus Universitet. http://www.daimi.au.dk/workspace/Deliverables/WS-D16-v1-0.pdf

Nygaard, M. & Winskel, G. (2004). Domain Theory for Concurrency. Theoretical Computer Science, 316(1), 153-190.

Grønbæk, K. & Petersen, M. G. (2004). Domestic Hypermedia: Mixed Media in the Home. I Proceedings of the fifteenth ACM conference on Hypertext and hypermedia (s. 108-109). Association for Computing Machinery. https://doi.org/10.1145/1012807.1012838

Nielsen, M. B. & Museth, K. (2004). Dynamic Tubular Grid: An Efficient Data Structure and Algorithms for High Resolution Level Sets. Linköping Electronic Articles in Computer and Information Science, (Vol. 9 (2004), No. 001).

Brodersen, A. C., Christensen, B. G., Grønbæk, K., Dindler, C. & Iversen, O. S. (2004). eBag - the digital school bag. I Proceedings of the Fourth Danish Human-Computer Interaction Research Symposium (s. 13-17)

Basin, D. A., Danvy, O. & Harper, R. (2004). Editorial. Higher-Order and Symbolic Computation, 17(3), 171-171. https://doi.org/10.1023/B:LISP.0000029480.20108.7d

Chin, W., Danvy, O. & Thiemann, P. (2004). Editorial: Theme Issue on Partial Evaluation and Semantics-Based Program Manipulation. Higher-Order and Symbolic Computation, 17(1-2), 5-6. https://doi.org/10.1023/B:LISP.0000029481.73168.ef

Agarwal, P., Arge, L., Erickson, J., Yu, H., Albers, S. (red.) & Radzik, T. (red.) (2004). Efficient Tradeoff Schemes in Data Structures for Querying Moving Objects. I Ikke angivet (3221 i Lecture Notes in Computer Science udg., s. 4-15). Springer.

Agarwal, P. K., Arge, L. A., Erickson, J. & Yu, H. (2004). Efficient Tradeoff Schemes in Data Structures for Querying Moving Objects. I S. Albers & T. Radzik (red.), Algorithms - ESA 2004: 12th Annual European Symposium, Bergen, Norway, September 14-17, 2004. Proceedings (s. 4-15). Springer. https://doi.org/10.1007/978-3-540-30140-0_3

Becker, L., Blunck, H., Hinrichs, K. & Vahrenhold, J. (2004). Ein Rahmenwerk zur Repräsentation von sich bewegenden Objekten. I H. Höpfner & G. Saake (red.), Grundlagen und Anwendungen mobiler Informationstechnologie (s. 3-12)

Petersen, M. G., Ludvigsen, M., Jensen, H. F. & Thomsen, A. (2004). Embracing Values in Designing Domestic Technologies. I D. Reed, G. Baxter & M. Blythe (red.), Proccedings of ECCE-12: Living and Working with Technology (s. 107-114). EACE.

Bech, C. W., Bouvin, N. O., Petersen, M. G. & Grønbæk, K. (2004). En åben portal til blended learning. I M. Georgsen & J. Bennedsen (red.), Fleksibel læring og undervisning: - erfaringer, konsekvenser og muligheder med ikt (Bind 1, s. 259-273). Aalborg Universitetsforlag.

Brodal, G. S., Fagerberg, R. & Vinther, K. (2004). Engineering a Cache-Oblivious Sorting Algorithm. I Proceedings of the Sixth Annual Workshop on Algorithm Engineering and Experiments, ALENEX '04 (s. 4-17). Society for Industrial and Applied Mathematics.

Jørgensen, J. B., Christensen, S., Tuovinen, A., Xu, J., Steffen, B. (red.) & Margaria, T. (red.) (2004). Estimation of Memory Usage of Mobile Phone Software Using UML and Coloured Petri Nets. Afhandling præsenteret på 1st International Symposium on Leveraging Applications of Formal Methods (ISOLA 2004), Paphos, Cypern.

Thomsen, R. (2004). Evolutionary Algorithms and their Application in Bioinformatics (DAIMI udg.). Aarhus Universitet.

Jørgensen, J. B. & Bossen, C. (2004). Executable Use Cases: Requirements for a Pervasive Health Care System. I E E E Software, 21(2), 34-41.

Jørgensen, J. B., Bossen, C., Giese, H. (red.) & Kruger, I. (red.) (2004). Executable Use Cases as Links Between Application Domain Requirements and Machine Specifications. I Proceedings of the 26th International Conference on Software Engineering: 3rd Workshop on Scenarios and State Machines: Models, Algorithms, and Tools IEEE.

Kristensen, L. M., Gallasch, G. E., Ouyang, C. & Billington, J. (2004). Experimenting with Progress Mappings for the Sweep-Line Analysis of the Internet Open Trading Protocol. I K. Jensen (red.), 5th Workshop and Tutorial on Practical Use of Coloured Petri Nets and CPN Tools (PB-570 of Daimi Reports udg., s. 19-38). Department of Computer Science, University of Aarhus.

Billington, J., Gallasch, G. E., Kristensen, L. M. & Mailund (2004). Exploiting Equivalence Reduction and the Sweep-Line Method for Detecting Terminal States. IEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans, 34(1), 23-37.

Billington, J., Gallasch, G. E., Kristensen, L. M. & Mailund, T. (2004). Exploiting Equivalence Reduction and the Sweep-Line Method for Detecting Terminal States. IEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans, 34(1), 23-37.

Kristensen, L. M., Mailund, T., Billington, J. & Gallasch, G. E. (2004). Exploiting Equivalence Reduction and the Sweep-Line Method for Detecting Terminal States. IEEE Transactions on Systems, Man, and Cybernetics Part A:Systems and Humans, 34(1), 23-38.

Mosses, P. D. (2004). Exploiting Labels in Structural Operational Semantics. Fundamenta Informaticae, 60, 17-31.

Mosses, P. D., Haddad, H. (red.), Omicini, A. (red.), Wainwright, R. L. (red.) & Liebrock, L. M. (red.) (2004). Exploiting Labels in Structural Operational Semantics. I Ikke angivet (s. 1476-1481). Association for Computing Machinery.

Arge, L. (2004). External Geometric Data Structures. I Computing and Combinatorics: 10th Annual International Conference, COCOON 2004, Jeju Island, Korea, August 17-20, 2004. Proceedings (s. 1). Springer. https://doi.org/10.1007/978-3-540-27798-9_1

Arge, L., Meyer, U. & Toma, L. (2004). External Memory Algorithms for Diameter and All-Pair Shortest-Paths on Sparse Graphs. I J. Diaz, J. Karhumäki, A. Lepistö & D. Sannella (red.), Automata, Languages and Programming: 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004. Proceedings (s. 146-157). Springer. https://doi.org/10.1007/978-3-540-27836-8_15

Ager, M. S., Danvy, O. & Rohde, H. K. (2004). Fast Partial Evaluation of Pattern Matching in Strings. BRICS Report Series, (RS-04-40).

Jensen, K. (red.) (2004). Fifth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools: Aarhus, Denmark, October 8-11, 2004. Department of Computer Science, Aarhus University.

Viser resultater 4651 til 4700 ud af 6089

Forrige

Næste

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series