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

Arge, L., Agarwal, P. K. & Danner, A. (2006). From Point Cloud to GRID DEM: A Scalable Approach. In Proceedings of International Symposium on Spatial Data Handling
Gerhardy, P. (2006). Functional interpretation and modified realizability interpretation of the double-negation shift. In A. Beckmann, U. Berger, B. Löwe & J. V. Tucker (Eds.), Logical Approaches to Computational Barriers: CiE 2006 (Vol. CSR 7-2006 in Computer Science Report Series). University of Wales Swansea.
Westergaard, M. (2006). Game Coloured Petri Nets. In K. Jensen (Ed.), Seventh Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (Vol. PB-579, pp. 281-301). Aarhus Universitetsforlag.
Ballegaard, S. A. & Fangel, A. B. (2006). Getting the Job Done: The impact of conception of work on work-life balance. Paper presented at 24th Annual International Labour Process Conference, United Kingdom.
van Hoeve, W.-J. & Katriel, I. (2006). Global Constraints. In F. Rossi, P. van Beek & T. Walsh (Eds.), Handbook of Constraint Programming: Part I , Foundations Pergamon Press.
Bertelsen, O. W., Bødker, S., McEwan, T., Procter, R. & Svanæs, D. (2006). HCI Knowledge - Fit for Transfer, Share or Co-Construction. In The 19th British HCI Group Annual Conference, Napier University. (pp. 341-343)
Hansen, K. M. & Wells, L. M. (2006). Heimdall. Computer programme
Houston, B., Nielsen, M. B., Batty, C., Nilsson, O. & Museth, K. (2006). Hierarchical RLE Level Set: A Compact and Versatile Deformable Surface Representation. A C M Transactions on Graphics, 25(1), 151-175.
Støvring, K. (2006). Higher-Order Beta Matching with Solutions in Long Beta-Eta Normal Form. Nordic Journal of Computing, 13(1-2), 117-126.
Brodal, G. S., Arge, L. & Georgiadis, L. (2006). Improved Dynamic Planar Point Location. In Proceedings of the 47th Annual Symposium on Foundations of Computer Science (pp. 305-314). IEEE. https://doi.org/10.1109/FOCS.2006.40
Grønbæk, K., Rohde, A., Sundararajah, B. & Bech-Pedersen, S. (2006). InfoGallery: Informative Arts Services for Physical Library Spaces. In G. Marchionini, M. L. Nelson & C. C. Marshall (Eds.), 6th ACM/IEEE-CS Joint Conference on Digital Libraries 2006: Opening Information Horizons (pp. 21-31). Association for Computing Machinery. https://doi.org/10.1145/1141753.1141757
Schaffner, C., Crépeau, C., Savvides, G. & Wullschleger, J. (2006). Information-Theoretic Conditions for Two-Party Secure Function Evaluation. In S. Vaudenay (Ed.), Advances in Cryptology - EUROCRYPT 2006: 5th Annual International Conference on the Theory and Applications of Cryptographic Techniques (pp. 538-554) https://doi.org/10.1007/11761679_32
Blunck, H. & Vahrenhold, J. (2006). In-Place Algorithms for Computing (Layers of) Maxima. In L. Arge & R. Freidvalds (Eds.), Algorithm Theory – SWAT 2006: 10th Scandinavian Workshop on Algorithm Theory, Riga, Latvia, July 6-8, 2006. Proceedings (pp. 363-374). Springer. https://doi.org/10.1007/11785293_34
Blunck, H. & Vahrenhold, J. (2006). In-Place Algorithms for Computing (Layers of) Maxima. In Abstracts. Twenty-second European Workshop on Computational Geometry (pp. 181-184)
Blunck, H. & Vahrenhold, J. (2006). In-Place Randomized Slope Selection. In T. Calamoneri, I. Finocchi & G. F. Italiano (Eds.), Algorithms and Complexity: 6th Italian Conference, CIAC 2006, Rome, Italy, May 29-31, 2006. Proceedings (pp. 30-41). Springer. https://doi.org/10.1007/11758471_6
Blunck, H. & Vahrenhold, J. (2006). In-Place Randomized Slope Selection. In Abstracts. Twenty-second European Workshop on Computational Geometry (pp. 177-180)
Eichberg, M., Mezini, M., Kloppenburg, S., Ostermann, K. & Rank, B. (2006). Integrating and scheduling an open set of static analyses. In S. Honiden, S. Uchitel & S. Easterbrook (Eds.), Automated Software Engineering, 2006. ASE'06. 21st IEEE/AMC International Conference on: Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering (ASE) (Vol. DOI:10.1109/ASE.2006.43, pp. 113-122). IEEE.
Agarwal, P. K., Arge, L. A. & Yi, K. (2006). I/O-Efficient Batched Union-Find and Its Applications to Terrain Analysis. In Proceedings of the twenty-second annual symposium on Computational geometry (pp. 167-176). Association for Computing Machinery. https://doi.org/10.1145/1137856.1137884
Arge, L., Danner, A., Haverkort, H. & Zeh, N. (2006). I/O-Efficient Hierarchical Watershed Decomposition of Grid Terrain Models. In Proceedings of International Symposium on Spatial Data Handling
Grønbæk, K. (2006, Sept 5). It og læring i bevægelse. EMU - Danmarks Læringsportal.
Christensen, B. G. (2006). LightPeers - A Framework Supporting Nomadic Learning in Mixed Environments with Mobile Ad Hoc Networking. Abstract from The 3rd MiNEMA Workshop on Middleware for Mobile Environments, Leuven, Belgium.
Damgård, I. B. & Thorbek, R. (2006). Linear Integer Secret Sharing and Distributed Exponentiation. In M. Yung, Y. Dodis, A. Kiayias & T. Malkin (Eds.), Public Key Cryptography - PKC 2006: 9th International Conference on Theory and Practice in Public-Key Cryptography, New York, NY, USA, April 24-26, 2006. Proceedings (pp. 75-90). Springer. https://doi.org/10.1007/11745853_6
Kristensen, M. & Kyng, M. (2006). Media Spaces, Places and Palpable Technologies. In Ikke angivet Association for Computing Machinery.
Damm, C. H., Hansen, K. M., Thomsen, M. & Tyrsted, M. (2006). Method for gesture based modeling. (Patent No. 7096454).
Brønsted, J. (2006). Middleware til Pervasive Communication. (1 ed.) Komialt - Vidennetværk for Pervasive Communication.
Brynskov, M. & Ludvigsen, M. (2006). Mock Games: A New Genre of Pervasive Play. In Proceedings of the 6th ACM Conference on Designing Interactive Systems (pp. 169-178). Association for Computing Machinery.
Tjell, S. (2006). Model-Based Analysis of a Windmill Communication System. In From Model-Driven Design to Resource Management for Distributed Embedded Systems (Vol. 225/2006, pp. 245-255). Springer.
Kristensen, L. M., Mechlenborg, P., Zhang, L., Mitchell, B. & Gallasch, G. (2006). Model based Development of a Course of Action Scheduling Tool. In Proc. of Seventh Workshop and Tutorial on Practical Use of Coloured Petri Netds and the CPN Tools (Vol. 579, pp. 1-16). Department of Computer Science, University of Aarhus.
Tjell, S. (2006). Model-Based Testing of a Reactive System with Coloured Petri Nets. In Proceedings of GI Jahrestagung (2) (Vol. 94, pp. 274-281). Gesellschaft für Informatik e.V..
Blunck, H., Hinrichs, K., Sondern, J. & Vahrenhold, J. (2006). Modeling and Engineering Algorithms for Mobile Data. In A. Riedl, W. Kainz & G. A. Elmes (Eds.), Progress in Spatial Data Handling: 12th International Symposium on Spatial Data Handling (pp. 61-77). Springer. https://doi.org/10.1007/3-540-35589-8_5
Khaled, E. & Katriel, I. (2006). Multiconsistency and Robustness with Global Constraints. Constraints, 11(4), 335-352.
Nielsen, J. & Grønbæk, K. (2006). MultiLightTracker: Vision based simultaneous multi object tracking on semi-transparent surfaces. In Proceedings of the Conference on Computer Vision Theory and Applications Institute for Systems and Technologies of Information, Control and Communication.
Damgård, I. B., Nicolosi, A. & Fazio, N. (2006). Non-interactive Zero-Knowledge from Homomorphic Encryption. In S. Halevi & T. Rabin (Eds.), Theory of Cryptography: Third Theory of Cryptography Conference, TCC 2006, New York, NY, USA, March 4-7, 2006. Proceedings (pp. 41-59). Springer. https://doi.org/10.1007/11681878_3
Damgård, I. B., Fehr, S., Salvail, L. & Schaffner, C. (2006). Oblivious Transfer and Linear Functions. In C. Dwork (Ed.), Advances in Cryptology - CRYPTO 2006: 26th Annual International Cryptology Conference, Santa Barbara, California, USA, August 20-24, 2006. Proceedings (pp. 427-444). Springer. https://doi.org/10.1007/11818175_26