Aarhus University Seal

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

Sort by: Date | Author | Title

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
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
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
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
Torgersen, M. (2002). Inheritance is Specialisation. In A. P. Black, E. Ernst, P. Grogono & M. Sakkinen (Eds.), Object-oriented Technology ECOOP 2002 Workshop Reader (Vol. 12, pp. 95-101). Springer LNCS.
Hansen, K. M. & Damm, C. H. (2002). Instant collaboration: Using context-aware instant messaging for session management in distributed collaboration tools. In O. W. Bertlesen (Ed.), Proceedings of the second Nordic conference on Human-computer interaction (pp. 279-282). Association for Computing Machinery. https://doi.org/10.1145/572020.572065
Bertelsen, O. W. & Bødker, S. (2002). Interaction through multi-artifacts. In S. Bagnara, S. Pozzi, A. Rizzo & P. K. Wright (Eds.), Proceedings of the 11th European Conference on Cognitive Ergonomics European Association of Cognitive Ergonomcs.
Møller, A. & Schwartzbach, M. I. (2002). Interactive Web Services with Java. (pp. 1-100). Department of Computer Science, Aarhus University. http://www.brics.dk/NS/02/1/BRICS-NS-02-1.pdf
Kyng, M. (2002). IT, samfund og dannelse. In C. Bach-Nielsen (Ed.), Dannelse, Uddannelse, Universiteter: Festskrift til Henning Lehmann den 31. januar 2002 (pp. 77-94). Aarhus Universitetsforlag.
Christensen, A. S. & Møller, A. (2002). JWIG User Manual. BRICS Notes Series, (NS-02-6).
Danvy, O. & Schultz, U. P. (2002). Lambda-Lifting in Quadratic Time. In Z. Hu & M. Rodríguez-Artalejo (Eds.), Functional and Logic Programming: 6th International Symposium, FLOPS 2002 Aizu, Japan, September 15–17, 2002 Proceedings (pp. 134-151). Springer. https://doi.org/10.1007/3-540-45788-7_8
Danvy, O. & Schultz, U. P. (2002). Lambda-Lifting in Quadratic Time. BRICS Report Series, (RS-02-30).
Nygaard, M., Winskel, G. & Plotkin, G. (Ed.) (2002). Linearity in Process Languages. In Proceedings of the 17th Annual IEEE Symposium on Logic in Computer Science (LICS'02) (pp. 433-446). IEEE Press.
Awodey, S., Birkedal, L. & Scott, D. S. (2002). Local realizability toposes and a modal logic for computability. Mathematical Structures in Computer Science, 12(3), 319-334. https://doi.org/10.1017/S0960129502003675
Bødker, S. & Christiansen, E. (2002). Lost and Found in Flexibility. In K. Bødker, M. K. Pedersen, J. Simonsen & M. T. Vendelø (Eds.), Proceedings of the 25th Information Systems Research Seminar in Scandinavia Human-Computer Interaction Resource Network.
Balat, V. & Danvy, O. (2002). Memoization in Type-Directed Partial Evaluation. BRICS Report Series, (RS-02-33).
Balat, V. & Danvy, O. (2002). Memorization in Type-Directed Partial Evaluation. In D. Batory, C. Consel & W. Taha (Eds.), Generative Programming and Component Engineering: ACM SIGPLAN/SIGSOFT Conference, GPCE 2002 Pittsburgh, PA, USA, October 6–8, 2002 Proceedings (pp. 78-92). Springer. https://doi.org/10.1007/3-540-45821-2_5
Ernst, E. (2002). Method Mixins. Daimi Report Series (DAIMI PB), (557).
Lorentsen, L., Tuovinen, A.-P. & Xu, J. (2002). Modelling Feature Interaction Patterns in Nokia Mobile Phones using Coloured Petri Nets and Design/CPN. In Application and Theory of Petri Nets 2002: 23rd International Conference, ICATPN 2002 Adelaide, Australia, June 24-30, 2002 Proceedings (pp. 15 - 45). Springer. https://doi.org/10.1007/3-540-48068-4_18
Klarlund, N., Møller, A. & Schwartzbach, M. I. (2002). MONA Implementation Secrets. International Journal of Foundations of Computer Science, 13(4), 571-586. https://doi.org/10.1142/S012905410200128X
Ager, M. S., Danvy, O. & Rohde, H. K. (2002). On obtaining Knuth, Morris, and Pratt's string matcher by partial evaluation. In K. Asai (Ed.), ASIA-PEPM '02 Proceedings of the ASIAN symposium on Partial evaluation and semantics-based program manipulation (pp. 32-46). Association for Computing Machinery. https://doi.org/10.1145/568173.568177
Danvy, O. & Nielsen, L. R. (2002). On One-Pass CPS Transformations. BRICS Report Series, (RS-02-3).
Carbone, M., Maffeis, S., Nestmann, U. (Ed.) & Panangaden, P. (Ed.) (2002). On the Expressive Power of Polyadic Synchronisation in π- calculus. In Electronic Notes in Theoretical Computer Science: CONCUR 2002 Satellite Workshops (68(2) of Electronic Notes in TCS ed., Vol. Expressiveness in Concurrency, pp. 3. artikel). Elsevier Science Publishers.
Nielsen, M., Palamidessi, C. & Valencia, F. D. (2002). On the Expressive Power of Temporal Concurrent Constraint Programming Languages. In Proceedings of the 4th international ACM SIGPLAN conference on Principles and practice of declarative programming (pp. 156-167). Association for Computing Machinery. https://doi.org/10.1145/571157.571173
Madsen, B. A., Nielsen, J. M. & Skjernaa, B. (2002). On the Number of Maximal Bipartite Subgraphs of a Graph. BRICS Report Series, (RS-02-17).