Publikationer

Søg publikationer fra Institut for Datalogi

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

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

Mayer, S., Lischke, L., Grønbæk, J. E., Sarsenbayeva, Z., Vogelsang, J., Wozniak, P. W., Henze, N. & Jacucci, G. (2018). Pac-Many: Movement Behavior when Playing Collaborative and Competitive Games on Large Displays. I CHI '18: Proceedings of the 2018 CHI Conference on Human Factors in Computing Systems Artikel 539 Association for Computing Machinery. https://doi.org/10.1145/3173574.3174113

Vosough, Z., Hogräfer, M., Royer, L. A., Groh, R. & Schulz, H.-J. (2018). Parallel Hierarchies: A Visualization for Cross-tabulating Hierarchical Categories. Computers & Graphics, 76(November), 1-17. https://doi.org/10.1016/j.cag.2018.07.009

Gröschel, C., Dalsgaard, P., Klokmose, C. N., Korsgaard, H., Eriksson, E., Bats, R., Tabard, A., Ducros, A. & Serholt, S. (2018). PARTICIPATE: Capturing Knowledge in Public Library Activities. I CHI EA '18 : Proceedings of the 2018 CHI Conference Extended Abstracts on Human Factors in Computing Systems Artikel LBW060 https://doi.org/10.1145/3170427.3188605

Bødker, S. & Kyng, M. (2018). Participatory design that matters—Facing the big issues. ACM Transactions on Computer-Human Interaction, 25(1), 4:0-4:31. https://doi.org/10.1145/3152421

Lindahl, C., Wagner, S., Uldbjerg, N., Schlütter, J. M., Bertelsen, O. W. & Sandager, P. (2018). Patient acceptance of blood pressure self-measurement equipment using context-aware patient guidance. I N. Minsky & V. Osmani (red.), Proceedings of the 12th EAI International Conference on Pervasive Computing Technologies for Healthcare, PervasiveHealth 2018 (s. 318-326). Association for Computing Machinery. https://doi.org/10.1145/3240925.3240963

Bødker, S. (2018). Personal but not private: Appropriation as change in multiple artifact ecologies.

Jensen, M. M., Thiel, S. K., Hoggan, E. & Bødker, S. (2018). Physical versus Digital Sticky Notes in Collaborative Ideation. Afhandling præsenteret på 16th European Conference on Computer Supported Cooperative Work, ECSCW 2018, Nancy, Frankrig.

Jensen, M. M., Thiel, S. K., Hoggan, E. & Bødker, S. (2018). Physical Versus Digital Sticky Notes in Collaborative Ideation. Computer Supported Cooperative Work (CSCW): The Journal of Collaborative Computing and Work Practices, 27(3-6), 609-645. https://doi.org/10.1007/s10606-018-9325-1, https://doi.org/10.1007/s10606-018-9325-1

Speed, M. (2018). Population Genetic Models for Allele Fraction Data. Aarhus Universitet.

Adamsen, C. Q., Møller, A., Alimadadi, S. & Tip, F. (2018). Practical AJAX Race Detection for JavaScript Web Applications. I G. T. Leavens, A. Garcia & C. S. Păsăreanu (red.), ESEC/FSE 2018 - Proceedings of the 2018 26th ACM Joint Meeting on European So ftware Engineering Conference and Symposium on the Foundations of So ftware Engineering (s. 38-48). Association for Computing Machinery. https://doi.org/10.1145/3236024.3236038

Li, Y., Tan, T., Møller, A. & Smaragdakis, Y. (2018). Precision-Guided Context Sensitivity for Pointer Analysis. Proceedings of the ACM on Programming Languages , 2(OOPSLA), 141:1-141:29. Artikel 141. https://doi.org/10.1145/3276511

Tsourakakis, C. E., Mitzenmacher, M., Larsen, K. G., Blasiok, J., Lawson, B., Nakkiran, P. & Nakos, V. (2018). Predicting Positive and Negative Links with Noisy Queries: Theory Practice. arxiv.org. http://arxiv.org/abs/1709.07308

Saleem, M. A., Soares da Costa, F., Dolog, P., Karras, P., Pedersen, T. B. & Calders, T. (2018). Predicting Visitors Using Location-Based Social Networks. I Proceedings - 2018 IEEE 19th International Conference on Mobile Data Management, MDM 2018 (s. 245-250). IEEE. https://doi.org/10.1109/MDM.2018.00043

Faissole, F. & Spitters, B. (2018). Preuves constructives de programmes probabilistes. I Journées Francophones des Langages Applicatifs

Larsen-Ledet, I. (2018). Privacy in Collaborative Work: A Situated Challenge. 1. Abstract fra 2018 CHI Conference on Human Factors in Computing Systems, CHI 2018, Montreal, Canada.

Xu, Z., Anderson, K., Lawson, R., Brooks, D. J. & Pavese, N. (2018). Progression of sleep disorders spectrum in Parkinson's Disease: A 5 year clinical longitudinal study. Movement Disorders, 33(5), S761-S762. https://doi.org/10.1002/mds.27399

Rasmussen, T. A. & Merritt, T. (2018). ProjecTables: Augmented CNC tools for sustainable creative practices. International Journal of Architectural Computing, 16(3), 227-242. https://doi.org/10.1177/1478077118792356

Baena, J., Cabarcas, D., Escudero, D. E., Khathuria, K. & Verbel, J. (2018). Rank Analysis of Cubic Multivariate Cryptosystems. I T. Lange & R. Steinwandt (red.), Post-Quantum Cryptography - 9th International Conference, PQCrypto 2018, Proceedings (Bind 10786, s. 355-374). Springer VS. https://doi.org/10.1007/978-3-319-79063-3_17

Dolin, J., Nielsen, K. & Rangvid, B. S. (2018). Rapport fra Følgegruppen for én bedømmer ved folkeskolens prøver. Undervisningsministeriet. https://uvm.dk/-/media/filer/uvm/udd/folke/pdf18/apr/180425-rapport-fra-foelgegruppen-for-een-bedoemmer-ved-fp.pdf?la=da

Skorstengaard, L., Devriese, D. & Birkedal, L. (2018). Reasoning About a Machine with Local Capabilities: Provably Safe Stack and Return Pointer Management. I A. Ahmed (red.), Programming Languages and Systems - 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Proceedings (Bind 10801, s. 475-501). Springer VS. https://doi.org/10.1007/978-3-319-89884-1_17

Aguirre, A., Barthe, G., Birkedal, L., Bizjak, A., Gaboardi, M. & Garg, D. (2018). Relational Reasoning for Markov Chains in a Probabilistic Guarded Lambda Calculus. I A. Ahmed (red.), Programming Languages and Systems - 27th European Symposium on Programming, ESOP 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Proceedings (s. 214-241). Springer VS. https://doi.org/10.1007/978-3-319-89884-1_8

Frumin, D., Krebbers, R. & Birkedal, L. (2018). ReLoC: A Mechanised Relational Logic for Fine-Grained Concurrency. I Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2018 (s. 442-451). Association for Computing Machinery. https://doi.org/10.1145/3209108.3209174

Jensen, M. M., Rädle, R., Klokmose, C. N. & Bødker, S. (2018). Remediating a design tool: Implications of digitizing sticky notes. I R. Mandryk & M. Hancock (red.), CHI 2018 - Extended Abstracts of the 2018 CHI Conference on Human Factors in Computing Systems: Engage with CHI (Bind 2018-April, s. 1-12). Artikel 224 Association for Computing Machinery. https://doi.org/10.1145/3173574.3173798

Zhang, Y., Li, Y., Tan, T. & Xue, J. (2018). Ripple: Reflection analysis for Android apps in incomplete information environments. Software - Practice and Experience, 48(8), 1419-1437. https://doi.org/10.1002/spe.2577

Van Oosterhout, A., Alonso, M. B. & Jumisko-Pyykkö, S. (2018). Ripple thermostat: Affecting the emotional experience through interactive force feedback and shape change. 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.3174229

San-Segundo, R., Blunck, H., Moreno-Pimentel, J., Stisen, A. & Gil-Martín, M. (2018). Robust Human Activity Recognition using smartwatches and smartphones. Engineering Applications of Artificial Intelligence, 72(6), 190-202. https://doi.org/10.1016/j.engappai.2018.04.002

Li, Y., Tan, T., Møller, A. & Smaragdakis, Y. (2018). Scalability-First Pointer Analysis with Self-Tuning Context-Sensitivity. I G. T. Leavens, A. Garcia & C. S. Păsăreanu (red.), ESEC/FSE 2018 - Proceedings of the 2018 26th ACM Joint Meeting on European So ftware Engineering Conference and Symposium on the Foundations of So ftware Engineering (s. 129-140). Association for Computing Machinery. https://doi.org/10.1145/3236024.3236041

Pham, T., Vermeulen, J., Tang, A. & Vermeulen, L. M. (2018). Scale Impacts Elicited Gestures for Manipulating Holograms: Implications for AR Gesture Design. I Companion Publication of the 2019 on Designing Interactive Systems Conference 2019 Companion (2018 udg., s. 227-240). Association for Computing Machinery. https://doi.org/10.1145/3196709.3196719

Kramp, G. & Rasmussen, J. (2018). Servicetransformation – en guide til servicetransformationsprocesser. https://indd.adobe.com/view/05d9eb88-4231-4632-8709-46296fddb294

Thomas, V., Brueggemann, M. J., Wang, D., Gaytán-Lugo, L. S. & Bidwell, N. J. (2018). Silent SIG: Reflection in action at CHI. 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 (Bind 2018-April, s. 1-4). Artikel SIG16 Association for Computing Machinery. https://doi.org/10.1145/3170427.3185362

Viser resultater 1651 til 1700 ud af 6080

Forrige

Næste

Revideret 26.11.2025

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series