Publikationer

Søg publikationer fra Institut for Datalogi

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

Schulz, H.-J., Nocke, T. & Schumann, H. (2006). A Framework for Visual Data Mining of Structures. -, 48, 157-166. http://crpit.com/abstracts/CRPITV48Schulz.html

Luyten, K., Thys, K., Vermeulen, J. & Coninx, K. (2006). A Generic Approach For Multi-Device User Interface Rendering With UIML. I Computer-Aided Design Of User Interfaces V, Proceedings of the Sixth International Conference on Computer-Aided Design of User Interfaces, CADUI 2006 6-8 June 2006, Bucharest, Romania (s. 175-182) https://doi.org/10.1007/978-1-4020-5820-2_14

Lee, J., Deng, X. & Bogor, R. (2006). A k-Bounded Symbolic Execution for Checking Strong Heap Properties of Open Systems. I Proceedings of Conference on Automated Software Engineering: ASE'06 (s. 157-166). IEEE Computer Society Press.

Arge, L. & Freivalds, R. M. (red.) (2006). Algorithm Theory - SWAT 2006: 10th Scandinavian Workshop on Algorithm Theory, Riga, Latvia, July 6-8, 2006. Proceedings. Springer. Lecture Notes in Computer Science Bind 4059

Jørgensen, J. B. & Lassen, K. B. (2006). Aligning Work Processes and the Adviser Portal Bank System. I Proceedings of the 13th Annual IEEE International Symposium and Workshop on Engineering of Computer Based Systems: RENBITA 2005 (s. 259 - 268). IEEE Computer Society Press.

Breinbjerg, M., Caprani, O. & Lunding, R. (2006). An Acousmatic Composition Environment: (Poster). I 6 th international conference on New Interfaces for Musical Expression (s. 334-337)

Breinbjerg, M., Caprani, O. & Lunding, R. (2006). An Acousmatic Music Environment. I ICMC 06 - International Computer Music Conference (s. 580-584). International Computer Music Association.

Madsen, B. A. (2006). An Algorithm for Exact Satisfiability Analysed with the Number of Clauses as Parameter. Information Processing Letters, 97(1), 28-30.

Brabrand, C., Giegerich, R. & Møller, A. (2006). Analyzing Ambiguity of Context-Free Grammars. BRICS Report Series, (RS-06-09).

Danvy, O. (2006). An Analytical Approach to Program as Data Objects. BRICS Research Series.

Kjærgaard, M. B. (2006). An API for Integrating Spatial Context Models with Spatial Reasoning Algorithms. I Proceedings of the 3rd Workshop on Context Modelling and Reasoning (PerCom 2006) (s. 18-23). IEEE. https://doi.org/10.1109/PERCOMW.2006.19

Toft, T. (2006). An efficient, unconditionally secure equality test for secret shared values. I Proceedings of the 2006 Workshop on Models for Cryptographic Protocols

Agarwal, S. & Frandsen, G. S. (2006). A New GCD Algorithm for Quadratic Number Rings with Unique Factorization. I J. R. Correa, A. Hevia & M. A. Kiwi (red.), LATIN 2006: Theoretical Informatics, Proceedings of 7th Latin American Symposium (Valdivia, Chile, March 20-24, 2006) (s. 30-42). Springer. https://doi.org/10.1007/11682462_8

Damgård, I. B. & Frandsen, G. S. (2006). An Extended Quadratic Frobenius Primality Test with Average- and Worst-Case Error Estimate. Journal of Cryptology, 19(4), 489-520. https://doi.org/10.1007/s00145-006-0332-x

Sørensen, T. S. & Mosegaard, J. (2006). An Introduction to GPU Accelerated Surgical Simulation. I Lecture Notes in Computer Science (4072 udg., s. 93-104)

Sørensen, T. S. & Mosegaard, J. (2006). An Introduction to GPU Accelerated Surgical Simulation. I Lecture Notes in Computer Science (Bind 4072, s. 93-104). Springer.

Møller, A. & Schwartzbach, M. I. (2006). An Introduction to XML and Web Technologies. Addison-Wesley.

Krukow, K. (2006). An Operational Semantics for Trust Policies. I WITS '06: 6th International Workshop on Issues in the Theory of Security (Bind www.brics.dk/RS/05/30/). Springer.

Caspersen, M. E. & Kölling, M. (2006). A novice's process of object-oriented programming. I P. L. Tarr & W. R. Cook (red.), OOPSLA '06: Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (s. 892-900). Society for Industrial and Applied Mathematics. https://doi.org/10.1145/1176617.1176741

Gerhardy, P. (2006). Applications of Proof Interpretations.

Bertelsen, O. W. & Zander, P.-O. (2006). Appropriation in the development of information systems for voluntary organizations. I Proceedings of ECIS 2006, Gothenburg, June 2006 (1. udg.)

Bertelsen, O. W. & Zander, P.-O. (2006). Appropriation in the development of information systems for voluntary organizations. I Proceedings of ECIS 2006

Damgård, I. B., Toft, T., Pagter, J. I., Jakobsen, T., Bogetoft, P. & Nielsen, K. (2006). A Practical Implementation of Secure Auctions Based on Multiparty Integer Computation. I G. Di Crescenzo & A. Rubin (red.), Financial Cryptography and Data Security: 10th International Conference, FC 2006 Anguilla, British West Indies, February 27-March 2, 2006 Revised Selected Papers (s. 142-147). Springer. https://doi.org/10.1007/11889663_10

Zhang, W. & Kunz, T. (2006). A Product Line Enhanced Unified Process. I Q. Wang, D. Pfahl, D. M. Raffo & P. Wernick (red.), Software Process Change: International Software Process Workshop and International Workshop on Software Process Simulation and Modeling, SPW/ProSim 2006, Shanghai, China, May 20-21, 2006. Proceedings (s. 142-149). Springer. https://doi.org/10.1007/11754305_16

Dax, C., Hofmann, M. & Lange, M. (2006). A Proof System for the Linear Time μ-Calculus. I FSTTCS '06: Foundations of Software Technology and Theoretical Computer Science, 26th International Conference (s. 273-284). Springer LNCS. https://doi.org/10.1007/11944836_26

Gerhardy, P. (2006). A Quantitative Version of Kirk's Fixed Point Theorem for Asymptotic Contractions. Journal of Mathematical Analysis and Applications, 316(1), 339-345.

Danvy, O. & Millikin, K. (2006). A Rational Deconstruction of Landin's J Operator. BRICS Report Series, (RS-06-17). http://www.brics.dk/RS/06/17/BRICS-RS-06-17.pdf

Zhang, W. (2006). Architecture Based Configuration Management. High Technology Letters, 110-116.

Hansen, K. M. & Thomsen, J. (2006). ARex. Software

Biernacki, D. & Danvy, O. (2006). A Simple Proof of a Folklore Theorem about Delimited Control. Journal of Functional Programming, 16(3), 269-280.

Frandsen, G. S. & Schwartzbach, M. I. (2006). A singular choice for multiple choice. ACM SIGCSE Bulletin, 38(4), 34-38. https://doi.org/10.1145/1189136.1189164

Brønsted, J., Hansen, K. M. & Thorup, R. (2006). A Uniform Publish-Subscribe Infrastructure for Communication in Wireless Mobile Environments. I 6th International Conference on ITS Telecommunications Proceedings: ITST2006 (s. 1145-1150). IEEE Press. https://doi.org/10.1109/ITST.2006.288809

Kjærgaard, M. B. (2006). Automatic Mitigation of Sensor Variations for Signal Strength Based Location Systems. I Proceedings of 2nd International Workshop on Location- and Context-Awareness (LoCA 2006) (Bind LNCS 3987, s. 30-47). Springer. https://doi.org/10.1007/11752967_3

Ernst, E., Ostermann, K. & Cook, W. R. (2006). A Virtual Class Calculus. I Proceedings of Conference Record of POPL 2006: The 33rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (s. 270-282). Association for Computing Machinery. https://doi.org/10.1145/1111320.1111062

Bardram, J., Hansen, T. R. & Søgaard, M. (2006). AwareMedia - A Shared Interactive Display Supporting Social, Temporal, and Spatial Awareness in Surgery. I Proceedings of the 2006 20th anniversary conference on Computer Supported Cooperative Work (s. 109-118). Society for Industrial and Applied Mathematics. https://doi.org/10.1145/1180875.1180892

Corry, A. V., Ingstrup, M. & Larsen, S. B. (2006). Beyond the Archive: Thinking CSCW into EHRs for Home Care. I 1st International Conference on Pervasive Computing Technologies for Healthcare: First International Workshop on Connected Health: Using IT to Integrate the HealthCare Enterprise IEEE. https://doi.org/10.1109/PCTHEALTH.2006.361695

Salvail, L. & Arrighi, P. (2006). Blind Quantum Computation. International Journal of Quantum Information, 4(5), 883-898.

Heljanko, K., Junttila, T. A., Keinänen, M., Lange, M. & Latvala, T. (2006). Bounded Model Checking for Weak Alternating Büchi Automata. I T. Ball & R. B. Jones (red.), CAV ´06: Computer Aided Verification, 18th International Conference (s. 95-108) https://doi.org/10.1007/11817963_12

Westergaard, M. & Lassen, K. B. (2006). Building and Deploying Visualizations of Coloured Petri Net Models Using BRITNeY Animation and CPN Tools. I Proceedings of Sixth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, volume PB-576 of DAIMI (s. 119-136)

Brodal, G. S. & Fagerberg, R. (2006). Cache-oblivious String Dictionaries. I SODA '06 Proceedings of the seventeenth annual ACM-SIAM symposium on Discrete algorithm (s. 581-590). Association for Computing Machinery. https://doi.org/10.1145/1109557.1109621

Bødker, S., Sutcliffe, A., Karat, J. & Gavel, B. (2006). Can we measure quality in design and do we need to? Panel. I Proceedings of the 6th ACM conference on Designing Interactive systems (s. 119-121). Association for Computing Machinery.

Mosegaard, J. (2006). Cardiac Surgery Simulation.

Palen, L. A., Grinter, R. & Eldridge, M. (2006). Chatting with Teenagers: Considering the Place of Chat Technologies in Teen Life. ACM Transactions on Computer-Human Interaction, 13(4).

Hansen, K. A., Miltersen, P. B. & Vinay, V. (2006). Circuits on Cylinders. Computational Complexity, 15(1), 62-81. https://doi.org/10.1007/s00037-006-0207-4

Pedersen, H. & Boomsma, W. (2006). Classifying Parasite Eggs in Microscope Images. Software http://www.daimi.au.dk/~henrikp/publications/ClassifyingParasiteEggs.pdf

Bødker, S. & Christiansen, E. (2006). Computer support for social awareness in flexible work. Computer Supported Cooperative Work (CSCW): The Journal of Collaborative Computing and Work Practices, 15(1), 1-28.

Miltersen, P. B. (2006). Computing sequential equilibria for two-player games. I Proc. 17th Annual ACM-SIAM Symposium on Discrete Algorithms (SODA'06) (s. 107-116). ACM-SIAM.

Miltersen, P. B. & Sørensen, T. B. (2006). Computing Sequential Equilibria for Two-Player Games. I Proceedings of the Seventeenth Annual ACM-SIAM Symposium on Discrete Algorithms (1 udg., s. 107-116). Association for Computing Machinery.

Hansen, K. A. (2006). Constant Width and Constant Depth Computation.

Viser resultater 4201 til 4250 ud af 6139

Forrige

Næste

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series