Publikationer

Søg publikationer fra Institut for Datalogi

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

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

Møller-Nielsen, P. & Gejl, J. (2005). Room #2 (Guirlanden, Aarhus Kunstbygning). Poster-session præsenteret på Room #2 (Guirlanden, Aarhus Kunstbygning), Aarhus, Danmark.

Hansen, F. A., Christensen, B. G. & Bouvin, N. O. (2005). RSS as a distribution medium for geo-spatial hypermedia. I Proceedings of the sixteenth ACM conference on Hypertext and hypermedia (s. 254-256). Association for Computing Machinery. https://doi.org/10.1145/1083356.1083410

Pagter, J. I., Toft, T., Damgård, I. B., Bogetoft, P., Nielsen, K. & Jakobsen, T. (2005). Secure Computing, Economy, and Trust - A Generic Solution for Secure Auctions with Real-World Applications. BRICS Report Series, (RS-05-18), 1-35.

Gardner, R. J., Hobolth, A., Jensen, E. B. V. & Sørensen, F. B. (2005). Shape discrimination by total curvature, with a view to cancer diagnostics. J. Microsc., 217, 49-59.

Damgård, I. B., Cramer, R. & Ishai, Y. (2005). Share Conversion, Pseudorandom Secret-Sharing and Applications to Secure Computation. I J. Killian (red.), Theory of Cryptography: Second Theory of Cryptography Conference, TCC 2005, Cambridge, MA, USA, February 10-12, 2005. Proceedings (s. 342-362). Springer. https://doi.org/10.1007/978-3-540-30576-7_19

Elbassioni, K., Katriel, I., Kutz, M. & Mahajan, M. (2005). Simultaneous Matchings. I ISAAC 2005 (s. 106-115). Springer.

Jensen, K. (red.) (2005). Sixth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools: Aarhus, Denmark, October 24-26, 2005. Department of Computer Science, Aarhus University.

Arge, L., Eppstein, D. & Goodrich, M. T. (2005). Skip-webs: Efficient distributed data structures for multi-dimensional data sets. I M. Aguilera & J. Aspners (red.), Proceedings of 24th ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (s. 69-76). Association for Computing Machinery. https://doi.org/10.1145/1073814.1073827

Andersen, P., Christensen, H. B., Ernst, E., Ingstrup, M. & Schultz, U. P. (2005). Software Architecture Contributions to Conceptual Framework Months 1-15. The Alexandra Institut. PalCom Working Note Nr. #66

Kohlenbach, U. (2005). Some Logical Metatheorems with Applications in Functional Analysis. Transactions of the American Mathematical Society, 357(1), 89-128.

Shapiro, D., Buscher, M., Ørbæk, P., Mogensen, P. H. & Christensen, M. (2005). Spatial Computing and Ambient Collaborative Environments for Design and Construction. I Proceedings of the 3rd international conference on innovation in architecture, engineering and construction (s. 199-210)

Jensen, K. & Podelski, A. (red.) (2005). Special section on: Tools and Algorithms for the Construction and Analysis of Systems - TACAS 2004: Barcelona, Spain, March 29 - April 2, 2004, Proceedings. Part of ETAPS 2004. Theoretical Computer Science, 345(1), 1-170. https://doi.org/10.1016/j.tcs.2005.07.034

Wells, L. M. (2005). Specifying and Analyzing Software Safety Requirements of a Frequency Converter Using Coloured Petri Nets. I G. Ciardo & P. Darondeau (red.), ICATPN 2005 (s. 403-423). Springer LNCS.

Lakos, C. & Kristensen, L. M. (2005). State Space Exploration of Object-Based Systems using Equivalence Reduction and the Sweep-line Method. I Third International Symposium on Automated Technology for Verification and Analysis (s. 187-201). Springer LNCS.

Bent, R., Katriel, I. & van Hentenryck, P. (2005). Sub-Optimality Approximations. I Springer LNCS 3709 (s. 122-136). Springer.

Bergin, J., Wallingford, E., Caspersen, M. E., Goldweber, M. & Kolling, M. (red.) (2005). Teaching polymorphism early. I 10th annual SIGCSE conference on Innovation and technology in computer science education, ITiCSE '05 Proceedings (Caparica, Portugal, June 27-29, 2005) (s. 342-343). Association for Computing Machinery. https://doi.org/10.1145/1067445.1067541

Clemensen, J., Larsen, S. B. & Ejskjær, N. (2005). Telemedical Treatment at Home of Diabetic Foot Ulcers. Journal of Telemedicine and Telecare, 11(Suppl. 2), S14-16.

Strandberg, B., Magård, E., Bak, J. L., Pedersen, M. B., Damgaard, C., Fredshavn, J. R., Løkke, H. & Nielsen, K. E. (2005). Terrestriske naturtyper 2004: NOVANA. Danmarks Miljøundersøgelser, Aarhus Universitet. Faglig rapport fra DMU Nr. 557 http://www2.dmu.dk/1_viden/2_Publikationer/3_fagrapporter/rapporter/FR557.PDF

MacKinnon, L., Bertelsen, O. W. & Bryan-Kinns, N. (red.) (2005). The 19th British HCI Group Annual Conference, The Bigger Picture, HCI 2005, Napier University, Edinburgh, 5-9 Sept, Proceedings Volume 2. The British Computer Society.

Breinbjerg, M., Caprani, O. & Lunding, R. (2005). The Acousmatic Music Environment: Musique Concret for Children.

Miltersen, P. B. (2005). The Computational Complexity of One-Dimensional Sandpiles. I S. B. Cooper, B. Löwe & L. Torenvliet (red.), New Computational Paradigms: First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005. Proceedings (s. 342-350). Springer. https://doi.org/10.1007/11494645_42

Møller, A. & Schwartzbach, M. I. (2005). The Design Space of Type Checkers for XML Transformation Languages. I Database Theory - ICDT 2005: 10th International Conference, Edinburgh, UK, January 5-7, 2005. Proceedings (s. 17-36). Springer. https://doi.org/10.1007/978-3-540-30570-5_2

Zheng, S. & Zhang, W. (2005). The DW Shortest Path Algorithm and Its Application In Logic Diagram Routing. Jisuanji Gongcheng, 31(19), 192-194.

Ernst, E. (2005). The Hardship of Software. I Proceedings of the workshop 'Software Engineering Properties of Languages and Aspect Technologies 2005' The Aspect-Oriented Software Association.

Bardram, J. E. (2005). The Java Context Awareness Framework (JCAF): A Service Infrastructure and Programming Framework for Context-Aware Applications. I Proceedings of the 3rd International Conference on Pervasive Computing (Pervasive 2005) (s. 98-115). Springer LNCS.

Danvy, O. & Goldberg, M. (2005). There and Back Again. Fundamenta Informaticae, 66(4), 397-413.

Gerhardy, P. (2005). The Role of Quantifier Alternations in Cut Elimination. Notre Dame Journal of Formal Logic, 46(2), 165-171.

Corry, A. V., Gjerlufsen, T. & Olsen, J. W. (2005). The Stone: Digital Support for (Un)common Pregnancies. I 3rd Scandinavian conference on Health Informatics (3 udg., s. 37-41). Aalborg University.

Viser resultater 4501 til 4550 ud af 6061

Forrige

Næste

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series