Publikationer

Søg publikationer fra Institut for Datalogi

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

Pastro, V. (2012). Construction of rational elliptic surfaces with Mordell-Weil rank four. Commentarii Mathematici Universitatis Sancti Pauli, 61(1), 29-42.

Wagner, S. R., Rasmussen, N. H., Ahrendt, P., Toftegaard, T. S. & Bertelsen, O. W. (2012). Context classification during blood pressure self-measurement using the sensor seat and the audio classification device. I The 6th International Conference on Pervasive Computing Technologies for Healthcare and Workshops (s. 201 - 202 ). ICST, The Institute for Computer Sciences, Social Informatics and Telecommunications Engineering. http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=6240390

Chan, H.-L., Lam, T.-W., Lee, L. K. & Ting, H.-F. (2012). Continuous monitoring of distributed data streams over a time-based sliding window. Algorithmica, 62(3-4), 1088-1111 . https://doi.org/10.1007/s00453-011-9506-5

Graham, C., Muthukrishnan, S., Yi, K. & Zhang, Q. (2012). Continuous sampling from distributed streams: Article No.: 10. Journal of the ACM, 59(2). https://doi.org/10.1145/2160158.2160163

Rasmusson, A. (2012). Contributions to computational stereology and parallel programming. Department of Computer Science, Aarhus University.

Midtgaard, J. (2012). Control-flow analysis of functional programs. A C M Computing Surveys, 44(3), 10:1 - 10:33. https://doi.org/10.1145/2187671.2187672

Midtgaard, J. & Jensen, T. P. (2012). Control-flow analysis of function calls and returns by abstract interpretation. Information and Computation, 211, 49-76. https://doi.org/10.1016/j.ic.2011.11.005

Rossi, L. & Magnani, M. (2012). Conversation practices and network structure in Twitter. I Proceedings of the Sixth International Conference on Weblogs and Social Media (s. 563-566). AAAI Press. http://www.aaai.org/ocs/index.php/ICWSM/ICWSM12/paper/view/4634

Magnani, M., Montesi, D. & Rossi, L. (2012). Conversation Retrieval from Microblogging Sites. Information Retrieval, 15(3-4), 354-372. https://doi.org/10.1007/s10791-012-9189-9

Li , X., Karras, P. & Jensen, C. S. (2012). Cooperative Scalable Moving Continuous Query Processing. I Proceedings of the 13th International Conference on Mobile Data Management, MDM (s. 69 - 78 ). IEEE Press. https://doi.org/10.1109/MDM.2012.20

Hoggan, E. (2012). Crossmodal audio and tactile interaction with mobile touchscreens: Thesis Summary. I Social and Organizational Impacts of Emerging Mobile Devices: Evaluating Use (s. 249-264). IGI global.

Funder, J. L. (2012). Cryptography with Quantum Mechanics. Department of Computer Science, Aarhus University.

Cujia, K., Wirz, M., Kjærgaard, M. B., Roggen, D. & Tröster, G. (2012). DactyLoc : A minimally geo-referenced WiFi+GSM-fingerprint-based localization method for positioning in urban spaces. I C. Rizos, A. Dempster, B. Li & T. Gallagher (red.), Proceedings of the 3rd International Conference on Indoor Positioning and Indoor Navigation (IPIN), 2012 (s. 1-9). IEEE. https://doi.org/10.1109/IPIN.2012.6418923

Jensen, C. S. (2012). Data management on the spatial web. Proceedings of the VLDB Endowment, 5(12), 1696-1696 . http://dl.acm.org/citation.cfm?id=2367504

Chen, S., Verbin, E. & Yu, W. (2012). Data Structure Lower Bounds on Random Access to Grammar-Compressed Strings. http://arxiv.org/abs/1203.1080

Cramer, R., Damgård, I. B., Kiltz, E., Zakarias, S. N. H. & Zottarel, A. (2012). DDH-Like Assumptions Based on Extension Rings. Lecture Notes in Computer Science, 7293, 644-661 . https://doi.org/10.1007/978-3-642-30057-8_38

Verdezoto, N. & Grönvall, E. (2012). Designing a Tablet Touch-Screen Interface for Older Adults. Afhandling præsenteret på How to Design Touch Interfaces for and with Older Adults: Identification of Challenges and Opportunities, Copenhagen, Danmark. http://workshops.icts.sbg.ac.at/NordiCHI2012/papers/Verdezoto_et_al.pdf

Bertelsen, O. W. & Kramp, G. (2012, maj 5). Designing for Anxiety Therapy, Bridging Clinical and Non-Clinical. Association for Computing Machinery. http://www.ics.uci.edu/~yunanc/chi2012health/

Grønbæk, K., Kortbek, K. J., Christensen, C. M., Nielsen, J. & Stenfeldt, L. (2012). Designing Playful Interactive Installations for Urban Environments - The SwingScape Experience. Lecture Notes in Computer Science, 7624, 230-245 . https://doi.org/10.1007/978-3-642-34292-9_16

Kjærgaard, M. B., Wirz, M., Roggen, D. & Tröster, G. (2012). Detecting Pedestrian Flocks by Fusion of Multi-Modal Sensors in Mobile Phones. I Proceedings of the 2012 ACM Conference on Ubiquitous Computing (s. 240-249). Association for Computing Machinery. https://doi.org/10.1145/2370216.2370256

Thomsen, P. F., Kielgast, J., Iversen, L. L., Møller, P. R., Rasmussen, M. & Willerslev, E. (2012). Detection of a Diverse Marine Fish Fauna Using Environmental DNA from Seawater Samples. PLoS One, 7(8), Artikel e41732. https://doi.org/10.1371/journal.pone.0041732

Andersson, K. O. D., Hansen, K. A., Miltersen, P. B. & Sørensen, T. B. (2012). Deterministic Graphical Games Revisited. Journal of Logic and Computation, 22(2), 165-178. https://doi.org/10.1093/logcom/exq001

Akavia, A., Goldwasser, S. & Hazay, C. (2012). Distributed public key schemes secure against continual leakage. I Proceedings of the 2012 ACM symposium on Principles of Distributed Computing, PODC (s. 155-164 ). Association for Computing Machinery. https://doi.org/10.1145/2332432.2332462

Schraefel, M. C., Rouncefield, M., Kellogg, W., Ackerman, M., Marsden, G., Bødker, S., Wyche, S. & Reddy, M. (2012). Domain crossing: how much expertise is enough? I S. Poltrock & C. Simone (red.), CSCW’12 : Proceedings of the ACM 2012 conference on Computer Supported Cooperative Work Companion (s. 29-32). Association for Computing Machinery. https://doi.org/10.1145/2141512.2141529

Bødker, S. & Klokmose, C. N. (2012). Dynamics in artifact ecologies. I NordiCHI '12 : Proceedings of the 7th Nordic Conference on Human-Computer Interaction: Making Sense Through Design (s. 448-457 ). Association for Computing Machinery. https://doi.org/10.1145/2399016.2399085

Guo, C., Ma, M., Yang, B., Jensen, C. S. & Kaul, M. (2012). EcoMark: Evaluating Models of Vehicular Environmental Impact. I I. Cruz & C. Knoblock (red.), Proceedings of the 20th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems: ACM SIGSPATIAL GIS 2012 (s. 269-278). Association for Computing Machinery. https://doi.org/10.1145/2424321.2424356

Jensen, C. S., Thomsen, J. R. & Yiu, M. L. (2012). Effective caching of shortest paths for location-based services. I Proceedings of the 2012 ACM SIGMOD International Conference on Management of Data (s. 313-324 ). Association for Computing Machinery. https://doi.org/10.1145/2213836.2213872

Jowhari, H. (2012). Efficient Communication Protocols for Deciding Edit Distance. Lecture Notes in Computer Science, 7501, 648-658 . https://doi.org/10.1007/978-3-642-33090-2_56

Tsirogiannis, C., Sandel, B. S. & Cheliotis, D. (2012). Efficient Computation of Popular Phylogenetic Tree Measures. Lecture Notes in Computer Science, 7534, 30-43. https://doi.org/10.1007/978-3-642-33122-0_3

Hazay, C., Mikkelsen, G. L., Rabin, T. & Toft, T. (2012). Efficient RSA Key Generation and Threshold Paillier in the Two-Party Setting. Lecture Notes in Computer Science, 7178, 313-331. https://doi.org/10.1007/978-3-642-27954-6_20

Hazay, C. & Nissim , K. (2012). Efficient Set Operations in the Presence of Malicious Adversaries. Journal of Cryptology, 25(3), 383-433 . https://doi.org/10.1007/s00145-011-9098-x

Mikkelsen, G. L., Keller, M. & Rupp, A. (2012). Efficient Threshold Zero-Knowledge with Applications to User-Centric Protocols. Lecture Notes in Computer Science, 7412, 147-166 . https://doi.org/10.1007/978-3-642-32284-6_9

Wijekoon, D., Cecchinato, M. E., Hoggan, E. & Linjama, J. (2012). Electrostatic modulated friction as tactile feedback: intensity perception. I International Conference on Human Haptic Sensing and Touch Enabled Computer Applications (s. 613-624)

Ribeiro, M., Tolêdo , T., Winther, J., Brabrand, C. & Borba, P. (2012). Emergo : a tool for improving maintainability of preprocessor-based product lines. I Proceedings of the 11th annual international conference on Aspect-oriented Software Development Companion, AOSD Companion '12 (s. 23-26 ). Association for Computing Machinery. https://doi.org/10.1145/2162110.2162128

Gupta, V., Markmann, K., Pedersen, C. N. S., Stougaard, J. & Andersen, S. U. (2012). shortran: A pipeline for small RNA-seq data analysis. Bioinformatics, 28(20), 2698-2700. https://doi.org/10.1093/bioinformatics/bts496

Christensen, H. B. (2012). En model for programmer. Datalogisk Institut, Aarhus Universitet.

Ateniese, G., Dagdelen, Ö., Damgård, I. B. & Venturi, D. (2012). Entangled Cloud Storage. http://eprint.iacr.org/2012/511

Branzei, S., Forero, C., Larson, K. & Miltersen, P. B. (2012). Equilibria of Chinese Auctions. arxiv.org. http://arxiv.org/abs/1208.0296

Deng, X. & Zhang, J. (2012). Equiseparability on Terminal Wiener Index. Applied Mathematics Letters, 25(3), 580-585. https://doi.org/10.1016/j.aml.2011.09.063

Schnell, I. B., Thomsen, P. F., Wilkinson, N., Rasmussen, M., Jensen, L. R. D., Willerslev, E., Bertelsen, M. F. & Gilbert, M. T. P. (2012). Erratum: Screening mammal biodiversity using dna from leeches (Current Biology (2012) 22 (R262-R263)). Current Biology, 22(20), 1980. https://doi.org/10.1016/j.cub.2012.10.014

De Fraine, B., Ernst, E. & Südholt, M. (2012). Essential AOP: The A Calculus. A C M Transactions on Programming Languages and Systems, 34(3), Art. 12: 1-43. https://doi.org/10.1145/2362389.2362391

Blunck, H., Kjærgaard, M. B. & Melchior, C. (2012). Evaluating energy consumption of sensing algorithms - solely via models?. Poster-session præsenteret på The 10th International Conference on Mobile Systems, Applications, and Services, Ambleside, Storbritannien. https://doi.org/10.1145/2307636.2307707

Pedersen, C. N. S., Axelsen, K. B., Harper, J. F. & Palmgren, M. G. (2012). Evolution of plant P-type ATPases. Frontiers in Plant Science, 21. https://doi.org/10.3389/fpls.2012.00031

Hansen, K. A., Koucky, M., Lauritzen, N., Miltersen, P. B. & Tsigaridas, E. (2012). Exact Algorithms for Solving Stochastic Games. http://arxiv.org/abs/1202.3898

Verdezoto, N., Grönvall, E., Vincentz, S. & Rostgaard Thielsen, S. (2012). Exploring Challenges of Self-Monitoring for Senior Adults. Afhandling præsenteret på Bridging Clinical and Non-clinical Health Practices: Opportunities and Challenges, Austin, Texas, USA. http://www.ics.uci.edu/~yunanc/chi2012health/Downloads/Verdezoto.pdf

Walderveen, F. V. (2012). External Memory Graph Algorithms and Range Searching Data Structures. Department of Computer Science, Aarhus University.

Arge, L. A., Brodal, G. S. & Satti, S. R. (2012). External Memory Planar Point Location with Logarithmic Updates. Algorithmica, 63(1-2), 457-475. https://doi.org/10.1007/s00453-011-9541-2

Arge, L., Haverkort, H. & Tsirogiannis, C. (2012). Fast generation of multiple resolution instances of raster data sets. I I. Cruz & C. Knoblock (red.), Proceedings of the 20th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems: ACM SIGSPATIAL GIS 2012 (s. 52-60). Association for Computing Machinery. https://doi.org/10.1145/2424321.2424329

Schaeffter, T., Hansen, M. S. & Sørensen, T. S. (2012). Fast Implementation of Iterative Image Reconstruction. Afhandling præsenteret på International Society for Magnetic Resonance in Medicine, Melbourne, Australien. http://www.ismrm.org/12/SS_ImageRecon.htm

Brodal, G. S., Nielsen, J. A. S. & Truelsen, J. (2012). Finger Search in the Implicit Model. Lecture Notes in Computer Science, 7676, 527-536 . https://doi.org/10.1007/978-3-642-35261-4_55

Viser resultater 2801 til 2850 ud af 6083

Forrige

Næste

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series