Publikationer

Søg publikationer fra Institut for Datalogi

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

Fitzi, M. (2005). Minimal complete primitives for unconditional multi-party computation. Journal of Cryptology, 18(1), 37-61.

Dindler, C., Eriksson, E., Iversen, O. S., Ludvigsen, M. & Lykke-Olesen, A. (2005). Mission from Mars: a method for exploring user requirements for children in a narrative space. I Proceeding of the 2005 conference on Interaction design and children (s. 40-47). Association for Computing Machinery.

Dindler, C., Ludvigsen, M., Lykke-Olesen, A., Eriksson, E. & Iversen, O. S. (2005). Mission from Mars - a method for exploring user requirements for children in a narrative space. I A. Eisenberg & M. Eisenberg (red.), Proceedings of the 2005 conference on Interaction design and children (s. 40-47). Association for Computing Machinery.

Hansen, T. R., Eriksson, E. & Lykke-Olesen, A. (2005). Mixed Interaction Space - Expanding the Interaction Space with Mobile Devices. I People and Computers XIX - The Bigger Picture Springer.

Hansen, T. R., Eriksson, E. & Lykke-Olesen, A. (2005). Mixed Interaction Spaces - a new interaction technique for mobile devices (demonstration). Poster-session præsenteret på Ubiquitous Computing Conference 2005, Tokyo, Japan.

Hansen, T. R., Eriksson, E. & Lykke-Olesen, A. (2005). Mixed Interaction Spaces - Designing for Camera Based Interaction with Mobile Devices. I CHI 05 (s. 1933 - 1936). Society for Industrial and Applied Mathematics.

Zhang, W. (2005). Mobile Role-Playing-Game Engine with J2ME. Computer Engineering and Applications, 41(33), 115-117.

Bardram, J. E. & Bossen, C. (2005). Mobility Work: The Spatial Dimension of Collaboration at a Hospital. Computer Supported Cooperative Work (CSCW): The Journal of Collaborative Computing and Work Practices, 14(2), 131-160.

Kristensen, L. M., Westergaard, M. & Nørgaard, P. C. (2005). Model-based Prototyping of an Interoperability Protocol for Mobile Ad-hoc Networks. I IFM 2005 (s. 266-286). Springer LNCS.

Barros, J. P. & Jørgensen, J. B. (2005). Model Transformations for an Elevator Controller: Coloured Petri Nets in Object-oriented Analysis and Design. I MOMPES Åbo Akademi.

Mosses, P. D. (2005). Modular Structural Operational Semantics. BRICS Report Series, (RS-05-7).

Kortbek, K. J. (2005). MORF. Abstract fra Collaborative Artifacts - Interactive Furniture Workshop, Château-d'Oex, Schweiz. http://www.daimi.au.dk/~kortbek/web/Publications/caif-booklet.pdf

Nielsen, J., Grønbæk, K. & Lykke-Olesen, A. (2005). MultiLightTracker: Vision Based Simultaneous Multi Object Tracking on Semi-Transparent Surfaces. Softwareprogram

Madsen, B. A., Byskov, J. M. & Skjernaa, B. (2005). New Algorithms for Exact Satisfiability. Theoretical Computer Science, 332(1-3), 515-541.

Mogensen, P. H. (2005). Next Generation Collaborative Working Environments. Collaboration@Work, The 2005 Report on new working environments and practices, 106-108.

Bødker, S. (2005). Nordic-Scottish HCI, panel for HCI2005, Edinburgh. I The 19th British HCI Group Annual Conference

Støvring, K. (2005). Normalization and Simple Types: PhD progress report. Department of Computer Science.

Bertelsen, O. W. & Zander, P.-O. (2005). Obstacles to Design in Volunteer Based Organisations. I Proceedings of the 5th Danish Human-Computer Interaction Research Symposium (s. 93-98). Copenhagen Business School.

Kjærgaard, M. B. (2005). On Abstraction Levels For Software Architecture Viewpoints. I W. C. Chu, N. J. Juzgado & W. E. Wong (red.), Procedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE 2005) (s. 424-429). Knowledge Systems Institute.

Pagter, J. I. (2005). On Ajtai’s Lower Bound Technique for R-way Branching Programs and the Hamming Distance Problem. Chicago Journal of Theoretical Computer Science.

Miltersen, P. B., Radhakrishnan, J. & Wegener, I. (2005). On converting CNF to DNF. Theoretical Computer Science, 347, 325-335.

Morozov, K. (2005). On Cryptographic Primitives Based on Noisy Channel. Aarhus Universitet.

Brodal, G. S., Fagerberg, R. & Moruz, G. (2005). On the Adaptiveness of Quicksort. I ALENEX05 (s. 130-140). Society for Industrial and Applied Mathematics.

Allender, E., Bürgisser, P., Kjeldgaard-Pedersen, J. & Miltersen, P. B. (2005). On the Complexity of Numerical Analysis. Electronic Colloquium on Computational Complexity, (TR05-037), 1-12.

Biernacki, D., Danvy, O. & Shan, K. (2005). On the Dynamic Extent of Delimited Continuations. Information Processing Letters, 96(1), 7-17. https://doi.org/10.1016/j.ipl.2005.04.003

Byskov, J. M., Madsen, B. A. & Skjernaa, B. (2005). On the Number of Maximal Bipartite Subgraphs of a Graph. Journal of Graph Theory, 48(2), 127-132.

Rohde, H. K. (2005). On the Recursive Enumerability of Fixed-Point Combinators. BRICS Report Series, (RS-05-34).

Biernacki, D. & Danvy, O. (2005). On the Static and Dynamic Extent of Delimited Continuations. BRICS Report Series, (RS-05-36).

Boudol, G. & Zimmer, P. (2005). On Type Inference in the Intersection Type Discipline. I Workshop on Intersection Types and Related Systems, ICALP-LICS 2004: Turku, Finland (Bind 136, s. 23-42)

Tetsuo, A., de Berg, M., Cheong, O., Everett, H., Haverkort, H. J., Katoh, N. & Wolff, A. (2005). Optimal Spanners for Axis-Aligned Rectangles. Computational Geometry, 30(1), 59-77.

Avgustinov, P., Christensen, A. S., Hendren, L., Kuzins, S., Lhot´ak, J., Lhot´ak, O., de Moor, O., Sereni, D., Sittampalam, G. & Tibble, J. (2005). Optimising AspectJ. I PLDI 2005 (s. 117-128). Association for Computing Machinery.

Hansen, K. M. & Ingstrup, M. (2005). Palpable Assemblies: Dynamic Service Composition in Ubiquitous Computing. I W. C. Chu, N. J. Juzgado & W. E. Wong (red.), Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (s. 632-638). Knowledge Systems Institute.

Skovenborg, E. (2005). Perceptual Features of Music and Speech - Measured by Listening Experiments, and Computer Modelled from Signal Analysis.

Du, Q. & Zhang, W. (2005). Performance optimization analysis based on oracle database application system. Jisuanji Gongcheng, 31(14), 91-93.

Wernersson, R., Schierup, M. H., Jørgensen, F. G., Gorodkin, J., Panitz, F., Staerfeldt, HH., Christensen, O. F., Mailund, T., Hornshøj, H., Klein, A., Jun, W., Liu, B., Hu, S., Dong, W., Li, W., Wong, GK.-S., Yu, J., Wang, J., Bendixen, C. ... Bolund, L. (2005). Pigs in Sequence Space: A 0.66X Coverage Pig Genome Survey based on Shotgun Sequencing. BMC Genomics, 6(70). http://www.biomedcentral.com/1471-2164/6/70

Bertelsen, O. W., Bouvin, N. O., Krogh, P. G. & Kyng, M. (red.) (2005). Proceedings of the CC 2005 Decennial Conference on Critical Computing: Between sense and sensibility. Association for Computing Machinery. http://portal.acm.org/citation.cfm?id=1094562&picked=prox&CFID=62292468&CFTOKEN=10234823

Cattani, G. L. & Winskel, G. (2005). Profunctors, open maps and bisimulation. Mathematical Structures in Computer Science, 15(3), 553-614.

Biernacka, M., Danvy, O. & Støvring, K. (2005). Program Extraction from Proofs of Weak Head Normalization. BRICS Report Series, (RS-05-12).

Ørbæk, P. (2005). Programming with Hierarchical Maps. Datalogisk Institut.

Christiansen, C., Mailund , Pedersen, C. N. S. & Randers, M. (2005). Quartet Distance between General Trees. I Proceedings of International Conference on Numerical Analysis and Applied Mathematics (ICNAAM) (s. 796-799)

Lambov, B. Z. (2005). Rates of Convergence of Recursively Defined Sequences. Electronic Notes in Computer Science, 120, 125-133.

Besenbacher, S., Mailund, Westh-Nielsen, L. & Pedersen, C. N. S. (2005). RBT—A Tool for Building Refined Buneman Trees. Bioinformatics, 21(8), 1711-1712.

Lambov, B. Z. (2005). RealLib: an Efficient Implementation of Exact Real Arithmetic. I T. Grubba, P. Hertling, H. Tsuiki & K. Weihrauch (red.), econd International Conference on Computability and Complexity in Analysis, CCA 2005 Proceedings (Kyoto, Japan, August 25-29, 2005) (s. 169-175)

Mosegaard, J. & Sørensen, T. S. (2005). Real-time Deformation of Detailed Geometry Based on Mappings to a Less Detailed Physical Simulation on the GPU. I 11th Eurographics Workshop on Virtual Enviroments (s. 105-111). European Association for Computer Graphics.

Brodersen, A. T. (2005). Real-Time Visualization of Large Textured Terrains. I Graphite 2005 (3 udg., s. 439-442). Association for Computing Machinery.

Hansen, F. A. (2005). Representing Context in Hypermedia Data Models. I International Workshop on Context in Mobile HCI http://mobilehci.icts.sbg.ac.at/context/papers/hansen.pdf

Hansen, L. K., Pedersen, P. D. & Eriksson, E. (2005). Rethinking information handling: designing for information offload. I O. W. Bertelsen, N. O. Bouvin, P. G. Krogh & M. Kyng (red.), 4th Decennial Conference on Critical Computing: Between sense and sensibility, CC 2005 Proceedings (Aarhus, Denmark August 20-24, 2005) (s. 161-164). Association for Computing Machinery. https://doi.org/10.1145/1094562.1094589

Zhang, W. & Jarzabek, S. (2005). Reuse without Compromising Performance: Industrial Experience from RPG Software Product Line for Mobile Devices. I Software Product Lines: 9th International Software Product Line Conference (SPLC2005). Proceedings (Bind LNCS3714, s. 57-69). Springer. https://doi.org/10.1007/11554844_7

Bennedsen, J. & Caspersen, M. E. (2005). Revealing the programming process. I W. Dann, T. L. Naps, P. T. Tymann & D. Baldwin (red.), Proceedings of the 36th SIGCSE Technical Symposium on Computer Science Education, SIGCSE 2005 (St. Louis, Missouri, USA, February 23-27, 2005) (s. 186-190). Association for Computing Machinery. https://doi.org/10.1145/1047124.1047413

Frandsen, G. S. & Miltersen, P. B. (2005). Reviewing Bounds on the Circuit Size of the Hardest Functions. Information Processing Letters, 95(2), 354-357. https://doi.org/10.1016/j.ipl.2005.03.009

Viser resultater 4501 til 4550 ud af 6089

Forrige

Næste

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series