Publikationer

Søg publikationer fra Institut for Datalogi

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

Valsted, F. M., Nielsen, C. V. H., Jensen, J. Q., Sonne, T. & Jensen, M. M. (2017). Strive: Exploring Assistive Haptic Feedback on the Run. I M. Brereton, D. Vyas, A. Soro, B. Ploderer, J. Waycott & A. Morrison (red.), Proceedings of the 29th Australian Computer-Human Interaction Conference: Human-Nature, OzCHI 2017 (s. 275-284). Association for Computing Machinery. https://doi.org/10.1145/3152771.3152801

Andreasen, E. S., Møller, A. & Nielsen, B. B. (2017). Systematic Approaches for Increasing Soundness and Precision of Static Analyzers. I K. Ali & C. Cifuentes (red.), SOAP 2017 - Proceedings of the 6th ACM SIGPLAN International Workshop on State of the Art in Program Analysis, co-located with PLDI 2017 (s. 31-36). Association for Computing Machinery. https://doi.org/10.1145/3088515.3088521

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, 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. http://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 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/publications/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

Viser resultater 1551 til 1600 ud af 2935

Forrige

Næste

Revideret 09.03.2023

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series