IT-Universitetet i København

Filter
Konferencebidrag i proceedings

Søgeresultater

  • 2019

    Comparing “Challenge-Based” and “Code-Based” Internet Voting Verification Implementations

    Kulyk, O., Henzel, J., Renaud, K. & Volkamer, M., sep. 2019, 17th IFIP TC 13 International Conference on Human-Computer Interaction: INTERACT 2019. Lecture Notes in Computer Science, vol 11746. Springer, s. 519-538 (Lecture Notes in Computer Science, Bind 11746).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Consent Verification Under Evolving Privacy Policies

    Robol, M., D. Breaux, T., Paja, E. & Giorgini, P., 23 sep. 2019, Proceedings of the IEEE 27th International Requirements Engineering Conference (RE'19). Conf. Location: Jeju Island, Korea (South): IEEE, s. 422-427 6 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Current challenges in gamification identified in empirical studies

    Cermak-Sassenrath, D., 2019, Proceedings of the 18th European Conference on e-Learning (ECEL) 2019. Ørngreen, R., Buhl, M. & Meyer, B. (red.). Reading: Academic Conferences and Publishing International Limited, s. 119–27

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • DCR Event-reachability via Genetic Algorithms

    Högnasson, T. & Debois, S., 29 jan. 2019, Business Process Management Workshops: BPM 2018. Springer, Cham, Bind 342. (Lecture Notes in Business Information Processing, Bind 342).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Declarative Choreographies and Liveness

    Hildebrandt, T. T., Slaats, T., López, H. A., Debois, S. & Carbone, M., jun. 2019, International Conference on Formal Techniques for Distributed Objects, Components, and Systems: FORTE 2019: Formal Techniques for Distributed Objects, Components, and Systems . Springer, s. 129-147 19 s. (Lecture Notes in Computer Science, Bind 11535).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Fil

  • Deep Neuroevolution of Recurrent and Discrete World Models

    Risi, S. & Stanley, K., 2019, GECCO '19: Proceedings of the Genetic and Evolutionary Computation Conference. Association for Computing Machinery, s. 456-462

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Designing at the End of the World

    Fritsch, J., Loi, D. & Light, A., jun. 2019, DIS'19 Companion: Publication of the 2019 Designing Interactive Systems Conference 2019. Association for Computing Machinery, s. 369-372 4 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Fil

  • Designing Personalized Learning Environments throughMonitoring and Guiding User Interactions with Code andNatural Language

    Lungu, M., 2019, Proceedings of the 1st ACM SIGSOFT International Workshop on Education through Advanced Software Engineering and Artificial Intelligence. Association for Computing Machinery, s. 5-8

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Fil

  • Design Research Themes for Mindful Interaction

    Kühn, L., Hermann, C. & Boer, L., 7 nov. 2019, Proceedings of the 17th Scandinavian Conference on Health Informatics. Linköping : Linköping University Electronic Press, s. 24-29 6 s. 5

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Detecting Floating-Point Errors via Atomic Conditions

    Zou, D., Zou, M., Xiong, Y., Fu, Z., Zhang, L. & Su, Z., 2019, 47th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2020). Association for Computing Machinery, 60

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Discovering Communities of Community Discovery

    Coscia, M., 28 aug. 2019, International Conference on Advances in Social Networks Analysis and Mining. Association for Computing Machinery

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Doing Things with Research through Design: With What, with Whom, and Towards What Ends?

    Andersen, K., Chatting, D., Boucher, A., Jenkins, T., Desjardins, A., Devendorf, L., Gaver, W., Odom, W., Pierce, J. & Vallgårda, A., 4 maj 2019, CHI EA '19 Extended Abstracts of the 2019 CHI Conference on Human Factors in Computing Systems. New York, NY, USA: Association for Computing Machinery, 8 s. W13

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Formidling

    Åben adgang
    Fil

  • Effective Floating-Point Analysis via Weak-Distance Minimization

    Fu, Z. & Su, Z., 2019, Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation. New York, NY, USA: Association for Computing Machinery, s. 439--452 14 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Efficient UC Commitment Extension with Homomorphism for Free (and Applications)

    Cascudo, I., Damgård, I., David, B., Dowsley, R., Döttling, N. & Giacomelli, I., 22 nov. 2019, Advances in Cryptology – ASIACRYPT 2019: 25th International Conference on the Theory and Application of Cryptology and Information Security, Kobe, Japan, December 8–12, 2019, Proceedings, Part II. Galbraith, S. & Moriai, S. (red.). Springer, s. 606-635 (Lecture Notes in Computer Science, Bind 11922).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Engineering Modular Playware

    Frederiksen, M. R., Lund, H. H. & Leggieri, M., 10 jan. 2019, Proceedings of the 2019 International Conference on Artificial Life and Robotics. ICAROB 2019: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON ARTIFICIAL LIFE AND ROBOTICS, Bind 24. s. 9-13 4 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang

  • Esports Skills are People Skills

    Nielsen, R. K. L. & Hanghøj, T., 3 okt. 2019, Proceedings of the 13th European Conference on Games-Based Learning (ECGBL-2019). Elbæk, L., Majgaard, G., Valente, A. & Khalid, S. (red.). Academic Conferences and Publishing International, s. 535-542

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Exploring the Cross-Species Experience and the Coevolutionary Capacity: Sensorial Transcoding and Critical Play Design of Bio-Sonic Sense

    Ioannidis, P., Son, J.-A., Villaseñor Ramírez, H. & Matsuura, T., 1 aug. 2019, RE:SOUND 2019 – 8th International Conference on Media Art, Science, and Technology . BCS Learning and Development Ltd, (Electronic Workshops in Computing).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Exploring the Modeling of Declarative Processes Using a Hybrid Approach

    Abbad Andaloussi, A., Buch-Lorentsen, J., Lopez, H. A., Slaats, T. & Weber, B., 15 okt. 2019, Conceptual Modeling: Conceptual Modeling. ER 2019.. Switzerland: Springer Nature, Bind 11788. s. 162-170 9 s. (Lecture Notes in Computer Science, Bind 11788).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Fil

  • Exploring users’ willingness to share their health and personal data under the prism of the new GDPR: implications in healthcare

    Karampela, M., Ouhbi, S. & Isomursu, M., okt. 2019, 2019 41st Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC). IEEE

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Exquisitor: Breaking the Interaction Barrier for Exploration of 100 Million Images

    Ragnarsdóttir, H., Þorleiksdóttir, Þ., Khan, O. S., Jónsson, B. T., Guðmundsson, G. Þ., Zahálka, J., Rudinac, S., Amsaleg, L. & Worring, M., okt. 2019, Proceedings of the ACM Multimedia Conference. Nice, France: Association for Computing Machinery, s. 1029-1031 3 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Exquisitor at the Lifelog Search Challenge 2019

    Khan, O. S., Jónsson, B. T., Zahálka, J., Rudinac, S. & Worring, M., jun. 2019, Proceedings of the ACM Workshop on Lifelog Search Challenge, LSC@ICMR 2019. Ottawa, Canada: Association for Computing Machinery, s. 7-11 5 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Fil

  • Factors that Impact Blockchain Scalability

    Eklund, P. & Beck, R., 2019, Proceedings of MEDES 2019: The 11th International ACM Conference on Management of Digital EcoSystems. Association for Computing Machinery

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Fragile Complexity of Comparison-Based Algorithms

    Afshani, P., Fagerberg, R., Hammer, D. M. G., Jacob, R., Kostitsyna, I., Meyer, U., Penschuck, M. & Sitchinava, N., 9 sep. 2019, 27th Annual European Symposium on Algorithms (ESA 2019). Schloss Dagstuhl--Leibniz-Zentrum für Informatik, s. 2:1–2:19 2. (Leibniz International Proceedings in Informatics (LIPIcs)).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • FRESH: Fréchet Similarity with Hashing

    Ceccarello, M., Driemel, A. & Silvestri, F., 2019, International Symposium on Algorithms and Data Structures (WADS). Springer, (Lecture Notes in Computer Science, Bind 11646).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • From Nomadic Work to Nomadic Leisure Practice: A study of long-term bike touring

    Ferreira, P., Helms, K., Brown, B. & Lampinen, A., nov. 2019, Proceedings of the ACM on Human-Computer Interaction: Volume 3 Issue CSCW, November 2019. Association for Computing Machinery, 20 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Hardness of Bichromatic Closest Pair with Jaccard Similarity

    Pagh, R., Nielsen, N. M. S. & Thorup, M., 2019, LIPIcs - Leibniz International Proceedings in Informatics - 27th Annual European Symposium on Algorithms (ESA 2019). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Bind 144. s. 80:1–80:13 13 s. 80. (Leibniz International Proceedings in Informatics).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • How blockchain impacts cloud-based system performance: a case study for a groupware communication application

    Beck, R., Eklund, P. & Spasovski, J., 2019, Proceedings of IEEE/ACIS International Conference on Computer and Information Science. IEEE, (Australasian Conference on Information Systems).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Identifying Redundancies in Fork-based Development

    Ren, L., Zhou, S., Kästner, C. & Wasowski, A., 2019, The 26th IEEE International Conference on Software Analysis Evolution and Reengineering, Hangzhou, China, Februrary 24-27, 2019. IEEE Press

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Inaction as a Design Decision: Reflections on Not Designing Self-Tracking Tools for Menopause

    Homewood, S., 18 apr. 2019, Extended Abstracts of the 2019 CHI Conference on Human Factors in Computing Systems. Association for Computing Machinery, s. alt17

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Fil

  • Index Maintenance Strategy and Cost Model for Extended Cluster Pruning

    Højsgaard, A. M., Jónsson, B. T. & Bonnet, P., okt. 2019, Proceedings of the International Conference on Similarity Search and Applications (SISAP). Springer, s. 32-39 8 s. (Lecture Notes in Computer Science, Bind 11807).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Fil

  • Integrated and seamless? Single Parents’ Experiences of Cross-Organizational Interaction

    Østergaard Madsen, C. & Christensen, L. R., jun. 2019, IRIS 2018 Proceedings. Information Systems Research Seminar in Scandinavia, (IRIS: Selected Papers of the Information Systems Research Seminar in Scandinavia; Nr. 5, Bind 9).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Fil

  • Integrating Users Logic Into Requirements Engineering for Connected Healthcare co-Design

    Ouhbi, S., Karampela, M. & Isomursu, M., 4 maj 2019, In Proceedings of the 14th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2019). SCITEPRESS Digital Library, s. 480-485

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Integration of Exploration and Search: A Case Study of the M3 Model

    Gíslason, S., Jónsson, B. T. & Amsaleg, L., jan. 2019, Proceedings of the International Conference on MultiMedia Modeling (MMM): Special Session on Multimedia Analytics: Perspectives, Techniques and Applications (MAPTA). Thessaloniki, Greece: Springer, s. 156-168 13 s. (Lecture Notes in Computer Science, Bind 11295).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Fil

  • Intention-based integration of software variants

    Lillack, M., Stanciulescu, S., Hedman, W., Berger, T. & Wasowski, A., 2019, Proceedings of the 41st International Conference on Software Engineering, ICSE 2019, Montreal, QC, Canada, May 25-31, 2019. IEEE, s. 831-842 (Proceedings of the 41st International Conference on Software Engineering, ICSE 2019, Montreal, QC, Canada, May 25-31, 2019).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Joint Rumour Stance and Veracity Prediction

    Edelbo Lillie, A., Middelboe, E. R. & Derczynski, L., 2019, Nordic Conference of Computational Linguistics (2019). Linköping University Electronic Press, s. 208–221 (NEALT (Northern European Association of Language Technology) Proceedings Series).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Lexical Resources for Low-Resource PoS Tagging in Neural Times

    Plank, B. & Klerke, S., 2019, Proceedings of the 22nd Nordic Conference on Computational Linguistics (NoDaLiDa’19) . Association for Computational Linguistics, s. 25–34 (NEALT (Northern European Association of Language Technology) Proceedings Series).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Lower Bounds for Oblivious Data Structures

    Jacob, R., Larsen, K. G. & Nielsen, J. B., 6 jan. 2019, Proceedings of the Thirtieth Annual ACM-SIAM Symposium on Discrete Algorithms. Society for Industrial and Applied Mathematics

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • LSM Management on Computational Storage

    Picoli, I. L., Bonnet, P. & Tözün, P., 2019, Proceedings of the 15th International Workshop on Data Management on New Hardware, DaMoN 2019, Amsterdam, The Netherlands, 1 July 2019. Association for Computing Machinery, s. 17:1-17:3 4 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • MAP-Elites for noisy domains by adaptive sampling

    Justesen, N., Risi, S. & Mouret, J.-B., 2019, Proceedings of the Genetic and Evolutionary Computation Conference Companion: GECCO '19. Association for Computing Machinery, s. 121-122 2 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Misinformation on Twitter During the Danish National Election: A Case Study

    Derczynski, L., Albert-Lindqvist, T. O., Bendsen, M. V., Inie, N., Pedersen, J. E. & Pedersen, V. D., 4 okt. 2019, Proceedings of the conference on Truth and Trust Online.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • MIWAE: Deep Generative Modelling and Imputation of Incomplete Data

    Mattei, P.-A. & Frellsen, J., 2019, Proceedings of the 36th International Conference on Machine Learning, PMLR . Bind 97. s. 4413-4423

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Model Transformation Languages under a Magnifying Glass: A Controlled Experiment with Xtend, ATL, and QVT

    Hebig, R., Seidl, C., Berger, T., Kook Pedersen, J. & Wasowski, A., 2019, Software Engineering and Software Management, SE/SWM 2019, Stuttgart, Germany, February 18-22, 2019. Gesellschaft fur Informatik (GI), s. 91-92 (Lecture Notes in Informatics).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Monitoring the GDPR: European Symposium on Research in Computer Security

    Kock, E. A., Basin, D. & Debois, S., 2019, Computer Security – ESORICS 2019: European Symposium on Research in Computer Security. Springer, s. 681-699 (Lecture Notes in Computer Science, Bind 11735).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • MoRTy: Unsupervised Learning of Task-specialized Word Embeddings by Autoencoding

    Rethmeier, N. & Plank, B., 2019, Proceedings of the 4th Workshop on Representation Learning for NLP (RepL4NLP-2019)): RepL4NLP-2019. Florence: Association for Computational Linguistics, s. 49-54

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • "Mothers as Candy Wrappers": Critical Infrastructure Supporting the Transition into Motherhood

    Britton, L., Barkhuus, L. & Semaan, B., dec. 2019, Proceedings of the ACM on Human-Computer Interaction: GROUP. Association for Computing Machinery, Bind 3. 21 s. 232

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Needs of Head and Neck Cancer Patients and Stakeholders During Rehabilitation

    Karampela, M., Porat, T. & Mylonopoulou, V., jun. 2019, Proceedings of the 13th EAI International Conference on Pervasive Computing Technologies for Healthcare, May 20–23, 2019, Trento, Italy: PervasiveHealth'19. Association for Computing Machinery, s. 415-421

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Neural Cross-Lingual Transfer and Limited Annotated Data for Named Entity Recognition in Danish

    Plank, B., 2019, Proceedings of the 22nd Nordic Conference on Computational Linguistics (NoDaLiDa’19) .. Association for Computational Linguistics, (NEALT (Northern European Association of Language Technology) Proceedings Series).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • New Materiality in Intimate Care

    Almeida, T., 12 sep. 2019, Proceedings of the 2nd Textile Intersections Conference . United Kingdom: Loughborough University

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil

  • Ovum: Designing for Fertility Tracking as a Shared and Domestic Experience

    Homewood, S., Bewley, H. & Boer, L., 18 jun. 2019, DIS '19 Proceedings of the 2019 on Designing Interactive Systems Conference. Association for Computing Machinery, s. 553-565 12 s.

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Fil

  • Parameterized Streaming Algorithms for Min-Ones d-SAT

    Agrawal, A., Biswas, A., Bonnet, É., Brettell, N., Curticapean, R.-C., Marx, D., Miltzow, T., Raman, V. & Saurabh, S., 2019, 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2019). Dagstuhl, Germany: Schloss Dagstuhl--Leibniz-Zentrum für Informatik, s. 8:1-8:20 20 s. (Leibniz International Proceedings in Informatics (LIPIcs)).

    Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferencebidrag i proceedings › Forskning › peer review

    Åben adgang
    Fil