Publications

Search for publications at Department of Computer Science

Below you find a complete list of publications published and edited by scientists at the Department of Computer Science

Toftkjær, T. (2012). Accurate positioning of pedestrains in mixed indoor/outdoor settings : A particle filter approach to sensor and map fusion. Department of Computer Science, Aarhus University.

Šidlauskas, D., Jensen, C. S. & Šaltenis , S. (2012). A comparison of the use of virtual versus physical snapshots for supporting update-intensive workloads. In Proceedings of the Eighth International Workshop on Data Management on New Hardware: DaMoN '12 (pp. 1-8). Association for Computing Machinery. https://doi.org/10.1145/2236584.2236585

Sergey, I. & Clark, D. (2012). A correspondence between type checking via reduction and type checking via evaluation. Information Processing Letters, 112(1-2), 13-20. https://doi.org/10.1016/j.ipl.2011.10.008

Dupuis, F., Nielsen, J. B. & Salvail, L. (2012). Actively Secure Two-Party Evaluation of Any Quantum Operation. Lecture Notes in Computer Science, 7417, 794-811. https://doi.org/10.1007/978-3-642-32009-5_46

Backes, M., Goldberg, I., Kate, A. & Toft, T. (2012). Adding query privacy to robust DHTs. In ASIACCS '12 Proceedings of the 7th ACM Symposium on Information, Computer and Communications Security (pp. 30-31 ). Association for Computing Machinery. https://doi.org/10.1145/2414456.2414473

Bitsch, J. E. & Bouvin, N. O. (2012). Ad-hoc Symbiotic Interactive Displays through DLNA. In IEEE International Conference on Pervasive Computing and Communications (PerCom), 2012 (pp. 57-65). IEEE Computer Society Press. https://doi.org/10.1109/PerCom.2012.6199849

Alrøe, T. F., Grann, J., Grönvall, E., Petersen, M. G. & L. Rasmussen, J. (2012). Aerial Tunes : Exploring Interaction Qualities of Mid-air Displays. In Proceedings of the 7th Nordic Conference on Human-Computer Interaction: Making sense through design (NordiCHI 2012), (pp. 514-523). Association for Computing Machinery. https://doi.org/10.1145/2399016.2399095

Hansen, T. D., Ibsen-Jensen, R. & Miltersen, P. B. (2012). A Faster Algorithm for Solving One-Clock Priced Timed Games. http://arxiv.org/abs/1201.3498

Lu, H., Cao, X. & Jensen, C. S. (2012). A Foundation for Efficient Indoor Distance-Aware Query Processing. In IEEE 28th International Conference on Data Engineering (ICDE) (pp. 438 -449). IEEE Press. https://doi.org/10.1109/ICDE.2012.44

Wu, D., Cong, G. & Jensen, C. S. (2012). A framework for efficient spatial web object retrieval. V L D B Journal, 21(6), 797-822 . https://doi.org/10.1007/s00778-012-0271-0

Bohøj, M., Bouvin, N. O. & Gammelmark, H. (2012). A Framework for Interactively Helpful Web Forms. Journal of Web Engineering, 11(1), 1-22. http://www.rintonpress.com/journals/jweonline.html#v11n1

Dang, X.-H., Ong, K.-L. & Lee, V. (2012). An Adaptive Algorithm for Finding Frequent Sets in Landmark Windows. Lecture Notes in Computer Science, 7520, 590-597 . https://doi.org/10.1007/978-3-642-33362-0_47

Nielsen, J. B., Nordholt, P. S., Orlandi, C. & Burra, S. S. (2012). A New Approach to Practical Active-Secure Two-Party Computation. Lecture Notes in Computer Science, 7417, 681-700 . https://doi.org/10.1007/978-3-642-32009-5_40

Mailund, T., Halager, A. E., Westergaard, M., Dutheil, J. Y., Munch, K., Andersen, L. N., Lunter, G., Prüfer, K., Scally, A., Hobolth, A. & Schierup, M. H. (2012). A New Isolation with Migration Model along Complete Genomes Infers Very Different Divergence Processes among Closely Related Great Ape Species. P L o S Genetics, 8(12), e1003125. https://doi.org/10.1371/journal.pgen.1003125

Kranen, P., Assent, I. & Seidl, T. (2012). An Index-Inspired Algorithm for Anytime Classification on Evolving Data Streams. Datenbank-Spektrum, 12(1), 43-50 . https://doi.org/10.1007/s13222-012-0083-9

Agarwal, P. K., Arge, L., Kaplan, H., Molad, E., Tarjan, R. E. & Yi, K. (2012). An Optimal Dynamic Data Structure for Stabbing-Semigroup Queries. S I A M Journal on Computing, 41(1), 104–127. https://doi.org/10.1137/10078791X

Assent, I., Kranen, P., Baldauf, C. & Seidl, T. (2012). AnyOut : Anytime Outlier Detection Approach for High-dimensional Data. Lecture Notes in Computer Science, 7238, 228-242. https://doi.org/10.1007/978-3-642-29038-1_18

Magnani, M., Assent, I. & Mortensen, M. L. (2012). Anytime skyline query processing for interactive systems. Paper presented at International Workshop on Ranking in Databases, Istanbul, Turkey. http://chenwsdb.fulton.ad.asu.edu/DBRank2012/

Sitchinava, N. & Zeh, N. (2012). A parallel buffer tree. In Proceedings of the 24th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA (pp. 214-223). Association for Computing Machinery. https://doi.org/10.1145/2312005.2312046

Hachisuka, T., Pantaleoni, J. & Jensen, H. W. (2012). A Path Space Extension for Robust Light Transport Simulation. A C M Transactions on Graphics, 31(6), Article 191. https://doi.org/10.1145/2366145.2366210

Cao, X., Cong, G., Cui, B., Jensen, C. S. & Yuan, Q. (2012). Approaches to Exploring Category Information for Question Retrieval in Community Question-Answer Archives. A C M Transactions on Information Systems, 30(2), Article No. 7 . https://doi.org/10.1145/2180868.2180869

Eickmeyer, K., Hansen, K. A. & Verbin, E. (2012). Approximating the minmax value of 3-player games within a constant is as hard as detecting planted cliques. Electronic Colloquium on Computational Complexity, (TR12-25). http://eccc.hpi-web.de/report/2012/025/

Eickmeyer, K., Hansen, K. A. & Verbin, E. (2012). Approximating the minmax value of Three-player games within a constant is as hard as detecting planted cliques. Lecture Notes in Computer Science, 7615, 96-107. https://doi.org/10.1007/978-3-642-33996-7_9

Midtgaard, J., Adams, M. D. & Matthew , M. (2012). A Structural Soundness Proof for Shivers's Escape Technique: A Case for Galois Connections . Lecture Notes in Computer Science, 7460, 352-369. https://doi.org/10.1007/978-3-642-33125-1_24

Wagner, S. R., Ahrendt, P., Toftegaard, T. S. & Bertelsen, O. W. (2012). Audio Context Classification for Determining Blood Pressure Self-Measurement Adherence. 105 - 114. Paper presented at IADIS International Conference on e-Health , Lisbon, Portugal. http://www.conferencealerts.com/show-event?id=97140

Jurik, B. A. & Nielsen, J. A. S. (2012). Audio Quality Assurance : An Application of Cross Correlation. In Proceedings of the 9th International Conference on Preservation of Digital Objects, iPRES (pp. 144-149). Digital Curation Institute, University of Toronto. http://www.scape-project.eu/publication/audio-quality-assurance

Møller, A. & Schwarz, M. (2012). Automated Detection of Client-State Manipulation Vulnerabilities. In M. Glinz, G. Murphy & M. Pezzè (Eds.), 34th International Conference on Software Engineering (ICSE 2012) : Proceedings (pp. 749 - 759 ). IEEE Communications Society. https://doi.org/10.1109/ICSE.2012.6227143

Hansen, M. T., Kusy, B., Jurdak, R. & Langendoen, K. (2012). AutoSync : Automatic duty-cycle control for synchronous low-power listening. In 9th Annual IEEE Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Networks (SECON) (pp. 139 - 147 ). IEEE Signal Processing Society. https://doi.org/10.1109/SECON.2012.6275770

Andersen, E. S., Muren, L., Sørensen, T. S., Noe, K. Ø., Thor, M., Petersen, J. B. B., Høyer, M., Bentzen, L. N. & Tanderup, K. (2012). Biomechanical deformable registration based dose accumulation vs. dose summation for the bladder. Radiotherapy & Oncology, 103(Supplement 1).

Andersen, E., Muren, L., Sørensen, T. S., Noe, K. Ø., Thor, M., Petersen, J. B. B., Høyer, M., Bentzen, L. N. & Tanderup, K. (2012). Bladder dose accumulation based on a biomechanical deformable image registration algorithm in volumetric modulated arc therapy for prostate cancer. Physics in Medicine and Biology, 57(21), 7089-7100. https://doi.org/10.1088/0031-9155/57/21/7089

Borchorst, N. G., McPhail, B., Smith, K. L., Ferenbok, J. & Clement, A. (2012). Bridging Identity Gaps : Supporting Identity Performance in Citizen Service Encounters. Computer Supported Cooperative Work, 21(6), 555-590 . https://doi.org/10.1007/s10606-012-9163-5

Urazimbetova, S. & Kyng, M. (2012). Bridging the Patient Empowerment Gap of National Healthcare Services with Quick Response Code. Global Telemedicine and eHealth Updates : Knowledge Resources, 5, 444-448. http://www.medetel.lu/download/2012/Med-e-Tel_2012_Global_Telemedicine_and_eHealth_Updates_Volume_5_Contents.pdf

Kejlberg-Rasmussen, C. & Brodal, G. S. (2012). Cache-Oblivious Implicit Predecessor Dictionaries with the Working-Set Property. Leibniz International Proceedings in Informatics, 14, 112--123. https://doi.org/10.4230/LIPIcs.STACS.2012.112

Sergey, I., Midtgaard, J. & Clarke, D. (2012). Calculating Graph Algorithms for Dominance and Shortest Path. Lecture Notes in Computer Science, 7342, 132-156. https://doi.org/10.1007/978-3-642-31113-0_8

Asharov, G. & Orlandi, C. (2012). Calling Out Cheaters : Covert Security with Public VerifiabilitySecurity. Lecture Notes in Computer Science, 7658, 681-698 . https://doi.org/10.1007/978-3-642-34961-4_41

Brody, J. E., Chakrabarti, A., McGregor, A. & Kondapally, R. (2012). Certifying Equality With Limited Interaction. Electronic Colloquium on Computational Complexity, (TR12-153 ). http://eccc.hpi-web.de/report/2012/153/

Kjærgaard, M. B. & Nurmi, P. (2012). Challenges for Social Sensing using WiFi Signals. In Proceedings of the 1st ACM workshop on Mobile systems for computational social science, MCSS '12 (pp. 17-21 ). Association for Computing Machinery. https://doi.org/10.1145/2307863.2307869

Wagner, S. R., Toftegaard, T. S. & Bertelsen, O. W. (2012). Challenges in Blood Pressure Self-Measurement. International Journal of Telemedicine and Applications, 2012. https://doi.org/10.1155/2012/437350

Sandel, B. S. & Dangremond, E. (2012). Climate change and the invasion of California by grasses. Global Change Biology, 18(1), 277.

Assent, I. (2012). Clustering high dimensional data. Wiley Interdisciplinary Reviews: Data Mining and Knowledge Discovery, 2(4), 340-350. https://doi.org/10.1002/widm.1062

Damgård, I. B. & Zakarias, S. N. H. (2012). Constant-Overhead Secure Computation of Boolean Circuits using Preprocessing. Cryptology ePrint Archive. http://eprint.iacr.org/2012/512

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. In The 6th International Conference on Pervasive Computing Technologies for Healthcare and Workshops (pp. 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. Association for Computing Machinery. Journal, 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. In Proceedings of the Sixth International Conference on Weblogs and Social Media (pp. 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

Displaying results 2451 to 2500 out of 5664

Revised 17.04.2023

Marianne Dammand Iversen

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University