Aarhus Universitets segl

Publikationer

Søg publikationer fra Institut for Datalogi

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

Sortér efter: Dato | Forfatter | Titel

Brodal, G. S. & Fagerberg, R. (2002). Cache Oblivious Distribution Sweeping. I P. Widmayer, S. Eidenbenz, F. Triguero, R. Morales, R. Conejo & M. Hennessy (red.), Automata, Languages and Programming: 29th International Colloquium, ICALP 2002 Málaga, Spain, July 8–13, 2002 Proceedings (s. 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. I Proceedings of the thiry-fourth annual ACM symposium on Theory of computing (s. 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. I Proceedings of the thirteenth annual ACM-SIAM symposium on Discrete algorithms (s. 39-48). Association for Computing Machinery.
Winskel, G., Ésik, Z. (red.) & Ingólfsdóttir, A. (red.) (2002). Calculus for Categories. I Fixed Points in Computer Science (NS-02-2 of Notes Series udg., s. 20-21).
Ernst, E. (2002). Call by Declaration. I G. Arevalo, A. Black, Y. Crespo, M. Dao, E. Ernst, P. Grogono, M. Huchard & M. Sakkinen (red.), Proceedings of the Inheritance Workshop at ECOOP 2002 (s. 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. I D. Naccache & P. Pailier (red.), Public Key Cryptography: 5th International Workshop on Practice and Theory in Public Key Cryptosystems, PKC 2002 Paris, France, February 12-14, 2002 Proceedings (s. 125-140). Springer. https://doi.org/10.1007/3-540-45664-3_9
Jørgensen, J. B. & Jensen, K. (red.) (2002). Coloured Petri Nets in UML-Based Software Development: Designing Middleware for Pervasive Healthcare. I Ikke angivet (DAIMI PB-560 udg., s. 61-80). Department of Computer Science, University of Aarhus.
Damm, C. H. & Hansen, K. M. (2002). Combining co-located and distributed collaboration tools. Afhandling præsenteret på Danish HCI Symposium. Research '2002, Copenhagen, Danmark. http://www.daimi.au.dk/~marius/writings/research2002.pdf
Pedersen, C. N. S., Scharling, T., Guigó, R. (red.) & Gusfield, D. (red.) (2002). Comparative Methods for Gene Structure Prediction in Homologous Sequences. I Ikke angivet (2452 of Lecture Notes in Computer Science udg., Bind 2452/2002, s. 220-234). Springer.
Crazzolara, F., Winskel, G., Agrawal, M. (red.) & Seth, A. (red.) (2002). Composing Strand Spaces. I Ikke angivet (2556 of Lecture Notes in Computer Science udg., Bind 2556/2002, s. 97-108). Springer.
Kuijpers, G., Nielsen, T. T. & Prasad, R. (2002). Delivering QoS in Mobile Ad hoc IP Networks. I Wireless IP and Building the Mobile Internet on Wireless IP (s. 203-224). Artech House.
Bødker, S. & Bertelsen, O. W. (2002). Discontinuities. I C. Floyd, Y. Dittrich & K. Ralf (red.), Social thinking - software practice (s. 409-424). MIT Press.
Damm, C. H. & Hansen, K. M. (2002). Distributing Knight. Using Type-Based Publish/Subscribe for Building Distributed Collaboration Tools. I K. Østerbye (red.), Proceedings of the Nordic workshop on Software Development Tools and Techniques: NWPER 2002 (s. 155-158) http://www.it-c.dk/people/kasper/NWPER2002/papers/damm.pdf
Vesterstrøm, J. S., Riget, J., Krink, T., Fogel, D. B. (red.), Yao, X. (red.), Greenwood, G. (red.), Iba, H. (red.), Marrow, P. (red.) & Shackleton, M. (red.) (2002). Division of Labor in Particle Swarm Optimisation. I Ikke angivet (s. 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. (red.), Yao, X. (red.), Greenwood, G. (red.), Iba, H. (red.), Marrow, P. (red.) & Shackleton, M. (red.) (2002). Dynamic Memory Model for Non-Stationary Optimization. I Proceedings of the 2002 Congress on Evolutionary Computation, 2002, CEC '02 (Bind 1, s. 145-150). IEEE Press.
Brodal, G. S. & Jacob, R. (2002). Dynamic Planar Convex Hull. I Proceedings of the 43rd Annual IEEE Symposium on Foundations of Computer Science: (s. 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. (red.) & Tjoa, A. M. (red.) (2002). Evolution of Cooperation in Multiagent Systems. I Proceeding of EurAsia-ICT 2002: Information and Communication Technology (2510 of Lecture Notes in Computer Science udg., s. 701-710). Springer.
Thomsen, R., Guervós, J. J. M. (red.), Adamidis, P. (red.), Beyer, H.-G. (red.), Fernández-Villacañas, J. L. (red.) & Schwefel, H.-P. (red.) (2002). Evolving the Topology of Hidden Markov Models using Evolutionary Algorithms. I Proceedings of the 7th International Conference on Parallel Problem Solving from Nature: Parallel Problem Solving from Nature --- PPSN VII (Lecture Notes in Computer Science udg., Bind 2439/2002, s. 861-870). Springer.
Jørgensen, J. B., Christensen, S., Jezequel, J.-M. (red.), Hussmann, H. (red.) & Cook, S. (red.) (2002). Executable Design Models for a Pervasive Healthcare Middleware System. I Lecture Notes In Computer Science: 5th International Conference on The Unified Modeling Language (Bind 2460, s. 140-149). Springer.
Jørgensen, J. B. & Bossen, C. (2002). Executable Use Cases for Pervasive Healthcare. I MOCA 2002: Second Workshop on Modeling of Objects, Components and Agents (s. 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. I M. Yung (red.), Advances in Cryptology - CRYPTO 2002: 22nd Annual International Cryptology Conference Santa Barbara, California, USA, August 18-22, 2002 Proceedings (s. 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. (red.), Yao, X. (red.), Greenwood, G. (red.), Iba, H. (red.), Marrow, P. (red.) & Shackleton, M. (red.) (2002). Extending Particle Swarm Optimisers with Self-Organized Criticality. I Proceedings of the 2002 Congress on Evolutionary Computation : CEC'02 (Bind 2, s. 1588-1593). IEEE Press.
Arge, L. A. (2002). External-Memory Data Structures. I J. Abello, P. M. Pardalos & M. G. C. Resende (red.), Handbook of Massive Data Sets (s. 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. I D. Lassner, D. De Roure & A. Iyengar (red.), Proceedings of the 11th international conference on World Wide Web (s. 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. I Proceedings of the 7th annual conference on Innovation and technology in computer science education. (s. 75-79). Association for Computing Machinery. https://doi.org/10.1145/544414.544438
Brodal, G. S., Fagerberg, R., Bose, P. (red.) & Morin, P. (red.) (2002). Funnel Heap - A Cache Oblivious Priority Queue. I P. Bose & P. Morin (red.), Algorithms and Computation: 13th International Symposium, ISAAC 2002 Vancouver, BC, Canada, November 21–23, 2002 Proceedings (s. 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. I L. R. Knudsen (red.), Advances in Cryptology - EUROCRYPT 2002: International Conference on the Theory and Applications of Cryptographic Techniques Amsterdam, The Netherlands, April 28 - May 2, 2002 Proceedings (s. 256-271). Springer. https://doi.org/10.1007/3-540-46035-7_17
Ursem, R. K., Krink, T., Fogel, D. B. (red.), Yao, X. (red.), Greenwood, G. (red.), Iba, H. (red.), Marrow, P. (red.) & Shackleton, M. (red.) (2002). Genetic Programming with Smooth Operators for Arithmetic Expressions: Diviplication and Subdition. I Proceedings of the Evolutionary on Computation 2002.: CEC'02 (Bind 2, s. 1372-1377). IEEE Computer Society Press.
Brabrand, C. & Schwartzbach, M. I. (2002). Growing Languages with Metamorphic Syntax Macros. I P. Thiemann (red.), Proceedings of the 2002 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation (s. 31-40). Association for Computing Machinery. https://doi.org/10.1145/503032.503035
Nygaard, M., Winskel, G., Brim, L. (red.), Jancar, P. (red.), Kretínsky, M. (red.) & Kucera, A. (red.) (2002). HOPLA: A Higher-Order Process Language. I Lecture Notes in Computer Science: Proceedings of the 13th International Conference on Concurrency Theory (Bind 2421, s. 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. I Proceedings of the second Nordic conference on Human-computer interaction (s. 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. I R. Möhring & R. Raman (red.), Algorithms - ESA 2002: 10th Annual European Symposium Rome, Italy, September 17-21, 2002 Proceedings (s. 161-172). Springer. https://doi.org/10.1007/3-540-45749-6_12
Torgersen, M. (2002). Inheritance is Specialisation. I A. P. Black, E. Ernst, P. Grogono & M. Sakkinen (red.), Object-oriented Technology ECOOP 2002 Workshop Reader (Bind 12, s. 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. I O. W. Bertlesen (red.), Proceedings of the second Nordic conference on Human-computer interaction (s. 279-282). Association for Computing Machinery. https://doi.org/10.1145/572020.572065
Bertelsen, O. W. & Bødker, S. (2002). Interaction through multi-artifacts. I S. Bagnara, S. Pozzi, A. Rizzo & P. K. Wright (red.), Proceedings of the 11th European Conference on Cognitive Ergonomics European Association of Cognitive Ergonomcs.