Publikationer

Søg publikationer fra Institut for Datalogi

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

Mathiasen, N. R. (2012). While Working Around Security. Department of Computer Science, Aarhus University.

Hansen, T. D. (2012). Worst-case Analysis of Strategy Iteration and the Simplex Method. Aarhus Universitet, Datalogisk Institut.

Damgård, I. B. & López-Alt, A. (2012). Zero-Knowledge Proofs with Low Amortized Communication from Lattice Assumptions. Lecture Notes in Computer Science, 7485, 38-56 . https://doi.org/10.1007/978-3-642-32928-9_3

Danvy, O. & Midtgaard, J. (2011). Abstracting abstract machines: technical perspective. Association for Computing Machinery. Communications, 54(9), 100-100. https://doi.org/10.1145/1995376.1995399

Rohde, J. & Toftegaard, T. S. (2011). Adaption of Cognitive Radio technology to low-cost and low-power wireless Personal Area Network devices. Wireless Personal Communications, 58(1), 111-123. https://doi.org/10.1007/s11277-011-0291-x

Backes, M., Goldberg, I., Kate, A. & Toft, T. (2011). Adding Query Privacy to Robust DHTs. http://arxiv.org/abs/1107.1072

Nielsen, J. & Sand, A. (2011). Algorithms for a parallel implementation of Hidden Markov Models with a small state space. I 2011 IEEE IPDPS Workshops & PhD Forum (s. 447-454). IEEE Computer Society Press. https://doi.org/10.1109/IPDPS.2011.181

Lin, D., Jensen, C. S., Zhang, R., Xiao, L. & Lu, J. (2011). A Moving-Object Index for Efficient Query Processing with PeerWise Location Privacy. Proceedings of the VLDB Endowment, 5(1), 37-48. http://www.vldb.org/pvldb/vol5/p037_danlin_vldb2012.pdf

Nielsen, J. B., Nordholt, P. S., Orlandi, C. & Burra, S. S. (2011). A New Approach to Practical Active-Secure Two-Party Computation. http://eprint.iacr.org/2011/091

Ting, H.-F., Lee, L. K., Chan, H.-L. & Lam, T.-W. (2011). Approximating Frequent Items in Asynchronous Data Stream over a Sliding Window. Algorithms, 4(3), 200-222. https://doi.org/10.3390/a4030200

Griggio, C., Leiva, G., Polito, G., Decuzzi, G. & Passerini, N. (2011). A programming environment supporting a prototype-based introduction to OOP. I Proceedings of the International Workshop on Smalltalk Technologies (s. 1-5)

Cherabini, L. & Danvy, O. (2011). A Proof-Theoretic Account of Primitive Recursion and Primitive Iteration. Journal of Formalized Reasoning, 4(1), 85-109. http://jfr.cib.unibo.it/article/view/2225

Christensen, H. B. & Hansen, K. M. (2011). Architecture for Telemedicine / Net4Care Technical Report #2.

Kolstad, H. A., Stokholm, Z. A., Jensen, C. S., Frederiksen, T. W. & Bonde, J. P. (2011). Are occupational noise-exposure levels declining? I 10th International Congress on Noise as a Public Health Problem 2011, ICBEN 2011 - Proceedings of the Institute of Acoustics (PART 3 udg., Bind 33 1, s. 148-151)

Nielsen, J., Kristensen, A. K., Mailund, T. & Pedersen, C. N. S. (2011). A sub-cubic time algorithm for computing the quartet distance between two general trees. Algorithms for Molecular Biology, 6(15). https://doi.org/10.1186/1748-7188-6-15

Wei, Z. & Yi, K. (2011). Beyond simple aggregates: Indexing for summary queries. I Proceedings of the ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (s. 117-128). Association for Computing Machinery. https://doi.org/10.1145/1989284.1989299

Hladík, M., Daney, D. & Tsigaridas, E. (2011). Characterizing and approximating eigenvalue sets of symmetric interval matrices. Computers & Mathematics with Applications, 62(8), 3152-3163. https://doi.org/10.1016/j.camwa.2011.08.028

Cao, X., Cong, G., Jensen, C. S. & Ooi, B. C. (2011). Collective spatial keyword querying. I Proceedings of the 2011 international conference on Management of data (s. 373-384). Association for Computing Machinery. https://doi.org/10.1145/1989323.1989363

Gordon, S. D., Hazay, C., Katz, J. & Lindell, Y. (2011). Complete Fairness in Secure Two-Party Computation. Journal of the ACM, 58(6), Article no. 24. https://doi.org/10.1145/2049697.2049698

Wagner, S. R., Toftegaard, T. S. & Bertelsen, O. W. (2011). Context assessment during blood pressure self-measurement utilizing the sensor chair. I Ambient Intelligence: Second International Joint Conference on AmI 2011, Proceedings (Bind 7040, s. 295-299). Springer. https://doi.org/10.1007/978-3-642-25167-2_40

Madsen, O. L. (2011). COOMP 2011: first international workshop on combined object-oriented modeling and programming. Abstract fra SPLASH 2011, Portland, Oregon, USA. https://doi.org/10.1145/2048147.2048226

Hansen, M. T. & Kusy, B. (2011). Cross-platform wireless sensor network development. Poster-session præsenteret på 10th ACM/IEEE International Conference on Information Processing in Sensor Networks. IPSN 2011, Chicago, IL, USA. http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=5779091

Cramer, R., Damgård, I. B., Kiltz, E., Zakarias, S. N. H. & Zottarel, A. (2011). DDH-like Assumptions Based on Extension Rings. http://eprint.iacr.org/2011/280

Yiu, M. L., Jensen, C. S., Møller, J. & Lu, H. (2011). Design and analysis of a ranking approach to private location-based services. A C M Transactions on Database Systems, 36(2), Article 10, p.1 - 42. https://doi.org/10.1145/1966385.1966388

Bødker, S., Bouvin, N. O., Lutters, W., Wulf, V. & Ciolfi, L. (red.) (2011). ECSCW 2011: Proceedings of the 12th European Conference on Computer Supported Cooperative Work, 24-28 September 2011, Aarhus, Denmark. Springer. https://doi.org/10.1007/978-0-85729-913-0

Bødker, S. (red.) (2011). ECSCW 2011 Conference Supplement: European Conference on Computer-Supported Cooperative Work, Aarhus 24.-28. September 2011 . Department of Computer Science, University of Aarhus. DAIMI PB Nr. 594

Chan, H.-L., Lam, T.-W., Lee, L. K., Pan, J., Ting, H.-F. & Zhang, Q. (2011). Edit Distance to Monotonicity in Sliding Windows. Lecture Notes in Computer Science, 7074, 564-573. https://doi.org/10.1007/978-3-642-25591-5_58

Vicente, C. R., Assent, I. & Jensen, C. S. (2011). Effective Privacy-Preserving Online Route Planning. I 2011 12th IEEE International Conference on Mobile Data Management (MDM) (s. 119-128). IEEE Computer Society Press. https://doi.org/10.1109/MDM.2011.20

Assent, I. (2011). Efficient algorithms for collaborative decision making for large scale settings. I Proceedings of the 3rd international workshop on Collaborative information retrieval (s. 15-18). Association for Computing Machinery. https://doi.org/10.1145/2064075.2064081

Simonsen, M. (2011). Efficient algorithms for tree reconstruction and prediction of molecular interactions. Department of Computer Science, Aarhus University.

Wu, D., Yiu, M. L., Jensen, C. S. & Cong, G. (2011). Efficient continuously moving top-k spatial keyword query processing. Proceedings of the International Conference on Data Engineering, 541-552. https://doi.org/10.1109/ICDE.2011.5767861

Hazay, C., Mikkelsen, G. L., Rabin, T. & Toft, T. (2011). Efficient RSA Key Generation and Threshold Paillier in the Two-Party Setting. http://eprint.iacr.org/2011/494

Hansen, K. A., Koucký, M., Lauritzen, N., Miltersen, P. B. & Tsigaridas, E. (2011). Exact algorithms for solving stochastic games. I STOC'11: proceedings of the 43rd annual ACM symposium on Theory of computing (s. 205-214). Association for Computing Machinery. https://doi.org/10.1145/1993636.1993665

Tsirogiannis, K. & de Berg, M. (2011). Exact and approximate computations of watersheds on triangulated terrains. I Proceedings of the 19th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems (s. 74-83). Association for Computing Machinery. https://doi.org/10.1145/2093973.2093985

Kawsar, F., Vermeulen, J., Smith, K., Luyten, K. & Kortuem, G. (2011). Exploring the Design Space for Situated Glyphs to Support Dynamic Work Environments. Unspecified journal, 70-78. http://dl.acm.org/citation.cfm?id=2021975.2021982

Lu, H., Jensen, C. S. & Zhang, Z. (2011). Flexible and Efficient Resolution of Skyline Query Size Constraints. I E E E Transactions on Knowledge & Data Engineering, 23(7), 991-1005. https://doi.org/10.1109/TKDE.2010.47

Tsirogiannis, K. & Haverkort, H. (2011). Flow on noisy terrains: an experimental evaluation. I Proceedings of the 19th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems (s. 84-91). Association for Computing Machinery. https://doi.org/10.1145/2093973.2093986

Adams, M. D., Keep, A. W., Midtgaard, J., Might, M., Chauhan, A. & Dybvig, R. K. (2011). Flow-sensitive type recovery in linear-log time. I Proceedings of the 2011 ACM international Conference on Object Oriented Programming Systems Languages and Applications: OOPSLA '11 (s. 483-498). Association for Computing Machinery. https://doi.org/10.1145/2048066.2048105

De Bra, P. & Grønbak, K. (2011). Foreword for HT2011 Proceedings. HT 2011 - Proceedings of the 22nd ACM Conference on Hypertext and Hypermedia, iii.

Agha, G., Danvy, O. & Meseguer, J. (red.) (2011). Formal Modeling: Actors, Open Systems, Biological Systems Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday. Springer. Lecture Notes in Computer Science Nr. 7000 https://doi.org/10.1007/978-3-642-24933-4

Haverkort, H. & Walderveen, F. V. (2011). Four-dimensional hilbert curves for R-trees. Journal of Experimental Algorithmics, 16(3), article 3.4. http://delivery.acm.org.ez.statsbiblioteket.dk:2048/10.1145/2030000/2025380/a3_4-haverkort.pdf?ip=130.225.27.190&acc=ACTIVE%20SERVICE&CFID=87253851&CFTOKEN=10848781&__acm__=1330418603_15ea5ff6076f78ee33d5b69771abf5ef

Kuikkaniemi, K., Jacucci, G., Turpeinen, M., Hoggan, E. & Mueller, J. (2011). From Space to Stage: How Interactive Screens Will Change Urban Life. Computer, 44(6), 40-47. https://doi.org/10.1109/MC.2011.135

Jørgensen, A. G., Phillips, J. & Loffler, M. (2011). Geometric Computations On Indecisive Points. Lecture Notes in Computer Science, 6844, 536-547. https://doi.org/10.1007/978-3-642-22300-6

Simonsen, M., Thomsen, R., Christensen, M. H. & Pedersen, C. N. S. (2011). GPU-Accelerated High-Accuracy Molecular Docking using Guided Differential Evolution. I GECCO'11 Proceedings of the 13th annual conference on Genetic and evolutionary computation (s. 1803-1810). Association for Computing Machinery. https://doi.org/10.1145/2001576.2001818

Winther, J. (2011). Guarded Type Promotion: Eliminating Redundant Casts in Java. I Proceedings of the 13th Workshop on Formal Techniues for Java-Like Programs Association for Computing Machinery. https://doi.org/10.1145/2076674.2076680

Venetis, P., Gonzalez, H., Jensen, C. S. & Halevy, A. (2011). Hyper-local, directions-based ranking of places. Proceedings of the VLDB Endowment, 4(5), 290-301. http://www.vldb.org/pvldb/vol4/p290-venetis.pdf

Tsigaridas, E. (2011). Improved bounds for continued fractions variants for real root isolation. Afhandling præsenteret på 4th Internatinal Conference on Mathematical Aspects of Computer Information, Beijing, Kina.

Scholl, P. & Smart, N. P. (2011). Improved key generation for Gentry's Fully Homomorphic Encryption scheme. I Cryptography and Coding - 13th IMA International Conference, IMACC 2011, Proceedings (s. 10-22) https://doi.org/10.1007/978-3-642-25516-8_2

Baniukevic, A., Sabonis, D., Jensen, C. S. & Lu, H. (2011). Improving Wi-Fi Based Indoor Positioning Using Bluetooth Add-Ons. I 12th IEEE International Conference on Mobile Data Management (MDM) (s. 246-255). IEEE Computer Society Press. https://doi.org/10.1109/MDM.2011.50

Wagner, S. R., Toftegaard, T. S. & Bertelsen, O. W. (2011). Increased data quality in home blood pressure monitoring through context awareness. I Pervasive Computing Technologies for Healthcare (PervasiveHealth): 2011 5th International Conference on (s. 234-237).

Viser resultater 2751 til 2800 ud af 3004

Forrige

Næste

Revideret 09.03.2023

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series