Publikationer

Søg publikationer fra Institut for Datalogi

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

Kjærgaard, M. B., Blunck, H., Godsk, T., Toftkjær, T., Christensen, D. L. & Grønbæk, K. (2010). Indoor Positioning Using GPS Revisited. Lecture Notes in Computer Science, 6030, 38-56. https://doi.org/10.1007/978-3-642-12654-3_3

Madsen, A. B. (2010). Initialization and Evaluation of Nested Class Structures. Department of Computer Science, Aarhus University.

Blunck, H. & Vahrenhold, J. (2010). In-Place Algorithms for Computing (Layers of) Maxima. Algorithmica, 57(1), 1-21. https://doi.org/10.1007/s00453-008-9193-z

Aarhus, R., Grönvall, E. & Larsen, S. B. (2010). Interactive Healthcare Systems in the Home: Vestibular Rehabilitation. I G. R. Hayes & D. S. Tan (red.), Wish: the First International Workshop on Interactive Systems for Healthcare (s. 1-4). Dealer Analysis Group. http://www.chi2010.org/wish/resources/WISH2010Proceedings.pdf

Danvy, O. & Johannsen, J. (2010). Inter-deriving Semantic Artifacts for Object-Oriented Programming. Journal of Computer and System Sciences, 76(5), 302-323. https://doi.org/10.1016/j.jcss.2009.10.004

Jensen, S. H., Møller, A. & Thiemann, P. (2010). Interprocedural Analysis with Lazy Propagation. Lecture Notes in Computer Science, 6337, 320-339. https://doi.org/10.1007/978-3-642-15769-1_20

Agarwal, P. K., Arge, L. A. & Yi, K. (2010). I/O-Efficient Batched Union-Find and Its Applications to Terrain Analysis. A C M Transactions on Algorithms, 7(1), Article 11. https://doi.org/10.1145/1868237.1868249

Arge, L. A., Revsbæk, M. & Zeh, N. (2010). I/O-Efficient Computation of Water Flow Across a Terrain. I D. Kirkpatrick & J. Mitchell (red.), Proceedings of the 2010 annual symposium on Computational Geometry (s. 403-412). Association for Computing Machinery. https://doi.org/10.1145/1810959.1811026

Arge, L. A. & Revsbæk, M. (2010). I/O-efficient Contour Tree Simplification. Abstract fra Workshop on Massive Data Algorithms, Snowbird, USA.

Afshani, P., Arge, L. A. & Larsen, K. D. (2010). I/O-efficient Orthogonal Range Reporting in Three and Higher Dimensions. Abstract fra Workshop on Massive Data Algorithms, Snowbird, USA.

Brandt, M. S., Larsen, S. B., Grönvall, E., Læssøe, U. & Damsgaard, E. M. S. (2010). IT-support in home rehabilitation of geriatric patients with vestibular dysfunction. Abstract fra EUGMS, Dublin, Irland.

Wang, H., Schwefel, H.-P., Chu, X. & Toftegaard, T. S. (2010). Joint NWC-ARQ and AMC for QoS-Guaranteed Mobile Multicast. EURASIP Journal on Wireless Communications and Networking, 2010(Article ID 807691). https://doi.org/10.1155/2010/807691

Christensen, H. B., Hansen, K. M. & Lindstrøm, B. (2010). Lightweight and Continuous Architectural Software Quality Assurance using the aSQA Technique. Lecture Notes in Computer Science, 6285, 118-132. https://doi.org/10.1007/978-3-642-15114-9_11

Reistad, T. & Toft, T. (2010). Linear, Constant-rounds Bit-decomposition. Lecture Notes in Computer Science, 5984, 245-257. https://doi.org/10.1007/978-3-642-14423-3_17

Hansen, T. D. & Zwick, U. (2010). Lower Bounds for Howard's Algorithm for Finding Minimum Mean-Cost Cycles. Lecture Notes in Computer Science, 6506, 415-426. https://doi.org/10.1007/978-3-642-17517-6_37

Justesen, P. & Ursem, R. K. (2010). Many-Objective Distinct Candidates Optimization using Differential Evolution. I Proceedings of the 2010 Congress on Evolutionary Computation (CEC 2010) (s. 1-8). IEEE Press. https://doi.org/10.1109/CEC.2010.5586039

Olsen, J. W. (2010). Material Dispositions - a hybrid and interwoven design perspective on maiking computing palpable. Department of Computer Science, Aarhus University.

Andersen, J. (2010). Medical Sensor Network Infrastructures. Department of Computer Science. Aarhus University.

Cao, X., Cong, G. & Jensen, C. S. (2010). Mining significant semantic locations from GPS data. Proceedings of the VLDB Endowment, 3(1-2), 1009-1020. http://portal.acm.org/citation.cfm?id=1920841.1920968&coll=DL&dl=GUIDE&CFID=7605094&CFTOKEN=94044110

Buscher, M., Coulton, P., Hemmet, D. & Mogensen, P. H. (2010). Mobile, experimental, public. I M. Buscher, J. Urry & K. Witchger (red.), Mobile Methos (s. 119-137). Routledge.

Hansen, F. A., Kortbek, K. J. & Grønbæk, K. (2010). Mobile Urban Drama for Multimedia-Based Out-of-School Learning. I M. Angelides & L. Lambrinos (red.), Proceedings of the 9th International Conference on Mobile and Ubiquitous Multimedia. MUM '10 (s. Article no. 17). Association for Computing Machinery. https://doi.org/10.1145/1899475.1899492

Hansen, F. A., Kortbek, K. J. & Grønbæk, K. (2010). Mobilt audio drama til udeskolen - engagement, oplevelse og læring i naturen. http://design.emu.dk/artikler/1022-mobiltdrama.html

Schougaard, K. R. & Langdal, J. (2010). Model-based Translucency in Middleware: Supporting Seamful Development. I S. Terzis & L. Veiga (red.), Proceedings of the 2nd International Workshop on Middleware for Pervasive Mobile and Embedded Computing : M-MPAC'10 (s. Article No. 6 ). Association for Computing Machinery. https://doi.org/10.1145/1890791.1890797

Hansen, K. M. & Ingstrup, M. (2010). Modeling and analyzing architectural change with alloy. I Proceedings of the 2010 ACM Symposium on Applied Computing (s. 2257-2264). Association for Computing Machinery. https://doi.org/10.1145/1774088.1774560

Hofer, C. & Ostermann, K. (2010). Modular Domain-Specific Language Components in Scala. I Proceedings of the ninth International Conference on Generative Programming and Component Engineering (s. 83-92). Association for Computing Machinery. https://doi.org/10.1145/1868294.1868307

Klose, K. & Ostermann, K. (2010). Modular Logic Metaprogramming. I W. R. Cook & S. Clarke (red.), Proceedings of the ACM international conference on Object oriented programming systems languages and applications. OOPSLA '10 (s. 484-503). Association for Computing Machinery. https://doi.org/10.1145/1869459.1869499

Castric, V., Bechsgaard, J. S., Grenier, S., Noureddine, R., Schierup, M. H. & Vekemans, X. (2010). Molecular evolution within and between self-incompatibility specificities. Molecular Biology and Evolution, 27(1), 11-20. https://doi.org/10.1093/molbev/msp224

Roune, B. H. (2010). Monomial Ideal Algorithms: Connections to Numerical Semigroups and Scarf's Theory of Bodies. Department of Computer Science, Aarhus University.

Jensen, C. S., Pedersen, T. B. & Thomsen, C. (2010). Multidimensional Databases and Data Warehousing. Morgan & Claypool Publishers. Synthesis Lectures on Data Management Bind 1 Nr. 9 https://doi.org/10.2200/S00299ED1V01Y201009DTM009

Damgård, I. B. & Orlandi, C. (2010). Multiparty Computation for Dishonest Majority: From Passive to Active Security at Low Cost. Lecture Notes in Computer Science, 6223, 558-576. https://doi.org/10.1007/978-3-642-14623-7_30

Aarhus, R. & Ballegaard, S. A. (2010). Negotiating boundaries: managing disease at home. I E. Mynatt (red.), Proceedings of the 28th international conference on human factors in computing systems. CHI '10 (s. 1223-1232). Association for Computing Machinery. https://doi.org/10.1145/1753326.1753509

Toftegaard, T. S. (2010). Next Generation Intelligent Wireless Infrastructure. Wireless Personal Communications, 53(3), 465-479. https://doi.org/10.1007/s11277-010-9958-y

Andersson, K. O. D., Hansen, T. D. & Gurvich, V. (2010). On acyclicity of games with cycles. Discrete Applied Mathematics, 158(10), 1049-1063. https://doi.org/10.1016/j.dam.2010.02.006

Zerny, I. (2010). On Graph Rewriting, Reduction and Evaluation. I Z. Horváth, V. Zsók, P. Achten & P. Koopman (red.), Trends in Functional Programming 10: Selected Papers from the Tenth Symposium on Trends in Functional Programming, TFP 2009, Komárno, Slovakia, 2-4 June 2009 (s. 1-16). Intellect Books. http://www.zerny.dk/zerny-tfp09.pdf

Thang, N. K. (2010). On (Group) Strategy-Proof Mechanisms without Payment for Facility Location Games. Lecture Notes in Computer Science, 6484, 531-538. https://doi.org/10.1007/978-3-642-17572-5_47

Kjærgaard, M. B. (2010). On Improving the Energy Efficiency and Robustness of Position Tracking for Mobile Devices. Afhandling præsenteret på The 7th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (MobiQuitous 2010), Sydney, Australien.

Davoodi, P., Brodal, G. S. & Rao, S. S. (2010). On Space Efficient Two Dimensional Range Minimum Data Structures. Lecture Notes in Computer Science, 6347, Part 2 , 171-182. https://doi.org/10.1007/978-3-642-15781-3_15

Krøigaard, M. (2010). On the Computational Overhead of Secure Multiparty computation. Department of Computer Science, Aarhus University.

Klose, K. (2010). On the Expressiveness of Declarative Meta-Languages. Department of Computer Science, Aarhus University.

Kyng, M. (2010). On the Multifaceted Future of Participatory Design. Scandinavian Journal of Information Systems, 22(1), 93-102. http://iris.cs.aau.dk/tl_files/volumes/Volume22/no1/Kyng2.pdf

Damgård, I. B., Nielsen, J. B. & Orlandi, C. (2010). On the Necessary and Sufficient Assumptions for UC Computation. Lecture Notes in Computer Science, 5978, 109-127. https://doi.org/10.1007/978-3-642-11799-2_8

Beerliová-Trubíniová, Z., Hirt, M. & Nielsen, J. B. (2010). On the theoretical gap between synchronous and asynchronous MPC protocols. I A. Richa & R. Guerraoui (red.), Proceeding of the 29th ACM SIGACT-SIGOPS symposium on Principles of distributed computing. PODC '10 (s. 211-218). Association for Computing Machinery. https://doi.org/10.1145/1835698.1835746

Cheng, J., Lazard, S., Peñaranda, L., Pouget, M., Roullier, F. & Tsigaridas, E. (2010). On the topology of real algebraic plane curves. Mathematics in Computer Science, 4(1), 113-137. https://doi.org/10.1007/s11786-010-0044-3

Bender, M. A., Brodal, G. S., Fagerberg, R., Jacob, R. & Vicari, E. (2010). Optimal Sparse Matrix Dense Vector Multiplication in the I/O-Model. Theory of Computing Systems, 47(4), 934-962. https://doi.org/10.1007/s00224-010-9285-4

Wolff, S., Rohde, J., Toftegaard, T. S., Larsen, P. G., Lausdahl, K. G., Ribeiro, A. & Stender, M. H. (2010). Optimizing Energy Usage in Private Households. I R. Prasad, S. Ohmori & D. Šimunić (red.), Towards Green ICT (s. 185-210). River Pulishers.

Afshani, P., Arge, L. A. & Larsen, K. D. (2010). Orthogonal Range Reporting: Query Lower Bounds, Optimal Structures in 3-d, and Higher Dimensional Improvements. Annual A C M Symposium on Computational Geometry. Proceedings, 240-246. https://doi.org/10.1145/1810959.1811001

Arge, L. A., Goodrich, M. T. & Sitchinava, N. (2010). Parallel External Memory Graph Algorithms. I P D P S Proceedings, 1-11. https://doi.org/10.1109/IPDPS.2010.5470440

Kramp, G., Nielsen, P. & Møller, A. S. (2010). Particapatory Interaction in Therapeutical Strategies. Daimi Report Series (DAIMI PB), (593), 34-37.

Bertelsen, O. W., Kramp, G., Thielsen, S. R., Dobers, R. & Høybye, U. (2010). Participatory Design of IT-support for Anxiety Therapy. Daimi Report Series (DAIMI PB), (593), 5-8.

Madsen, A. B. & Ernst, E. (2010). Pass-by-Subclass Parameters. I Proceedings of the 4th Workshop on MechAnisms for SPEcialization, Generalization and inHerItance.MASPEGHI '10 (s. Article No.: 6). Association for Computing Machinery. https://doi.org/10.1145/1929999.1930005

Viser resultater 3301 til 3350 ud af 6061

Forrige

Næste

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series