Publikationer

Søg publikationer fra Institut for Datalogi

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

Dupuis, F., Nielsen, J. B. & Salvail, L. (2010). Secure Two-Party Quantum Evaluation of Unitaries against Specious Adversaries. Lecture Notes in Computer Science, 6223, 685-706. https://doi.org/10.1007/978-3-642-14623-7_37

Brønsted, J. R., Hansen, K. M. & Ingstrup, M. (2010). Service Composition issues in Pervasive Computing. I E E E Pervasive Computing, 9(1), 62-70. https://doi.org/10.1109/MPRV.2010.11

Tzoumas, K., Deshpande, A. & Jensen, C. S. (2010). Sharing-aware horizontal partitioning for exploiting correlations during query processing. Proceedings of the VLDB Endowment, 3(1-2), 542-553. http://portal.acm.org/citation.cfm?id=1920911&CFID=7605094&CFTOKEN=94044110

Noe, K. Ø. & Sørensen, T. S. (2010). Solid Mesh Registration for Radiotherapy Treatment Planning. Lecture Notes in Computer Science, 5958, 59-70. https://doi.org/10.1007/978-3-642-11615-5_7

Christensen, H. B. (2010). Source code: Examples, exercises and projects for "Flexible, Reliable Software: Using Patterns and Agile Development". Softwareprogram, http://www.baerbak.com. http://www.baerbak.com

Abam, M., de Berg, M., Hachenberger, P. & Zarei, A. (2010). Streaming Algorithms for Line Simplification. Discrete & Computational Geometry, 43(3), 497-515. https://doi.org/10.1007/s00454-008-9132-4

Korn, M., Kawash, R. & Andersen, L. M. (2010). Surprise Trips: A System to Augment the Natural Experience of Exploration. Poster-session præsenteret på ACM international conference on Ubiquitous computing, København, Danmark. https://doi.org/10.1145/1864431.1864463

Korn, M., Kawash, R. & Andersen, L. M. (2010). Surprise Trips : A System to Augment the Natural Experience of Exploration. I J. E. Bardram & M. Langheinrich (red.), Proceedings of the 12th ACM international conference adjunct papers on Ubiquitous computing (s. 413-414). Association for Computing Machinery. https://doi.org/10.1145/1864431.1864463

Cai, L., Cheng, Y., Verbin, E. & Zhou, Y. (2010). Surviving Rates of Graphs with Bounded Treewidth for the Firefighter Problem. S I A M Journal on Discrete Mathematics, 24(4), 1322-1335. https://doi.org/10.1137/100791130

Brachat, J., Comon, P., Mourrain, B. & Tsigaridas, E. (2010). Symmetric Tensor Decomposition. Linear Algebra and Its Applications, 433(11-12), 1851-1872. https://doi.org/10.1016/j.laa.2010.06.046

Andersen, J. & Brabrand, C. (2010). Syntactic Language Extension via an Algebra of Languages and Transformations. Electronic Notes in Theoretical Computer Science, 253(7), 19-35. https://doi.org/10.1016/j.entcs.2010.08.029

Petersen, M. G., Lynggard, A. B., Krogh, P. G. & Winther, I. W. (2010). Tactics for homing in mobile life: a fieldwalk study of extremely mobile people. I Proceedings of the 12th International Conference on Human Computer Interaction with Mobile Devices and Services: Proceedings of the 12th international conference on Human computer interaction with mobile devices and services (s. 265-274). Association for Computing Machinery. https://doi.org/10.1145/1851600.1851646

Ludvigsen, M., Fogtmann, M. H. & Grønbæk, K. (2010). TacTowers: An Interactive Training Equipment for Elite. I O. W. Bertelsen, P. G. Krogh, K. Halskov & M. G. Petersen (red.), Proceedings of the 8th ACM Conference on Designing Interactive Systems (s. 412-415). Association for Computing Machinery. https://doi.org/10.1145/1858171.1858250

Aarhus, R., Gjerlufsen, T., Hohn, T. & Vesterby, M. (2010). Telemedicine for Healthy Patients. I Infrastructure for Health Care: Connecting practices across institutional and professional boundaries (s. 5-6). University of Copenhagen. http://www.sundhedsit.net/fileadmin/sundhedsitnet/Downloads/Abstracts_Infrastructures09.pdf

Achenbach, M. & Ostermann, K. (2010). Testing Object-Oriented Programs using Dynamic Aspects and Non-Determinism. I Proceedings of the 1st Workshop on Testing Object-Oriented Systems. Etoos '10 (s. Article No. 3 ). Association for Computing Machinery. https://doi.org/10.1145/1890692.1890695

Hansen, M. T., Arroyo-Valles, R. & Cid-Sueiro, J. (2010). Testing Selective Transmission with Low Power Listening. Lecture Notes in Computer Science, 6511, 146-153. https://doi.org/10.1007/978-3-642-17520-6_14

Ernst, E. (2010). The Case for Simple Object-Orientation in VDM++. Datalogisk Institut, Aarhus Universitet. http://wiki.overturetool.org/images/5/5d/2010ernst.pdf

Brody, J. & Verbin, E. (2010). The Coin Problem and Pseudorandomness for Branching Programs. I 51st Annual IEEE Symposium on Foundations of Computer Science. FOCS 2010 (s. 30-39). IEEE Computer Society Press. https://doi.org/10.1109/FOCS.2010.10

Hansen, K. A., Miltersen, P. B. & Sørensen, T. B. (2010). The computational complexity of trembling hand perfection and other equilibrium refinements. Lecture Notes in Computer Science, 6386, 198-209. https://doi.org/10.1007/978-3-642-16170-4_18

Emiris, I. Z., Mourrain, B. & Tsigaridas, E. (2010). The DMM Bound: Multivariate (Aggregrate) Separation Bounds. International Symposium on Symbolic and Algebraic Computation, 243-250. https://doi.org/10.1145/1837934.1837981

Brønsted, J. R., Skou, A. J., Madsen, P. P. & Torbensen, R. S. (2010). The HomePort System. I 7th IEEE Consumer Communications and Networking Conference (CCNC 2010). Proceedings (s. 1-5). IEEE. https://doi.org/10.1109/CCNC.2010.5421606

Grönvall, E., Conci, M., Giusti, L. & Leonardi, C. (2010). The intrinsic fragility of elderly care networks: five challenges in Participatory Design practices. Daimi Report Series (DAIMI PB), (593), 20-24.

Ursem, R. K. & Justesen, P. (2010). The Multi-Objective Distinct Candidates Optimization approach. I B. Filipic & J. Silc (red.), Proceedings of the 4th International Conference on Bioinspired Optimization Methods and their Applications (BIOMA 2010) (s. 55-66). Ljublana: Jozef Stefan Institute.

Toftkjær, T. & Kjærgaard, M. B. (2010). The use of GPS for Handling Lack of Indoor Constraints in Particle Filter-based Inertial Positioning. Poster-session præsenteret på The 7th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (MobiQuitous 2010), Sydney, Australien.

Jensen, H., Jensen, M. Ø. J., Smerup, M. H., Ringgaard, S., Sørensen, T. S., Andersen, N. T., Wierup, P., Hasenkam, J. M. & Nielsen, S. L. (2010). Three-dimensional assessment of papillary muscle displacement in a porcine model of ischemic mitral regurgitation. Journal of Thoracic and Cardiovascular Surgery, 140(6), 1312-1318. https://doi.org/10.1016/j.jtcvs.2009.12.042

Bendlin, R. & Damgård, I. B. (2010). Threshold Decryption and Zero-Knowledge Proofs for Lattice-Based Cryptosystems. Lecture Notes in Computer Science, 5978, 201-218. https://doi.org/10.1007/978-3-642-11799-2_13

Chrobak, M., Dürr, C., Guíñez, F., Lozano, A. & Thang, N. K. (2010). Tile-Packing Tomography Is NP-hard. Lecture Notes in Computer Science, 6196, 254-263. https://doi.org/10.1007/978-3-642-14031-0_29

Bohøj, M., Borchorst, N. G., Bouvin, N. O., Bødker, S. & Zander, P.-O. (2010). Timeline Collaboration. I Proceedings of the 28th International Conference on Human factors in computing Systems. CHI '10 (s. 523-532). Association for Computing Machinery. https://doi.org/10.1145/1753326.1753404

Jensen, K., Donatelli, S. & Koutny, M. (red.) (2010). Transactions on Petri Nets and Other Models of Concurrency IV: ToPNoC. Springer. Lecture Notes in Computer Science Bind 6550 https://doi.org/10.1007/978-3-642-18222-8

Kristensen, T. G. (2010). Transforming Tanimoto queries on real valued vectors to range queries in Euclidian space. Journal of Mathematical Chemistry, 48(2), 287-289. https://doi.org/10.1007/s10910-010-9668-4

Brabrand, C. & Thomsen, J. G. (2010). Typed and Unambiguous Pattern Matching on Strings using Regular Expressions. I T. Kutsia, W. Schreiner & M. Fernandez (red.), Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming. PPDP '10: (s. 243-254). Association for Computing Machinery. https://doi.org/10.1145/1836089.1836120

Korn, M. (2010). Understanding Use Situated in Real-world Mobile Contexts. Afhandling præsenteret på ACM Conference on Ubiquitous Computing. Ubicomp '10, København, Danmark. http://mkorn.binaervarianz.de/pub/ubicomp2010-ws.pdf

Hansen, F. A. & Grønbæk, K. (2010). Urbanweb: A platform for mobile, context-aware web services. I Mobile Web 2.0: Developing and Delivering Services to Mobile Devices (s. 137-162). CRC Press. https://doi.org/10.1201/b10445

Hansen, F. A. & Grønbæk, K. (2010). UrbanWeb: a Platform for Mobile Context-aware Social Computing. A C M Conference on Hypertext and Hypermedia. Proceedings, 195-200. https://doi.org/10.1145/1810617.1810651

Kennepohl, D., Guay, M. & Thomas, V. (2010). Using an Online, Self-Diagnostic Test for Introductory General Chemistry at an Open University. Journal of Chemical Education, 87(11), 1273-1277. https://doi.org/10.1021/ed900031p

Simonsen, M., Sand, A., Mailund, T. & Pedersen, C. N. S. (2010). Using the Power of Modern Processors in Bioformatics. Poster-session præsenteret på Conference on IT research at AU, Århus, Danmark.

Kristensen, M. D. & Bouvin, N. O. (2010). Using Wi-Fi to Save Energy via P2P Remote Execution. I 8th IEEE International Conference on Pervasive Computing and Communications Workshops (PERCOM Workshops 2010). Proceedings (s. 123-128). IEEE. https://doi.org/10.1109/PERCOMW.2010.5470614

Hadlak, S., Tominski, C., Schulz, H.-J. & Schumann, H. (2010). Visualization of attributed hierarchical structures in a spatiotemporal context. International Journal of Geographical Information Science, 24(10), 1497-1513. https://doi.org/10.1080/13658816.2010.510840

Babai, L., Hansen, K. A., Podolskii, V. V. & Sun, X. (2010). Weights of Exact Threshold Functions. Lecture Notes in Computer Science, 6281, 66-77. https://doi.org/10.1007/978-3-642-15155-2_8

Aarhus, R., Cedergren, A., Grönvall, E., Hald, A. E., Larsen, S. B., Moesgaard, T. & Wollsen, S. (2010). Wii i Trige: Et projekt om Wii, motivation og ældres træning. Daimi Report Series (DAIMI PB), (592).

Uribe, S., Beerbaum, P., Sørensen, T. S., Rasmusson, A., Razavi, R. & Schaeffter, T. (2009). 4D Flow of the Whole Heart and Great Vessels Using a Real Time Self Respiratory Gating Technique. Poster-session præsenteret på Annual SCMR Scientific Sessions, Orlando, Florida, USA. https://doi.org/10.1186/1532-429X-11-S1-P3

Klose, K. & Ostermann, K. (2009). A Classification Framework for Pointcut Languages in Runtime Monitoring. I Objects, Components, Models and Patterns (s. 289-307). Springer. https://doi.org/10.1007/978-3-642-02571-6_17

Damgård, I. B., Krøigaard, M. & Geisler, M. (2009). A correction to 'efficient and secure comparison for on-line auctions'. International Journal of Applied Cryptography, 1(4), 323-324. https://doi.org/10.1504/IJACT.2009.028031

Besenbacher, S., Pedersen, C. S. & Mailund, T. (2009). A fast algorithm for genome wide haplotype pattern mining. BMC Bioinformatics, (suppl. 1), 772. https://doi.org/10.1186/1471-2105-10-S1-S74

Aarhus, R., Ballegaard, S. A., Grönvall, E. & Larsen, S. B. (2009). Ageing in communal place: ethnographic studies of social interaction in senior housing communities. I Supplementary Proceeding of the 11th European Conference on Computer Supported Cooperative Work: Workshops, Master classes. W3: Enhancing interaction spaces by social media for the ederly ECSCW - European Conference on Computer Supported Cooperative Work. http://www.uni-siegen.de/locatingmedia/workshops/ecscwageingworkshop/ageing_in_communal_place_aarhus_ballegaard_groenvall_larsenl.pdf

Aarhus, R., Ballegaard, S. A., Grönvall, E. & Larsen, S. B. (2009). Ageing in Communal Place: Ethnographic studies of social interaction in senior housing communities. International Reports on Socio-Informatics, 6(3), 8-20.

Afshani, P., Hamilton, C. & Zeh, N. (2009). A general approach for cache-oblivious range reporting and approximate range counting. I Proceedings of the 25th annual symposium on Computational geometry Association for Computing Machinery. https://doi.org/10.1145/1542362.1542413

Zhang, W., Ingstrup, M., Hansen, K. M. & Schütte, J. (2009). A Genetic Algorithms-based Approach for Optimized Self-protection in a Pervasive Service Middleware. Lecture Notes in Computer Science, 404-419. https://doi.org/10.1007/978-3-642-10383-4_29

Petersen, D. E., Li, S., Stokbro, K., Sørensen, H. H. B., Hansen, P. C., Skelboe, S. & Darve, E. (2009). A hybrid method for the parallel computation of Green’s functions. Journal of Computational Physics, 228(14), 5020-5039. https://doi.org/10.1016/j.jcp.2009.03.035 |

Brabrand, C. & Dahl, B. (2009). Analyzing CS (Computer Science) Competencies using The SOLO Taxonomy. ACM SIGCSE Bulletin, (3).

Viser resultater 3401 til 3450 ud af 6083

Forrige

Næste

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series