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. & Nielsen, L. R. (2001). Defunctionalization at Work. In roceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming (pp. 162-174). Association for Computing Machinery. https://doi.org/10.1145/773184.773202

Danvy, O. & Nielsen, L. R. (2001). Defunctionalization at Work. BRICS Report Series, (RS-01-23).

Kuijpers, G., Nielsen, T. T. & Prasad, R. (2001). Delivering Quality of Service in Mobile Ad Hoc IP Networks. Paper presented at 4th International Symposium on Wireless Personal Multimedia Communications (WPMC), Aalborg, Denmark.

Miltersen, P. B., Rajasekaran, S. (Ed.), Pardalos, P. M. (Ed.), Reif, J. H. (Ed.) & Rolim, J. D. P. (Ed.) (2001). Derandomizing complexity classes. In Handbook on Randomized Computing: Combinatorial Optimization, Vol. 9 (chapter 19 ed., Vol. II, chapter 19, pp. 843-935). Kluwer Academic Publishers (Springer).

Hagerup, T., Miltersen, P. B. & Pagh, R. (2001). Deterministic Dictionaries. Journal of Algorithms, 41, 69-85.

Hagerup, T., Miltersen, P. B. & Pagh, R. (2001). Deterministic Dictionaries. J. Algorithms, 41(1), 69-85.

Pedersen, H. & Midtgaard, J. (2001). Different Evolutionary Approaches to Football Expertise. (pp. p. 87-97). EVALife, Dept. of Computer Science, University of Aarhus. http://www.evalife.dk/publications/RKU_ToEC2001_reports.pdf

Mortensen, K. H. (2001). Efficient Data-Structures and Algorithms for a Coloured Petri Nets Simulator. In K. Jensen (Ed.), Third Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (pp. 57-75). Department of Computer Science, Aarhus University.

Baillie, L. & Petersen, M. G. (2001). Emerging Themes in Designing Household Environments. In Proceedings of the OIKOS Workshop (pp. 44-46). Aarhus Universitetsforlag.

Lindstrøm, B. & Haider, S. (2001). Equivalent Coloured Petri Net Models of a Class of Timed Influence Nets with Logic. In K. Jensen (Ed.), Third Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (pp. 35-55). Department of Computer Science, Aarhus University.

Crazzolara, F. & Winskel, G. (2001). Events in Security Protocols. In Proceedings of the 8th ACM conference on Computer and Communications Security (pp. 96-105). Association for Computing Machinery.

Krink, T., Ursem, R. K., Filipic, B., Spector, L. (Ed.), Goodman, E. D. (Ed.), Wu, A. (Ed.), Langdon, W. B. (Ed.), Voigt, H. (Ed.), Gen, M. (Ed.), Sen, S. (Ed.), Dorio, M. (Ed.), Pezeshk, S. (Ed.), Garzon, M. H. (Ed.) & Burke, E. (Ed.) (2001). Evolutionary Algorithms in Control Optimization: The Greenhouse Problem. In GECCO 2001: Proceedings of the Genetic and Evolutionary Computation Conference (pp. 440-447). Morgan Kaufmann.

Nielsen, P. M., Schori, C., Sørensen, J. L., Salvail, L., Damgård, I. B. & Polzik, E. S. (2001). Experimental quantum key distribution with proven security against realistic attacks. Journal of Modern Optics, 48, 1921-1942.

Lorentsen, L. & Kristensen, L. M. (2001). Exploiting Stabilizers and Parallelism in State Space Generation with the Symmetry Method. In A. Valmari & A. Yakoviev (Eds.), Proceedings of Second International Conference on Application of Concurrency to System Design (ACSD'01) (Vol. ACSD, pp. 211-220). IEEE Computer Society Press.

Arge, L. A. (2001). External Memory Data Structures. In F. M. A. D. Heide (Ed.), Algorithms - ESA 2001: 9th Annual European Symposium Århus, Denmark, August 28-31, 2001 Proceedings (pp. 1-29). Springer. https://doi.org/10.1007/3-540-44676-1_1

Ernst, E. (2001). Family Polymorphism. In J. L. Knudsen (Ed.), ECOOP 2001 — Object-Oriented Programming: 15th European Conference Budapest, Hungary, June 18–22, 2001 Proceedings (pp. 303-326). Springer. https://doi.org/10.1007/3-540-45337-7_17

Toma, L., Wickremsinghe, R., Arge, L. A., Chase, J. S., Vitter, J. S., Halpin, P. N. & Urban, D. (2001). Flow computation on massive grids. In Proceedings of the 9th ACM international symposium on Advances in geographic information systems (pp. 82-87). Association for Computing Machinery. https://doi.org/10.1145/512161.512180

Zellweger, P. T., Bouvin, N. O., Jehøj, H. & Mackinlay, J. D. (2001). Fluid Annotations in a Open World. In K. Grønbæk, H. Davis & Y. Douglas (Eds.), Proceedings of the twelfth ACM conference on Hypertext and Hypermedia (pp. 9-18). Association for Computing Machinery. https://doi.org/10.1145/504216.504224

Hansen, K. M. (2001). Fluid Interfaces: Supporting Specific, General, and Minimal Interaction. In O. W. Bertelsen (Ed.), Proceedings of The First Danish Human-Computer Interaction Research Symposium (pp. 25-26). Aarhus University.

Damgård, I. B. & Nielsen, J. B. (2001). From Known-Plaintext Security to Chosen-Plaintext Security. BRICS Report Series, (RS-01-43).

Crepeau, C., Legare, F. & Salvail, L. (2001). How to Convert a Flavor of Quantum Bit Commitment. In Advances in cryptology - EUROCRYPT 2001: Lecture Notes in Computer Science 2045 (Vol. 2045, pp. 60-77). Springer. http://www.cki.au.dk/publication.html

Hansen, K. M., MacIntyre, B., Mynatt, E. D., Tullio, J. & Voida, S. (2001). Hypermedia in the Kimura System: Using Spacial, Temporal and Navigational Relationships to Support Multitasking and Background Awareness. In Proceedings of the twelfth ACM Conference on Hypertext and Hypermedia (Vol. Posters). ACM Press New York, NY, USA.

MacIntyre, B., Mynatt, E. D., Voida, S., Hansen, K. M. & Tullio, J. (2001). Hypermedia in the Kimura System: Using Spatial, Temporal & Navigational Relationships to Support Multitasking and Background Awareness. In Proceedings of the 12th ACM Conference on Hypertext and Hypermedia (pp. 6-8). Association for Computing Machinery. https://doi.org/10.1145/504216.504222

Grønbæk, K., Krogh, P. G. & Kyng, M. (2001). Intelligent Buildings and pervasive computing - research perspectives and discussions. In P. Bille (Ed.), Architectural Research and Information Technology (pp. 33-40). Aarhus School of Architecture.

Ørbæk, P., Mogensen, P. H. & Grønbæk, K. (2001). Interaction Techniques for Spatial Organization of Digital and Physical materials - the Topos Approach. In O. W. Bertelsen (Ed.), Proceedings of the First Dansih Human-Computer Interaction Research Symposium (pp. 51-53). Department of Computer Science, Aarhus University.

Grønbæk, K., Gundersen, K. K., Mogensen, P. H. & Ørbæk, P. (2001). Interactive Room Support for Complex and Distributed Design Projects. In M. Hirose (Ed.), Human-Computer Interaction: INTERACT'01 (pp. 407-414). Ohmsha.

Mogensen, P. H. (2001). Interactive Workspaces: Demo. Paper presented at Nordic Interactive Conference, Cobenhagen, Denmark.

Arge, L. A., Toma, L. & Vitter, J. S. (2001). I/O-Efficient Algorithms for Problems on Grid-Based Terrains. Journal of Experimental Algorithmics, 6. https://doi.org/10.1145/945394.945395

Nielsen, T. T. (2001). IPv6 for Future Wireless Networks. Wireless Personal Communications, 17(2-3), 237-247. https://doi.org/10.1023/A:1011261320056

Hansen, K. M. (2001). Kimura. Computer programme

Büscher, M., Gill, S., Mogensen, P. H. & Shapiro, D. (2001). Landscapes of Practice: Bricolage as a Method for Situated Design. Computer Supported Cooperative Work (CSCW): The Journal of Collaborative Computing and Work Practices, 10(1), 1-28. https://doi.org/10.1023/A:1011293210539

Ernst, E. (2001). Loosely coupled class families. In L. Bergmans, J. Brichau, S. Clarke & M. Glandrup (Eds.), Proceedings of workshop on Advanced Separation of Concerns University of Twente. http://trese.cs.utwente.nl/workshops/ecoop01asoc/papers/Ernst.pdf

Frandsen, G. S., Hansen, J. P. & Miltersen, P. B. (2001). Lower Bounds for Dynamic Algebraic Problems. Information and Computation, 171(2), 333-349. https://doi.org/10.1006/inco.2001.3046

Petersen, M. G. & Baillie, L. (2001). Methodologies for Designing Future Household Technologies. In Proceedings of the OIKOS Workshop (pp. 47-49). Aarhus Universitetsforlag.

Bardram, J. E. & Christensen, H. B. (2001). Middleware for Pervasive Healthcare - A White Paper. In B. Guruduth (Ed.), Proceedings of Advanced Topic Workshop -- Middleware for Mobile Computing University of Arizona Press. http://www.cs.arizona.edu/mmc/Program.html

Lorentsen, L., Tuovinen, A.-P. & Xu, J. (2001). Modelling of Features and Feature Interactions in Nokia Mobile Phones Using Coloured Petri Nets. In K. Jensen (Ed.), Third Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (pp. 1-14). Department of Computer Science, Aarhus University.

Nielsen, M. (2001). Modelling with Partial Orders - Why and Why Not? In F. Orejas, P. G. Spirakis & J. van Leeuwen (Eds.), Automata, Languages and Programming: 28th International Colloquium, ICALP 2001 Crete, Greece, July 8-12, 2001 Proceedings (pp. 61-63). Springer. https://doi.org/10.1007/3-540-48224-5_5

Westergaard, M., Henningsen, J., Svendsen, M. L., Johansen, C., Jensen, U. B., Schrøder, H. D., Kratchmarova - Blagoeva, I. H., Berge, R. K., Iversen, L., Bolund, L., Kragballe, K. & Kristiansen, K. (2001). Modulation of keratinocyte gene expression and differentiation by PPAR-selective ligands and tetradecylthioacetic acid. Journal of Investigative Dermatology, 116(5), 702-12. https://doi.org/10.1046/j.0022-202x.2001.doc.x

Klarlund, N., Møller, A. & Schwartzbach, M. I. (2001). MONA Implementation Secrets. In S. Yu & A. Paun (Eds.), Implementation and Application of Automata: 5th International Conference, CIAA 2000 London, Ontario, Canada, July 24-25, 2000 Revised Papers (pp. 182-194). Springer. https://doi.org/10.1007/3-540-44674-5_4

Klarlund, N. & Møller, A. (2001). MONA Version 1.4 User Manual. BRICS Notes Series, (NS-01-1).

Cramer, R., Damgård, I. B. & Nielsen, J. B. (2001). Multiparty Computation from Threshold Homomorphic Encryption. In B. Pfitzmann (Ed.), Advances in Cryptology - EUROCRYPT 2001: International Conference on the Theory and Application of Cryptographic Techniques Innsbruck, Austria, May 6-10, 2001 Proceedings (pp. 280-300). Springer. https://doi.org/10.1007/3-540-44987-6_18

Nielsen, J. B. (2001). Non-Committing Encryption is Too Easy in the Random Oracle Model. BRICS Report Series, (RS-01-47).

Danvy, O., Rhiger, M. & Rose, K. H. (2001). Normalization by evaluation with typed abstract syntax. Journal of Functional Programming, 673-680. https://doi.org/10.1017/S0956796801004166

Danvy, O., Rhiger, M. & Rose, K. H. (2001). Normalization by Evaluation with Typed Abstract Syntax. BRICS Report Series, (RS-01-16).

Schultz, U. P. (2001). Object-oriented program specialization: Aspects into Aspects - or maybe not? In European Conference on Object Oriented Programming: Object-Oriented Technology. ECOOP 2001 Workshop Reader ECOOP 2001 Workshops, Panel, and Posters. Workshop on Generative Programming. WGP'01 (pp. 4). Springer.

Canetti, R., Damgård, I. B., Dziembowski, S., Ishai, Y. & Malkin, T. (2001). On Adaptive vs. Non-adaptive Security of Multiparty Protocols. In B. Pfitzmann (Ed.), Advances in Cryptology --- EUROCRYPT 2001: International Conference on the Theory and Application of Cryptographic Techniques Innsbruck, Austria, May 6-10, 2001 Proceedings (pp. 262-279). Springer. https://doi.org/10.1007/3-540-44987-6_17

Arge, L. A., Meyer, U., Toma, L. & Zeh, N. (2001). On External-Memory Planar Depth First Search. In F. Dehne, J.-R. Sack & R. Tamassia (Eds.), Algorithms and Data Structures: 7th International Workshop, WADS 2001 Providence, RI, USA, August 8-10, 2001 Proceedings (pp. 471-482). Springer. https://doi.org/10.1007/3-540-44634-6_43

Cryan, M. & Miltersen, P. B. (2001). On pseudorandom generators in NC⁰. In J. Sgall, A. Pultr & P. Kolman (Eds.), Mathematical Foundations of Computer Science 2001: Lecture Notes in Computer Science (Lecture Notes in Computer Science 2136 ed., Vol. 2136/2001, pp. 272-284). Springer.

Cramer, R., Damgård, I. B. & Fehr, S. (2001). On the Cost of Reconstructing a Secret or VSS with Optimal Reconstruction. In J. Killian (Ed.), Advances in Cryptology - CRYPTO 2001: 21st Annual International Cryptology Conference, Santa Barbara, California, USA, August 19-23, 2001 Proceedings (pp. 503-524). Springer. https://doi.org/10.1007/3-540-44647-8_30

Srba, J., Guldstrand Larsen, K. (Ed.) & Nielsen, M. (Ed.) (2001). On the Power of Labels in Transition Systems. In Lecture Notes in Computer Science: Proceedings of the 12th International Conference on Concurrency Theory (2154 of Lecture Notes in Computer Science ed., Vol. 2154/2001, pp. 277-291). Springer.

Displaying results 5051 to 5100 out of 5916

102