Publikationer

Søg publikationer fra Institut for Datalogi

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

Schmidt, E. M., Skyum, S. & Nielsen, M. (2012). To Dexter - A Tribute from Aarhus. I R. L. Constable & A. Silva (red.), Logic and Program Semantics : Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday (s. 341). Springer. https://doi.org/10.1007/978-3-642-29485-3_30

Andersen, M. S. & Kjærgaard, M. B. (2012). Towards a New Classification of Location Privacy Methods in Pervasive Computing. I A. Puiatti & T. Gu (red.), Mobile and Ubiquitous Systems: Computing, Networking, and Services : 8th International ICST Conference, MobiQuitous 2011, Copenhagen, Denmark, December 6-9, 2011, Revised Selected Papers (Bind 104, s. 150-161). Springer. https://doi.org/10.1007/978-3-642-30973-1_13

Jensen, K., Donatelli, S. & Kleijn , J. (red.) (2012). Transactions on Petri Nets and Other Models of Concurrency V: ToPNoC. Springer. Lecture Notes in Computer Science Bind 6900 https://doi.org/10.1007/978-3-642-29072-5

Jensen, K., Aalst, W. M. V. D., Marsan, M. A., Franceschinis, G., Kleijn , J. & Kristensen, L. M. (red.) (2012). Transactions on Petri Nets and Other Models of Concurrency VI: ToPNoC. Springer. Lecture Notes in Computer Science Bind 7400 https://doi.org/10.1007/978-3-642-35179-2

Nielsen, M. & Krukow, K. (2012). Transfer of Trust in Event-based Reputation Systems. Theoretical Computer Science, 429, 236-246. https://doi.org/10.1016/j.tcs.2011.12.044,

Davoodi, P., Smid, M. & Walderveen, F. V. (2012). Two-dimensional range diameter queries. Lecture Notes in Computer Science, 7256, 219–230. https://doi.org/10.1007/978-3-642-29344-3_19

Brodal, G. S., Davoodi, P., Lewenstein, M., Raman, R. & Rao, S. S. (2012). Two Dimensional Range Minimum Queries and Fibonacci Lattices. Lecture Notes in Computer Science, 7501, 217-228 . https://doi.org/10.1007/978-3-642-33090-2_20

Vermeulen, J., Luyten, K. & Coninx, K. (2012). Understanding Complex Environments with the Feedforward Torch. I Ambient Intelligence - Third International Joint Conference, AmI 2012, Pisa, Italy, November 13-15, 2012. Proceedings (s. 312-319) https://doi.org/10.1007/978-3-642-34898-3_22

Hilker, R., Sickinger, C., Pedersen, C. N. S. & Stoye, J. (2012). UniMoG - A unifying framework for genomic distance calculation and sorting based DCJ. Bioinformatics, 28(19), 2509-2511. https://doi.org/10.1093/bioinformatics/bts440

Kjærgaard, M. B. & Blunck, H. (2012). Unsupervised Power Profiling for Mobile Devices. I A. Puiatti & T. Gu (red.), Mobile and Ubiquitous Systems: Computing, Networking, and Services: 8th International ICST Conference, MobiQuitous 2011, Copenhagen, Denmark, December 6-9, 2011, Revised Selected Papers (s. 138-149). Springer. https://doi.org/10.1007/978-3-642-30973-1_12

Lu, H. & Jensen, C. S. (2012). Upgrading Uncompetitive Products Economically. I IEEE 28th International Conference on Data Engineering (ICDE) (s. 977 - 988 ). IEEE Press. https://doi.org/10.1109/ICDE.2012.92

Mailund, T., Halager, A. E. & Westergaard, M. (2012). Using colored Petri nets to construct coalescent hidden markov models: Automatic translation from demographic specifications to efficient inference methods. Lecture Notes in Computer Science, 7347, 32-50. https://doi.org/10.1007/978-3-642-31131-4_3

Andersen, M. S., Kjærgaard, M. B. & Grønbæk, K. (2012). Using Extracted Behavioral Features to Improve Privacy for Shared Route Tracks. I A. U. Schmidt, G. Russello, I. Krontiris & S. Lian (red.), Security and Privacy in Mobile Information and Communication Systems : 4th International Conference, MobiSec 2012, Frankfurt am Main, Germany, June 25-26, 2012, Revised Selected Papers (s. 107-118). Springer. https://doi.org/10.1007/978-3-642-33392-7_12

Holzhüter, C., Lex, A., Schmalstieg, D., Schulz, H.-J., Schumann, H. & Streit, M. (2012). Visualizing uncertainty in biological expression data. I P. C. Wong, D. L. Kao, M. C. Hao, C. Chen, R. Kosara, M. A. Livingston, J. Park & I. Roberts (red.), Proceedings of the Conference on Visualization and Data Analysis VDA 2012 SPIE - International Society for Optical Engineering. https://doi.org/10.1117/12.908516

Thomsen, J. G., Ernst, E., Brabrand, C. & Schwartzbach, M. I. (2012). WebSelF: A Web Scraping Framework . Lecture Notes in Computer Science, 7387, 347-361. https://doi.org/10.1007/978-3-642-31753-8_28

Sheng, Q. Z., Wang, G., Jensen, C. S. & Xu, G. (red.) (2012). Web Technologies and Applications: 14th Asia-Pacific Web Conference, APWeb 2012, Kunming, China, April 11-13, 2012. Proceedings. Springer. Lecture Notes in Computer Science Bind 7235 https://doi.org/10.1007/978-3-642-29253-8

Ackerman, M., Ben-David, S., Branzei, S. & Loker, D. (2012). Weighted Clustering. I Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence (s. 858-863). AAAI Press.

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

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. Association for Computing Machinery. Journal, 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

Viser resultater 2701 til 2750 ud af 2970

Forrige

Næste

Revideret 09.03.2023

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series