Publikationer

Søg publikationer fra Institut for Datalogi

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

Grønbæk, J. E. (2018). Designing for Interaction Proxemics: Configurations and Transitions. I CHI 2018 - Extended Abstracts of the 2018 CHI Conference on Human Factors in Computing Systems: Engage with CHI (Bind DC08). Artikel DC08 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. I D. Phung, V. S. Tseng, G. I. Webb, B. Ho, M. Ganji & L. Rashidi (red.), Advances in Knowledge Discovery and Data Mining - 22nd Pacific-Asia Conference, PAKDD 2018, Proceedings: PAKDD '18 (Bind 10939, s. 373-385). Springer VS. 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. Artikel 15. https://doi.org/10.1145/3196830

Ganesh, C., Kondi, Y., Patra, A. & Sarkar, P. (2018). Efficient Adaptively Secure Zero-Knowledge from Garbled Circuits. I M. Abdalla & R. Dahab (red.), Public-Key Cryptography - PKC 2018 - 21st IACR International Conference on Practice and Theory of Public-Key Cryptography, Proceedings (s. 499-529). Springer. 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., Hummels, C., Isbister, K., Jonsson, M., Khut, G., Loke, L., Lottridge, D., Marti, P., Melcer, E., Müller, F., Petersen, M. G., Schiphorst, T., Segura, E. M., Ståhl, A. ... Tobiasson, H. (2018). Embracing First-Person Perspectives in Soma-Based Design. Informatics, 5/1(8), 1-26. Artikel 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. https://astra.dk/sites/default/files/eis_rapport_v4_1.pdf

Sillasen, M., Daugbjerg, P., Krogh, L. B. & Nielsen, K. (2018). Engineering i skolen - Vidensgrundlag. VIA University College. https://www.ucviden.dk/portal/da/publications/engineering-i-skolen(2d8a5ff9-3ab5-4a10-965f-46ebe403919d).html

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), Artikel 3. https://doi.org/10.1145/3167970

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

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

Scholl, P. (2018). Extending Oblivious Transfer with Low Communication via Key-Homomorphic PRFs. I M. Abdalla & R. Dahab (red.), Public-Key Cryptography - PKC 2018 (Bind 10769, s. 554-583). Springer VS. https://doi.org/10.1007/978-3-319-76578-5_19

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

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. Artikel 162. https://doi.org/10.1145/3276532

Clouston, R. (2018). Fitch-Style Modal Lambda Calculi. I C. Baier & U. Dal Lago (red.), Foundations of Software Science and Computation Structures - 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Proceedings: 21st International Conference on Foundations of Software Science and Computation Structures (FoSSaCS) (Bind 10803, s. 258-275). Springer. https://doi.org/10.1007/978-3-319-89366-2_14

Christensen, H. B. (2018). Flexible, Reliable, Distributed Software. (2018-11-1 udg.) LeanPub.com. http://leanpub.com/frds

Christensen, H. B. (2018). FRDS.Broker Library: A teaching oriented implementation of the Broker architectural pattern. Softwareprogram, LeanPub.com.

Freksen, C. B., Kamma, L. & Larsen, K. G. (2018). Fully Understanding the Hashing Trick. arxiv.org. http://arxiv.org/abs/1805.08539

Freksen, C. B., Kamma, L. & Larsen, K. G. (2018). Fully Understanding the Hashing Trick. 5389-5399. Poster-session præsenteret på Neural Information Processing Systems Conference, Montreal, Canada.

Thiel, S. K. (2018). Gamifying creative potential: For better or worse? I M. Ciussi (red.), 12th European Conference on Game Based Learning, ECGBL 2018 (s. 915-919). Dechema e.V..

Filos-Ratsikas, A., Stiil Frederiksen, S. K., Goldberg, P. W. & Zhang, J. (2018). Hardness results for consensus-halving. I I. Potapov, J. Worrell & P. Spirakis (red.), 43rd International Symposium on Mathematical Foundations of Computer Science, MFCS 2018 (Bind 117). Artikel 24 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.MFCS.2018.24

Angerås, O., Haraldsson, I., Redfors, B., Fröbert, O., Petursson, P., Albertsson, P., Ioanes, D., Odenstedt, J., Olsson, H., Witt, N., Rück, A., Millgård, J., Nilsson, J., Persson, J., Söderbom, M., Wedel, H., Erlinge, D., James, S., Råmunddal, T. & Omerovic, E. (2018). Impact of thrombus aspiration on mortality, stent thrombosis, and stroke in patients with ST-segment-elevation myocardial infarction: A report from the Swedish coronary angiography and angioplasty registry. Journal of the American Heart Association, 7(1), Artikel e007680. https://doi.org/10.1161/JAHA.117.007680

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

Jensen, S. Q., Fender, A. & Müller, J. (2018). Inpher: Inferring physical properties of virtual objects from mid-air interaction. I R. Mandryk & M. Hancock (red.), Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems: Engage with CHI (Bind 2018-April). Artikel 530 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. I A. Hameurlain, R. Wagner, D. Benslimane, E. Damiani & W. I. Grosky (red.), Transactions on Large-Scale Data- and Knowledge-Centered Systems XXXIX - Special Issue on Database- and Expert-Systems Applications: Special Issue on Database- and Expert-Systems Applications (Bind 11310, s. 169-199). Springer VS. 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. I CHI 2018 - Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems: Engage with CHI (Bind 2018). Artikel 68 Association for Computing Machinery. https://doi.org/10.1145/3173574.3173642

Licata, D. R., Orton, I., Pitts, A. M. & Spitters, B. (2018, jul. 1). Internal Universes in Models of Homotopy Type Theory. arxiv.org. https://doi.org/10.4230/LIPIcs.FSCD.2018.22

Thomas, V., Brueggemann, M. J., Wang, D., Darby, A., Wohl, B., Vermeulen, L. M. D., Bates, O. & Feldman, D. (2018). In the eye of a hurricane there is quiet, for just a moment, -. I R. Mandryk, M. Hancock, M. Perry & A. Cox (red.), CHI 2018 - Extended Abstracts of the 2018 CHI Conference on Human Factors in Computing Systems (s. 1-10). Artikel alt01 Association for Computing Machinery. https://doi.org/10.1145/3170427.3188394

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

Obremski, M. & Skorski, M. (2018). Inverted Leftover Hash Lemma. I 2018 IEEE International Symposium on Information Theory, ISIT 2018 (Bind 2018-June, s. 1834-1838). Artikel 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. Artikel 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. I UIST 2018 Adjunct - Adjunct Publication of the 31st Annual ACM Symposium on User Interface Software and Technology: UIST '18 Adjunct (s. 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. I 2018 IEEE International Symposium on Information Theory, ISIT 2018 (Bind 2018-June, s. 1131-1135). Artikel 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. I R. Mandryk, M. Hancock, M. Perry & A. Cox (red.), CHI 2018 - Extended Abstracts of the 2018 CHI Conference on Human Factors in Computing Systems: Engage with CHI (s. 1-11). Artikel alt06 Association for Computing Machinery. 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. I I. Potapov, J. Worrell & P. Spirakis (red.), 43rd International Symposium on Mathematical Foundations of Computer Science, MFCS 2018 (Bind 117, s. 41:1-41:16). Artikel 41 Dagstuhl Publishing. 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). I CRYBLOCK 2018 - Proceedings of the 1st Workshop on Cryptocurrencies and Blockchains for Distributed Systems, Part of MobiSys 2018 (s. 82-86). Association for Computing Machinery. https://doi.org/10.1145/3211933.3211948

Christensen, H. B. (2018). MiniDraw: A teaching oriented 2D graphics, direct manipulation, framework. Softwareprogram, JCenter .

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

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. Artikel 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. I D. Catalano & R. De Prisco (red.), Security and Cryptography for Networks - 11th International Conference, SCN 2018, Proceedings (Bind 11035, s. 368-385). Springer VS. 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(1), Artikel 20. https://doi.org/10.1186/s13058-018-0952-8

Tsitsulin, A., Mottin, D., Karras, P., Bronstein, A. & Müller, E. (2018). NetLSD: Hearing the Shape of a Graph. I Y. Guo & F. Farooq (red.), KDD 2018 - Proceedings of the 24th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining (s. 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. I H. Shacham & A. Boldyreva (red.), Advances in Cryptology – CRYPTO 2018 - 38th Annual International Cryptology Conference, 2018, Proceedings (Bind 10993, s. 643-673). Springer. https://doi.org/10.1007/978-3-319-96878-0_22

Munteanu, A., Sohler, C., Schwiegelshohn, C. & Woodruff, D. P. (2018). On coresets for logistic regression. Advances in Neural Information Processing Systems, 2018-December, 6561-6570.

Bizjak, A. & Birkedal, L. (2018). On Models of Higher-Order Separation Logic. Electronic Notes in Theoretical Computer Science, 336(4), 57-78. https://doi.org/10.1016/j.entcs.2018.03.016

Dalsgaard, P., Pedersen, B. P., Dimke, H., Møller, N. M., Normand, S., Bjørk, R., Bille, M. & Larsen, K. G. (2018). Opholdskrav i skatteaftale hæmmer dansk forskning. Politiken, (Sektion 2 (Kultur)), 7.

Afshani, P. & Tsakalidis, K. (2018). Optimal Deterministic Shallow Cuttings for 3-d Dominance Ranges. Algorithmica, 80(11), 3192-3206. https://doi.org/10.1007/s00453-017-0376-3

Fender, A., Herholz, P., Alexa, M. & Müller, J. (2018). OptiSpace: Automated Placement of Interactive 3D Projection Mapping Content. I CHI 2018 - Extended Abstracts of the 2018 CHI Conference on Human Factors in Computing Systems: Engage with CHI (s. 269:1--269:11). Artikel 269 Association for Computing Machinery. https://doi.org/10.1145/3173574.3173843

Feuchtner, T. & Müller, J. (2018). Ownershift: Facilitating Overhead Interaction in Virtual Reality with an Ownership-Preserving Hand Space Shift. I P. Baudisch & A. Schmidt (red.), UIST 2018 - Proceedings of the 31st Annual ACM Symposium on User Interface Software and Technology: The 31st Annual ACM Symposium on User Interface Software and Technology (s. 31-43). Association for Computing Machinery. https://doi.org/10.1145/3242587.3242594

Viser resultater 1601 til 1650 ud af 6060

Forrige

Næste

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series