Publikationer

Søg publikationer fra Institut for Datalogi

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

Hansen, K. M., Jónasson, K. & Neukirchen, H. (2009). An Empirical Study of Open Source Software Architectures' Effect on Product Quality. Stofnun Árna Magnúrssonar á Íslandi. http://notendur.hi.is/kmh/doc/vhi-01-2009.pdf

Christensen, H. B., Hansen, K. M. & Schougaard, K. R. (2009). An Empirical Study of Software Architects’ Concerns. I S. Sulaiman & N. M. M. Noor (red.), Proceedings of the 16th Asia-Pacific Software Engineering Conference (APSEC 09) (s. 111-118). IEEE Press. https://doi.org/10.1109/APSEC.2009.12

Zhang, W. & Hansen, K. M. (2009). An Evaluation of the NSGA-II and MOCell Genetic Algorithms for Self-management Planning in a Pervasive Service Middleware. I Proceedings of the 14th IEEE International Conference on Enginerring of Complex Computer Systems (ICECCS 2009) (s. 192-201). IEEE Press. https://doi.org/10.1109/ICECCS.2009.17

Hansen, K. A. & Koucký, M. (2009). A new characterization of ACC⁰ and probabilistic CC⁰. I 2009 24th Annual IEEE Conference on Computational Complexity (s. 27-34). IEEE. https://doi.org/10.1109/CCC.2009.15

Westergaard, M., Kristensen, L. M. & Kuusela, M. (2009). A Prototype for Cosimulating SystemC and Coloured Petri Net Models. Daimi Report Series (DAIMI PB), (590), 1-20.

Mailund, T., Nielsen, J. & Pedersen, C. S. (2009). A Quadratic Time Algorithm for Computing the Quartet Distance between Two General Trees. I Proceedings of IJCBS 2009 (s. 565-568). IEEE Computer Society Press. https://doi.org/10.1109/IJCBS.2009.42

Ingstrup, M., Zhang, W., Hansen, K. M. & Fernandes, J. M. (2009). Architecting Self-Management in the Hydra Middleware. I A. Brinkmann, H.-J. Eikerling & M. Z. Aziz (red.), Proceedings of the 1st International Workshop on Distributed Computing in Ambient Environments: proceedings co-located with the 32nd Annual Conference on Artificial Intelligence Paderborn, September 15th, 2009 (s. 1-12). COMSATS Institue of Information Technology, Islamabad. http://www.iis.uni-hildesheim.de/files/staff/bach/KI-2009-WS-Web.pdf

Christensen, H. B. & Hansen, K. M. (2009). Architectural Competence and Maturity: Software Architecture at Work : Technical Report , no. 2. Department of Computer Science, University of Aarhus.

Westergaard, M., Evangelista, S. & Kristensen, L. M. (2009). ASAP: An Extensible Platform for State Space Analysis. Lecture Notes in Computer Science, 303-312. https://doi.org/10.1007/978-3-642-02424-5_18

Bødker, S. (2009). A sense of direction for participatory design? I A. L. Sannino, H. Daniels & K. Gutiérrez (red.), Learning and expanding with activity theory (s. 274-285). Cambridge University Press.

Abam, M., de Berg, M. & Gudmundsson, J. (2009). A simple and efficient kinetic spanner . Computational Geometry, 43(3), 251-256.

Grunnet, N., Bödvarsson, M., Jakobsen, A., Kyllönen, L., Olausson, M., Pfeffer, P. & Sørensen, S. S. (2009). Aspects of present and future data presentation in Scandiatransplant. Transplantation Proceedings, 41(2), 732-5. https://doi.org/10.1016/j.transproceed.2009.01.032

Christensen, H. B. (2009). A story-telling approach for a software engineering course design. SIGCSE Bulletin Inroads, (3), 60-64. http://delivery.acm.org/10.1145/1570000/1562901/p60-christensen.pdf?key1=1562901&key2=1668146621&coll=Portal&dl=GUIDE&CFID=78305996&CFTOKEN=42596960

Christensen, H. B. (2009). A Story-Telling Approach for a Software Engineering Course Design. I P. Brézillon (red.), Annual Joint Conference Integrating Technology into Computer Science Education, ITiCSE 2009: Proceedings (s. 60-64). Association for Computing Machinery. https://doi.org/10.1145/1562877.1562901

Hansen, M. T. (2009). Asynchronous Group Key Distribution on top of the CC2420 Security Mechanisms for Sensor Networks. I D. Basin, S. Capkun & W. Lee (red.), The 2nd ACM onference On Wireless Network Security, WiSec '09: Proceedings (s. 13-20). Association for Computing Machinery. https://doi.org/10.1145/1514274.1514277

Damgård, I. B., Geisler, M., Krøigaard, M. & Nielsen, J. B. (2009). Asynchronous Multiparty Computation: Theory and Implementation. Lecture Notes in Computer Science, 5443, 160-179. https://doi.org/10.1007/978-3-642-00468-1_10

Kristensen, T. G., Nielsen, J. & Pedersen, C. N. S. (2009). A tree based method for the rapid screening of chemical fingerprints. Lecture Notes in Computer Science, 5724, 194-205. https://doi.org/10.1007/978-3-642-04241-6_17

Liboriussen, P., Pedersen, B. P., Ifrim, G., Nissen, P. & Pedersen, C. S. (2009). Automatic classification of P-Type ATPases using SLR. Poster-session præsenteret på 17th Annual International Conference on Intelligent Systems for Molecular Biology (ISMB) & 8th European Conference on Computational Biology (ECCB), Stockholm, Sverige.

Büscher, M., Christensen, M., Hansen, K. M., Mogensen, P. H. & Shapiro, D. (2009). Bottom-up, top-down? Connecting software architecture design with use. I A. Voss, M. Hartswood, J. K. Ho, R. Procter, M. Rouncefield, R. Slack & M. Büscher (red.), Configuring user-designer relations: Interdisciplinary perspectives (s. 157-191). Springer. https://doi.org/10.1007/978-1-84628-925-5_8

Simonsen, M., Mailund, T. & Pedersen, C. S. (2009). Building very large neighbour-joining trees. Poster-session præsenteret på 17th Annual International Conference on Intelligent Systems for Molecular Biology (ISMB) & 8th European Conference on Computational Biology (ECCB), Stockholm, Sverige.

Afshani, P., Hamilton, C. & Zeh, N. (2009). Cache-oblivious range reporting with optimal queries requires superlinear space. I Proceedings of the 25th annual symposium on Computational geometry (s. 277-286). Association for Computing Machinery. https://doi.org/10.1145/1542362.1542412

Arge, L., de Berg, M. & Haverkort, H. (2009). Cache-Oblivious R-trees. Algorithmica, 53(1), 50-68. https://doi.org/10.1007/s00453-007-9007-8

Bohøj, M. & Bouvin, N. O. (2009). Collaborative Time-based Case Work. I C. Cattuto, G. Ruffo & F. Menczer (red.), Proceedings of the 20th ACM conference on Hypertext and Hypermedia (Bind SESSION: Applications, s. 141-146). Association for Computing Machinery. https://doi.org/10.1145/1557914.1557940

Jensen, K. & Kristensen, L. M. (2009). Coloured Petri Nets: Modelling and Validation of Concurrent Systems. Springer. https://doi.org/10.1007/b95112

Lassen, K. B. & van der Aalst, W. M. P. (2009). Complexity Metrics for Workflow Nets. Information and Software Technology, 51(3), 610-626.

Toft, T. (2009). Constant-Rounds, Almost-Linear Bit-Decomposition of Secret Shared Values. Lecture Notes in Computer Science, 357-371. https://doi.org/10.1007/978-3-642-00862-7_24

Midtgaard, J. & Jensen, T. P. (2009). Control-flow analysis of function calls and returns by abstract interpretation. I G. Hutton & T. Andrew (red.), Proceedings of the 14th ACM SIGPLAN International Conference on Functional Programming (s. 287-298). Association for Computing Machinery. https://doi.org/10.1145/1596550.1596592

Jørgensen, A. G., Brodal, G. S., Mølhave, T. & Moruz, G. (2009). Counting in the Presence of Memory Faults. Lecture Notes in Computer Science, 5878, 842-851. https://doi.org/10.1007/978-3-642-10631-6_85

Marti, P., Pollini, A., Rullo, A., Giusti, L. & Grönvall, E. (2009). Creative interactive play for disabled children. I P. Paolini, F. Garzotto & F. Garzotto (red.), Proceedings of the 8th International Conference on Interaction Design and Children: WORKSHOP SESSION: Creative interactive play for disabled children (s. 313-316). Association for Computing Machinery. https://doi.org/10.1145/1551788.1551871

Nielsen, J. J., Grønbæk, L. J., Schwefel, H.-P., Renier, T. J. & Toftegaard, T. S. (2009). Cross - Layer Optimization of Multipoint Message Broadcast in MANETs. I E E E Wireless Communications and Networking Conference. Proceedings, 1-6. https://doi.org/10.1109/WCNC.2009.4917654

Jørgensen, A. G. & Brodal, G. S. (2009). Data Structures for Range Median Queries. Lecture Notes in Computer Science, 842-851. https://doi.org/10.1007/978-3-642-10631-6_83

Godsk, T. & Kjærgaard, M. B. (2009). Decision Making for Cattle using Movement-based Pattern Recognition. Poster-session præsenteret på Joint International Agricultural Conference, JIAC, Wageningen, Holland.

Noe, K. Ø. (2009). Deformable Image Registration for Use in Radiotherapy: Using GPU Acceleration. Aarhus Universitetsforlag.

Milagro, F., Antolin, P., Fernandes, J. M., Zhang, W., Hansen, K. M. & Kool, P. (2009). Deploying Pervasive Web Services over a P2P Overlay. I S. M. Reddy (red.), Proceedings of the 18th International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises (s. 240-245). IEEE Computer Society Press. https://doi.org/10.1109/WETICE.2009.39

Hansen, K. A. (2009). Depth Reduction for Circuits with a Single Layer of Modular Counting Gates. Lecture Notes in Computer Science, 5675, 117-128. https://doi.org/10.1007/978-3-642-03351-3_13

Petersen, M. G. & Krogh, P. (2009). Design Articulations for Aesthetics of Interaction. I 4th Designing Pleasurable Products and Interfaces (DPPI) Association for Computing Machinery.

Petersen, M. G., Ljungblad, S. & Håkansson, M. (2009). Designing for Playful Photography. New Review of Hypermedia and Multimedia, 15(2), 193-209.

Sørensen, T. S., Beerbaum, P., Mosegaard, J. & Greil, G. F. (2009). Developing and Evaluating Virtual Cardiotomy for Preoperative Planning in Congenital Heart Disease. I Medicine Meets Virtual Reality 17 (s. 340-345). IOS Press. https://doi.org/10.3233/978-1-58603-964-6-340

Brix, L., Christoffersen, C. P. V., Kristiansen, M. S. & Sørensen, T. S. (2009). Development of a Semi-Automatic Technique for Flow Estimation using Optical Flow Registration and k-means Clustering on Two Dimensional Cardiovascular Magnetic Resonance Flow Images. Poster-session præsenteret på 27. Danske medicotekniske landsmøde, Brædstrup, Danmark.

Bunde-Pedersen, J. B. (2009). Distributed Interaction for Activity-Based computing. Aarhus Universitetsforlag.

Geisler, M. J. & Smart, N. P. (2009). Distributing the Key Distribution Centre in Sakai-Kasahara Based Systems. Lecture Notes in Computer Science, 252-262. https://doi.org/10.1007/978-3-642-10868-6_15

Brodal, G. S., Kaporis, A. C., Sioutas, S., Tsakalidis, K. & Tsichlas, K. (2009). Dynamic 3-sided Planar Range Queries with Expected Doubly Logarithmic Time. Lecture Notes in Computer Science, 5878, 193-202. https://doi.org/10.1007/978-3-642-10631-6_21

Frandsen, G. S. & Frandsen, P. F. (2009). Dynamic Matrix Rank. Theoretical Computer Science, 410(41), 4085-4093. https://doi.org/10.1016/j.tcs.2009.06.012

Riva, O., Kristensen, M. D. & Porras, J. (2009). Dynamic Resource Management and Cyber Foraging. I B. Garbinato, H. Miranda & L. Rodrigues (red.), Middleware for Network Eccentric and Mobile Applications (s. 349-368). Springer.

Evangelista, S. & Kristensen, L. M. (2009). Dynamic State Space Partitioning for External Memory Model Checking. Lecture Notes in Computer Science, 70-85. https://doi.org/10.1007/978-3-642-04570-7_7

Danvy, O. & Padget, J. (2009). Editorial. Higher-Order and Symbolic Computation, 22(1), 1-1. https://doi.org/10.1007/s10990-009-9041-0

Danvy, O. & Talcott, C. (2009). Editorial. Higher-Order and Symbolic Computation, 22(2), 113-113. https://doi.org/10.1007/s10990-009-9045-9

Bertelsen, O. W., Breinbjerg, M. & Pold, S. (2009). Emerging Materiality: Reflections on creative use of software in electronic music composition. Leonardo, 42(3), 197-202. https://doi.org/10.1162/leon.2009.42.3.197

Blunck, H., Kjærgaard, M. B., Godsk, T., Toftkjær, T., Christensen, D. L. & Grønbæk, K. (2009). Empirical Analysis and Characterization of Indoor GPS Signal Fading and Multipath Conditions. I Proceedings of the 22nd International Technical Meeting of the Satellite Division of the Institute of Navigation (GNSS 2009) (Bind Session 2E, s. 2363). The Institute of Navigation.

Andersen, J. & Hansen, M. T. (2009). Energy Bucket: A Tool for Power Profiling and Debugging of Sensor Nodes. I C. Paleologu (red.), The Third International Conference on Sensor Technologies and Applications, SENSORCOMM 2009 (s. 132-138). IEEE Computer Society Press. https://doi.org/10.1109/SENSORCOMM.2009.29

Viser resultater 3451 til 3500 ud af 6083

Forrige

Næste

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series