Publikationer

Søg publikationer fra Institut for Datalogi

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

Madsen, M. & Andreasen, E. (2014). String Analysis for Dynamic Field Access. I A. Cohen (red.), Compiler Construction: 23rd International Conference, CC 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings (s. 197-217). Springer. https://doi.org/10.1007/978-3-642-54807-9_12

Bertelsen, O. W. (2014). Suffering Beyond Negotiation: Towards a Biographic Perspective on Cooperative Design for Therapy. I C. Rossitto, L. Ciolfi, D. Martin & B. C. (red.), COOP 2014 - Proceedings of the 11th International Conference on the Design of Cooperative Systems, 27-30 May 2014, Nice (France) Springer. http://www.springer.com/computer/hci/book/978-3-319-06497-0

Damgård, I. B., Funder, J., Nielsen, J. B. & Salvail, L. (2014). Superposition attacks on cryptographic protocols. I C. Padró (red.), Information Theoretic Security: 7th International Conference, ICITS 2013, Singapore, November 28-30, 2013, Proceedings (s. 142-161). Springer. https://doi.org/10.1007/978-3-319-04268-8_9

Andreasen, E., Li, G. & Ghosh, I. (2014). SymJS: Automatic Symbolic Testing of JavaScript Web Applications. I S.-C. Cheung , A. Orso & M.-A. Storey (red.), Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, FSE 2014 (s. 449-459 ). Association for Computing Machinery.

Midtgaard, J., Brabrand, C. & Wasowski , A. (2014). Systematic Derivation of Static Analyses for Software Product Lines. I W. Binder (red.), MODULARITY '14 Proceedings of the 13th international conference on Modularity (s. 181-192 ). Association for Computing Machinery. https://doi.org/10.1145/2577080.2577091

Da Rocha Pinto, P., Dinsdale-Young, T. & Gardner, P. (2014). TaDA: A logic for time and data abstraction. I R. Jones (red.), ECOOP 2014 – Object-Oriented Programming: 28th European Conference, Uppsala, Sweden, July 28 – August 1, 2014. Proceedings (s. 207-231). Springer. https://doi.org/10.1007/978-3-662-44202-9_9

Magnani, M., Assent, I. & Mortensen, M. L. (2014). Taking the Big Picture: representative skylines based on significance and diversity. V L D B Journal, 23(5), 795-815. https://doi.org/10.1007/s00778-014-0352-3

Wang, Q., Kaul, M., Long, C. & Wong, R. (2014). Terrain-Toolkit: A Multi-Functional Tool for Terrain Data. Proceedings of the VLDB Endowment, 7(13), 1645 - 1648. http://www.vldb.org/pvldb/vol7/p1645-wang.pdf

Wang, Q., Kaul, M., Long, C. & Wong, R. C. W. (2014). Terrain-Toolkit: A multi-functional tool for terrain data. Proceedings of the VLDB Endowment, 7(13), 1645-1648. http://www.scopus.com/inward/record.url?scp=84905856022&partnerID=8YFLogxK

Ackerman, M. & Branzei, S. (2014). The Authorship Dilemma: Alphabetical or Contribution? I A. Bazzan & M. Huhns (red.), Proceedings of the 2014 international conference on Autonomous agents and multi-agent systems : AAMAS '14 (s. 1487-1488). Association for Computing Machinery. http://dl.acm.org/citation.cfm?id=2616025&bnc=1

Huang, Z. & Yi, K. (2014). The communication complexity of distributed epsilon-approximations. I D. Shmoys (red.), 2014 IEEE 55th Annual Symposium on Foundations of Computer Science (FOCS) Proceedings - Annual IEEE Symposium on Foundations of Computer Science, FOCS (s. 591-600). IEEE Computer Society Press. https://doi.org/10.1109/FOCS.2014.69

Etessami, K., Hansen, K. A., Miltersen, P. B. & Sørensen , T. B. (2014). The Complexity of Approximating a Trembling Hand Perfect Equilibrium of a Multi-player Game in Strategic Form. I R. Lavi (red.), Algorithmic Game Theory: 7th International Symposium, SAGT 2014, Haifa, Israel, September 30 – October 2, 2014. Proceedings (s. 231-243 ). Springer VS. https://doi.org/10.1007/978-3-662-44803-8_20

Hansen, K. A., Ibsen-Jensen, R. & Miltersen, P. B. (2014). The Complexity of Solving Reachability Games Using Value and Strategy Iteration. Theory of Computing Systems, 55(2), 380-403. https://doi.org/10.1007/s00224-013-9524-6

Gambs, S., Ranellucci, S. & Tapp, A. (2014). The Crypto-democracy and the Trustworthy. Afhandling præsenteret på Data Privacy Management, Wroclaw, Polen. http://arxiv.org/pdf/1409.2432v1.pdf

Boring, S., Greenberg, S., Vermeulen, J., Dostal, J. & Marquardt, N. (2014). The Dark Patterns of Proxemic Sensing. Computer, 47(8), 56-60. https://doi.org/10.1109/MC.2014.223

Vermeulen, J., Luyten, K., Coninx, K. & Marquardt, N. (2014). The Design of Slow-motion Feedback. -, 267-270. https://doi.org/10.1145/2598510.2598604

Branzei, S., Chen, Y., Deng, X., Filos-Ratsikas, A., Frederiksen, S. K. S. & Zhang, J. (2014). The Fisher Market Game: Equilibrium and Welfare. I Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence (s. 587-593). AAAI Press. http://www.aaai.org/Library/AAAI/aaai14contents.php

Hansen, D. C., Bassler, N., Sørensen, T. S. & Seco, J. (2014). The image quality of ion computed tomography at clinical imaging dose levels. Medical Physics, 41(11), Artikel 111908. https://doi.org/10.1118/1.4897614

Zerny, I. (2014). The interpretation and inter-derivation of small-step and big-step specifications. Department of Computer Science, University of Aarhus.

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, Edited by Niko Beerenwinkel, 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

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

Viser resultater 2201 til 2250 ud af 3004

Forrige

Næste

Revideret 09.03.2023

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series