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

Madsen, M., Tip, F., Andreasen, E. S., Sen, K. & Møller, A. (2016). Feedback-directed instrumentation for deployed JavaScript applications. In Proceedings of the 38th International Conference on Software Engineering : ICSE 2016 (pp. 899-910). New York, NY, USA: Association for Computing Machinery. https://doi.org/10.1145/2884781.2884846

Döttling, N., Kraschewski, D., Müller-Quade, J. & Nilges, T. (2016). From Stateful Hardware to Resettable Hardware Using Symmetric Assumptions.

Jensen, M. M. (2016). Game Mechanics and Bodily Interactions: Designing Interactive Technologies for Sports Training. Department of Computer Science, Aarhus University.

Damgård, I. B., Nielsen, J. B., Nielsen, M. & Ranellucci, S. (2016). Gate-scrambling Revisited - or: The TinyTable protocol for 2-Party Secure Computation.

Derczynski, L. & Chester, S. (2016). Generalised Brown Clustering and Roll-up Feature Generation. In The Thirtieth AAAI Conference on Artificial Intelligence: AAAI (pp. 1533-1539). AAAI Press.

Ha, J-S., Cheong, O., Goaoc, X. & Yang, J. (2016). Geometric permutations of non-overlapping unit balls revisited. Computational Geometry, 53(Februar), 36–50. https://doi.org/10.1016/j.comgeo.2015.12.003

van Goethem, A., Van Kreveld, M., Löffler, M., Speckmann, B. & Staals, F. (2016). Grouping Time-varying Data for Interactive Exploration. Paper presented at EuroCG 2016, Lugano, Switzerland.

Van Goethem, A., Van Kreveld, M., Löffler, M., Speckmann, B. & Staals, F. (2016). Grouping time-varying data for interactive exploration. In S. Fekete & A. Lubiw (Eds.), 32nd International Symposium on Computational Geometry, SoCG 2016 (Vol. 51, pp. 61.1-61.16). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. Leibniz International Proceedings in Informatics, Vol.. 51 https://doi.org/10.4230/LIPIcs.SoCG.2016.61

Birkedal, L., Bizjak, A., Clouston, R., Grathwohl, H. B., Spitters, B. & Vezzosi, A. (2016). Guarded Cubical Type Theory: Path Equality for Guarded Recursion. In J-M. Talbot & L. Regnier (Eds.), CSL 2016: 25th EACSL Annual Conference on Computer Science Logic (pp. 1 - 17). Leibniz International Proceedings in Informatics, Vol.. 62

Birkedal, L., Bizjak, A., Clouston, R., Grathwohl, H. B., Spitters, B. & Vezzosi, A. (2016). Guarded Cubical Type Theory.

Grathwohl, H. B. (2016). Guarded Recursive Type Theory. Department of Computer Science, Aarhus University.

Birkedal, L., Bizjak, A., Clouston, R., Grathwohl, H. B., Spitters, B. & Vezzosi, A. (2016). Guarded cubical type theory. Abstract from 22nd International Conference on Types for Proofs and Programs, Novi Sad, Serbia.

Bizjak, A., Grathwohl, H. B., Clouston, R., Møgelberg, R. E. & Birkedal, L. (2016). Guarded dependent type theory with coinductive types. In B. Jacobs & C. Löding (Eds.), Foundations of Software Science and Computation Structures: 19th International Conference, FOSSACS 2016 (Vol. 9634, pp. 20-35). Springer VS. Lecture Notes in Computer Science, Vol.. 9634 https://doi.org/10.1007/978-3-662-49630-5_2

Arge, L. & Pach, J. (2016). Guest Editors’ Foreword. Discrete & Computational Geometry, 56(4), 833–835. https://doi.org/10.1007/s00454-016-9826-y

Mitchell, R., Fender, A. & Mueller, F. F. (2016). HandyFeet: Social Bodily Play Via Split Control of a Human Puppet's Limbs. In PROCEEDINGS OF THE TENTH ANNIVERSARY CONFERENCE ON TANGIBLE EMBEDDED AND EMBODIED INTERACTION (TEI16) (pp. 506-511). Association for Computing Machinery. https://doi.org/10.1145/2839462.2856531

Bødker, S., Korsgaard, H., Lyle, P. & Saad-Sulonen, J. (2016). Happenstance, Strategies and Tactics: Intrinsic Design in a Volunteer-based Community. In W. Barendregt & M. Obaid (Eds.), Proceedings of the 9th Nordic Conference on Human-Computer Interaction (pp. 10:1-10:10). New York, NY, USA: Association for Computing Machinery. NordiCHI '16 https://doi.org/10.1145/2971485.2971564

Larsen, K. G., Nelson, J., Nguyen, H. L. & Thorup, M. (2016). Heavy hitters via cluster-preserving clustering. In 2016 IEEE 57th Annual Symposium on Foundations of Computer Science (FOCS) (pp. 61-70). IEEE. https://doi.org/10.1109/FOCS.2016.16

Feng, G., Mao, L., Sandel, B. S., Swenson, N. G. & Svenning, J-C. (2016). High plant endemism in China is partially linked to reduced glacial-interglacial climate change. Journal of Biogeography, 43(1), 145-154. https://doi.org/10.1111/jbi.12613

Jung, R., Krebbers, R., Birkedal, L. & Dreyer, D. (2016). Higher-order ghost state. In E. Sumii (Ed.), ICFP 2016 Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming (pp. 256-269). New York, NY, USA: Association for Computing Machinery. https://doi.org/10.1145/2951913.2951943

Jakobsen, K., Winge, J. & Petersen, M. G. (2016). Hitmachine: Collective Musical Expressivity for Novices. Paper presented at New Interfaces for Musical Expression 2016, Brisbane, Australia.

Chambers, E., Kostitsyna, I., Löffler, M. & Staals, F. (2016). Homotopy Measures for Representative Trajectories. In P. Sankowski & C. Zaroliagis (Eds.), Proc. 24th European Symposium on Algorithms (Vol. 57, pp. 27:1-27:17). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH. Leibniz International Proceedings in Informatics, Vol.. 57 https://doi.org/10.4230/LIPIcs.ESA.2016.27

Rijke, E. & Spitters, B. (2016). Homotopy type theory and the formalization of mathematics. Nieuw Archief voor Wiskunde , 5/17(3), 159 - 164.

Jakobsen, S. K. & Orlandi, C. (2016). How To Bootstrap Anonymous Communication. In Proceedings of the 2016 ACM Conference on Innovations in Theoretical Computer Science, Cambridge, MA, USA, January 14-16, 2016 (pp. 333-344). New York, NY: Association for Computing Machinery. https://doi.org/10.1145/2840728.2840743

Baum, C., Damgård, I. B., Larsen, K. G. & Nielsen, M. (2016). How to prove knowledge of small secrets. In J. Katz & M. Robshaw (Eds.), Annual Cryptology Conference : CRYPTO 2016: Advances in Cryptology – CRYPTO 2016 (Vol. 9816, pp. 478-498). Berlin, Heidelberg: Springer VS. Lecture Notes in Computer Science, Vol.. 9816 https://doi.org/10.1007/978-3-662-53015-3_17

Bender, E., Schaper, N., Caspersen, M. E., Margaritis, M. & Hubwieser, P. (2016). Identifying and formulating teachers' beliefs and motivational orientations for computer science teacher education. Studies in Higher Education, 41(11). https://doi.org/10.1080/03075079.2015.1004233

Lindlbauer , D., Lilija, K., Walter , R. & Müller, J. (2016). Influence of Display Transparency on Background Awareness and Task Performance. In 34TH ANNUAL CHI CONFERENCE ON HUMAN FACTORS IN COMPUTING SYSTEMS, CHI 2016 (pp. 1705-1716). Association for Computing Machinery. https://doi.org/10.1145/2858036.2858453

Nielsen, M. (2016). Interactive Visual Analytics of Big Data - a Web-Based Approach. Department of Computer Science, Aarhus University.

Feuchtner, T., Walter , R. & Müller, J. (2016). Interruption and Pausing of Public Display Games. In Proceedings of the 18th International Conference on Human-Computer Interaction with Mobile Devices and Services: MobileHCI '16 (pp. 306-317). New York, NY, USA: Association for Computing Machinery. https://doi.org/10.1145/2935334.2935335

Nunnari, F., Bachynskyi, M. & Heloir, A. (2016). Introducing postural variability improves the distribution of muscular loads during mid-air gestural interaction. In Motion in Games 2016: 9th International Conference on Motion in Games, MIG 2016 (pp. 155-160). [2994278] New York, NY, USA: Association for Computing Machinery. https://doi.org/10.1145/2994258.2994278

Aureliano, V. C. O., Tedesco, P. C. D. A. R. & Caspersen, M. E. (2016). Learning programming through stepwise self-explanations. In Proceedings of the 11th Iberian Conference on Information Systems and Technologies, CISTI 2016 (pp. 535-541). IEEE Computer Society Press. Iberian Conference on Information Systems and Technologies (CISTI), Vol.. 2016 https://doi.org/10.1109/CISTI.2016.7521457

Cramer, R., Damgård, I. B., Döttling, N., Giacomelli, I. & Xing, C. (2016). Linear-Time Non-Malleable Codes in the Bit-Wise Independent Tampering Model. (pp. 1-31). Cryptology ePrint Archive.

Bertelsen, O. W. (2016). Local decision making as a design opportunity. In A. De Angeli, L. Bannon, P. Marti & S. Bordin (Eds.), COOP 2016: Proceedings of the 12th International Conference on the Design of Cooperative Systems (pp. 243-258). Springer VS. https://doi.org/10.1007/978-3-319-33464-6_15

Döttling, N. (2016). Low Noise LPN: Key dependent message secure public key encryption an sample amplification. IET Information Security, 10(6), 372-385. https://doi.org/10.1049/iet-ifs.2015.0495

Kalvisa, A., Tsirogiannis, C., Silamikelis, I., Skenders, G., Broka, L., Zirnitis, A. ... Ranka, R. (2016). MIRU-VNTR genotype diversity and indications of homoplasy in M. avium strains isolated from humans and slaughter pigs in Latvia. Infection, Genetics and Evolution, 43(September), 15-21. https://doi.org/10.1016/j.meegid.2016.05.013

Doughty, C. E., Wolf, A., Holme, N. M., Jørgensen, P. M., Sandel, B. S., Violle, C. ... Galetti, M. (2016). Megafauna extinction, tree species range reduction, and carbon storage in Amazonian forests. Ecography, 39(2), 194-203. https://doi.org/10.1111/ecog.01587

Loffler, M., Nollenburg, M. & Staals, F. (2016). Mixed map labeling. Journal of Spatial Information Science, 13, 3-32. https://doi.org/10.5311/JOSIS.2016.13.264

Stisen, A. (2016). Mobile Sensing and Recognition of Human Activities to Support Work Coordination. Institut for Datalogi, Aarhus Universitet.

Da Rocha Pinto, P., Dinsdale-Young, T., Gardner, P. & Sutherland, J. (2016). Modular termination verification for non-blocking concurrency. In P. Thiemann (Ed.), Programming Languages and Systems - 25th European Symposium on Programming, ESOP 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Proceedings (Vol. 9632, pp. 176-201). Springer. Lecture Notes in Computer Science (LNCS), Vol.. 9632 https://doi.org/10.1007/978-3-662-49498-1_8

Nielsen, M. M., Tataru, P., Madsen, T., Hobolth, A. & Pedersen, J. S. (2016). Motif discovery in ranked lists of sequences. (pp. 1-4).

Höök, K. H., Jonsson, M., Ståhl, A., Tholander, J., Robertson, T., Marti, P. ... Khut, G. P. (2016). Move to Be Moved. In Proceedings of the 2016 CHI Conference Extended Abstracts on Human Factors in Computing Systems (pp. 3301-3308). New York, NY, USA: Association for Computing Machinery. CHI EA '16 https://doi.org/10.1145/2851581.2856470

Mortensen, M. L. (2016). Multi-Criteria Decision Support Queries in Exploratory & Open World Settings.

Löffler, M., Staals, F. & Urhausen, J. (2016). New Results on Trajectory Grouping under Geodesic Distance. Paper presented at EuroCG 2016, Lugano, Switzerland.

Bødker, S., Hornbæk, K., Oulasvirta, A. & Reeves, S. (2016). Nine questions for HCI researchers in the making. interactions, 23(4), 58-61. https://doi.org/10.1145/2949686

Bai, G., Damgård, I., Orlandi, C. & Xia, Y. (2016). Non-Interactive Verifiable Secret Sharing for Monotone Circuits. In D. Pointcheval, A. Nitaj & T. Rachidi (Eds.), Progress in Cryptology - AFRICACRYPT 2016 - 8th International Conference on Cryptology in Africa, Fes, Morocco, April 13-15, 2016, Proceedings (Vol. 9646, pp. 225-244). Springer VS. Lecture Notes in Computer Science (LNCS), Vol.. 9646 https://doi.org/10.1007/978-3-319-31517-1_12

Cascudo, I., Damgård, I., Lacerda, F. & Ranellucci, S. (2016). Oblivious transfer from any non-trivial elastic noisy channel via secret key agreement. In Theory of Cryptography - 14th International Conference, TCC 2016-B, Proceedings (Vol. 9985, pp. 204-234). Springer VS. Lecture Notes in Computer Science, Vol.. 9985 https://doi.org/10.1007/978-3-662-53641-4_9

Baum, C. (2016). On Garbling Schemes with and Without Privacy. In V. Zikas & R. De Prisco (Eds.), Security and Cryptography for Networks: International Conference on Security and Cryptography for Networks (Vol. 9841, pp. 468-485). Springer VS. Lecture Notes in Computer Science, Vol.. 9841 https://doi.org/10.1007/978-3-319-44618-9

Ben-Sasson, E., Ben-Tov, I., Damgård, I., Ishai, Y. & Ron-Zewi, N. (2016). On public key encryption from noisy codewords. In Public-Key Cryptography – PKC 2016 - 19th IACR International Conference on Practice and Theory in Public-Key Cryptography, Proceedings (Vol. 9615, pp. 417-446). Springer VS. Lecture Notes in Computer Science, Vol.. 9615 https://doi.org/10.1007/978-3-662-49387-8_16

Bizjak, A. (2016). On semantics and applications of guarded recursion.

Jakobsen, J. & Orlandi, C. (2016). On the CCA (in)security of MTProto. In Proceedings of the 6th Workshop on Security and Privacy in Smartphones and Mobile Devices: SPSM '16 (pp. 113-116). New York, NY, USA: Association for Computing Machinery. https://doi.org/10.1145/2994459.2994468

Damgård, I. B., Nielsen, J. B., Polychroniadou, A. & Raskin, M. (2016). On the Communication Required for Unconditionally Secure Multiplication. In Advances in Cryptology – CRYPTO 2016 (Vol. 9815, pp. 459-488). Springer VS. Lecture Notes in Computer Science, Vol.. 9815 https://doi.org/10.1007/978-3-662-53008-5_16

Displaying results 451 to 500 out of 4435

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