Computer Science

Filter
Article in proceedings

Search results

  • 2019

    Characterizing Asymmetric Collaborative Interactions in Virtual and Augmented Realities

    Grandi, J. G., Debarba, H. G. & Maciel, A., 15 Aug 2019, 2019 IEEE Conference on Virtual Reality and 3D User Interfaces (VR). IEEE, p. 127-135 9 p.

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    Open Access
    File
  • CiteTracked: A Longitudinal Dataset of Peer Reviews and Citations

    Plank, B. & van Dalen, R., 25 Jul 2019, 4th Joint Workshop on Bibliometric-enhanced Information Retrieval and Natural Language Processing for Digital Libraries (BIRNDL 2019). Chandrasekaran, M. K. & Mayr, P. (eds.). urn:nbn:de:0074-2414-3 ed. CEUR Workshop Proceedings, Vol. Vol-2414. p. 116-122 (CEUR Workshop Proceedings, Vol. 2414).

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    Open Access
    File
  • Comparing “Challenge-Based” and “Code-Based” Internet Voting Verification Implementations

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

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    Open Access
    File
  • Consent Verification Under Evolving Privacy Policies

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

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    Open Access
    File
  • DCR Event-reachability via Genetic Algorithms

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

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    Open Access
    File
  • 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, p. 129-147 19 p. (Lecture Notes in Computer Science, Vol. 11535).

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    File
  • 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, p. 5-8

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    File
  • 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

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    Open Access
    File
  • Discovering Communities of Community Discovery

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

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    Open Access
    File
  • 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, p. 439--452 14 p.

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    Open Access
    File
  • 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. (eds.). Springer, p. 606-635 (Lecture Notes in Computer Science, Vol. 11922).

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    Open Access
    File
  • 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, Vol. 24. p. 9-13 4 p.

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    Open Access
  • Exploring the Modeling of Declarative Processes Using a Hybrid Approach

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

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    File
  • 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., Oct 2019, Proceedings of the ACM Multimedia Conference. Nice, France: Association for Computing Machinery, p. 1029-1031 3 p.

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    Open Access
    File
  • 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, p. 7-11 5 p.

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    File
  • 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 Sept 2019, 27th Annual European Symposium on Algorithms (ESA 2019). Schloss Dagstuhl--Leibniz-Zentrum für Informatik, p. 2:1–2:19 2. (Leibniz International Proceedings in Informatics (LIPIcs)).

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    Open Access
    File
  • 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, Vol. 11646).

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    Open Access
    File
  • 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, Vol. 144. p. 80:1–80:13 13 p. 80. (Leibniz International Proceedings in Informatics).

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    Open Access
    File
  • 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

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    Open Access
    File
  • Index Maintenance Strategy and Cost Model for Extended Cluster Pruning

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

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    File
  • 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; No. 5, Vol. 9).

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    File
  • 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, p. 156-168 13 p. (Lecture Notes in Computer Science, Vol. 11295).

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    File
  • 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, p. 831-842 (Proceedings of the 41st International Conference on Software Engineering, ICSE 2019, Montreal, QC, Canada, May 25-31, 2019).

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    Open Access
    File
  • 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, p. 208–221 (NEALT (Northern European Association of Language Technology) Proceedings Series).

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    Open Access
    File
  • 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, p. 25–34 (NEALT (Northern European Association of Language Technology) Proceedings Series).

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    Open Access
    File
  • 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

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    Open Access
    File
  • 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, p. 17:1-17:3 4 p.

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    Open Access
    File
  • 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 Oct 2019, Proceedings of the conference on Truth and Trust Online.

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    Open Access
    File
  • 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 . Vol. 97. p. 4413-4423

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    Open Access
    File
  • 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), p. 91-92 (Lecture Notes in Informatics).

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    Open Access
    File
  • 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, p. 681-699 (Lecture Notes in Computer Science, Vol. 11735).

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    Open Access
    File
  • 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, p. 49-54

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    Open Access
    File
  • "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, Vol. 3. 21 p. 232

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    Open Access
    File
  • 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).

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    Open Access
    File
  • 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, p. 8:1-8:20 20 p. (Leibniz International Proceedings in Informatics (LIPIcs)).

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    Open Access
    File
  • Partially Exchangeable Networks and Architectures for Learning Summary Statistics in Approximate Bayesian Computation

    Wiqvist, S., Mattei, P.-A., Picchini, U. & Frellsen, J., 2019, Proceedings of the 36th International Conference on Machine Learning, PMLR. Vol. 97. p. 6798-6807

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    Open Access
    File
  • Political Stance in Danish

    Lehmann, R. & Derczynski, L., 2019, Proceedings of the Nordic Conference of Computational Linguistics (2019). Linköping University Electronic Press, p. 197–207 (NEALT (Northern European Association of Language Technology) Proceedings Series).

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    Open Access
    File
  • Psycholinguistics meets Continual Learning: Measuring Catastrophic Forgetting in Visual Question Answering

    Greco, C., Plank, B., Fernandez, R. & Bernardi, R., Jul 2019, Proceedings of the 57th Annual Meeting of the Association for Computational Linguistics. Florence: Association for Computational Linguistics, p. 3601–3605

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    Open Access
    File
  • PUFFINN: Parameterless and Universally Fast FInding of Nearest Neighbors

    Christiani, T. L., Pagh, R., Aumüller, M. & Vesterli, M. E., 2019, 27th Annual European Symposium on Algorithms (ESA 2019). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, p. 1-16 16 p. 10

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    Open Access
    File
  • Quantifying the morphosyntactic content of Brown Clusters

    Ciosici, M., Derczynski, L. & Assent, I., Jun 2019, Proceedings of the Annual Conference of the North American Chapter of the Association for Computational Linguistics. Association for Computational Linguistics, Vol. 1. p. 1541–1550 N19-1157

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    Open Access
    File
  • Recurrent models and lower bounds for projective syntactic decoding

    Schluter, N., 2019, Proceedings of the 2019 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies. Association for Computational Linguistics, Vol. Volume 1 (Long and Short Papers). p. 251-260 10 p.

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    Open Access
    File
  • ReRide: A Bike Area Network for Embodied Self-monitoring during Motorbike Commute

    Naveen L. Bagalkot, Vineeta Rath, Gaurav Singh, Sokoler, T. & Anchit Shukla, 17 Mar 2019, Proceedings of the Thirteenth International Conference on Tangible, Embedded, and Embodied Interaction (TEI '19). Association for Computing Machinery, p. 443-450

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    Open Access
    File
  • ROYALE: A Framework for Universally Composable Card Games with Financial Rewards and Penalties Enforcement

    Baum, C., David, B. & Dowsley, R., 30 Sept 2019, Financial Cryptography and Data Security. FC 2019.. Goldberg, I. & Moore, T. (eds.). Springer, p. 282-300 18 p. (Lecture Notes in Computer Science, Vol. 11598).

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    Open Access
    File
  • Seeing with New Eyes: Designing for In-the-Wild Museum Gifting

    Spence, J., Bedwell, B., Coleman, M., Benford, S., Koleva, B., Adams, M., Row Farr, J., Tandavanitj, N. & Løvlie, A. S., Apr 2019, Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems, CHI 2019, Glasgow, Scotland, UK, May 04-09, 2019. Brewster, S., Fitzpatrick, G., Cox, A. & Kostakos, V. (eds.). Association for Computing Machinery, 13 p. 5

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    Open Access
    File
  • SemEval-2019 Task 7: RumourEval 2019: Determining Rumour Veracity and Support for Rumours

    Gorrell, G., Kochkina, E., Liakata, M., Aker, A., Zubiaga, A., Bontcheva, K. & Derczynski, L., 7 Jun 2019, Proceedings of the 13th International Workshop on Semantic Evaluation: NAACL HLT 2019. Association for Computational Linguistics, p. 845-854

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    Open Access
    File
  • Simple and Fast BlockQuicksort using Lomuto's Partitioning Scheme

    Aumüller, M. & Hass, N., 2019, 2019 Proceedings of the Twenty-First Workshop on Algorithm Engineering and Experiments (ALENEX). Society for Industrial and Applied Mathematics, 14 p.

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    Open Access
    File
  • Simply RaTT: A Fitch-style Modal Calculus for Reactive Programming

    Bahr, P., Graulund, C. U. & Møgelberg, R. E., 2019, Proceedings of the ACM on Programming Languages. IFCP ed. Association for Computing Machinery, Vol. 3. 109

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    Open Access
    File
  • Space-efficient Feature Maps for String Alignment Kernels

    Tabei, Y., Yamanishi, Y. & Pagh, R., 2019, IEEE International Conference on Data Mining (ICDM). IEEE Computer Society Press, (IEEE International Conference on Data Mining (ICDM)).

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    Open Access
    File
  • Technical and Socio-Technical Attacks on the Danish Party Endorsement System

    Schürmann, C. & Bruni, A., 24 Sept 2019, Electronic Voting. Springer, Vol. LLNCS11759. p. 200-215 15 p.

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  • The Exponential-Time Complexity of Counting (Quantum) Graph Homomorphisms

    Chen, H., Curticapean, R.-C. & Dell, H., 2019, Graph-Theoretic Concepts in Computer Science: 45th International Workshop, WG 2019, Vall de Núria, Spain, June 19–21, 2019, Revised Papers. Springer, p. 364-378 (Lecture Notes in Computer Science, Vol. 11789).

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

    Open Access
    File