Publikationer

Søg publikationer fra Institut for Datalogi

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

Krukow, K., Nielsen, M. & Sassone, V. (2009). Probabilistic Computational Trust. I Perspectives in Concurrency Theory (s. 295-316). Universities Press (India).

Damgård, I. B. & Lunemann, C. (2009). Quantum-Secure Coin-Flipping and Applications. Lecture Notes in Computer Science, 52-69. https://doi.org/10.1007/978-3-642-10366-7_4

Sørensen, T. S., Atkinson, D., Schaeffter, T. & Hansen, M. S. (2009). Real-time Reconstruction of Sensitivity Encoded Radial Magnetic Resonance Imaging Using a Graphics Processing Unit. IEEE Transactions on Medical Imaging, 28(12), 1974-1985. https://doi.org/10.1109/TMI.2009.2027118

Arge, L. A. (2009). Recent Advances in Worst-Case Efficient Range Search Indexing (Invited Paper). Lecture Notes in Computer Science, 3-4. https://doi.org/10.1007/978-3-642-02982-0_2

Kristensen, T. G. (2009). Recombining Angles in Differential Evolution. I IEEE Congress on Evolutionary Computation, CEC 2009 (s. 3353 - 3356). IEEE Press. https://doi.org/10.1109/CEC.2009.4983370

Petersen, M. G., Ludvigsen, M. & Krogh, P. (2009). Reconnecting Actions and Consequences. I First International Workshop on Expressive Interactions for Sustainability and Empowerment (EISE 2009): Session 4: Near-end Development for Empowerment BCS, The Chartered Institute for IT.

Danvy, O. & Millikin, K. (2009). Refunctionalization at Work. Science of Computer Programming, 74(8), 534-549. https://doi.org/10.1016/j.scico.2009.02.001

Uhrmacher, A. M., Schulz, H.-J., Schumann, H., Schwabe, L. & Timmermann, D. (2009). Regenerative Systems - Challenges and Opportunities for Modeling, Simulation, and Visualization. I G. Stea, J. Mairesse & J. Mendes (red.), Proceedings of the 4th International Conference on Performance Evaluation Methodologies and Tools Artikel 45. https://doi.org/10.4108/ICST.VALUETOOLS2009.7907

Abam, M., de Berg, M., Farshi, M. & Gudmundsson, J. (2009). Region-fault tolerant geometric spanners. Discrete & Computational Geometry, 41(4), 556-582. https://doi.org/10.1007/s00454-009-9137-7

Klokmose, C. N. & Zander, P.-O. (2009). Rethinking laboratory notebooks with ubiquitous instrumental interaction. I J. Molka-Danielsen (red.), Proceedings of the 32nd Information Systems Research Seminar in Scandinavia, IRIS 32, Inclusive Design (s. A14). TAPIR Akademisk Forlag. http://www.himolde.no/index.cfm/pageID/2483

Kristensen, M. D. (2009). Scavenger: Cyber Foraging Framework. Softwareprogram http://code.google.com/p/scavenger-cf/

Evangelista, S. & Kristensen, L. M. (2009). Search-Order Independent State Caching. Daimi Report Series (DAIMI PB), 219-239.

Reistad, T. & Toft, T. (2009). Secret Sharing Comparison by Transformation and Rotation. Lecture Notes in Computer Science, 169-180. https://doi.org/10.1007/978-3-642-10230-1_14

Andersen, J. (2009). Secure Group Formation Protocol for a Medical Sensor Network Prototype. I S. Marusic, M. Palaniswami, J. Gubbi & Y. W. Law (red.), Proceedings of the 2009 Fifth International Conference on Intelligent Sensors, Sensor Networks and Information Processing (s. 343-348). IEEE.

Bøgetoft, P., Lund Christensen, D., Damgård, I. B., Geisler, M., Jacobsen, T., Krøigaard, M., Nielsen, J. D., Nielsen, J. B., Nielsen, K., Pagter, J. I., Schwartzbach, M. I., Toft, T. & Nielsen, K. (2009). Secure Multiparty Computation Goes Live. Lecture Notes in Computer Science, 5628, 325-343. https://doi.org/10.1007/978-3-642-03549-4_20

Telelis, O., Gourvès, L. & Monnot, J. (2009). Selfish Scheduling with Setup Times. Lecture Notes in Computer Science, 292-303. https://doi.org/10.1007/978-3-642-10841-9_27

Christensen, H. B. & Hansen, K. M. (2009). Slutrapport, forår 2009: Software Architecture at Work: teknisk rapport, nr. 3. Department of Computer Science, Aarhus University.

Borchorst, N. G. (2009). Social Navigation and User Contributions within the Sphere of Public Digital Services. I J. Molka-Danielsen (red.), Proceedings of the 32nd Information Systems Research Seminar in Scandinavia, IRIS 32, Inclusive Design TAPIR Akademisk Forlag. http://www.himolde.no/index.cfm/pageID/2483

Bielikova, M., Nielsen, M., Kucera, A., Miltersen, P. B., Palamidessi, C., Tuma, P. & Valencia, F. (red.) (2009). SOFSEM 2009: Theory and Practice of Computer Science: 35th Conference on Current Trends in Theory and Practice of Computer Science, Špindleruv Mlýn, Czech Republic, January 24-30, 2009. Proceedings. Springer. Lecture Notes in Computer Science Bind 5404 https://doi.org/10.1007/978-3-540-95891-8

Toft, T. (2009). Solving Linear Programs Using Multiparty Computation. Lecture Notes in Computer Science, 5628, 90-107. https://doi.org/10.1007/978-3-642-03549-4_6

Dalsgaard, P. & Kortbek, K. J. (2009). Staging urban atmospheres in interaction design. I Nordes 2009: Engaging Artifacts

Britz, D., Oldham, K. B. & Østerby, O. (2009). Strategies for damping the oscillations of the alternating direction implicit method of simulation of diffusion-limited chronoamperometry at disk electrodes. Electrochimica Acta, 54, 4822-4828.

Rohde, J., Wolff, S. & Toftegaard, T. S. (2009). Strategies For Releasing The Green Potential In Home Automation. Proceedings of the Wireless Personal Multimedia Communications Symposia.

Aarhus, R., Ballegaard, S. A. & Hansen, T. R. (2009). SundtHjem projektet: Et forskningsprojekt om sundhedsteknologi til hjemmet med gravide diabetikere som case. Department of Computer Science, Aarhus University.

Ballegaard, S. A. & Aarhus, R. (2009). Teknologiers mellemkomst i ambulant behandling og egenomsorg: med fokus på gravide kvinder med diabetes. Tidsskrift for Forskning i Sygdom og Samfund, (11), 71-85.

Jensen, K. (red.) (2009). Tenth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools: Aarhus, Denmark, October 19-21, 2009. Department of Computer Science, Aarhus University.

Westergaard, M. & Kristensen, L. M. (2009). The Access/CPN Framework: A Tool for Interacting With the CPN Tools Simulator. Lecture Notes in Computer Science, 313-322. https://doi.org/10.1007/978-3-642-02424-5_19

Feldthaus, A. & Møller, A. (2009). The Big Manual for the Java String Analyzer: Latest release: version 2.1-1, November 30, 2009. http://www.brics.dk/JSA/

Bødker, S., Zander, P.-O. & Borchorst, N. G. (2009). The boundaries of participatory citizenship. I I. Wagner, H. Tellioglu, E. Balka, C. Simone & L. Ciolfi (red.), Proceedings of the 11th European Conference on Computer Supported Cooperative Work, (ECSCW) (s. 1-20). Springer. https://doi.org/10.1007/978-1-84882-854-4_1

Evangelista, S., Westergaard, M. & Kristensen, L. M. (2009). The ComBack Method Revisited: Caching Strategies and Extension with Delayed Duplicate Detection. Lecture Notes in Computer Science, 5800, 189-215. https://doi.org/10.1007/978-3-642-04856-2_8

Andersson, D. & Miltersen, P. B. (2009). The complexity of solving stochastic games on graphs. Lecture Notes in Computer Science, 112-121. https://doi.org/10.1007/978-3-642-10631-6_13

Aarhus, R., Ballegaard, S. A. & Hansen, T. R. (2009). The eDiary: Bridging home and hospital through healthcare technology. I E. Balka, L. Ciolofi, C. Simone, H. Tellioglu & I. Wagner (red.), Proceedings of the 11th European Conferenceon Computer Supported Cooperative Work (s. 63-83). Springer. https://doi.org/10.1007/978-1-84882-854-4_4

Mahmud, N., Vermeulen, J., Luyten, K. & Coninx, K. (2009). The Five Commandments of Activity-Aware Ubiquitous Computing Applications. HCI International '07, 257-264. https://doi.org/10.1007/978-3-642-02809-0_28

Moeslund, J. E., Arge, L. A., Bøcher, P. K., Nygaard, B. & Svenning, J.-C. (2009). The impacts of coastal squeezing on salt-meadow plant communities in Denmark. Poster-session præsenteret på Beyond Kyoto: Addressing the challenges of climate change, Aarhus, Danmark.

Roune, B. H. (2009). The Slice Algorithm For Irreducible Decomposition of Monomial Ideals. Journal of Symbolic Computation, 44(4), 358-381.

Rasmusson, A. (2009). The Spatiale Rotator. I V. Capasso et al., Ed. (red.), Stereology and Image Analysis. Ecs10: Proceeding of the 10th European Conference of ISS. (Bind 4). ESCULAPIO Pub. Co, Bologna. http://newrobin.mat.unimi.it/OCS/index.php/ECS/ecs10/paper/view/199

Sorensen, M. S., Mosegaard, J. & Mikkelsen, P. T. (2009). The visible ear simulator: a public PC application for GPU-accelerated haptic 3D simulation of ear surgery based on the visible ear data. Otology and Neurotology, 30(4), 484-7. https://doi.org/10.1097/MAO.0b013e3181a5299b

Brix, L., Ringgaard, S., Rasmusson, A., Sørensen, T. S. & Kim, W. Y. (2009). Three dimensional three component whole heart cardiovascular magnetic resonance velocity mapping: comparison of flow measurements from 3D and 2D acquisitions. Journal of Cardiovascular Magnetic Resonance, 11(1), 3. https://doi.org/10.1186/1532-429X-11-3

Bohøj, M. (2009). Timelines as a Collaborative Planning Tool. Daimi Report Series (DAIMI PB), (591), 6-9.

Espensen, K. L., Kjeldsen, M. K., Kristensen, L. M. & Westergaard, M. (2009). Towards Automatic Code-generation from Process-partitioned Coloured Petri Nets. Daimi Report Series (DAIMI PB), (590), 41-60.

Danvy, O. (2009). Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: Denotational Semantics, Natural Semantics, and Abstract Machines. Lecture Notes in Computer Science, 5700, 162-185. https://doi.org/10.1007/978-3-642-04164-8_9

Biernacka, M. & Danvy, O. (2009). Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part II: Reduction Semantics and Abstract Machines. Lecture Notes in Computer Science, 5700, 186-206. https://doi.org/10.1007/978-3-642-04164-8_10

Westergaard, M., Kristensen, L. M. & Kuusela, M. (2009). Towards Cosimulating SystemC and Coloured Petri Net Models for SoC Functional and Performance Evaluation. I C. Frydman, F. Longo & K. Mekouar (red.), 21st European Modeling and Simulation Symposium: International Mediterranean and Latin American Modelling Multiconference (s. 47-53). Universidad De La Laguna.

Streit, M., Schulz, H.-J., Schmalstieg, D. & Schumann, H. (2009). Towards Multi-User Multi-Level Interaction. I P. Isenberg, M. Sedlmair, D. Baur, T. Isenberg & A. Butz (red.), Proceedings of the Workshop on Collaborative Visualization on Interactive Surfaces CoVIS 2009 (s. 5-8). https://www.medien.ifi.lmu.de/forschung/publikationen/detail?pub=isenberg2010covis

Hansen, K. M., Zhang, W. & Fernandes, J. M. (2009). Towards open world software architectures with semantic architecture styles, components and connectors. I Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2009) (s. 40-49). IEEE Computer Society Press. https://doi.org/10.1109/ICECCS.2009.7

Jensen, K. & Wil M.P. van der, A. (red.) (2009). Transactions on Petri Nets and Other Models of Concurrency II: ToPNoC : Special Issue on Concurrency in Process-Aware Information Systems. Springer. Lecture Notes in Computer Science Bind 5460 https://doi.org/10.1007/978-3-642-00899-3

Jensen, K., Billington, J. & Koutny, M. (red.) (2009). Transactions on Petri Nets and Other Models of Concurrency III: ToPNoC. Springer. Lecture Notes in Computer Science Bind 5800 https://doi.org/10.1007/978-3-642-04856-2

Jensen, S. H., Møller, A. & Thiemann, P. (2009). Type Analysis for JavaScript. Lecture Notes in Computer Science, 5673, 238–255. https://doi.org/10.1007/978-3-642-03237-0_17

Rendel, T., Ostermann, K. & Hofer, C. (2009). Typed Self-Representation. I Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) (s. 293-303). Association for Computing Machinery. https://doi.org/10.1145/1542476.1542509

Damgård, I. B., Nielsen, J. B. & Wichs, D. (2009). Universally Composable Multiparty Computation with Partially Isolated Parties. Lecture Notes in Computer Science, 5444, 315-331. https://doi.org/10.1007/978-3-642-00457-5_19

Viser resultater 3601 til 3650 ud af 6089

Forrige

Næste

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series