Publikationer

Søg publikationer fra Institut for Datalogi

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

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. I R. Morrison, D. Balasubramaniam & K. Falkner (red.), Software Architecture: Second European Conference, ECSA 2008 Paphos, Cyprus, September 29-October 1, 2008 Proceedings (s. 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. I M. Teillaud (red.), Annual Symposium on Computational Geometry: Proceedings of the twenty-fourth annual symposium on Computational geometry (Bind SESSION 9A, s. 306-310). Association for Computing Machinery.

Ostermann, K. (2008). Aspects and modular reasoning in nonmonotonic logic. I W. Harrison & S. Katz (red.), ACM International Conference Proceeding Series: Proceedings of the 6th workshop on Foundations of aspect-oriented languages (Bind 268, s. 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. (red.), 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 Bind 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 Bind 5126 https://doi.org/10.1007/978-3-540-70583-3

Danvy, O., Henglein, F., Mairson, H. & Pettorossi, A. (red.) (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. I P. Hassanaly, A. Ramrajsingh, D. Randall, P. Salembier & M. Tixier (red.), Proceeding of the 8th International Conference on the Design of Cooperative Systems 2008: COOP'08: Conference on the Design of Cooperative Systems 2008 (s. 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. I M.-Y. Kao (red.), Encyclopedia of Algorithms (Bind 3, s. 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). I 10th International Congress of Behavioral Medicine. Abstract book (s. 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. I 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. I Bioengineering 08: Imaging (image processing, clinical imaging, novel optical and molecular) (Bind Room: RSM 3.03, s. 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. I K. Tollmar & B. Jönsson (red.), Proceedings of the 5th Nordic conference on Human-computer interaction: building bridges (s. 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. I M. Czerwinski, A. Lund & D. Tan (red.), CHI 2008 Proceedings: Proceeding of the twenty-sixth annual SIGCHI conference on Human factors in computing systems (s. 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. I D. Grunwald, R. Han, E. de Lara & C. Schlatter Ellis (red.), Proceedings of the 6th ACM International Conference on Mobile Systems, Applications, and Services (Mobisys 2008): SESSION: Stretching WiFi (Bind Session 2, s. 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. (red.) (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. I 2008 23rd Annual IEEE Conference on Computational Complexity (s. 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. I Proc. Seventh Baltic Sea Conference on Computing Education Research (Koli Calling 2007) (s. 3-17). Australian Computer Society.

Hoggan, E., Brewster, S. & Kaaresoja, T. (2008). Crossmodal combinations: using piezo-electric, vibrotactile and audio feedback. I 3rd International Haptic and Auditory Interaction Design Workshop (s. 33)

Hoggan, E., Kaaresoja, T., Laitinen, P. & Brewster, S. (2008). Crossmodal congruence: the look, feel and sound of touchscreen widgets. I Proceedings of the 10th international conference on Multimodal interfaces (s. 157-164)

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. ACM 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. I ICSE '08 Proceedings of the 30th international conference on Software engineering (s. 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. I L. Hendren (red.), 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 (s. 1-15). Springer. https://doi.org/10.1007/978-3-540-78791-4_1

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

Kjær, K. E. (2008). Designing middleware for context awareness in agriculture. I S. Michiels (red.), Middleware Conference: Proceedings of the 5th Middleware doctoral symposium (s. 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. I 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. (s. 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

Viser resultater 3651 til 3700 ud af 6061

Forrige

Næste

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series