Publications

Search for publications at Department of Computer Science

Below you find a complete list of publications published and edited by scientists at the Department of Computer Science

Sort by: Date | Author | Title

Degano, P., Ferrari, G-L. & Mezzetti, G. (2017). Regular and context-free nominal traces. Acta Informatica, 54(4), 399-433. https://doi.org/10.1007/s00236-016-0261-6

Obremski, M. & Skorski, M. (2017). Renyi Entropy Estimation Revisited. In J. D. P. Rolim, K. Jansen, D. P. Williamson & S. S. Vempala (Eds.), Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques - 20th International Workshop, APPROX 2017 and 21st International Workshop, RANDOM 2017 (Vol. 81, pp. 20:1-20:15). [20] Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. Leibniz International Proceedings in Informatics, Vol.. 81 https://doi.org/10.4230/LIPIcs.APPROX-RANDOM.2017.20

Adamsen, C. Q., Møller, A., Karim, R., Sridharan, M., Tip, F. & Sen, K. (2017). Repairing Event Race Errors by Controlling Nondeterminism. In Proceedings of the 39th International Conference on Software Engineering (pp. 289-299). IEEE Press. ICSE '17 https://doi.org/10.1109/ICSE.2017.34

Cascudo, I., Damgård, I., Farràs, O. & Ranellucci, S. (2017). Resource-Efficient OT Combiners with Active Security. In Y. Kalai & L. Reyzin (Eds.), Theory of Cryptography - 15th International Conference, TCC 2017, Proceedings (Vol. 10678, pp. 461-486). Springer VS. Lecture Notes in Computer Science, Vol.. 10678 https://doi.org/10.1007/978-3-319-70503-3_15

Haagh, H., Ji, Y., Li, C., Orlandi, C. & Song, Y. (2017). Revealing Encryption for Partial Ordering. In M. O’Neill (Ed.), Cryptography and Coding - 16th IMA International Conference, IMACC 2017, Proceedings (pp. 3-22). Springer VS. Lecture Notes in Computer Science, Vol.. 10655 https://doi.org/10.1007/978-3-319-71045-7_1

Nielsen, K. & Horst, S. (2017). Sammen om naturvidenskabsstrategien. MONA: Matematik og Naturfagsdidaktik, 2017(03), 61-71. https://tidsskrift.dk/mona/article/download/96861/145618

Mai, S. T., Dieu, M. S., Assent, I., Jacobsen, J., Kristensen, J. & Birk, M. (2017). Scalable and interactive graph clustering algorithm on multicore CPUs. In 2017 IEEE 33rd International Conference on Data Engineering (ICDE) (pp. 349-360). IEEE Computer Society Press. Proceedings of the International Conference on Data Engineering https://doi.org/10.1109/ICDE.2017.94

Applebaum, B., Damgård, I., Ishai, Y., Nielsen, M. & Zichron, L. (2017). Secure Arithmetic Computation with Constant Computational Overhead. In H. Shacham & J. Katz (Eds.), Advances in Cryptology – CRYPTO 2017 - 37th Annual International Cryptology Conference, Proceedings (Vol. 10401, pp. 223-254). Springer VS. Lecture Notes in Computer Science, Vol.. 10401 https://doi.org/10.1007/978-3-319-63688-7_8

Farshim, P., Orlandi, C. & Rosie, R. (2017). Security of Symmetric Primitives under Incorrect Usage of Keys. IACR Trans. Symmetric Cryptol., 2017(1), 449-473. https://doi.org/10.13154/tosc.v2017.i1.449-473

Krogh, P. G., Petersen, M. G., O'Hara, K. & Grønbæk, J. E. (2017). Sensitizing Concepts for Socio-Spatial Literacy in HCI. In Proceedings of the 2017 CHI Conference on Human Factors in Computing Systems : CHI '17 (pp. 6449-6460). Association for Computing Machinery. Proceedings of CHI'17 https://doi.org/10.1145/3025453.3025756

McMillan, D., Brown, B., Lampinen, A., McGregor, M., Hoggan, E. & Pizza, S. (2017). Situating Wearables: Smartwatch Use in Context. In CHI 2017 - Proceedings of the 2017 ACM SIGCHI Conference on Human Factors in Computing Systems: Explore, Innovate, Inspire (pp. 3582-3594). Association for Computing Machinery. CHI '17 https://doi.org/10.1145/3025453.3025993

Qi, S., Sacharidis, D., Bouros, P. & Mamoulis, N. (2017). Snapshot and Continuous Points-based Trajectory Search. Geoinformatica, 21(4), 669-701. https://doi.org/10.1007/s10707-016-0267-9

Höök, K., Hummels, C., Isbister, K., Marti, P., Márquez Segura, E., Jonsson, M., Mueller, F. F., Sanches, P. A. N., Schiphorst, T., Ståhl, A., Svanaes, D., Trotto, A., Petersen, M. G. & Lim, Y. (2017). Soma-Based Design Theory. In CHI 2017 Extended Abstracts - Proceedings of the 2017 ACM SIGCHI Conference on Human Factors in Computing Systems: Explore, Innovate, Inspire (pp. 550-557). Association for Computing Machinery. CHI EA '17 https://doi.org/10.1145/3027063.3027082

Rindal, P. & Trifiletti, R. (2017, May 10). SplitCommit: Implementing and Analyzing Homomorphic UC Commitments. Cryptology ePrint Archive. https://eprint.iacr.org/2017/407.pdf

Chatterjee, K., Hansen, K. A. & Ibsen-Jensen, R. (2017). Strategy Complexity of Concurrent Safety Games. In K. G. Larsen, H. L. Bodlaender & J-F. Raskin (Eds.), 42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017) (Vol. 83, pp. 55:1-55:13). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH. Leibniz International Proceedings in Informatics, No. 83 https://doi.org/10.4230/LIPIcs.MFCS.2017.55

Valsted, F. M., Nielsen, C. V. H., Jensen, J. Q., Sonne, T. & Jensen, M. M. (2017). Strive: Exploring Assistive Haptic Feedback on the Run. In M. Brereton, D. Vyas, A. Soro, B. Ploderer, J. Waycott & A. Morrison (Eds.), Proceedings of the 29th Australian Computer-Human Interaction Conference: Human-Nature, OzCHI 2017 (pp. 275-284). Association for Computing Machinery. OZCHI '17 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. In K. Ali & C. Cifuentes (Eds.), Proceedings of the 6th ACM SIGPLAN International Workshop on State Of the Art in Program Analysis (pp. 31-36). Association for Computing Machinery. SOAP 2017 https://doi.org/10.1145/3088515.3088521

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

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

Neerbek, J., Assent, I. & Dolog, P. (2017). TABOO: Detecting unstructured sensitive information using recursive neural networks. In Proceedings - 2017 IEEE 33rd International Conference on Data Engineering, ICDE 2017 (pp. 1399-1400). [7930091] IEEE Computer Society Press. Proceedings of the International Conference on Data Engineering, Vol.. 33 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. In Proceedings of the 2017 International Conference on Management of Data, (ACM SIGMOD) (pp. 447-462). Association for Computing Machinery. https://doi.org/10.1145/3035918.3035962

Krebbers, R., Jung, R., Bizjak, A., Jourdan, J-H., Dreyer, D. & Birkedal, L. (2017). The Essence of Higher-Order Concurrent Separation Logic. In H. Yang (Ed.), 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, Uppsala, Sweden, April 22--29, 2017, Proceedings (pp. 696-723). Springer VS. Lecture Notes in Computer Science 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. In Y. Bertot & V. Vafeiadis (Eds.), CPP 2017 - Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs, co-located with POPL 2017: CPP 2017 (pp. 164-172). Association for Computing Machinery. CPP 2017 https://doi.org/10.1145/3018610.3018615

Remy, C., Bates, O., Thomas, V. & Huang, E. M. (2017). The Limits of Evaluating Sustainability. 103-110. Paper presented at ACM Limits 2017, Santa Barbara, United States. 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. In V. Bilò & M. Flammini (Eds.), Algorithmic Game Theory - 10th International Symposium, SAGT 2017, Proceedings: 10th International Symposium, SAGT 2017 (pp. 119-130). Springer VS. Lecture Notes in Computer Science, Vol.. 10504 https://doi.org/10.1007/978-3-319-66700-3_10

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

Damgård, I., Nielsen, J. B., Nielsen, M. & Ranellucci, S. (2017). The tinytable protocol for 2-party secure computation, or: Gate-scrambling revisited. In J. Katz & H. Shacham (Eds.), Advances in Cryptology – CRYPTO 2017 - 37th Annual International Cryptology Conference, Proceedings (Vol. 10401, pp. 167-187). Springer VS. Lecture Notes in Computer Science, Vol.. 10401 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. In Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security : CCS '17 (pp. 2263-2276). Association for Computing Machinery. https://doi.org/10.1145/3133956.3134024

Munro, J. I., Navarro, G., Nielsen, J. S., Shah, R. & Thankachan, S. V. (2017). Top-k Term-Proximity in Succinct Space. Algorithmica, 78(2), 379-393. https://doi.org/10.1007/s00453-016-0167-2

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

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

Annenkov, D., Capriotti, P. & Kraus, N. (2017, May 9). Two-Level Type Theory and Applications. arXiv.org. arXiv preprint 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. [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. In C and T 2017 - 8th International Conference on Communities and Technologies, Conference Proceedings (pp. 246-255). Association for Computing Machinery. CT '17 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. In K. G. Larsen, H. L. Bodlaender & J-F. Raskin (Eds.), 42nd International Symposium on Mathematical Foundations of Computer Science, MFCS 2017 (Vol. 83, pp. 80:1-80:14). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. Leibniz International Proceedings in Informatics, No. 83 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. In M. O'Neill (Ed.), Cryptography and Coding - 16th IMA International Conference, IMACC 2017, Proceedings (Vol. 10655, pp. 77-99). Springer VS. Lecture Notes in Computer Science, Vol.. 10655 https://doi.org/10.1007/978-3-319-71045-7_4

Leppälä, K., Nielsen, S. & Mailund, T. (2017). admixturegraph: an R package for admixture graph manipulation and fitting. Bioinformatics (Online), 33(11), 1738-1740. https://doi.org/10.1093/bioinformatics/btx048

Dithmer, M., Rasmussen, J. O., Grönvall, E., Spindler, H., Hansen, J., Nielsen, G., Sørensen, S. B. & Dinesen, B. (2016). "The Heart Game": Using Gamification as Part of a Telerehabilitation Program for Heart Patients. Games for Health, 5(1), 27-33. https://doi.org/10.1089/g4h.2015.0001

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. In Proceedings of the 19th ACM Conference on Computer-Supported Cooperative Work & Social Computing (pp. 1142-1156). Association for Computing Machinery. https://doi.org/10.1145/2818048.2820029

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

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. In T. C. Shermer (Ed.), Proceedings of the 28th Canadian Conference on Computational Geometry Simon Fraser University. Vancouver, British Columbia Canada. CCCG 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. In Proceedings of the The 15th International Conference on Interaction Design and Children (pp. 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. In I. Askoxylakis, S. Ioannidis, S. Katsikas & C. Meadows (Eds.), Computer Security - ESORICS 2016 - 21st European Symposium on Research in Computer Security, Heraklion, Greece, September 26-30, 2016, Proceedings, Part II (Vol. 9879, pp. 406-424). Springer VS. Lecture Notes in Computer Science, Vol.. 9879 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

van Kreveld, M., Löffler, M., Staals, F. & Wiratma, L. (2016). A Refined Definition for Groups of Moving Entities and its Computation. In S-H. Hong (Ed.), 27th International Symposium on Algorithms and Computation (ISAAC 2016) (Vol. 64, pp. 1 - 12). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH. Leibniz International Proceedings in Informatics (LIPIcs) https://doi.org/10.4230/LIPIcs.ISAAC.2016.48

Displaying results 451 to 500 out of 4553

Comments on content:

Marianne Dammand Iversen

Revised 13.09.2019

Publications

Search for publications at Department of Computer Science

Search for publications at Aarhus University