Publikationer

Søg publikationer fra Institut for Datalogi

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

Arge, L., Walderveen, F. V. & Zeh, N. (2012). Multiway simple cycle separators and I/O-efficient algorithms for planar graphs. Afhandling præsenteret på ACM-SIAM symposium on Disrete Algorithms, New Orleans, USA.

Christensen, H. B., Hansen, K. M., Rasmussen, M. & Manikos, K. (2012). Net4Care Ecosystem Website. http://www.net4care.org

Christensen, H. B. & Hansen, K. M. (2012). Net4Care platform. Softwareprogram . http://www.net4care.org

Christensen, H. B. & Hansen, K. M. (2012). Net4Care : Towards a Mission-Critical Software Ecosystem. I Joint Working IEEE/IFIP Conference on Software Architecture (WICSA) and European Conference on Software Architecture (ECSA), 2012 (s. 224 - 228 ). IEEE Communications Society. https://doi.org/10.1109/WICSA-ECSA.212.34

Chan, H.-L., Chan, S.-H., Lam, T.-W., Lee, L. K. & Zhu, J. (2012). Non-clairvoyant weighted flow time scheduling with rejection penalty. I Proceedings of the 24th ACM Symposium on Parallelism in Algorithms and Architectures, SPAA (s. 246-254 ). Association for Computing Machinery. https://doi.org/10.1145/2312005.2312050

Hoggan, E. & Brewster, S. (2012). Nonspeech auditory and crossmodal output. The Human-Computer Interaction Handbook: Fundamentals, Evolving Technologies and Emerging Applications, 211-236.

Moad, S., Hansen, M. T., Jurdak, R., Kusy, B., Bouabdallah, N. & Ksentini, A. (2012). On balancing between minimum energy and minimum delay with radio diversity for wireless sensor networks. I 2012 IFIP Wireless Days (WD) (s. 1 - 6 ). IEEE Press. https://doi.org/10.1109/WD.2012.6402840

Danvy, O., Millikin, K., Munk, J. & Zerny, I. (2012). On Inter-deriving Small-step and Big-step Semantics: A Case Study for Storeless Call-by-need Evaluation. Theoretical Computer Science, 435, 21–42. https://doi.org/10.1016/j.tcs.2012.02.023

Brodal, G. S., Moruz, G. & Negoescu, A. (2012). OnlineMin: A Fast Strongly Competitive Randomized Paging Algorithm. Lecture Notes in Computer Science, 7164, 164-175 . https://doi.org/10.1007/978-3-642-29116-6_14

Babka, M., Bulánek, J., Cunat, V., Koucky, M. & Saks, M. (2012). On Online Labeling with Polynomially Many Labels. Lecture Notes in Computer Science, 7501, 121-132 . https://doi.org/10.1007/978-3-642-33090-2_12

Dahl, M., Ning, C. & Toft, T. (2012). On Secure Two-Party Integer Division. Lecture Notes in Computer Science, 7397, 164-178 . https://doi.org/10.1007/978-3-642-32946-3_13

Brodal, G. S., Davoodi, P. & Rao, S. S. (2012). On Space Efficient Two Dimensional Range Minimum Data Structures. Algorithmica, 63(4), 815-830. https://doi.org/10.1007/s00453-011-9499-0

Cramer, R., Damgård, I. B. & Pastro, V. (2012). On the Amortized Complexity of Zero Knowledge Protocols for Multiplicative Relations. Lecture Notes in Computer Science, 7412, 62-79 . https://doi.org/10.1007/978-3-642-32284-6_4

Klokmose, C. N. & Korn, M. (2012). On the Degree of Participant Commitment in Non-Work Settings. Afhandling præsenteret på Workshop on Participation - basic concepts and research challenges at PDC 2012, Roskilde, Danmark. http://pdc2012.org/index.html

Faust, S., Kohlweiss, M., Marson, G. A. & Venturi, D. (2012). On the Non-malleability of the Fiat-Shamir Transform. Lecture Notes in Computer Science, 7668, 60-79 . https://doi.org/10.1007/978-3-642-34931-7_5

Verdezoto, N. & Grönvall, E. (2012). Opportunities to Support Medication Intake across Boundaries of Care. Afhandling præsenteret på Designing for Self-Care Acknowledging the Home-Clinic Difference, Copenhagen, Danmark. http://users-cs.au.dk/gronvall/nordichi_rehab2012/accepted.html

Muller, E., Assent, I., Iglesias, P., Mülle, Y. & Böhm, K. B. (2012). Outlier Ranking via Subspace Analysis in Multiple Views of the Data. I Proceedings of the 12th IEEE International Conference on Data Mining, ICDM (s. 529 - 538 ). IEEE Communications Society. https://doi.org/10.1109/ICDM.2012.112

Christensen, B. B., Nielsen, M. B. & Museth, K. (2012). Out-of-Core Computations of High-Resolution Level Sets by Means of Code Transformation. Journal of Scientific Computing, 50(2), 368-404. https://doi.org/10.1007/s10915-011-9488-0

Yiu, M. L., Assent, I. & Jensen, C. S. (2012). Outsourced Similarity Search on Metric Data Assets. I E E E Transactions on Knowledge & Data Engineering, 24(2), 338-352. https://doi.org/10.1109/TKDE.2010.222

Šidlauskas, D., Šaltenis, S. & Jensen, C. S. (2012). Parallel main-memory indexing for moving-object query and update workloads. I Proceedings of the 2012 ACM SIGMOD International Conference on Management of Data (s. 37-48 ). Association for Computing Machinery. https://doi.org/10.1145/2213836.2213842

Lee, L.-K., Lewenstein, M. & Zhang, Q. (2012). Parikh Matching in the Streaming Model. Lecture Notes in Computer Science, 7608, 336-341. https://doi.org/10.1007/978-3-642-34109-0_35

Verdezoto, N. & Olsen, J. W. (2012). Personalized Medication Management: Towards a Design of Individualized Support for Elderly Citizens at Home. I Proceedings of the 2nd ACM SIGHIT International Health Informatics Symposium (IHI2012) (s. 813-817). Association for Computing Machinery. https://doi.org/10.1145/2110363.2110463

Bødker, S., Christiansen, E. T., Nyvang, T. & Zander, P.-O. (2012). Personas, people and participation–challenges from the trenches of local government. P D C, 2012(1), 91-100. https://doi.org/10.1145/2347635.2347649

Bødker, S. & Christiansen, E. T. (2012). Poetry in motion: appropriation of the world of Apps. I P. Turner & S. Turner (red.), Proceedings of the 30th European Conference on Cognitive Ergonomics, ECCE '12 (s. 78-84). Association for Computing Machinery. https://doi.org/10.1145/2448136.2448152

Kjærgaard, M. B. & Weckemann, K. (2012). PosQ : Unsupervised Fingerprinting and Visualization of GPS Positioning Quality. I M. Gris & G. Yang (red.), Mobile Computing, Applications, and Services: Second International ICST Conference, MobiCASE 2010, Santa Clara, CA, USA, October 25-28, 2010, Revised Selected Papers (s. 176-194 ). Springer. https://doi.org/10.1007/978-3-642-29336-8_10

Sükösd, Z., Knudsen, B., Kjems, J. & Pedersen, C. N. S. (2012). PPfold 3.0: fast RNA secondary structure prediction using phylogeny and auxiliary data. Bioinformatics, 28(20), 2691-2692. https://doi.org/10.1093/bioinformatics/bts488

Faust, S., Pietrzak, K. & Schipper, J. (2012). Practical Leakage-Resilient Symmetric Cryptography. Lecture Notes in Computer Science, 7428, 213-232 . https://doi.org/10.1007/978-3-642-33027-8_13

Midtgaard, J. & Might, M. (2012). Preface. Elsevier. https://doi.org/10.1016/j.entcs.2012.09.001

Bødker, S. & Klokmose, C. N. (2012). Preparing Students for (Inter-)Action with Activity Theory. International Journal of Design, 6(3), 99-111. http://www.ijdesign.org/ojs/index.php/IJDesign/article/viewFile/972/532

Nissim, K., Orlandi, C. & Smorodinsky, R. (2012). Privacy-aware mechanism design. I B. Faltings (red.), Proceedings of the ACM Conference on Electronic Commerce, EC '12 (s. 774-789). Association for Computing Machinery. https://doi.org/10.1145/2229012.2229073

Midtgaard, J. & Might, M. (red.) (2012). Proceedings of the Fourth International Workshop on Numerical and Symbolic Abstract Domains, NSAD 2012. Elsevier. https://doi.org/10.1016/j.entcs.2012.09.001

Blais, E., Brody, J. E. & Matulef, K. (2012). Property Testing Lower Bounds via Communication Complexity. Computational Complexity, 21(2), 311-358 . https://doi.org/10.1007/s00037-012-0040-x

Korn, M. & Klokmose, C. N. (2012). Putting 'Local' Back into Public Wifi Hotspots. I UbiComp '12 : Proceedings of the 2012 ACM Conference on Ubiquitous Computing (s. 800-801). Association for Computing Machinery. https://doi.org/10.1145/2370216.2370399

Verbin, E. & Zhang, Q. (2012). Rademacher-Sketch: A Dimensionality-Reducing Embedding for Sum-Product Norms, with an Application to Earth-Mover Distance. Lecture Notes in Computer Science, 7391, 834-845. https://doi.org/10.1007/978-3-642-31594-7_70

Zengfeng, H., Ke, Y. & Zhang, Q. (2012). Randomized algorithms for tracking distributed count, frequencies, and ranks. I K. Markus , B. Michael & L. Maurizio (red.), PODS '12 Proceedings of the 31st symposium on Principles of Database Systems (s. 295-306 ). Association for Computing Machinery. https://doi.org/10.1145/2213556.2213596

Staal, L. K. & Hachisuka, T. (2012). Randomized Coherent Sampling for Reducing the Perceptual Error of Rendered Images. Poster-session præsenteret på SIGGRAPH 2012. https://doi.org/10.1145/2342896.2343023

Jensen, S. H., Jonsson, P. A. & Møller, A. (2012). Remedying the Eval that Men Do. I M. Heimdahl & Z. Su (red.), 2012 International Symposium on Software Testing and Analysis (ISSTA) : Proceedings (s. 34-44). Association for Computing Machinery. https://doi.org/10.1145/2338965.2336758

Wagner, S. R., Toftegaard, T. S. & Bertelsen, O. W. (2012). Requirements for an evaluation infrastructure for reliable pervasive healthcare research. I The 6th International Conference on Pervasive Computing Technologies for Healthcare and Workshops (s. 260-267). ICST, The Institute for Computer Sciences, Social Informatics and Telecommunications Engineering. http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=6240390

Christensen, H. B., Christensen, M., Hansen, K. M., Kyng, M., Manikas, K., Surrow, M. & Urazimbetova, S. (2012). Requirements for a Software-Intensive Ecosystem for Telemedicine. Global Telemedicine and eHealth Updates : Knowledge Resources, 5, 423-427. http://www.medetel.lu/download/2012/Med-e-Tel_2012_Global_Telemedicine_and_eHealth_Updates_Volume_5_Contents.pdf

Rossi, L., Magnani, M. & Ladarola , B. (2012). Rescatemineros: Global Media Events in the Microblogging Age. Accepted Paper Series http://ssrn.com/abstract=1989791

Rasmussen, M. K. & Petersen, M. G. (2012). Re-scripting interactive artefacts with feminine values. I DPPI '11 Proceedings of the 2011 Conference on Designing Pleasurable Products and Interfaces : proceedings Association for Computing Machinery. https://doi.org/10.1145/2347504.2347515

Ackerman, M. & Branzei, S. (2012). Research Quality, Fairness, and Authorship Order. http://arxiv.org/abs/1208.3391

Sandel, B. S., Arge, L., Dalsgaard, B., Davies, R. G., Gaston, K. J., Sutherland, W. J. & Svenning, J.-C. (2012). Response - Global Endemism Needs Spatial Integration Response. Science, 335(6066), 285-286. https://doi.org/10.1126/science.335.6066.285-a

Hansen, M. S., Sørensen, T. S., Arai, A. & Kellman, P. (2012). Retrospective Reconstruction of High Temporal Resolution Cine Images from Real-Time MRI using Iterative Motion Correction. Magnetic Resonance in Medicine, 68(3), 741-750. https://doi.org/10.1002/mrm.23284

Hansen, D. C., Lühr, A., Bassler, N. & Sørensen, T. S. (2012). Robust Combined Proton & Cone Beam X-ray Tomography. Poster-session præsenteret på PTCOG 51, Seoul, Sydkorea.

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

Damgård, I. B., Kölker, J. & Miltersen, P. B. (2012). Secret Sharing and Secure Computing from Monotone Formulae. http://eprint.iacr.org/2012/536

Damgård, I. B., Kölker, J. & Toft, T. (2012). Secure Computation, I/O-Efficient Algorithms and Distributed Signatures. Lecture Notes in Computer Science, 7178, 278-295 . https://doi.org/10.1007/978-3-642-27954-6_18

Damgård, I. B., Kölker, J., Faust, S. & Hazay, C. (2012). Secure Two-Party Computation with Low Communication. Lecture Notes in Computer Science, 7194, 54-74 . https://doi.org/10.1007/978-3-642-28914-9_4

Kölker, J. (2012). Selected Slither Link Variants are NP-complete. Journal of Information Processing, 20(3), 709-712 . https://doi.org/10.2197/ipsjjip.20.709

Viser resultater 2651 til 2700 ud af 3004

Forrige