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

Larsen, K. G., Weinstein, O. & Yu, H. (2018). Crossing the Logarithmic Barrier for Dynamic Boolean Data Structure Lower Bounds. In M. Henzinger, D. Kempe & I. Diakonikolas (Eds.), STOC 2018 - Proceedings of the 50th Annual ACM SIGACT Symposium on Theory of Computing (pp. 978-989). New York, NY, USA: Association for Computing Machinery. A C M. S I G A C T - S I G M O D - S I G A R T Symposium on Principles of Database Systems. Proceedings, No. 2018 https://doi.org/10.1145/3188745.3188790

Christensen, H. B. (2018). Crunch: Automated Assessment of Microservice Architecture Assignments with Formative Feedback. In C. E. Cuesta, J. Perez & D. Garlan (Eds.), Software Architecture: 12th European Conference on Software Architecture, ECSA 2018 (Vol. 11048, pp. 175-190). Springer. Lecture Notes in Computer Science (LNCS), No. 11048 https://doi.org/10.1007/978-3-030-00761-4_12

Lissandrini, M., Mottin, D., Palpanas, T. & Velegrakis, Y. (2018). Data Exploration using Example-based Methods. Morgan & Claypool Publishers. Synthesis Lectures on Data Management https://doi.org/10.2200/S00881ED1V01Y201810DTM053

Knudsen, S., Vermeulen, J., Kosminsky, D., Walny, J., West, M., Frisson, C. ... Carpendale, S. (2018). Democratizing Open Energy Data for Public Discourse Using Visualization. In R. Mandryk & M. Hancock (Eds.), CHI 2018 - Extended Abstracts of the 2018 CHI Conference on Human Factors in Computing Systems: Engage with CHI (pp. D406:1-D406:4). ACM New York, NY: Association for Computing Machinery. CHI EA '18 https://doi.org/10.1145/3170427.3186539

Feuchtner, T. (2018). Designing for Hand Ownership in Interaction with Virtual and Augmented Reality. Aarhus: Aarhus Universitet.

Grønbæk, J. E. (2018). Designing for Interaction Proxemics: Configurations and Transitions. In CHI EA '18 Extended Abstracts of the 2018 CHI Conference on Human Factors in Computing Systems (Vol. DC08). New York, NY, USA : Association for Computing Machinery. https://doi.org/10.1145/3170427.3173033

Neerbek, J., Assent, I. & Dolog, P. (2018). Detecting Complex Sensitive Information via Phrase Structure in Recursive Neural Networks. In D. Phung, V. S. Tseng, G. I. Webb, B. Ho, M. Ganji & L. Rashidi (Eds.), Advances in Knowledge Discovery and Data Mining: PAKDD '18 (Vol. 10939, pp. 373-385). Springer VS. Lecture Notes in Computer Science (LNCS), No. 10939 https://doi.org/10.1007/978-3-319-93040-4_30

Pinder, C., Vermeulen, J., Cowan, B. R. & Beale, R. (2018). Digital Behaviour Change Interventions to Break and Form Habits. ACM Transactions on Computer-Human Interaction, 25(3), 15-15:66. [15]. https://doi.org/10.1145/3196830

Ganesh, C., Kondi, Y., Patra, A. & Sarkar, P. (2018). Efficient Adaptively Secure Zero-Knowledge from Garbled Circuits. In M. Abdalla & R. Dahab (Eds.), Public-Key Cryptography - PKC 2018 - 21st IACR International Conference on Practice and Theory of Public-Key Cryptography, Proceedings (pp. 499-529). Springer. Lecture Notes in Computer Science (LNCS), No. 10770 https://doi.org/10.1007/978-3-319-76581-5_17

Fleischhacker, N., Krupp, J., Malavolta, G., Schneider, J., Schröder, D. & Simkin, M. (2018). Efficient unlinkable sanitizable signatures from signatures with re-randomizable keys. IET Information Security, 12(3), 166-183. https://doi.org/10.1049/iet-ifs.2017.0041

Höök, K., Caramiaux, B., Erkut, C., Forlizzi, J., Hajinejad, N., Haller, M. ... Tobiasson, H. (2018). Embracing First-Person Perspectives in Soma-Based Design. Informatics, 5/1(8), 1-26. [2018,5,8]. https://doi.org/10.3390/informatics5010008

Auener, S., Daugbjerg, P. S., Nielsen, K. & Sillasen, M. K. (2018). Engineering i skolen. Hvad, hvordan, hvorfor. VIA University College.

Chung, Y., Mortensen, M. L., Binnig, C. & Kraska, T. (2018). Estimating the impact of unknown unknowns on aggregate qery results. ACM Transactions on Database Systems, 43(1), [3]. https://doi.org/10.1145/3167970

Ledo, D., Houben, S., Vermeulen, J., Marquardt, N., Oehlberg, L. & Greenberg, S. (2018). Evaluation Strategies for HCI Toolkit Research. In R. Mandryk & M. Hancock (Eds.), CHI 2018 - Extended Abstracts of the 2018 CHI Conference on Human Factors in Computing Systems: Engage with CHI (pp. 36:1-36:17). New York, NY: Association for Computing Machinery. CHI '18 https://doi.org/10.1145/3173574.3173610

Remy, C., Bates, O., Dix, A., Thomas, V., Hazas, M., Friday, A. & Huang, E. M. (2018). Evaluation beyond usability: Validating sustainable HCI research. In CHI 2018 - Extended Abstracts of the 2018 CHI Conference on Human Factors in Computing Systems: Engage with CHI (Vol. 2018-April). Association for Computing Machinery. https://doi.org/10.1145/3173574.3173790

Jensen, K. E., Pedersen, C., Tsirogiannis, C., Mortensen, P. B. & Svenning, J-C. (2018). Experiencing Childhood Closer to Green Space is Linked to Lower Schizophrenia Risk. Early Intervention in Psychiatry, 12(S1), 19-19. [Talk 3].

Blascheck, T., Vermeulen, L. M., Vermeulen, J., Perin, C., Willett, W., Ertl, T. & Carpendale, S. (2018). Exploration Strategies for Discovery of Interactivity in Visualizations. IEEE Transactions on Visualization and Computer Graphics, 25(2), 1407-1420. https://doi.org/10.1109/TVCG.2018.2802520

Scholl, P. (2018). Extending Oblivious Transfer with Low Communication via Key-Homomorphic PRFs. In M. Abdalla & R. Dahab (Eds.), Public-Key Cryptography - PKC 2018 (Vol. 10769, pp. 554-583). Cham: Springer VS. Lecture Notes in Computer Science (LNCS), No. 10769 https://doi.org/10.1007/978-3-319-76578-5_19

Shin, Y. (2018). External Memory Algorithms for Massive Terrains and Polygons. Aarhus: Aarhus Universitet.

Christensen, H. B. (Producer). (2018). FRDS.Broker Library: A teaching oriented implementation of the Broker architectural pattern. Computer programme, https://leanpub.com/frds: LeanPub.com.

Alimadadi, S., Zhong, D., Madsen, M. & Tip, F. (2018). Finding Broken Promises in Asynchronous JavaScript Programs. Proceedings of the ACM on Programming Languages , 2(OOPSLA), 162:1-162:26. [162]. https://doi.org/10.1145/3276532

Clouston, R. (2018). Fitch-Style Modal Lambda Calculi. In C. Baier & U. Dal Lago (Eds.), Foundations of Software Science and Computation Structures: 21st International Conference on Foundations of Software Science and Computation Structures (FoSSaCS) (Vol. 10803, pp. 258-275). Springer. Lecture Notes in Computer Science (LNCS), No. 10803 https://doi.org/10.1007/978-3-319-89366-2_14

Christensen, H. B. (2018). Flexible, Reliable, Distributed Software. (2018-11-1 ed.) LeanPub.com.

Freksen, C. B., Kamma, L. & Larsen, K. G. (2018). Fully Understanding the Hashing Trick. arXiv.org.

Freksen, C. B., Kamma, L. & Larsen, K. G. (2018). Fully Understanding the Hashing Trick. 1. Poster session presented at Neural Information Processing Systems Conference, Montreal, Canada.

Thiel, S. K. (2018). Gamifying creative potential: For better or worse? In M. Ciussi (Ed.), 12th European Conference on Game Based Learning, ECGBL 2018 (pp. 915-919). Dechema e.V.. Proceedings of the European Conference on Games-Based Learning, No. October, Vol.. 2018

Birkedal, L., Bizjak, A., Clouston, R., Grathwohl, H. B., Spitters, B. & Vezzosi, A. (2018). Guarded Cubical Type Theory. Journal of Automated Reasoning, (Special Issue on Homotopy Type Theory and Univalent Foundations), 1-43. https://doi.org/10.1007/s10817-018-9471-7

Filos-Ratsikas, A., Stiil Frederiksen, S. K., Goldberg, P. W. & Zhang, J. (2018). Hardness results for consensus-halving. In I. Potapov, J. Worrell & P. Spirakis (Eds.), 43rd International Symposium on Mathematical Foundations of Computer Science, MFCS 2018 (Vol. 117). [24] Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.MFCS.2018.24

Agarwal, P. K., Arge, L. & Staals, F. (2018). Improved dynamic geodesic nearest neighbor searching in a simple polygon. In C. D. Toth & B. Speckmann (Eds.), 34th International Symposium on Computational Geometry, SoCG 2018 (Vol. 99, pp. 4:1-4:14). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. Leibniz International Proceedings in Informatics, Vol.. 99 https://doi.org/10.4230/LIPIcs.SoCG.2018.4

Thomas, V., Brueggemann, M. J., Wang, D., Darby, A., Wohl, B., Vermeulen, L. M. D. ... Feldman, D. (2018). In the eye of a hurricane there is quiet, for just a moment, -. In R. Mandryk, M. Hancock, M. Perry & A. Cox (Eds.), CHI 2018 - Extended Abstracts of the 2018 CHI Conference on Human Factors in Computing Systems (pp. 1-10). [alt01] ACM New York, NY, USA: Association for Computing Machinery. ACM CHI Conference on Human Factors in Computing Systems, No. 2018 https://doi.org/10.1145/3170427.3188394

Nielsen, S. (2018). Inferring gene flow between populations using statistical methods. Aarhus: Aarhus Universitet.

Jensen, S. Q., Fender, A. & Müller, J. (2018). Inpher: Inferring physical properties of virtual objects from mid-air interaction. In R. Mandryk & M. Hancock (Eds.), Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems: Engage with CHI (Vol. 2018-April). [530] ACM New York, NY, USA : Association for Computing Machinery. https://doi.org/10.1145/3173574.3174104

Pham, T. H., Kristensen, J., Mai, S. T., Assent, I., Jacobsen, J., Vo, B. & Le, A. (2018). Interactive Exploration of Subspace Clusters on Multicore Processors. In A. Hameurlain, R. Wagner, D. Benslimane, E. Damiani & W. I. Grosky (Eds.), Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIX: Special Issue on Database- and Expert-Systems Applications (Vol. 11310, pp. 169-199). Berlin, Heidelberg: Springer VS. Lecture Notes in Computer Science (LNCS), Vol.. 11310 https://doi.org/10.1007/978-3-662-58415-6_6

Thomsen, J. R., Krogh, P. G., Schnedler, J. A. & Linnet, H. (2018). Interactive interior and proxemics thresholds: Empowering participants in sensitive conversations. In CHI 2018 - Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems: Engage with CHI (Vol. 2018). [68] Association for Computing Machinery. https://doi.org/10.1145/3173574.3173642

Licata, D. R., Orton, I., Pitts, A. M. & Spitters, B. (2018, Jan 23). Internal Universes in Models of Homotopy Type Theory. arXiv.org. arXiv

Bannon, L., Bardzell, J. & Bødker, S. (2018). Introduction: Reimagining participatory design—Emerging voices. ACM Transactions on Computer-Human Interaction, 25(1), 1-8. [1]. https://doi.org/10.1145/3177794

Obremski, M. & Skorski, M. (2018). Inverted Leftover Hash Lemma. In 2018 IEEE International Symposium on Information Theory, ISIT 2018 (Vol. 2018-June, pp. 1834-1838). [8437654] IEEE. https://doi.org/10.1109/ISIT.2018.8437654

JUNG, RALF., KREBBERS, ROBBERT., JOURDAN, JACQUES-HENRI., BIZJAK, ALEŠ., BIRKEDAL, LARS. & DREYER, DEREK. (2018). Iris from the ground up: A modular foundation for higher-order concurrent separation logic. Journal of Functional Programming, 28, 1-73. [e20]. https://doi.org/10.1017/S0956796818000151

van Oosterhout, A., Rasmussen, M. K., Hoggan, E. & Alonso, M. B. (2018). Knobology 2.0: Giving Shape to the Haptic Force Feedback of Interactive Knobs. In The 31st Annual ACM Symposium on User Interface Software and Technology Adjunct Proceedings : UIST '18 Adjunct (pp. 197-199). Association for Computing Machinery. https://doi.org/10.1145/3266037.3271649

Aggarwal, D., Kazana, T. & Obremski, M. (2018). Leakage-Resilient Algebraic Manipulation Detection Codes with Optimal Parameters. In 2018 IEEE International Symposium on Information Theory, ISIT 2018 (Vol. 2018-June, pp. 1131-1135). [8437762] IEEE. https://doi.org/10.1109/ISIT.2018.8437762

Brueggemann, M. J., Thomas, V. & Wang, D. (2018). Lickable cities: Lick everything in sight and on site. In R. Mandryk, M. Hancock, M. Perry & A. Cox (Eds.), CHI 2018 - Extended Abstracts of the 2018 CHI Conference on Human Factors in Computing Systems: Engage with CHI (pp. 1-11). [alt06] ACM New York, NY, USA : Association for Computing Machinery. ACM CHI Conference on Human Factors in Computing Systems, No. 2018 https://doi.org/10.1145/3170427.3188399

Dan, C., Hansen, K. A., Jiang, H., Wang, L. & Zhou, Y. (2018). Low rank approximation of binary matrices: Column subset selection and generalizations. In I. Potapov, J. Worrell & P. Spirakis (Eds.), 43rd International Symposium on Mathematical Foundations of Computer Science, MFCS 2018 (Vol. 117, pp. 41:1-41:16). [41] Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing. Leibniz International Proceedings in Informatics, No. 117 https://doi.org/10.4230/LIPIcs.MFCS.2018.41

David, B., Dowsley, R. & Larangeira, M. (2018). MARS: Monetized ad-hoc routing system (a position paper). In CRYBLOCK 2018 - Proceedings of the 1st Workshop on Cryptocurrencies and Blockchains for Distributed Systems, Part of MobiSys 2018 (pp. 82-86). Association for Computing Machinery. https://doi.org/10.1145/3211933.3211948

Christensen, H. B. (Producer). (2018). MiniDraw: A teaching oriented 2D graphics, direct manipulation, framework. Computer programme, Bitbucket.org: JCenter .

Hóu, Z., Clouston, R., Goré, R. & Tiu, A. (2018). Modular Labelled Sequent Calculi for Abstract Separation Logics. ACM Transactions on Computational Logic, 19(2), 1-35. [13]. https://doi.org/10.1145/3197383

Baum, C., Damgård, I., Lyubashevsky, V., Oechsner, S. & Peikert, C. (2018). More Efficient Commitments from Structured Lattice Assumptions. In D. Catalano & R. De Prisco (Eds.), Security and Cryptography for Networks (Vol. 11035, pp. 368-385). Cham: Springer VS. Lecture Notes in Computer Science (LNCS), No. 11035 https://doi.org/10.1007/978-3-319-98113-0_20

Frølunde, A. S., Ohlenbusch, M. E., Berg-Hansen, K., Jessen, N., Kim, S. & Boedtkjer, E. (2018). Murine breast cancer feed arteries are thin-walled with reduced α_1A-adrenoceptor expression and attenuated sympathetic vasocontraction. Breast Cancer Research, 20, [20]. https://doi.org/10.1186/s13058-018-0952-8

Meiklejohn, S. & Mercer, R. (2018). Möbius: Trustless tumbling for transaction privacy. Proceedings on Privacy Enhancing Technologies, 2018(2), 105-121. https://doi.org/10.1515/popets-2018-0015

Tsitsulin, A., Mottin, D., Karras, P., Bronstein, A. & Müller, E. (2018). NetLSD: Hearing the Shape of a Graph. In Y. Guo & F. Farooq (Eds.), 24th ACM SIGKDD International Conference on Knowledge Discovery & Data Mining (pp. 2347-2356). Association for Computing Machinery. https://doi.org/10.1145/3219819.3219991

Agrawal, S., Ganesh, C. & Mohassel, P. (2018). Non-Interactive Zero-Knowledge Proofs for Composite Statements. In H. Shacham & A. Boldyreva (Eds.), Advances in Cryptology - CRYPTO 2018 (Vol. 10993, pp. 643-673). Cham: Springer. Lecture Notes in Computer Science (LNCS), No. 10993 https://doi.org/10.1007/978-3-319-96878-0_22

Displaying results 101 to 150 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