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

Ager, M. S., Danvy, O. & Goldberg, M. (2002). A Symmetric Approach to Compilation and Decompilation. In T. Æ. Mogensen, D. Schmidt & H. Sudborough (Eds.), The Essence of Computation: Complexity, Analysis, Transformation (pp. 296-331). Springer. https://doi.org/10.1007/3-540-36377-7_14

Ager, M. S., Danvy, O. & Goldberg, M. (2002). A Symmetric Approach to Compilation and Decompilation. B R I C S Report Series, (RS-02-37).

Nielsen, J. B. (2002). A Threshold Pseudorandom Function Construction and Its Applications. In M. Yung (Ed.), Advances in Cryptology — CRYPTO 2002: 22nd Annual International Cryptology Conference Santa Barbara, California, USA, August 18–22, 2002 Proceedings (pp. 43-59). Springer. https://doi.org/10.1007/3-540-45708-9_26

Pedersen, C. N. S. (2002). Bioinformatik ved Aarhus Universitet. Biozoom, (3), 12-18.

Hansen, K. M. & Damm, C. H. (2002). Building distributed collaboration tools using type-based publish/subscribe. In ECOOP 2002 Workshops and Posters, Proceedings Springer. http://public.enst-bretagne.fr/~beugnard/ecoop/PublishSubscribe.pdf

Brodal, G. S. & Fagerberg, R. (2002). Cache Oblivious Distribution Sweeping. In P. Widmayer, S. Eidenbenz, F. Triguero, R. Morales, R. Conejo & M. Hennessy (Eds.), Automata, Languages and Programming: 29th International Colloquium, ICALP 2002 Málaga, Spain, July 8–13, 2002 Proceedings (pp. 426-438). Springer. https://doi.org/10.1007/3-540-45465-9_37

Arge, L. A., Bender, M. A., Demaine, E. D., Holland-Minkley, B. & Munro, J. I. (2002). Cache-oblivious priority queue and graph algorithm applications. In Proceedings of the thiry-fourth annual ACM symposium on Theory of computing (pp. 268-276). Association for Computing Machinery. https://doi.org/10.1145/509907.509950

Brodal, G. S., Fagerberg, R. & Jacob, R. (2002). Cache-Oblivious Search Trees via Binary Trees of Small Height. In Proceedings of the thirteenth annual ACM-SIAM symposium on Discrete algorithms (pp. 39-48). Association for Computing Machinery.

Winskel, G., Ésik, Z. (Ed.) & Ingólfsdóttir, A. (Ed.) (2002). Calculus for Categories. In Fixed Points in Computer Science (NS-02-2 of Notes Series ed., pp. 20-21).

Ernst, E. (2002). Call by Declaration. In G. Arevalo, A. Black, Y. Crespo, M. Dao, E. Ernst, P. Grogono, M. Huchard & M. Sakkinen (Eds.), Proceedings of the Inheritance Workshop at ECOOP 2002 (pp. 44-50). University of Jyväskylä.

Astesiano, E., Bidoit, M., Krieg-Brückner, B., Mosses, P. D., Sannella, D. & Tarlecki, A. (2002). CASL: The Common Algebraic Specification Language. Theoretical Computer Science, 286(2), 153-196.

Hansen, K. A., Miltersen, P. B. & Vinay, V. (2002). Circuits on Cylinders. Electronic Colloquium on Computational Complexity, (TR02-066).

Damgård, I. B. & Jurik, M. J. (2002). Client/Server Tradeoffs for On-line Elections. In D. Naccache & P. Pailier (Eds.), Public Key Cryptography: 5th International Workshop on Practice and Theory in Public Key Cryptosystems, PKC 2002 Paris, France, February 12-14, 2002 Proceedings (pp. 125-140). Springer. https://doi.org/10.1007/3-540-45664-3_9

Jørgensen, J. B. & Jensen, K. (Ed.) (2002). Coloured Petri Nets in UML-Based Software Development: Designing Middleware for Pervasive Healthcare. In Ikke angivet (DAIMI PB-560 ed., pp. 61-80). Department of Computer Science, University of Aarhus.

Damm, C. H. & Hansen, K. M. (2002). Combining co-located and distributed collaboration tools. Paper presented at Danish HCI Symposium. Research '2002, Copenhagen, Denmark. http://www.daimi.au.dk/~marius/writings/research2002.pdf

Pedersen, C. N. S., Scharling, T., Guigó, R. (Ed.) & Gusfield, D. (Ed.) (2002). Comparative Methods for Gene Structure Prediction in Homologous Sequences. In Ikke angivet (2452 of Lecture Notes in Computer Science ed., Vol. 2452/2002, pp. 220-234). Springer.

Crazzolara, F., Winskel, G., Agrawal, M. (Ed.) & Seth, A. (Ed.) (2002). Composing Strand Spaces. In Ikke angivet (2556 of Lecture Notes in Computer Science ed., Vol. 2556/2002, pp. 97-108). Springer.

Damian, D. & Danvy, O. (2002). CPS Transformation of Flow Information, Part II: Administrative Reductions. B R I C S Report Series, (RS-02-36).

Kuijpers, G., Nielsen, T. T. & Prasad, R. (2002). Delivering QoS in Mobile Ad hoc IP Networks. In Wireless IP and Building the Mobile Internet on Wireless IP (pp. 203-224). Artech House.

Bødker, S. & Bertelsen, O. W. (2002). Discontinuities. In C. Floyd, Y. Dittrich & K. Ralf (Eds.), Social thinking - software practice (pp. 409-424). MIT Press.

Damm, C. H. & Hansen, K. M. (2002). Distributing Knight. Using Type-Based Publish/Subscribe for Building Distributed Collaboration Tools. In K. Østerbye (Ed.), Proceedings of the Nordic workshop on Software Development Tools and Techniques: NWPER 2002 (pp. 155-158) http://www.it-c.dk/people/kasper/NWPER2002/papers/damm.pdf

Vesterstrøm, J. S., Riget, J., Krink, T., Fogel, D. B. (Ed.), Yao, X. (Ed.), Greenwood, G. (Ed.), Iba, H. (Ed.), Marrow, P. (Ed.) & Shackleton, M. (Ed.) (2002). Division of Labor in Particle Swarm Optimisation. In Ikke angivet (pp. 1570-1575). IEEE Press.

Møller, A. (2002). Document Structure Description 2.0. B R I C S Notes Series, (NS-02-7).

Bendtsen, C. N., Krink, T., Fogel, D. B. (Ed.), Yao, X. (Ed.), Greenwood, G. (Ed.), Iba, H. (Ed.), Marrow, P. (Ed.) & Shackleton, M. (Ed.) (2002). Dynamic Memory Model for Non-Stationary Optimization. In Proceedings of the 2002 Congress on Evolutionary Computation, 2002, CEC '02 (Vol. 1, pp. 145-150). IEEE Press.

Brodal, G. S. & Jacob, R. (2002). Dynamic Planar Convex Hull. In Proceedings of the 43rd Annual IEEE Symposium on Foundations of Computer Science: (pp. 617-626). IEEE Press. https://doi.org/10.1109/SFCS.2002.1181875

Arge, L. A., Hinrichs, K., Vahrenhold, J. & Vitter, J. S. (2002). Efficient Bulk Operations on Dynamic R-Trees. Algorithmica, 33, Issue 1, 104-128. https://doi.org/10.1007/s00453-001-0107-6

Wickremesinghe, R., Arge, L. A., Chase, J. S. & Vitter, J. S. (2002). Efficient sorting using registers and caches. Journal of Experimental Algorithmics, 7, 9. https://doi.org/10.1145/944618.944627

Mayoh, B. H., Shafazand, H. (Ed.) & Tjoa, A. M. (Ed.) (2002). Evolution of Cooperation in Multiagent Systems. In Proceeding of EurAsia-ICT 2002: Information and Communication Technology (2510 of Lecture Notes in Computer Science ed., pp. 701-710). Springer.

Thomsen, R., Guervós, J. J. M. (Ed.), Adamidis, P. (Ed.), Beyer, H.-G. (Ed.), Fernández-Villacañas, J. L. (Ed.) & Schwefel, H.-P. (Ed.) (2002). Evolving the Topology of Hidden Markov Models using Evolutionary Algorithms. In Proceedings of the 7th International Conference on Parallel Problem Solving from Nature: Parallel Problem Solving from Nature --- PPSN VII (Lecture Notes in Computer Science ed., Vol. 2439/2002, pp. 861-870). Springer.

Jørgensen, J. B., Christensen, S., Jezequel, J.-M. (Ed.), Hussmann, H. (Ed.) & Cook, S. (Ed.) (2002). Executable Design Models for a Pervasive Healthcare Middleware System. In Lecture Notes In Computer Science: 5th International Conference on The Unified Modeling Language (Vol. 2460, pp. 140-149). Springer.

Jørgensen, J. B. & Bossen, C. (2002). Executable Use Cases for Pervasive Healthcare. In MOCA 2002: Second Workshop on Modeling of Objects, Components and Agents (pp. 89-103). Datalogi, Aarhus Universitet.

Damgård, I. B. & Nielsen, J. B. (2002). Expanding Pseudorandom Functions: or: From Known-Plaintext Security to Chosen-Plaintext Security. In M. Yung (Ed.), Advances in Cryptology - CRYPTO 2002: 22nd Annual International Cryptology Conference Santa Barbara, California, USA, August 18-22, 2002 Proceedings (pp. 449-464). Springer. https://doi.org/10.1007/3-540-45708-9_29

Fleischer, R., Moret, B. & Schmidt, E. M. (Eds.) (2002). Experimental Algorithmics: From Algorithm Design to Robust and Efficient Software [Dagstuhl seminar, September 2000]. Springer. Lecture Notes in Computer Science Vol. 2547 https://doi.org/10.1007/3-540-36383-1

Hansen, K. M. (2002). Experimental Object-Oriented Modelling. Department of Computer Science, Aarhus University.

Ursem, R. K., Filipic, B. & Krink, T. (2002). Exploring the Performance of an Evolutionary Algorithm for Greenhouse Control. Journal of Computing and Information Technology, 10(3), 195-201.

Løvbjerg, M., Krink, T., Fogel, D. B. (Ed.), Yao, X. (Ed.), Greenwood, G. (Ed.), Iba, H. (Ed.), Marrow, P. (Ed.) & Shackleton, M. (Ed.) (2002). Extending Particle Swarm Optimisers with Self-Organized Criticality. In Proceedings of the 2002 Congress on Evolutionary Computation : CEC'02 (Vol. 2, pp. 1588-1593). IEEE Press.

Arge, L. A. (2002). External-Memory Data Structures. In J. Abello, P. M. Pardalos & M. G. C. Resende (Eds.), Handbook of Massive Data Sets (pp. 313-357). Kluwer Academic Publishers.

Bouvin, N. O., Zellweger, P. T., Grønbæk, K. & Mackinlay, J. D. (2002). Fluid annotations through open hypermedia: Using and extending emerging Web standards. In D. Lassner, D. De Roure & A. Iyengar (Eds.), Proceedings of the 11th international conference on World Wide Web (pp. 160-171). Association for Computing Machinery. https://doi.org/10.1145/511446.511468

Nielsen, M. & Engberg, U. H. (Eds.) (2002). Foundations of Software Science and Computation Structures: Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002 Grenoble, France, April 8-12, 2002. Springer. Lecture Notes in Computer Science Vol. 2303 https://doi.org/10.1007/3-540-45931-6

Jensen, K. (Ed.) (2002). Fourth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools: Aarhus, Denmark, August 28-30, 2002. Department of Computer Science, Aarhus University.

Christensen, H. B. & Caspersen, M. E. (2002). Frameworks in CS1: a different way of introducing event-driven programming. In Proceedings of the 7th annual conference on Innovation and technology in computer science education. (pp. 75-79). Association for Computing Machinery. https://doi.org/10.1145/544414.544438

Brodal, G. S., Fagerberg, R., Bose, P. (Ed.) & Morin, P. (Ed.) (2002). Funnel Heap - A Cache Oblivious Priority Queue. In P. Bose & P. Morin (Eds.), Algorithms and Computation: 13th International Symposium, ISAAC 2002 Vancouver, BC, Canada, November 21–23, 2002 Proceedings (pp. 219-228). Springer. https://doi.org/10.1007/3-540-36136-7_20

Damgård, I. B. & Koprowski, M. (2002). Generic Lower Bounds for Root Extraction and Signature Schemes in General Groups. In L. R. Knudsen (Ed.), Advances in Cryptology - EUROCRYPT 2002: International Conference on the Theory and Applications of Cryptographic Techniques Amsterdam, The Netherlands, April 28 - May 2, 2002 Proceedings (pp. 256-271). Springer. https://doi.org/10.1007/3-540-46035-7_17

Ursem, R. K., Krink, T., Fogel, D. B. (Ed.), Yao, X. (Ed.), Greenwood, G. (Ed.), Iba, H. (Ed.), Marrow, P. (Ed.) & Shackleton, M. (Ed.) (2002). Genetic Programming with Smooth Operators for Arithmetic Expressions: Diviplication and Subdition. In Proceedings of the Evolutionary on Computation 2002.: CEC'02 (Vol. 2, pp. 1372-1377). IEEE Computer Society Press.

Brabrand, C. & Schwartzbach, M. I. (2002). Growing Languages with Metamorphic Syntax Macros. In P. Thiemann (Ed.), Proceedings of the 2002 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation (pp. 31-40). Association for Computing Machinery. https://doi.org/10.1145/503032.503035

Nygaard, M., Winskel, G., Brim, L. (Ed.), Jancar, P. (Ed.), Kretínsky, M. (Ed.) & Kucera, A. (Ed.) (2002). HOPLA: A Higher-Order Process Language. In Lecture Notes in Computer Science: Proceedings of the 13th International Conference on Concurrency Theory (Vol. 2421, pp. 434-448). Springer.

Goldberg, M. & Torgersen, M. (2002). How to Circumvent Church Numerals. Nordic Journal of Computing, 9(1), 1-12.

Ratzer, A. V. & Hansen, K. M. (2002). Ideogramic: Flexibility and Formality in Collaborative Diagramming. In Proceedings of the second Nordic conference on Human-computer interaction (pp. 291-292). Association for Computing Machinery. https://doi.org/10.1145/572020.572069

Sørensen, T. S., Therkildsen, S. V., Hansen, O. K., Sørensen, K. & Pedersen, E. M. (2002). Images in cardiovascular medicine. Total cavo-pulmonary connection: a virtual 3-dimensional fly-through. Circulation, 105(20), E176-6.

Arge, L. A., Procopiuc, O. & Vitter, J. S. (2002). Implementing I/O-efficient Data Structures Using TPIE. In R. Möhring & R. Raman (Eds.), Algorithms - ESA 2002: 10th Annual European Symposium Rome, Italy, September 17-21, 2002 Proceedings (pp. 161-172). Springer. https://doi.org/10.1007/3-540-45749-6_12

Displaying results 4701 to 4750 out of 5740

100

Revised 01.09.2025

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University