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

Danvy, O. (2002). A Lambda-Revelation of the SECD Machine. BRICS Report Series, (RS-02-53).

Penttonen, M. & Schmidt, E. M. (Eds.) (2002). Algorithm Theory — SWAT 2002: 8th Scandinavian Workshop on Algorithm Theory Turku, Finland, July 3–5, 2002 Proceedings. Springer. Lecture Notes in Computer Science Vol. 2368 https://doi.org/10.1007/3-540-45471-3

Mosses, P. D. (2002). A Modular SOS for Action Notation - Revisited. (pp. 75-76). BRICS.

Ursem, R. K., Krink, T., Jensen, M. T. & Michalewicz, Z. (2002). Analysis and Modeling of Control Tasks in Dynamic Systems. I E E E Transactions on Evolutionary Computation, 6(4), 378-389.

Danvy, O. (2002). A New One-Pass Transformation into Monadic Normal Form. BRICS Report Series, (RS-02-52).

Lindstrøm, B. & Wells, L. M. (2002). Annotating Coloured Petri Nets. In K. Jensen (Ed.), Fourth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools: Aarhus, Denmark, August 28-30, 2002 (pp. 39-58). Department of Computer Science, University of Aarhus.

Ursem, R. K., Krink, T. & Filipic, B. (2002). A Numerical Simulator for a Crop-Producing Greenhouse. EVALife Technical Report, (2002-01).

Christensen, H. B., Raatikainen, K. & Nakajim, T. (2002). Application Requirements for Middleware for Mobile and Pervasive Systems. Mobile Computing and Communications Review, ACM SIGMOBILE, 6(4), 16-24. https://doi.org/10.1145/643550.643551

Buhrman, H., Miltersen, P. B., Radhakrishnan, J. & Venkatesh, S. (2002). Are Bitvectors Optimal? S I A M Journal on Computing, 31(6), 1723-1744. https://doi.org/10.1137/S0097539702405292

Damian, D. & Danvy, O. (2002). A Simple CPS Transformation of Control-Flow Information. Logic Journal of the IGPL, 10(5), 501-515. https://doi.org/10.1093/jigpal/10.5.501

Damgård, I. B. & Fujisaki, E. (2002). A Statistically-Hiding Integer Commitment Scheme Based on Groups with Hidden Order. In Y. Zheng (Ed.), Advances in Cryptology - ASIACRYPT 2002: 8th International Conference on the Theory and Application of Cryptology and Information Security Queenstown, New Zealand, December 1-5, 2002 Proceedings (pp. 77-85). Springer. https://doi.org/10.1007/3-540-36178-2_8

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

Displaying results 4951 to 5000 out of 6000