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

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

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

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.

Mogensen, P. H., Grønbæk, K., Christensen, M. & Ørbæk, P. (2001). Open 3D spatial Hypermedia as Roomware Components for Interactive Workspaces. In K. Grønbæk (Ed.), Conference on Hypertext and Hypermedia: Proceedings of the 12th ACM conference on Hypertext and Hypermedia (Vol. Session: Presentations, pp. Demo). Society for Industrial and Applied Mathematics.

Alstrup, S., Brodal, G. S. & Rauhe, T. (2001). Optimal Static Range Reporting in One Dimension. In Proceedings of the thirty-third annual ACM symposium on Theory of computing (pp. 476-482). Association for Computing Machinery. https://doi.org/10.1145/380752.380842

Pagh, R. & Pagter, J. (2001). Optimal Time-Space Trade-Offs for Non-Comparison-Based Sorting. BRICS Report Series, (RS-01-2), 20-20.

Schultz, U. P., Danvy, O. (Ed.) & Filinski, A. (Ed.) (2001). Partial Evaluation for Class-Based Object-Oriented Languages. In Lecture Notes In Computer Science: Proceedings of the Second Symposium on Programs as Data Objects (Lecture Notes in Computer Science 2053 ed., Vol. 2053, pp. 173-197). Springer.

Corry, A. V. (2001). Patterns in Software Development. (DAIMI PhD Dissertation PD-01-1 ed.) Department of Computer Science.

Damgård, I. B. & Nielsen, J. B. (2001). Perfect Hiding and Perfect Binding Universally Composable Commitment Schemes with Constant Expansion Factor. BRICS Report Series, (RS-01-41).

Crazzolara, F., Winskel, G., Charpentier, M. (Ed.) & Sanders, B. (Ed.) (2001). Petri Nets in Cryptographic Protocols. In Proceedings of the 15th International Parallel & Distributed Processing Symposium (IPDPS-01) (Vol. 15th International Parallel and Distributed Processing Symposium (IPDPS'01) Workshops, pp. 149). IEEE Press.

Damgård, I. B. & Koprowski, M. (2001). Practical Threshold RSA Signatures Without a Trusted Dealer. 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. 152-165). Springer. https://doi.org/10.1007/3-540-44987-6_10

Bertelsen, O. W. (2001). Proceedings of the First Danish Human-Computer Interaction Research Symposium. In DAIMI PB-555 (pp. A-59). Department of Computer Science.

Bertelsen, O. W. (Ed.) (2001). Proceedings of the First Danish Human-Computer Interaction Research Symposium. Department of Computer Science, Aarhus University.

Danvy, O. & Filinski, A. (Eds.) (2001). Programs as Data Objects: Second Symposium, PADO2001 Aarhus, Denmark, May 21–23, 2001 Proceedings. Springer. Lecture Notes in Computer Science Vol. 2053 https://doi.org/10.1007/3-540-44978-7

Nielsen, M., Sassone, V. & Srba, J. (2001). Properties of Distributed Timed-Arc Petri Nets. In R. Hariharan, V. Vinay & M. Mukund (Eds.), FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science: 21st Conference Bangalore, India, December 13-15, 2001 Proceedings (pp. 280-291). Springer. https://doi.org/10.1007/3-540-45294-X_24

Zhang, W. (2001). Reusability of Information System with UML. Northwestern Polytechnical University.

Krogh, P. G. & Grønbæk, K. (2001). Roomware and intelligent Buildings - buildings and objects become computer interfaces! In P. Bille (Ed.), Architectural Research and Information Technology (pp. 63-68). Aarhus School of Architecture. http://www.pervasive.dk/publications/files/Roomware.pdf

Cramer, R. & Damgård, I. B. (2001). Secure Distributed Linear Algebra in a Constant Number of Rounds. In J. Killian (Ed.), Advances in Cryptology - CRYPTO 2001: 21st Annual International Cryptology Conference, Santa Barbara, California, USA, August 19-23, 2001 Proceedings (pp. 119-137). Springer. https://doi.org/10.1007/3-540-44647-8_7

Krink, T. & Thomsen, R. (2001). Self-Organized Criticality and Mass Extinction in Evolutionary Algorithms. In Proceedings of the Third Congress on Evolutionary Computation (CEC 2001).: Vol. 2 (Vol. 2, pp. 1155-1161). IEEE.

Displaying results 5151 to 5200 out of 6000

104