Publikationer

Søg publikationer fra Institut for Datalogi

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

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: An International Journal, 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. Århus 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.

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

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

Cramer, R., Damgård, I., Escudero, D., Scholl, P. & Xing, C. (2018). SPDΖ₂k: Efficient MPC mod 2^k for Dishonest Majority. I H. Shacham & A. Boldyreva (red.), Advances in Cryptology - CRYPTO 2018 (Bind 10992, s. 769-798). Springer VS. https://doi.org/10.1007/978-3-319-96881-0_26

Guo, Q. (2018). Statistical Modelling of Mutations in Cancer Genomes. Århus Universitet.

Loss, J., Maurer, U. & Tschudi, D. (2018). Strong Separations Between Broadcast and Authenticated Channels. I U. Schmid & J. Widder (red.), 32nd International Symposium on Distributed Computing (DISC 2018) (Bind 121, s. 36:1-36:17). Artikel 36 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.DISC.2018.36

Pinder, C., Vermeulen, J. & Cowan, B. R. (2018). Subliminal Semantic Number Processing on Smartphones. I L. Bailie & N. Oliver (red.), MobileHCI 2018 - Beyond Mobile: The Next 20 Years - 20th International Conference on Human-Computer Interaction with Mobile Devices and Services, Conference Proceedings (s. 24:1-24:13). Artikel a24 Association for Computing Machinery. https://doi.org/10.1145/3229434.3229451

Remy, C., Bates, O., Thomas, V. J. & Broadbent, M. (2018). "Sustainability... it's just not important": The Challenges of Academic Engagement with Diverse Stakeholders. I B. Penzenstadler, S. Easterbrook, C. Venters & S. I. Ahmed (red.), ICT4S2018. 5th International Conference on Information and Communication Technology for Sustainability (Bind 52, s. 316-331). easychair. https://doi.org/10.29007/kln5

Bødker, S., Larsen-Ledet, I., Roque, L. & Thomas, V. J. (2018). Taming a Run-Away Object: How to Maintain and Extend Human Control in Human-Computer Interaction?. 1-6. Afhandling præsenteret på 2018 CHI Conference on Human Factors in Computing Systems, CHI 2018, Montreal, Canada. https://ex-situ.lri.fr/content/7-workshops/2-rethinkinginteraction-18/1-papers/bodker-taming-a-runaway-object.pdf

Wang, X., Deng, K., Li, J., Yu, J. X., Jensen, C. S. & Yang, X. (2018). Targeted influence minimization in social networks. I G. I. Webb, D. Phung, M. Ganji, L. Rashidi, V. S. Tseng & B. Ho (red.), Advances in Knowledge Discovery and Data Mining - 22nd Pacific-Asia Conference, PAKDD 2018, Proceedings (s. 689-700). Springer. https://doi.org/10.1007/978-3-319-93040-4_54

Møller, A. (2018). Technical Perspective: WebAssembly: A Quiet Revolution of the Web. Communications of the A C M, 61(12), 106-106. https://doi.org/10.1145/3282508

Hansen, K. A., Ibsen-Jensen, R. & Neyman, A. (2018). The Big Match with a Clock and a Bit of Memory. I É. Tardos, E. Elkind & R. Vohra (red.), ACM EC 2018 - Proceedings of the 2018 ACM Conference on Economics and Computation (s. 149-150). Association for Computing Machinery. https://doi.org/10.1145/3219166.3219198

Jensen, C. (red.), Lind Olsen, E. (red.), Mikkelsen, G. L., Syberg , L., Nielsen, L. L., Hansen, M. A. E., Hjortlund, M., Madsen, O. L., Høngaard Andersen, P. & Duvold, T. (2018). The future market for cybersecurity in Denmark.

Bates, O., Thomas, V., Remy, C., Nathan, L. P., Mann, S. & Friday, A. (2018). The future of HCI and sustainability: Championing environmental and social justice. I R. Mandryk & M. Hancock (red.), CHI EA '18 Extended Abstracts of the 2018 CHI Conference on Human Factors in Computing Systems (Bind 2018-April). Artikel SIG01 Association for Computing Machinery. https://doi.org/10.1145/3170427.3185365

Madsen, O. L. & Møller-Pedersen, B. (2018). This is not a Model: On development of a common terminology for modeling and programming. I T. Margaria & B. Steffen (red.), Leveraging applications of formal methods, verification and validation (Bind I, s. 206-224). Springer. https://doi.org/10.1007/978-3-030-03418-4_13

Grønlund, A. & Pettie, S. (2018). Threesomes, degenerates, and love triangles. Journal of the ACM, 65(4), Artikel 22. https://doi.org/10.1145/3185378

Hazay, C., Orsini, E., Scholl, P. & Soria-Vazquez, E. (2018). TinyKeys: A New Approach to Efficient Multi-Party Computation. I H. Shacham & A. Boldyreva (red.), Advances in Cryptology – CRYPTO 2018 - 38th Annual International Cryptology Conference, 2018, Proceedings (Bind 10993, s. 3-33). Springer VS. https://doi.org/10.1007/978-3-319-96878-0_1

LaVigne, R., Liu-Zhang, C.-D., Maurer, U. M., Moran, T., Mularczyk, M. & Tschudi, D. (2018). Topology-Hiding Computation Beyond Semi-Honest Adversaries. I A. Beimel & S. Dziembowski (red.), Theory of Cryptography - 16th International Conference, TCC 2018, Proceedings: Theory of Cryptography (Bind 11240, s. 3-35). Springer VS. https://doi.org/10.1007/978-3-030-03810-6_1

Baum, C., Lin, H. & Oechsner, S. (2018). Towards Practical Lattice-Based One-Time Linkable Ring Signatures. I D. Naccache, S. Xu, S. Qing, P. Samarati, G. Blanc, R. Lu, Z. Zhang & A. Meddahi (red.), Information and Communications Security - 20th International Conference, ICICS 2018, Proceedings: ICICS 2018 (Bind 11149, s. 303-322). Springer VS. https://doi.org/10.1007/978-3-030-01950-1_18

Abdul, A., Vermeulen, J., Wang, D., Lim, B. Y. & Kankanhalli, M. (2018). Trends and Trajectories for Explainable, Accountable and Intelligible Systems: An HCI Research Agenda. 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. 582:1-582:18). Association for Computing Machinery. https://doi.org/10.1145/3173574.3174156

Mezzetti, G., Møller, A. & Torp, M. T. (2018). Type Regression Testing to Detect Breaking Changes in Node.js Libraries. I T. D. Millstein (red.), 32nd European Conference on Object-Oriented Programming, ECOOP 2018 (Bind 109, s. 7:1-7:24). Artikel 7 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.ECOOP.2018.7

Thiel, S. K. (2018). Uncovering the influence of game components on creativity. I CHI PLAY 2018 - Proceedings of the 2018 Annual Symposium on Computer-Human Interaction in Play Companion Extended Abstracts (s. 637-645). Association for Computing Machinery. https://doi.org/10.1145/3270316.3271515

Clifford, R., Grønlund, A., Larsen, K. G. & Starikovskaya, T. (2018). Upper and lower bounds for dynamic data structures on strings. I R. Niedermeier & B. Vallée (red.), 35th Symposium on Theoretical Aspects of Computer Science, STACS 2018 (Bind 96, s. 22:1-22:14). Artikel 22 Dagstuhl Publishing. https://doi.org/10.4230/LIPIcs.STACS.2018.22

Enni, S. & Assent, I. (2018). Using Balancing Terms to Avoid Discrimination in Classification. I 2018 IEEE International Conference on Data Mining, ICDM 2018 (s. 947-952). Artikel 8594925 IEEE Press. https://doi.org/10.1109/ICDM.2018.00116

Fender, A. & Müller, J. (2018). Velt: A Framework for Multi RGB-D Camera Systems. I Proceedings of the 2018 ACM International Conference on Interactive Surfaces and Spaces (s. 73-83). Association for Computing Machinery. https://doi.org/10.1145/3279778.3279794

Tsitsulin, A., Mottin, D., Karras, P. & Müller, E. (2018). VERSE: Versatile Graph Embeddings from Similarity Measures. I P.-A. Champin, F. Gandon & L. Médini (red.), The Web Conference 2018 - Proceedings of the World Wide Web Conference, WWW 2018: WWW '18 (s. 539-548). Association for Computing Machinery. https://doi.org/10.1145/3178876.3186120

Korsgaard, H., Thiel, S. K., Thomas, V. & Ertiö, T. (2018). Working across boundaries in smart city research. I C. C. Hinnant & A. Zuiderwijk (red.), Proceedings of the 19th Annual International Conference on Digital Government Research: Governance in the Data Age Artikel 39 Association for Computing Machinery. https://doi.org/10.1145/3209281.3209315

Larsen, K. G. & Nielsen, J. B. (2018). Yes, There is an Oblivious RAM Lower Bound! I H. Shacham & A. Boldyreva (red.), Advances in Cryptology -- CRYPTO 2018 (s. 523-542). Springer VS. https://doi.org/10.1007/978-3-319-96881-0_18

Damgård, I., Orlandi, C. & Simkin, M. (2018). Yet Another Compiler for Active Security or: Efficient MPC Over Arbitrary Rings. I H. Shacham & A. Boldyreva (red.), Advances in Cryptology – CRYPTO 2018 - 38th Annual International Cryptology Conference, 2018, Proceedings (Bind 10992, s. 799-829). Springer VS. https://doi.org/10.1007/978-3-319-96881-0_27

Fuchsbauer, G., Gay, R., Kowalczyk, L. & Orlandi, C. (2017). Access Control Encryption for Equality, Comparison, and More. I S. Fehr (red.), Public-Key Cryptography – PKC 2017 - 20th IACR International Conference on Practice and Theory in Public-Key Cryptography, Proceedings: 20th IACR International Conference on Practice and Theory in Public-Key Cryptography, Amsterdam, The Netherlands, March 28-31, 2017, Proceedings, Part II (Bind 10175, s. 88-118). Springer VS. https://doi.org/10.1007/978-3-662-54388-7_4

Jafargholi, Z., Scafuro, A. & Wichs, D. (2017). Adaptively Indistinguishable Garbled Circuits. I Y. Kalai & L. Reyzin (red.), Theory of Cryptography - 15th International Conference, TCC 2017, Proceedings (Bind 10678, s. 40-71). Springer VS. https://doi.org/10.1007/978-3-319-70503-3

Bringmann, K., Grønlund, A. & Larsen, K. G. (2017). A Dichotomy for Regular Expression Membership Testing. I Proceedings - 58th Annual IEEE Symposium on Foundations of Computer Science, FOCS 2017 (s. 307-318). Artikel 8104068 IEEE Computer Society Press. https://doi.org/10.1109/FOCS.2017.36

Viser resultater 1401 til 1450 ud af 2967

Forrige

Næste

Revideret 09.03.2023

Marianne Dammand Iversen

Publikationer

Søg publikationer fra Institut for Datalogi

DAIMI Report series