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

Zhang, W. & Hansen, K. M. (2008). An OWL/SWRL based Diagnosis Approach in a Web Service-based Middleware for Embedded and Networked System. In Proceeedings of the 20th International Conference on Software Engineering and Knowledge Engineering (pp. 893-898). Knowledge Systems Institute.

Hansen, K. A., Hansen, T. D., Miltersen, P. B. & Sørensen, T. B. (2008). Approximability and Parameterized Complexity of Minmax Values. Lecture Notes in Computer Science, 5385, 684-695. https://doi.org/10.1007/978-3-540-92185-1_74

Danvy, O. & Millikin, K. (2008). A Rational Deconstruction of Landin's SECD Machine with the J Operator. Logical Methods in Computer Science, 4(4:12), 1.

Christensen, H. B. & Hansen, K. M. (2008). Architectural Prototyping in Industrial Practice. In R. Morrison, D. Balasubramaniam & K. Falkner (Eds.), Software Architecture: Second European Conference, ECSA 2008 Paphos, Cyprus, September 29-October 1, 2008 Proceedings (pp. 196-209). Springer. https://doi.org/10.1007/978-3-540-88030-1_15

Styrup, J. & Flarup, E. O. (2008). Architectural styles for heteogeneous multicore processors: an emperical study using the cell broadband engine architecture and architectural prototyping. Aarhus Universitet, Datalogisk Institut.

Abam, M., de Berg, M. & Gudmundsson, J. (2008). A Simple and Efficient Kinetic Spanner. In M. Teillaud (Ed.), Annual Symposium on Computational Geometry: Proceedings of the twenty-fourth annual symposium on Computational geometry (Vol. SESSION 9A, pp. 306-310). Association for Computing Machinery.

Ostermann, K. (2008). Aspects and modular reasoning in nonmonotonic logic. In W. Harrison & S. Katz (Eds.), ACM International Conference Proceeding Series: Proceedings of the 6th workshop on Foundations of aspect-oriented languages (Vol. 268, pp. 59-64). Association for Computing Machinery.

Hirt, M., Nielsen, J. B. & Przydatek, B. (2008). Asynchronous Multi-Party Computation with Quadratic Communication. Lecture Notes in Computer Science, 5126, 473-485. https://doi.org/10.1007/978-3-540-70583-3_39

Triandopoulos, N., Goodrich, M. T., Papamanthou, C. & Tamassia, R. (2008). Athos: Efficient Authentication of Outsourced File Systems: Information Security. Lecture Notes in Computer Science, 80-96. https://doi.org/10.1007/978-3-540-85886-7_6

Pedersen, M. Ø. (2008). Authentication and Privacy with Application to Pervasive Computing. Aarhus Universitetsforlag.

Damgård, I. B. (Ed.), Aceto, L., Goldberg, L. A., Halldórsson, M. M., Ingólfsdóttir, A. & Walukiewicz, I. (2008). Automata, Languages and Programming: 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I. Springer. Lecture Notes in Computer Science Vol. 5125 https://doi.org/10.1007/978-3-540-70575-8

Aceto, L., Damgård, I. B., Goldberg, L. A., Halldórsson, M. M., Ingólfsdóttir, A. & Walukiewicz, I. (2008). Automata, Languages and Programming: 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II. Springer. Lecture Notes in Computer Science Vol. 5126 https://doi.org/10.1007/978-3-540-70583-3

Danvy, O., Henglein, F., Mairson, H. & Pettorossi, A. (Eds.) (2008). Automatic Program Development: A Tribute to Robert Paige. Springer.

Bødker, S. & Petersen, A. B. (2008). Between casual commitment and cross-media articulation – the faith of the Napkin. In P. Hassanaly, A. Ramrajsingh, D. Randall, P. Salembier & M. Tixier (Eds.), Proceeding of the 8th International Conference on the Design of Cooperative Systems 2008: COOP'08: Conference on the Design of Cooperative Systems 2008 (pp. 75-84). Institut d'Etudes Politiques d'Aix-en-Provence.

Aarhus, R. & Ballegaard, S. A. (2008). Boligbesøg 2008.

Arge, L., Mølhave, T. & Zeh, N. (2008). Cache-Oblivious Red-Blue Line Segment Intersection. Lecture Notes in Computer Science, 78-87. https://doi.org/10.1007/978-3-540-87744-8_8

Brodal, G. S. (2008). Cache-Oblivious Sorting. In M.-Y. Kao (Ed.), Encyclopedia of Algorithms (Vol. 3, pp. 126-129). Springer. https://doi.org/10.1007/978-0-387-30162-4_63

Hansen, M. S., Atkinson, D. & Sørensen, T. S. (2008). Cartesian SENSE and k-t SENSE reconstruction using commodity graphics hardware. Magnetic Resonance in Medicine, 59(3), 463-468. https://doi.org/10.1002/mrm.21523

Ebbesen, S. M. S., Zachariae, R., Mehlsen, M. Y., Jensen, A. H. & Ingerslev, H. J. (2008). Catastrophizing as a predictor of pain during the egg retrieval procedure following in vitro fertilization (IVF). In 10th International Congress of Behavioral Medicine. Abstract book (pp. 33). International Society of Behavioral Medicine.

Besenbacher, S. (2008). Challenges in whole-genome association mapping.

Zander, P.-O. (2008). Collaborative Process Change by Inscription: A Contested Terrain for Interaction Designers. KFS i Lund AB.

Petersen, M. G. & Krogh, P. (2008). Collective Interaction – Let’s join forces. In Proceedings of the 8th International Conference on the Design of Cooperative Systems (COOP'08) IEEE.

Jørgensen, J. B. (2008). Coloured Petri nets and graphical animation: a proposal for a means to address problem frame concerns. Expert Systems, 25(1), 54-73. https://doi.org/10.1111/j.1468-0394.2008.00454.x

Atkinson, D., Schacht Hansen, M., Sørensen, T. S., Taylor, Z., Modat, M. & Ourselin, S. (2008). Commodity Graphics Cards for Image Registration, Biomechanical Modelling and Cardiac Imaging. In Bioengineering 08: Imaging (image processing, clinical imaging, novel optical and molecular) (Vol. Room: RSM 3.03, pp. 86-86). Imperial College London.

Kortbek, K. J. & Grønbæk, K. (2008). Communicating Art through Interactive Technology: New Approaches for Interaction Design in Art Museums. In K. Tollmar & B. Jönsson (Eds.), Proceedings of the 5th Nordic conference on Human-computer interaction: building bridges (pp. 229-238). Association for Computing Machinery. https://doi.org/10.1145/1463160.1463185

Olsen, M. (2008). Communities in Large Networks: Identification and Ranking. Lecture Notes in Computer Science, 4936, 84-96.

Britz, D., Østerby, O. & Strutwolf, J. (2008). Comparison of flux approximations in electrochemical digital simulation. Part 2: Complications due to homogeneous chemical reactions, charge estimation and application to the ultramicrodisk electrode. Journal of Electroanalytical Chemistry, 622(1), 51-58. https://doi.org/10.1016/j.jelechem.2008.05.013

Larsen, S. B. & Bardram, J. E. (2008). Competence articulation: Alignment of competences and responsibilities in synchronous telemedical collaboration. In M. Czerwinski, A. Lund & D. Tan (Eds.), CHI 2008 Proceedings: Proceeding of the twenty-sixth annual SIGCHI conference on Human factors in computing systems (pp. 553-562). Association for Computing Machinery.

King, T. & Kjærgaard, M. B. (2008). ComPoScan: Adaptive Scanning for Efficient Concurrent Communications and Positioning with 802.11. In D. Grunwald, R. Han, E. de Lara & C. Schlatter Ellis (Eds.), Proceedings of the 6th ACM International Conference on Mobile Systems, Applications, and Services (Mobisys 2008): SESSION: Stretching WiFi (Vol. Session 2, pp. 67-80). Association for Computing Machinery. https://doi.org/10.1145/1378600.1378609

Sørensen, T. B. (2008). Computing Equilibria of Two Player Games. Aarhus Universitetsforlag.

Stissing, M., Mailund, T., Pedersen, C. S., Brodal, G. S. & Fagerberg, R. (2008). Computing the all-pairs quartet distance on a set of evolutionary trees. Journal of Bioinformatics and Computational Biology, 6(1), 37-50.

Miltersen, P. B. (Ed.) (2008). Conference on Computational Complexity 2007: Guest Editor's Foreword. Computational Complexity, 17(2), 147-148. https://doi.org/10.1007/s00037-008-0247-z

Hansen, K. A. (2008). Constant Width Planar Branching Programs Characterize ACC⁰ in Quasipolynomial Size. In 2008 23rd Annual IEEE Conference on Computational Complexity (pp. 92-99). IEEE. https://doi.org/10.1109/CCC.2008.11

Brabrand, C. & Dahl, B. (2008). Constructive Alignment and the SOLO Taxonomy: A Comparative Study of University Competences in Computer Science vs. Mathematic. In Proc. Seventh Baltic Sea Conference on Computing Education Research (Koli Calling 2007) (pp. 3-17). Australian Computer Society.

Damgård, I. B., Serge, F., Schaffner, C. & Salvail, L. (2008). Cryptography in the Bounded Quantum-Storage Model. S I A M Journal on Computing, 37(6), 1865-1890. https://doi.org/10.1137/060651343

Caspersen, M. E. & Christensen, H. B. (2008). CS1: Getting Started. Lecture Notes in Computer Science, 4821, 130-144. https://doi.org/10.1007/978-3-540-77934-6

Caspersen, M. E., Cassel, L. N., Davies, G., McCauley, R., McGettrick, A., Pyster, A. & Sloan, R. (2008). Curriculum Update from the ACM Education Board: CS2008 and a Report on Masters Degrees.Proceedings of the 39th SIGCSE Technical Symposium on Computer Science Education. SIGCSE Bulletin Inroads, (1), 530. https://doi.org/10.1145/1352135.1352313

Damgård, I. B., Knudsen, L. & Thomsen, S. S. (2008). Dakota- Hashing from a Combination of Modular Arithmetic and Symmetric Cryptography. Lecture Notes in Computer Science, 144-155. https://doi.org/10.1007/978-3-540-68914-0_9

Eichberg, M., Kloppenburg, S., Klose, K. & Mezini, M. (2008). Defining and continuous checking of structural program dependencies. In ICSE '08 Proceedings of the 30th international conference on Software engineering (pp. 391-400 ). Association for Computing Machinery.

Danvy, O. (2008). Defunctionalized Interpreters for Programming Languages. ACM SIGPLAN Notices, (9), 131-142.

Schwartzbach, M. I. (2008). Design Choices in a Compiler Course or How to Make Undergraduates Love Formal Notation. In L. Hendren (Ed.), Compiler Construction: 17th International Conference, CC 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29 - April 6, 2008. Proceedings (pp. 1-15). Springer. https://doi.org/10.1007/978-3-540-78791-4_1

Bødker, S. (2008). Design for reconfiguration. In C. J. Costa, A. Protopsaltis, M. Aparício & H. O'Neill (Eds.), SIGDOC 2008,: Proceedings of the 26th ACM International Conference on Design of Communication (Vol. Talk 3: Rigo Award Winner, pp. 263-265). Association for Computing Machinery.

Kjær, K. E. (2008). Designing middleware for context awareness in agriculture. In S. Michiels (Ed.), Middleware Conference: Proceedings of the 5th Middleware doctoral symposium (pp. 19-24). Association for Computing Machinery.

Andersson, D., Hansen, K. A., Miltersen, P. B. & Sørensen, T. B. (2008). Deterministic Graphical Games Revisited. Lecture Notes in Computer Science, 5028, 1-10. https://doi.org/10.1007/978-3-540-69407-6_1

Kristensen, M. D. & Bouvin, N. O. (2008). Developing Cyber Foraging Applications for Portable Devices. In Proceedings from the 2nd IEEE International Interdisciplinary Conference on Portable Information Devices: 2nd IEEE International Interdisciplinary Conference on Portable Information Devices, 2008 and the 2007 7th IEEE Conference on Polymers and Adhesives in Microelectronics and Photonics. PORTABLE-POLYTRONIC 2008. (pp. 1-6). IEEE Press. https://doi.org/10.1109/PORTABLE-POLYTRONIC.2008.4681270

Tjell, S. & Lassen, K. B. (2008). Developing Tool Support for Problem Diagrams with CPN and VDM++: Modelling and Analysis in VDM: Proceedings of the Fourth VDM/Overture Workshop. Modelling and Analysis in VDM: Proceedings of the Fourth VDM/Overture Workshop. Innovations in Systems and Software Engineering, (3), 25-34.

Bødker, S. & Palen, L. A. (2008). Don’t Get Emotional: Affect and Emotion in Human-Computer Interaction. From Theory to Applications. Lecture Notes in Computer Science, 4868, 12-22.

Brabrand, C., Møller, A. & Schwartzbach, M. I. (2008). Dual Syntax for XML Languages. Information Systems, 33(4), 385-406. https://doi.org/10.1016/j.is.2008.01.006

Telelis, O. & Zissimopoulos, V. (2008). Dynamic bottleneck optimization for k-edge and 2-vertex connectivity. Information Processing Letters, 106(6), 251-257. https://doi.org/10.1016/j.ipl.2007.11.020

Evangelista, S. (2008). Dynamic Delayed Duplicate Detection for External Memory Model Checking. Lecture Notes in Computer Science, 77-94.

Displaying results 3651 to 3700 out of 6000

Revised 01.09.2025

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University