Publikationer

Søg publikationer fra Institut for Datalogi

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

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. I E E E Transactions on Systems, Man and Cybernetics, Part A: Systems & 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. I E E E Transactions on Systems, Man and Cybernetics, Part A: Systems & 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. I E E E Transactions on Systems, Man and Cybernetics, Part A: Systems & 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.

Bardram, J. (red.), Christensen, H. B. (red.), Garlan, D. & Sousa, J. (2004). First International Workshop on Computer Support for Human Tasks and Activities. (PB-2004-60 udg.) Center for Pervasive Computing Tech. Report.

Kristensen, L. M., Mitchell, B., Zhang, L. & Jensen, K. (red.) (2004). Formal Specification and State Space Analysis of an Operational Planning Process. I Proc. of 5th Workshop and Tutorial on Practical Use of Coloured Petri Nets and CPN Tools (PB-570 of Daimi Reports udg., s. 1-18). Department of Computer Science, University of Aarhus.

Bødker, S. (2004). Fra bruger undersøgelse til færdig løsning eller product. Afhandling præsenteret på Back to the Future - status over usability i Danmark, Ørestaden, Danmark.

Christensen, H. B. (2004). Frameworks: Putting Design Patterns into Perspective. I 9th Annual SIGCSE Conference on Innovation and Technology in Computer Science Education (s. 142-145). Association for Computing Machinery. https://doi.org/10.1145/1026487.1008035

Biernacki, D. & Danvy, O. (2004). From Interpreter to logic Engine by Defunctionalization. I M. Bruynooghe (red.), Logic Based Program Synthesis and Transformation: 13th International Symposium, LOPSTR 2003, Uppsala, Sweden, August 25-27, 2003, Revised Selected Papers (s. 143-159). Springer. https://doi.org/10.1007/978-3-540-25938-1_13

Biernacki, D. & Danvy, O. (2004). From Interpreter to Logic Engine by Defunctionalization. BRICS Report Series, (RS-04-5).

Ager, M. S. (2004). From Natural Semantics to Abstract Machines. BRICS Report Series, (RS-04-20).

Danvy, O. (2004). From Reduction-Based to Reduction-Free Normalization. BRICS Report Series, (RS-04-30).

Brynskov, M. & Andersen, P. B. (2004). Habitats, Activities, and Signs. I J. Filipe & K. Liu (red.), Proceedings of The 7th International Workshop on Organisational Semiotics. (s. 128-151). Institute for Systems and Technologies of Information, Control and Communication.

Hansen, K. M., Wells, L. M. & Maier, T. (2004). HAZOP Analysis of UML-based Software Architecture Descriptions of Safety-Critical Systems. I Proceedings of NWUML 2004. TUCS General Publication 35 http://www.daimi.au.dk/~marius/documents/hansen2004nwuml.pdf

Hansen, K. M., Wells, L. M. & Maier, T. (2004). HAZOP Analysis of UML-Based Software Architecture Descriptions of Safety-Critical Systems. I K. Koskimies, L. Kuzniarz, J. Lilius & I. Porres (red.), Proceedings of the 2nd Nordic Workshop on the Unified Modeling Language (s. 59-78). Turku Centre for Computer Science.

Mamykina, L., Bardram, J. E., Korhonen, I., Mynatt, E. & Pratt, W. (2004). HCI and homecare: Connecting families and clinicians. I Extended abstracts of the 2004 conference on Human factors and computing systems (s. 1715-1716). Association for Computing Machinery.

Paterlini, S. & Krink, T. (2004). High Performance Clustering with Differential Evolution. I Ikke angivet (s. 2004-2011). IEEE Press.

Bardram, J. E., Larsen, S. B., Mamykina, L. (red.), Bardram, J. E. (red.), Korhonen, I. (red.), Mynatt, E. D. (red.) & Pratt, W. (red.) (2004). Hopper's Home and Hopper's Hospital: Usability Laboratories for Home Care. I The CHI2004 workshop on HCI and Homecare: Connecting Families and Clinicians

Larsen, R. D. & Bouvin, N. O. (2004). HyperPeer: Searching for resemblance in a P2P network. I Fifteenth ACM conference on Hypertext & Hypermedia (s. 268-269). Association for Computing Machinery. https://doi.org/10.1145/1012807.1012873

Bouvin, N. O. (2004). HyperPeer: Searching for Resemblance in a P2P Network. 268-269. Afhandling præsenteret på Hypertext 2004 - Proceedings of the Fifteenth ACM Conference on Hypertext and Hypermedia, Santa Cruz, CA, USA.

Dahl, L., Jensen, T. H., Gottschalck, E., Karlskov-Mortensen, P., Jensen, T. D., Nielsen, L., Andersen, M. K., Buckland, R., Wild, T. F. & Blixenkrone-Møller, M. (2004). Immunization with plasmid DNA encoding the hemagglutinin and the nucleoprotein confers robust protection against a lethal canine distemper virus challenge. Vaccine, 22(27-28), 3642-3648. https://doi.org/10.1016/j.vaccine.2004.03.016

Kristensen, L. M. & Christensen, S. (2004). Implementing Coloured Petri Nets using a Functional Programming Language. Higher-Order and Symbolic Computation, 17(3), 207-243.

Kyng, M., Büscher, M. & Mogensen, P. H. (2004). Integrated Conceptual Framework. Palcom External Reports, (11).

Hansen, F. A., Bouvin, N. O., Christensen, B. G., Grønbæk, K., Pedersen, T. B. & Gagach, J. (2004). Integrating the Web and the World: Contextual Trails on the Move. I Proceedings of the 15th ACM Conference on Hypertext and Hypermedia (s. 98-107). Association for Computing Machinery. https://doi.org/10.1145/1012807.1012837

Andersen, P., Madsen, O. L. & Enevoldsen, M. B. (2004). Integration of BETA with Eclipse: an Exercise in Language Interoperability. Electronic Notes in Theoretical Computer Science, 107, 7-25. https://doi.org/10.1016/j.entcs.2004.02.047

Petersen, M. G. & Grønbæk, K. (2004). Interactive Spaces: Towards Collaborative structuring and Ubiquitous Presentation in Domestic Environment. I Proceedings of the 2nd annual Conference for the Computer-Human Interaction Special Interest Group of the Ergonomics Society of Australia University of Wollongong.

Petersen, M. G. & Grønbæk, K. (2004). Interactive Spaces: Towards Collaborative Structuring and Ubiquitous Presentation in Domestic Environments. Australasian Journal of Information Systems, 11(2), 21-35. http://dl.acs.org.au/index.php/ajis/article/view/122/101

Korhonen, I. & Bardram, J. E. (2004). Introduction to this special issue on Pervasive Healthcare. I E E E Transactions on Information Technology in Biomedicine, 8(3), 229-234.

Nielsen, M. B., Brodersen, A. T. & Skala, V. (red.) (2004). Inverse Rendering of Polished Materials under Constant Complex Uncontrolled Illumination. I Journal of WSCG (s. 309-316). UNION Agency - Science Press, Plzen, Czech Republic.

Arge, L. & Vahrenhold, J. (2004). I/O-Efficient Dynamic Planar Point Location. Computational Geometry, 29(2), 147-162. https://doi.org/10.1016/j.comgeo.2003.04.001

Danvy, O. & Schultz, U. P. (2004). Lambda-lifting in Quadratic Time. Journal of Functional and Logic Programming (JFLP), 2004(1).

Danvy, O. & Schultz, U. P. (2004). Lambda-Lifting in Quadratic Time. BRICS Report Series, (RS-04-12).

Viser resultater 4651 til 4700 ud af 6061

Forrige

Næste

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series