Publikationer

Søg publikationer fra Institut for Datalogi

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

Billes, M., Møller, A. & Pradel, M. (2017). Systematic black-box analysis of collaborative web applications. I PLDI 2017 - Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation (Bind Part F128414, s. 171-184). Association for Computing Machinery. https://doi.org/10.1145/3062341.3062364

Christensen, H. B. (2017). Systematic Testing: Preprint of Chapter 34 of "Flexible, Reliable Software" 2nd Edition.

Neerbek, J., Assent, I. & Dolog, P. (2017). TABOO: Detecting unstructured sensitive information using recursive neural networks. I Proceedings - 2017 IEEE 33rd International Conference on Data Engineering, ICDE 2017 (s. 1399-1400). Artikel 7930091 IEEE Computer Society Press. https://doi.org/10.1109/ICDE.2017.195

Stisen, A., Blunck, H., Kjærgaard, M. B., Prentow, T. S., Mathisen, A., Krogh , S. & Grønbæk, K. (2017). Task phase recognition and task progress estimation for highly mobile workers in large building complexes. Pervasive and Mobile Computing, 38(2), 418-429. https://doi.org/10.1016/j.pmcj.2016.08.016

Bøgh, K. S., Chester, S., Sidlauskas, D. & Assent, I. (2017). Template Skycube Algorithms for Heterogeneous Parallelism on Multicore and GPU Architectures. I SIGMOD 2017 - Proceedings of the 2017 ACM International Conference on Management of Data (s. 447-462). Association for Computing Machinery. https://doi.org/10.1145/3035918.3035962

Bahr, P., Grathwohl, H. B. & Møgelberg, R. E. (2017). The clocks are ticking: No more delays! I 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017 Artikel 8005097 IEEE. https://doi.org/10.1109/LICS.2017.8005097

Krebbers, R., Jung, R., Bizjak, A., Jourdan, J.-H., Dreyer, D. & Birkedal, L. (2017). The Essence of Higher-Order Concurrent Separation Logic. I H. Yang (red.), Programming Languages and Systems - 26th European Symposium on Programming, ESOP 2017 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Proceedings (s. 696-723). Springer VS. https://doi.org/10.1007/978-3-662-54434-1_26

Bauer, A., Gross, J., Lumsdaine, P. L., Shulman, M., Sozeau, M. & Spitters, B. (2017). The HoTT Library: A Formalization of Homotopy Type Theory in Coq. I Y. Bertot & V. Vafeiadis (red.), CPP 2017 - Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs, co-located with POPL 2017: CPP 2017 (s. 164-172). Association for Computing Machinery. https://doi.org/10.1145/3018610.3018615

Remy, C., Bates, O., Thomas, V. & Huang, E. M. (2017). The Limits of Evaluating Sustainability. 103-110. Afhandling præsenteret på ACM Limits 2017, Santa Barbara, California, USA. https://doi.org/10.1145/3080556.3080567

Hansen, K. A. (2017). The Real Computational Complexity of Minmax Value and Equilibrium Refinements in Multi-player Games. I V. Bilò & M. Flammini (red.), Algorithmic Game Theory - 10th International Symposium, SAGT 2017, Proceedings: 10th International Symposium, SAGT 2017 (s. 119-130). Springer VS. https://doi.org/10.1007/978-3-319-66700-3_10

Damgård, I., Nielsen, J. B., Nielsen, M. & Ranellucci, S. (2017). The tinytable protocol for 2-party secure computation, or: Gate-scrambling revisited. I J. Katz & H. Shacham (red.), Advances in Cryptology – CRYPTO 2017 - 37th Annual International Cryptology Conference, Proceedings (Bind 10401, s. 167-187). Springer VS. https://doi.org/10.1007/978-3-319-63688-7_6

Döttling, N. M., Ghosh, S., Nielsen, J. B., Nilges, T. & Trifiletti, R. (2017). TinyOLE: Efficient Actively Secure Two-Party Computation from Oblivious Linear Function Evaluation. I CCS 2017 - Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security: CCS '17 (s. 2263-2276). Association for Computing Machinery. https://doi.org/10.1145/3133956.3134024

Korsgaard, H. (2017). Toward Place-Centric Computing: Making Place With Technology Together.

Lehmann, A. & Gross, A. (2017). Towards vehicle emission estimation from smartphone sensors. I Proceedings - 18th IEEE International Conference on Mobile Data Management, MDM 2017 (s. 154-163). Artikel 7962447 IEEE Press. https://doi.org/10.1109/MDM.2017.29

Annenkov, D., Capriotti, P. & Kraus, N. (2017, maj 9). Two-Level Type Theory and Applications. arxiv.org. https://arxiv.org/pdf/1705.03307.pdf

Bødker, S., Dindler, C. & Iversen, O. S. (2017). Tying Knots: Participatory Infrastructuring at Work. Computer Supported Cooperative Work (CSCW): The Journal of Collaborative Computing and Work Practices, 26(1-2), 245-273. https://doi.org/10.1007/s10606-017-9268-y

Kristensen, E. K. & Møller, A. (2017). Type Test Scripts for TypeScript Testing. Proceedings of the ACM on Programming Languages , 1(OOPSLA), 90:1-90:25. Artikel 90. https://doi.org/10.1145/3133914

Bødker, S., Lyle, P. & Saad-Sulonen, J. (2017). Untangling the Mess of Technological Artifacts: Investigating Community Artifact Ecologies. I C and T 2017 - 8th International Conference on Communities and Technologies, Conference Proceedings (s. 246-255). Association for Computing Machinery. https://doi.org/10.1145/3083671.3083675

Britz, D. H., Strutwolf, J. & Østerby, O. (2017). Use of the Saul’yev method for the digital simulation of chronoamperometry and linear sweep voltammetry at the ultramicrodisk electrode. Electrochimica Acta, 258, 17-23. https://doi.org/10.1016/j.electacta.2017.10.089

Brânzei, S., Filos-Ratsikas, A., Miltersen, P. B. & Zeng, Y. (2017). Walrasian pricing in multi-unit auctions. I K. G. Larsen, H. L. Bodlaender & J.-F. Raskin (red.), 42nd International Symposium on Mathematical Foundations of Computer Science, MFCS 2017 (Bind 83, s. 80:1-80:14). Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.MFCS.2017.80

Scholl, P., Smart, N. P. & Wood, T. (2017). When It’s All Just Too Much: Outsourcing MPC-Preprocessing. I M. O'Neill (red.), Cryptography and Coding - 16th IMA International Conference, IMACC 2017, Proceedings (Bind 10655, s. 77-99). Springer VS. https://doi.org/10.1007/978-3-319-71045-7_4

Bertelsen, O. W., Halskov, K. & Bardzell, S. (2016). 40 Years of critical computing: The decennial Aarhus conference series. interactions, 23(2), 30-32. https://doi.org/10.1145/2889345

Damgård, I. B., Haagh, H. F. & Orlandi, C. (2016). Access Control Encryption: Enforcing Information Flow with Cryptography. I M. Hirt & A. Smith (red.), Theory of Cryptography - 14th International Conference, TCC 2016-B, Proceedings (Bind 9986, s. 547-576). Springer VS. https://doi.org/10.1007/978-3-662-53644-5_21

Raskin, M. & Mamardashvili, N. A. (2016). Accessing Local Variables During Debugging. I ELS2016 Proceedings of the 9th European Lisp Symposium on European Lisp Symposium (s. 93 - 94). Artikel 11 European Lisp Scientific Activities Association. http://delivery.acm.org/10.1145/3010000/3005740/d4.pdf?ip=185.45.22.55&id=3005740&acc=ACTIVE%20SERVICE&key=36332CD97FA87885%2E318148A04E30A4A4%2E4D4702B0C3E38B35%2E4D4702B0C3E38B35&CFID=719857644&CFTOKEN=37932629&__acm__=1485177648_adba167cd6af203cbafc7ca2c5484dbf

Stisen, A., Verdezoto, N., Blunck, H., Kjærgaard, M. B. & Grønbæk, K. (2016). Accounting for the Invisible Work of Hospital Orderlies: Designing for Local and Global Coordination. I Proceedings of the 19th ACM Conference on Computer-Supported Cooperative Work and Social Computing, CSCW 2016: CSCW '16 (s. 980-992). Association for Computing Machinery. https://doi.org/10.1145/2818048.2820006

Mathisen, A., Krogh, S., Stisen, A., Blunck, H. & Grønbæk, K. (2016). A comparative analysis of Indoor WiFi Positioning at a large building complex. I J. J. G. Domínguez, Á. H. Alonso & J. Ureña Ureña (red.), 2016 International Conference on Indoor Positioning and Indoor Navigation, IPIN 2016 Artikel 7743666 IEEE Press. https://doi.org/10.1109/IPIN.2016.7743666

Blunck, H., Bhattacharya, S., Stisen, A., Prentow, T. S., Kjærgaard, M. B., Dey, A., Jensen, M. M. & Sonne, T. (2016). Activity Recognition on Smart Devices: Dealing with diversity in the wild. GetMobile: Mobile Computing and Communications, 20(1), 34-38. https://doi.org/10.1145/2972413.2972425

Chan, T. M. & Wilkinson, B. T. (2016). Adaptive and approximate orthogonal range counting. ACM Transactions on Algorithms, 12(4), 45:1-45:15. Artikel 45. https://doi.org/10.1145/2830567

Damgård, I. B., Polychroniadou, A. & Rao, V. (2016). Adaptively Secure Multi-Party Computation from LWE (via Equivocal FHE). I Public-Key Cryptography – PKC 2016 - 19th IACR International Conference on Practice and Theory in Public-Key Cryptography, Proceedings (Bind 9615 , s. 208-233). Springer VS. https://doi.org/10.1007/978-3-662-49387-8_9

Bødker, S., Dindler, C., Halskov, K. & Iversen, O. S. (2016). Advances in Participatory Design. I CHI EA 2016: #chi4good - Extended Abstracts, 34th Annual CHI Conference on Human Factors in Computing Systems (s. 984-987). Association for Computing Machinery. https://doi.org/10.1145/2851581.2856688

Bødker, S., Korsgaard, H. & Saad-Sulonen, J. (2016). 'A Farmer, a Place and at least 20 Members': The Development of Artifact Ecologies in Volunteer-based Communities. I Proceedings of the 19th ACM Conference on Computer-Supported Cooperative Work and Social Computing, CSCW 2016 (s. 1142-1156). Association for Computing Machinery. https://doi.org/10.1145/2818048.2820029

Biniaz, A., Bose, P., van Duijn, I., Maheshwari, A. & Smid, M. (2016). A Faster Algorithm for the Minimum Red-Blue-Purple Spanning Graph Problem for Points on a Circle. I T. C. Shermer (red.), Proceedings of the 28th Canadian Conference on Computational Geometry (s. 140-146). Simon Fraser University. Vancouver, British Columbia Canada. http://people.scs.carleton.ca/~michiel/RedBluePurpleCCCG16.pdf

Sonne, T., Marshall, P., Müller, J., Obel, C. & Grønbæk, K. (2016). A Follow-up Study of a Successful Assistive Technology for Children with ADHD and Their Families. I Proceedings of IDC 2016 - The 15th International Conference on Interaction Design and Children (s. 400-407). https://doi.org/10.1145/2930674.2930704

Krebbers, R. (2016). A Formal C Memory Model for Separation Logic. Journal of Automated Reasoning, 57(4), 319–387. https://doi.org/10.1007/s10817-016-9369-1

Fetzer, V., Müller-Quade, J. & Nilges, T. (2016). A Formal Treatment of Privacy in Video Data. I I. Askoxylakis, S. Ioannidis, S. Katsikas & C. Meadows (red.), Computer Security - 21st European Symposium on Research in Computer Security, ESORICS 2016, Proceedings (Bind 9879, s. 406-424). Springer VS. https://doi.org/10.1007/978-3-319-45741-3_21

Jakobsen, T. P., Nielsen, J. B. & Orlandi, C. (2016). A Framework for Outsourcing of Secure Computation. http://eprint.iacr.org/2016/037

Birkedal, L., Jaber, G., Sieczkowski, F. & Thamsborg, J. (2016). A Kripke logical relation for effect-based program transformations. Information and Computation, 249, 160-189. https://doi.org/10.1016/j.ic.2016.04.003

Adamsen, C. Q., Mezzetti, G. & Møller, A. (2016). Analyzing Test Completeness for Dynamic Languages. I ISSTA 2016 - Proceedings of the 25th International Symposium on Software Testing and Analysis: ISSTA 2016 (s. 142-153). Association for Computing Machinery. https://doi.org/10.1145/2931037.2931059

Sonne, T., Marshall, P., Obel, C., Thomsen, P. H. & Grønbæk, K. (2016). An Assistive Technology Design Framework for ADHD. I C. Parker (red.), Proceedings of the 28th Australian Computer-Human Interaction Conference, OzCHI 2016: OzCHI '16 (s. 60-70). Association for Computing Machinery. https://doi.org/10.1145/3010915.3010925

Mann, W., Augsten, N. & Bouros, P. (2016). An Empirical Evaluation of Set Similarity Join Techniques. Proceedings of the VLDB Endowment, 9(9), 636-647. https://doi.org/10.14778/2947618.2947620

Thai Son, M., Assent, I. & Storgaard, M. (2016). AnyDBC: An efficient anytime density-based clustering algorithm for very large complex datasets. I KDD 2016 - Proceedings of the 22nd ACM SIGKDD International Conference on Knowledge Discovery and Data Mining (s. 1025-1034). Association for Computing Machinery. https://doi.org/10.1145/2939672.2939750

Thai Son, M., Assent, I. & Le, A. T. (2016). Anytime OPTICS: An efficient approach for hierarchical density-based clustering. I S. B. Navathe, W. Wu, S. Shekhar, X. Du, X. Sean Wang & H. Xiong (red.), Database Systems for Advanced Applications - 21st International Conference, DASFAA 2016, Proceedings (Bind 9642, s. 164-179). Springer VS. https://doi.org/10.1007/978-3-319-32025-0_11

Rasmussen, M. K., Merritt, T. R., Alonso, M. B. & Petersen, M. G. (2016). Balancing User and System Control in Shape-Changing Interfaces: a Designerly Exploration. I TEI 2016 - Proceedings of the 10th Anniversary Conference on Tangible Embedded and Embodied Interaction (Bind 2016, s. 202-210). Association for Computing Machinery. https://doi.org/10.1145/2839462.2839499

Baum, C., Damgård, I. B., Toft, T. & Zakarias, R. W. (2016). Better Preprocessing for Secure Multiparty Computation. I M. Manulis, A.-R. Sadeghi & S. Schneider (red.), Applied Cryptography and Network Security - 14th International Conference, ACNS 2016, Proceedings: 14th International Conference on Applied Cryptography and Network Security (Bind 9696, s. 327-345). Springer VS. https://doi.org/10.1007/978-3-319-39555-5_18

Snow, S., Vyas, D., Lyle, P., Mallett, M. & Brereton, M. (2016). Building Connections: Technology Design for Living on a Low Income. I A. M. Kanstrup, J. Vines, L. Huybrechts, R. C. Smith, K. Bodker & C. Bossen (red.), PDC 2016: Proceedings of the 14th Participatory Design Conference: Short Papers, Interactive Exhibitions, Workshops - Volume 2 (s. 1-4). Association for Computing Machinery. https://doi.org/10.1145/2948076.2948091

Tomlein, M. & Grønbæk, K. (2016). Building Models of Installations to Recommend Applications in IoT Software Ecosystems. I Proceedings - 2016 IEEE 4th International Conference on Future Internet of Things and Cloud, FiCloud 2016 (s. 9-16). Artikel 7575838 IEEE Press. https://doi.org/10.1109/FiCloud.2016.10

Grønbæk, J. E. & O'Hara, K. (2016). Built-In Device Orientation Sensors for Ad-Hoc Pairing and Spatial Awareness. Abstract fra Cross-Surface '16 workshop, Niagara Falls, Canada. http://jensemil.dk/pubs/GronbaekOHara_ISS16_Position_Paper.pdf

Sonne, T., Müller, J., Marshall, P., Obel, C. & Grønbæk, K. (2016). Changing Family Practices with Assistive Technology: MOBERO Improves Morning and Bedtime Routines for Children with ADHD. I CHI 2016 - Proceedings, 34th Annual CHI Conference on Human Factors in Computing Systems: CHI '16 (s. 152-164). Association for Computing Machinery. https://doi.org/10.1145/2858036.2858157

Lindlbauer, D., Müller, J. & Alexa, M. (2016). Changing the Appearance of Physical Interfaces Through Controlled Transparency. I UIST 2016 - Proceedings of the 29th Annual Symposium on User Interface Software and Technology (s. 425-435). Association for Computing Machinery. https://doi.org/10.1145/2984511.2984556

Sonne, T. & Jensen, M. M. (2016). ChillFish: A Respiration Game for Children with ADHD. I TEI 2016 - Proceedings of the 10th Anniversary Conference on Tangible Embedded and Embodied Interaction: Tenth International Conference on Tangible, Embedded, and Embodied Interaction (s. 271-278). Association for Computing Machinery. https://doi.org/10.1145/2839462.2839480

Viser resultater 1851 til 1900 ud af 6061

Forrige

Næste

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series