Publikationer

Søg publikationer fra Institut for Datalogi

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

Bernaerts, Y., Druwé, M., Steensels, S., Vermeulen, J. & Schöning, J. (2014). The Office Smartwatch: Development and Design of a Smartwatch App to Digitally Augment Interactions in an Office Environment. -, 41-44. https://doi.org/10.1145/2598784.2602777

Chatterjee, K., Pavlogiannis, A., Adlam, B. & Nowak, M. A. (2014). The Time Scale of Evolutionary Innovation. PLoS Computational Biology, 10(9). https://doi.org/10.1371/journal.pcbi.1003818

Kuutti, K. & Bannon, L. J. (2014). The turn to practice in HCI: Towards a research agenda. I M. Jones , P. Palanque, A. Schmidt & T. Grossman (red.), Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, CHI '14 (s. 3543-3552). Association for Computing Machinery. https://doi.org/10.1145/2556288.2557111

Jørgensen, A. G. & Pettie, S. (2014). Threesomes, Degenerates, and Love Triangles. I B. Barak (red.), 2014 IEEE 55th Annual Symposium on Foundations of Computer Science, FOCS (s. 621-630). IEEE Computer Society Press. https://doi.org/10.1109/FOCS.2014.72

Kjærgaard, M. B. & Blunck, H. (2014). Tool support for detection and analysis of following and leadership behavior of pedestrians from mobile sensing data. Pervasive and Mobile Computing, 10(A), 104-117. https://doi.org/10.1016/j.pmcj.2013.10.007

Skovsgaard, A. & Jensen, C. S. (2014). Top-k point of interest retrieval using standard indexes. I Y. Huang & M. Schneider (red.), Proceedings of the 22nd ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems, SIGSPATIAL '14 (s. 173-182 ). Association for Computing Machinery. https://doi.org/10.1145/2666310.2666399

Munro, J. I., Navarro, G., Nielsen, J. A. S. & ShaH, R. (2014). Top- k Term-Proximity in Succinct Space. I H.-K. Ahn & C.-S. Shin (red.), Algorithms and Computation: 25th International Symposium, ISAAC 2014, Proceedings (s. 169-180 ). Springer VS. https://doi.org/10.1007/978-3-319-13075-0_14

Guo, C., Jensen, C. S. & Yang, B. (2014). Towards total traffic awareness. SIGMOD Record, 43(3), 18-23. http://www.scopus.com/inward/record.url?scp=84916929262&partnerID=8YFLogxK

Sand, A., Holt, M. K., Johansen, J., Brodal, G. S., Mailund, T. & Pedersen, C. N. S. (2014). tqDist: A Library for Computing the Quartet and Triplet Distances Between Binary and General Trees. Bioinformatics, 30(4), 2079-2080. https://doi.org/10.1093/bioinformatics/btu157

Macklon, K. T., Jensen, A. K., Loft, A., Ernst, E. & Andersen, C. Y. (2014). Treatment history and outcome of 24 deliveries worldwide after autotransplantation of cryopreserved ovarian tissue, including two new Danish deliveries years after autotransplantation. Journal of Assisted Reproduction and Genetics, 31(11), 1557-64. https://doi.org/10.1007/s10815-014-0331-z

Nielsen, M. (2014). Trust in Event Structures. Theoretical Computer Science, 546(August), 3-6. https://doi.org/10.1016/j.tcs.2014.02.039

Filos-Ratsikas, A. & Miltersen, P. B. (2014). Truthful Approximations to Range Voting. I T.-Y. Liu, Q. Qi & Y. Ye (red.), Web and Internet Economics : 10th Workshop of Internet and Web Economics (WINE), proceedings (s. 175-188 ). Springer VS. https://doi.org/10.1007/978-3-319-13129-0_13

Křivánek, J., Georgiev, I., Hachisuka, T., Vévoda, P., Šik, M., Nowrouzezahrai, D. & Jarosz, W. (2014). Unifying Points, Beams, and Paths in Volumetric Light Transport Simulation. A C M Transactions on Graphics, 33(4), Artikel 13. https://doi.org/10.1145/2601097.2601219

David, B. M., Dowsley, R. & Nascimento, A. C. A. (2014). Universally composable oblivious transfer based on a variant of lPN. I D. Gritzalis, A. Kiayias & I. Askoxylakis (red.), Cryptology and Network Security: 13th International Conference, CANS 2014, Heraklion, Crete, Greece, October 22-24, 2014. Proceedings (s. 143-158). Springer. https://doi.org/10.1007/978-3-319-12280-9_10

Dahl, M. & Damgård, I. B. (2014). Universally composable symbolic analysis for two-party protocols based on homomorphic encryption. I P. Q. Nguyen & E. Oswald (red.), Advances in Cryptology – EUROCRYPT 2014: 33rd Annual International Conference on the Theory and Applications of Cryptographic Techniques, Copenhagen, Denmark, May 11-15, 2014. Proceedings (s. 695-712). Springer VS. https://doi.org/10.1007/978-3-642-55220-5_38

Brynskov, M., Bermúdez, J. C. C., Fernández, M., Korsgaard, H., Mulder, I., Piskorek, K., Rekow, L. & de Waal, M. (2014). Urban Interaction Design: Towards City Making. Urban IxD Booksprint. http://static1.squarespace.com/static/50f5c859e4b083caad2ed6a0/t/5395d6a5e4b0fc0456d8d5a3/1402328741769/UrbanIxD_towardsCityMaking.pdf

Radaelli, L., Moses, Y. & Jensen, C. S. (2014). Using cameras to improve Wi-Fi based indoor positioning. I D. Pfoser & K.-J. Li (red.), Web and Wireless Geographical Information Systems: 13th International Symposium, W2GIS 2014, Seoul, South Korea, May 29-30, 2014. Proceedings (s. 166-183). Springer VS. https://doi.org/10.1007/978-3-642-55334-9-11

Yang, B., Kaul, M. & Jensen, C. S. (2014). Using Incomplete Information for Complete Weight Annotation of Road Networks. I E E E Transactions on Knowledge & Data Engineering, 26(5), 1267-1279. https://doi.org/10.1109/TKDE.2013.89

Winge, K., Haugaard, R. & Merritt, T. R. (2014). VAL: Visually Augmented Laser cutting to enhance and support creativity. I IEEE International Symposium on Mixed and Augmented Reality - Media, Arts, Social Science, Humanities and Design, ISMAR 2014, Proceedings (s. 31-34). Artikel 6935435 IEEE. https://doi.org/10.1109/ISMAR-AMH.2014.6935435

Sørensen, T. S., Mosegaard, J., Kislinskiy, S. & Greil, G. (2014). Virtual Surgery in Congenital Heart Disease. I F. Saremi (red.), Cardiac CT and MR for Adult Congenital Heart Disease (s. 515-523). Springer. https://doi.org/10.1007/978-1-4614-8875-0_23

Stenfeldt, L. & Grønbæk, K. (2014). Visions of an interactive Utzon Archive: Tangible, visual and interactive experiences of Utzon works . I Utzon Symposium What would Utzon do Now?: What would Utzon do Now? http://www.be.unsw.edu.au/sites/default/files/36.%20Liselott%20Stenfeldt%20and%20Kaj%20Grønbæk%20-%20Visions%20of%20an%20interactive%20Utzon%20Archive.pdf

Klokmose, C. N., Korn, M. & Blunck, H. (2014). WiFi proximity detection in mobile web applications. I EICS 2014 - Proceedings of the 2014 ACM SIGCHI Symposium on Engineering Interactive Computing Systems (s. 123-128). Association for Computing Machinery. https://doi.org/10.1145/2607023.2610281

Kejlberg-Rasmussen, C., Kopelowitz, T., Pettie, S. & Porat, E. (2014). Word-packing Algorithms for Dynamic Connectivity and Dynamic Sets. (1407.6755v1 udg.) arxiv.org. http://arxiv.org/abs/1407.6755v1

Dalgaard, L. G., Grönvall, E. & Verdezoto, N. (2013). Accounting for Medication Particularities: Designing for Everyday Medication Management. I V. Osman, A. Campbell & P. Lukowicz (red.), The 7th International Conference on Pervasive Computing Technologies for Healthcare (s. 137-144). IEEE. https://doi.org/10.4108/pervasivehealth.2013.252058

Dupont-Dupuis, F., Fawzi, O. & Wehner, S. (2013). Achieving the Limits of the Noisy-Storage Model Using Entanglement Sampling. I R. Canetti & J. A. Garay (red.), Advances in Cryptology – CRYPTO 2013: 33rd Annual Conference. Proceedings, Part II (s. 326-343 ). Springer VS. https://doi.org/10.1007/978-3-642-40084-1_19

Houben, S., Bardram, J. E., Vermeulen, J., Luyten, K. & Coninx, K. (2013). Activity-centric Support for Ad Hoc Knowledge Work: A Case Study of Co-activity Manager. Unspecified journal, 2263-2272. https://doi.org/10.1145/2470654.2481312

Chan, T. M. & Wilkinson, B. T. (2013). Adaptive and Approximate Orthogonal Range Counting. I S. Khanna (red.), Proceedings of the Twenty-Fourth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2013 (s. 241-251). Society for Industrial and Applied Mathematics. https://doi.org/10.1137/1.9781611973105.18

Kalkofen, D., Veas, E., Zollmann, S., Steinberger, M. & Schmalstieg, D. (2013). Adaptive ghosted views for Augmented Reality. I 2013 IEEE International Symposium on Mixed and Augmented Reality, ISMAR 2013 (s. 1-9). Artikel 6671758 https://doi.org/10.1109/ISMAR.2013.6671758

Schulz, H.-J., Nocke, T., Heitzler, M. & Schumann, H. (2013). A Design Space of Visualization Tasks. IEEE Transactions on Visualization and Computer Graphics, 19(12), 2366-2375. https://doi.org/10.1109/TVCG.2013.120

Zhu, F., Zhang, Z. & Qu, Q. (2013). A direct mining approach to efficient constrained graph pattern discovery. Association for Computing Machinery. Special Interest Group on Management of Data. International Conference Proceedings, 821-832. https://doi.org/10.1145/2463676.2463723

Hansen, T. D., Ibsen-Jensen, R. & Miltersen, P. B. (2013). A Faster Algorithm for Solving One-Clock Priced Timed Games. I P. R. D*Argenio & H. Melgratti (red.), CONCUR 2013 – Concurrency Theory: 24th International Conference, CONCUR 2013, Buenos Aires, Argentina, August 27-30, 2013. Proceedings (s. 531-545). Springer VS. https://doi.org/10.1007/978-3-642-40184-8_37

Schulz, H.-J., Akbar, Z. & Maurer, F. (2013). A generative layout approach for rooted tree drawings. I S. Carpendale, W. Chen & S. Hong (red.), Proceedings of the IEEE Pacific Visualization Symposium PacificVis (s. 225-232). IEEE. https://doi.org/10.1109/PacificVis.2013.6596149

Tshagharyan, G. & Schulz, H.-J. (2013). A Graph-based Overview Visualization for Data Landscapes. Computer Science and Information Technology, 1(3), 225-232. http://www.hrpub.org/journals/article_info.php?aid=672

Alexander, C., Moeslund, J. E., Bøcher, P. K., Arge, L. & Svenning, J.-C. (2013). Airborne laser scanner (LiDAR) proxies for understory light conditions. Remote Sensing of Environment, 134, 152-161. https://doi.org/10.1016/j.rse.2013.02.028

Arge, L. & Tsirogiannis, C. (2013). Algorithms for Computing Prominence on Grid Terrains. I C. Knoblock, M. Schneider, P. Peer Kröger , J. Krumm & P. Widmayer (red.), Proceedings of the 21st ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems (ACM SIGSPATIAL GIS 2013) (s. 254-263 ). Association for Computing Machinery. http://dl.acm.org/citation.cfm?id=2525314.2594229&coll=DL&dl=ACM&CFID=448731544&CFTOKEN=20995598

Sand, A., Holt, M. K., Johansen, J., Fagerberg, R., Pedersen, C. N. S., Brodal, G. S. & Mailund, T. (2013). Algorithms for Computing the Triplet and Quartet Distances for Binary and General Trees. Biology, 2(4), 1189-1209. https://doi.org/10.3390/biology2041189

Tataru, P., Sand, A., Hobolth, A., Mailund, T. & Pedersen, C. N. S. (2013). Algorithms for Hidden Markov Models Restricted to Occurrences of Regular Expressions. Biology, 2(4), 1282-1295. https://doi.org/10.3390/biology2041282

Olsen, M. & Revsbæk, M. (2013). Alliances and Bisection Width for Planar Graphs. I S. K. Ghosh & T. Tokuyama (red.), WALCOM: Algorithms and Computation: 7th International Workshop, WALCOM 2013, Kharagpur, India, February 14-16, 2013. Proceedings (s. 206-216). Springer VS. https://doi.org/10.1007/978-3-642-36065-7_20

Simmons , R. J. & Zerny, I. (2013). A logical correspondence between natural semantics and abstract machines. I R. Peña & T. Schrijvers (red.), Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming, PPDP '13 (s. 109-119 ). Association for Computing Machinery. https://doi.org/10.1145/2505879.2505899

Gutin, G., Jones, M., Scheder, D. & Yeo, A. (2013). A new bound for 3-satisfiable MaxSat and its algorithmic application. Information and Computation, 231(October), 117-124. https://doi.org/10.1016/j.ic.2013.08.008

Kohlweiss , M., Maurer , U., Onete , C., Tackmann , B. & Venturi, D. (2013). Anonymity-Preserving Public-Key Encryption: A Constructive Approach. I E. De Cristofaro & M. Wright (red.), Privacy Enhancing Technologies: 13th International Symposium, PETS 2013, Bloomington, IN, USA, July 10-12, 2013. Proceedings (s. 19-39). Springer VS. https://doi.org/10.1007/978-3-642-39077-7_2

Arge, L., Brodal, G. S., Truelsen, J. & Tsirogiannis, C. (2013). An optimal and practical cache-oblivious algorithm for computing multiresolution rasters. I Algorithms – ESA 2013: 21st Annual European Symposium, Sophia Antipolis, France, September 2-4, 2013. Proceedings (s. 61-72). Springer VS. https://doi.org/10.1007/978-3-642-40450-4_6

Afshani, P., Agarwal, P. K., Arge, L., Larsen, K. G. & Phillips, J. (2013). (Approximate) Uncertain Skylines. Theory of Computing Systems, 52(3), 342-366. https://doi.org/10.1007/s00224-012-9382-7

Frederiksen, S. K. S. & Miltersen, P. B. (2013). Approximating the Value of a Concurrent Reachability Game in the Polynomial Time Hierarchy. I L. Cai, S.-W. Cheng & T.-W. Lam (red.), Algorithms and Computation: 24th International Symposium, ISAAC 2013, Hong Kong, China, December 16-18, 2013, Proceedings (s. 457-467 ). Springer VS. https://doi.org/10.1007/978-3-642-45030-3_43

Sand, A., Pedersen, C. N. S., Mailund, T., Brodal, G. S. & Fagerberg, R. (2013). A practical O(n log² n) time algorithm for computing the triplet distance on binary trees. BMC Bioinformatics, 14(Suppl 2), S18. https://doi.org/10.1186/1471-2105-14-S2-S18

Mottin, D., Marascu, A., Basu Roy, S., Das, G., Palpanas, T. & Velegrakis, Y. (2013). A Probabilistic Optimization Framework for the Empty-Answer Problem. PVLDB, 6(14).

Christensen, H. B. & Hansen, K. M. (2013). Architectural Slicing: Towards Automatic Harvesting of Architectural Prototypes. I K. Drira (red.), Software Architecture : 7th European Conference, ECSA 2013, Montpellier, France, July 1-5, 2013. Proceedings (s. 316-319 ). Springer VS. https://doi.org/10.1007/978-3-642-39031-9_28

Toft, T. (2013). A Secure Priority Queue; or: On Secure Datastructures from Multiparty Computation.. Afhandling præsenteret på International Conference on Information Security and Cryptology, Seoul, Sydkorea. http://www.wikicfp.com/cfp/program?id=1397&s=ICISC&f=International%20Conference%20on%20Information%20Security%20and%20Cryptology

Grönvall, E. (2013). Aspects of family-managed care at home. Afhandling præsenteret på Workshop at CSCW at the Boundary of Work and Life , Paphos, Cypern. http://cscwworkandlife.wordpress.com/

Brodal, G. S. (2013). A Survey on Priority Queues. I A. Brodnik, A. López-Ortiz, V. Raman & A. Viola (red.), Space-Efficient Data Structures, Streams, and Algorithms: Papers in Honor of J. Ian Munro on the Occasion of His 66th Birthday (s. 150-163 ). Springer VS. https://doi.org/10.1007/978-3-642-40273-9_11

Viser resultater 2451 til 2500 ud af 6061

Forrige

Næste

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series