Computer Science

Filter
Article in proceedings

Search results

  • 2018

    Musicians’ Initial Encounters with a Smart Guitar

    Rossitto, C., Rostami, A., Tholander, J., McMillan, D., Barkhuus, L., Fischione, C. & Turchet, L., 2018, NordiCHI '18 Proceedings of the 10th Nordic Conference on Human-Computer Interaction. Association for Computing Machinery, p. 13-24

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • On Purpose and by Necessity: Compliance under the GDPR

    Basin, D., Debois, S. & Hildebrandt, T., 2018, Financial Cryptography and Data Security. 22nd International Conference, FC 2018, Nieuwpoort, Curaçao, February 26 – March 2, 2018,. Springer, (Lecture Notes in Computer Science, Vol. 10957).

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • Open to Change: A Theory for Iterative Test-Driven Modelling

    Slaats, T., Debois, S. & Hildebrandt, T., 2018, Proceedings of the 16th International Conference on Business Process Management. Springer, p. 31-47 17 p. (Lecture Notes in Computer Science, Vol. 11080).

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    File

  • Participatory Design and Sustainability: a literature review of PDC Proceedings

    Poderi, G. & Dittrich, Y., 2018, Proceedings of the Participatory Design Conference: Short Papers, Situated Actions, Workshops and Tutorial - Volume 2. Association for Computing Machinery, 2. (Proceedings of the Participatory Design Conference).

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • Predicting Authorship and Author Traits from Keystroke Dynamics

    Plank, B., 2018, Proceedings of the 2nd Workshop on Computational Modeling of People's Opinions, Personality and Emotions in Social Media (PEOPLES 2018), NAACL workshop. Association for Computational Linguistics, p. 98-104

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • Problem-Oriented Requirements in Practice: A case study

    Lauesen, S., 2018, Requirements Engineering: Foundation for Software Quality: 24th International Working Conference, REFSQ 2018 Utrecht, The Netherlands, March 19–22, 2018 Proceedings. Springer, p. 3-19 15 p. (Lecture Notes in Computer Science, Vol. 10753).

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • Programming language specification and implementation

    Sestoft, P., 2018, Leveraging Applications of Formal Methods, Verification and Validation. Modeling.: 8th International Symposium, ISoLA 2018 Limassol, Cyprus, November 5–9, 2018 Proceedings, Part I. Margaria, T. & Steffen, B. (eds.). Springer, p. 162-183 22 p. (Lecture Notes in Computer Science, Vol. 11244).

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • Researching Cooperation and Communication in Continuous Software Engineering

    Dittrich, Y., Nørbjerg, J., Tell, P. & Bendix, L., 2018, Proceedings of the 11th International Workshop on Cooperative and Human Aspects of Software Engineering (CHASE '18). Association for Computing Machinery, p. 87-90 4 p.

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • RESEDA: Declaring Live Event-Driven Computations as REactive SEmi-Structured DAta

    Seco, J. C., Debois, S., Hildebrandt, T. T. & Slaats, T., 2018, 2018 IEEE 22nd International Enterprise Distributed Object Computing Conference (EDOC). IEEE, p. 75-84 10 p.

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • Scalability of the NV-tree: Three Experiments

    Amsaleg, L., Jónsson, B. T. & Lejsek, H., Oct 2018, Proceedings of the International Conference on Similarity Search and Applications (SISAP). Marchand-Maillet, S., Silva, Y. N. & Chávez, E. (eds.). Lima, Peru: Springer, p. 59-72 (Lecture Notes in Computer Science, Vol. 11223).

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • Scalable and Robust Set Similarity Join

    Christiani, T. L., Pagh, R. & Sivertsen, J. V. T., 2018, Proceedings of IEEE 34th International Conference on Data Engineering (ICDE). IEEE, (Proceedings of the International Conference on Data Engineering).

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • Set Similarity Search for Skewed Data

    McCauley, S., Mikkelsen, J. W. & Pagh, R., 2018, Proceedings of Principles of Database Systems (PODS). Association for Computing Machinery

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • SnapLink: Fast and Accurate Vision-Based Appliance Control in Large Commercial Buildings

    Chen, K., Fürst, J., Kolb, J., Kim, H.-S., Jin, X., Culler, D. E. & Katz, R. H., 2018, Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies. Association for Computing Machinery, p. 129:1-129:27 27 p. 129. (Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies).

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • Stance Prediction for Russian: Data and Analysis

    Lozhnikov, N., Derczynski, L. & Mazzara, M., 2018, Proceedings of 6th International Conference in Software Engineering for Defence Applications: SEDA 2018. Springer, p. 176-186 (Advances in Intelligent Systems and Computing, Vol. 925).

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • Static Partitioning of Spreadsheets for Parallel Execution

    Bock, A., 19 Dec 2018, Practical Aspects of Declarative Languages: 21th International Symposium, PADL 2019, Lisbon, Portugal, January 14-15, 2019, Proceedings. Alferes, J. J. & Johansson, M. (eds.). Springer, p. 221-237 17 p. (Lecture Notes in Computer Science, Vol. 11372).

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    File

  • Strict Ideal Completions of the Lambda Calculus

    Bahr, P., Jul 2018, 3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, p. 8:1-8:16 16 p. 8

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • Strong Baselines for Neural Semi-Supervised Learning under Domain Shift

    Ruder, S. & Plank, B., 2018, Proceedings of the 56th Annual Meeting of the Association for Computational Linguistics. Association for Computational Linguistics

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • The Clocks They Are Adjunctions: Denotational Semantics for Clocked Type Theory

    Mannaa, B. & Møgelberg, R. E., 2018, 3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018). Schloss Dagstuhl--Leibniz-Zentrum für Informatik, Vol. 108. 17 p. 23. (Leibniz International Proceedings in Informatics (LIPIcs), Vol. 108).

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • The Dark Side of Making - Reflecting on Promises, Practices and Problems of the Last 25 Years

    Cermak, D., Beloff, L., Priest, J., Langelaar, W. & Gray, S., 22 Jun 2018, Proceedings of the 24th International Symposium on Electronic Art (ISEA). Durban South Africa: Durban University of technology (DUT), p. 414-417 4 p.

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • The glass ceiling in NLP

    Schluter, N., 31 Oct 2018, Proceedings of the 2018 Conference on Empirical Methods in Natural Language Processing. Association for Computational Linguistics, p. 2793-2798 6 p.

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • The Standard Capacity Model: Towards a polyhedron representation of container vessel capacity

    Jensen, R. M. & Ajspur, M. L., 2018, Computational Logistics: 9th International conference, ICCL 2018. Cerulli, R., Raiconi, A. & Voss, S. (eds.). Springer, p. 175-190 (Lecture Notes in Computer Science, Vol. 11184).

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • The Word Analogy Testing Caveat

    Schluter, N., 1 Jun 2018, Proceedings of the 2018 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies : Volume 2 (Short Papers). Association for Computational Linguistics, p. 242–246 5 p.

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • Towards an Entropy-based Analysis of Log Variability

    Back, C. O., Debois, S. & Slaats, T., 17 Jan 2018, International Conference on Business Process Management: BPM 2017: Business Process Management Workshops. Springer, p. 53-70 (Lecture Notes in Business Information Processing, Vol. 308).

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • Towards a Plant Bio-Machine

    Nichele, S., Risi, S., Tufte, G. & Beloff, L., 8 Feb 2018, IEEE Alife conference (SSCI) proceedings. IEEE, p. 1-8 8 p. 17544442

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • Transactional Support for Visual Instance Search

    Lejsek, H., Ásmundsson, F. H., Jónsson, B. T. & Amsaleg, L., Oct 2018, Proceedings of the International Conference on Similarity Search and Applications (SISAP). Marchand-Maillet, S., Silva, Y. N. & Chávez, E. (eds.). Lima, Peru: Springer, p. 73-86 (Lecture Notes in Computer Science, Vol. 11223).

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • Valid, scalable, authentic, on-site, digital, individual assessment of programming skills

    Husfeldt, T., 2018, LTHs 10:e Pedagogiska Inspirationskonferens, 6 december 2018. Lunds Universitet, p. 21 23 p.

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research

    Open Access
    File

  • Verification of high-level transformations with inductive refinement types

    Al-Sibahi, A. S., Jensen, T. P., Dimovski, A. & Wasowski, A., 2018, Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, {GPCE} 2018, Boston, MA, USA, November 5-6, 2018. Association for Computing Machinery, p. 147-160 14 p.

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • Virtual by Design: How a Work Environment Can Support Agile Distributed Software Development

    Lous, P., Tell, P., Michelsen, C. B., Dittrich, Y., Kuhrmann, M. & Ebdrup, A., 2018, Proceedings of the 13th Conference on Global Software Engineering (ICGSE '18). New Yorck, NY, USA: Association for Computing Machinery, p. 102-111 10 p. (ICGSE '18).

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • When data permutations are pathological: the case of neural natural language inference

    Schluter, N. & Varab, D., 31 Oct 2018, Proceedings of the 2018 Conference on Empirical Methods in Natural Language Processing. Association for Computational Linguistics, p. 4935–4939 5 p.

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • When Simple n-gram Models Outperform Syntactic Approaches: Discriminating between Dutch and Flemish

    Kroon, M., Medvedeva, M. & Plank, B., 2018, Proceedings of the Fifth Workshop on NLP for Similar Languages, Varieties and Dialects (VarDial). Association for Computational Linguistics, p. 244-253

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • Word By Word: A Mobile Game To Encourage Collaborative Storytelling Within The Museum

    Ingimundardottir, E., Stanciauskaite, G., Sachse, K. K., Wray, T. & Løvlie, A. S., 19 Apr 2018, MW18: Museums and the Web 2018. Silver Spring, MD: Museums and the Web

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
  • 2017

    Adopting Continuous Delivery and Deployment: Impacts on Team Structures, Collaboration and Responsibilities

    Shahin, M., Zahedi, M., Babar, M. A. & Zhu, L., 2017, Proceedings of the 21st International Conference on Evaluation and Assessment in Software Engineering: EASE'17. Association for Computing Machinery, p. 384-393 10 p.

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • A Framework for Similarity Search with Space-Time Tradeoffs using Locality Sensitive Filtering

    Christiani, T. L., 2017, Proceedings of the Twenty-Eighth Annual ACM-SIAM Symposium on Discrete Algorithms. Society for Industrial and Applied Mathematics, p. 31-46

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • ANN-Benchmarks: A Benchmarking Tool for Approximate Nearest Neighbor Algorithms

    Aumüller, M., Bernhardsson, E. & Faithfull, A., 2017, International Conference on Similarity Search and Applications: SISAP 2017: Similarity Search and Applications. Springer, p. 34-49 (Lecture Notes in Computer Science, Vol. 10609).

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • A Risk-Limiting Audit In Denmark: A Pilot

    Schürmann, C., 2017, First International Joint Conference, E-Vote-ID 2016, Bregenz, Austria, October 18-21, 2016, Proceedings. Springer, p. 192-202 (Lecture Notes in Computer Science, Vol. 10141).

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • Automated Analysis of Accountability

    Bruni, A., Giustolisi, R. & Schürmann, C., 2017, Information Security - 20th International Conference, {ISC} 2017, Ho Chi Minh City, Vietnam, November 22-24, 2017, Proceedings. Springer, p. 417-434 (Lecture Notes in Computer Science, Vol. 10599).

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • Automatic Margin Computation for Risk-Limiting Audits

    Beckert, B., Kirsten, M., Klebanov, V. & Schürmann, C., 2017, First International Joint Conference, E-Vote-ID 2016, Bregenz, Austria, October 18-21, 2016, Proceedings. Springer, p. 18-35 (Lecture Notes in Computer Science, Vol. 10141).

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • Beyond Continuous Delivery: An Empirical Investigation of Continuous Deployment Challenges

    Shahin, M., Ali Babar, M., Zahedi, M. & Zhu, L., 2017, 2017 ACM/IEEE International Symposium on Empirical Software Engineering and Measurement (ESEM). IEEE, p. 111-120 10 p.

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • Böhm Reduction in Infinitary Term Graph Rewriting Systems

    Bahr, P., 1 Sept 2017, 2nd International Conference on Formal Structures for Computation and Deduction: FSCD 2017, September 3–9, 2017, Oxford, UK. Miller, D. (ed.). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Vol. 84. p. 8:1-8:20

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • Comparative Study of Inference Methods for Bayesian Nonnegative Matrix Factorisation

    Brouwer, T., Frellsen, J. & Liò, P., 2017, The European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Database 2017. Springer, p. 513-529 (Lecture Notes in Computer Science, Vol. 10534).

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • Context and Natural Language in Formal Concept Analysis

    Wray, T. & Eklund, P., Jun 2017, Modeling and Using Context. CONTEXT 2017: International and Interdisciplinary Conference on Modeling and Using Context. Springer, p. 343–355 12 p. (Lecture Notes in Computer Science, Vol. 10257).

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • Contextualizing user centered design with agile methods in Ethiopia

    Teka, D., Dittrich, Y. & Kifle, M., 1 Sept 2017, IEEE Africon 2017 Proceedings. IEEE, p. 911-916 6 p.

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • Continual Online Evolutionary Planning for In-Game Build Order Adaptation in StarCraft

    Justesen, N. O. & Risi, S., 16 Jul 2017, GECCO ’17 Proceedings of the Genetic and Evolutionary Computation Conference. Association for Computing Machinery, p. 187-194

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • Cross-lingual tagger evaluation without test data

    Agic, Z., Plank, B. & Søgaard, A., 2017, Proceedings of the 15th Conference of the European Chapter of the Association for Computational Linguistics. Association for Computational Linguistics, p. 248-253

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • Declarative Process Mining for DCR Graphs

    Debois, S., Hildebrandt, T. T., Laursen, P. H. & Ulrik, K. R., 2017, Proceedings of the Symposium on Applied Computing: SAC '17. New York, NY, USA: Association for Computing Machinery, p. 759-764 6 p.

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • Developing e-banking services for rural India: making use of socio-technical prototypes

    Dittrich, Y., Vaidyanathan, L., Gonsalves, T. A. & Jhunjhunwala, A., 2017, 2017 IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C) . IEEE, p. 204-206 3 p.

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • Distance Sensitive Bloom Filters Without False Negatives

    Goswami, M., Pagh, R., Silvestri, F. & Sivertsen, J., 2017, Proceedings of the Twenty-Eighth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2017, Barcelona, Spain, Hotel Porta Fira, January 16-19. Society for Industrial and Applied Mathematics, p. 257-269 13 p.

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • Effective Bug Finding in C Programs with Shape and Effect Abstractions

    Abal, I., Brabrand, C. & Wasowski, A., 2017, Verification, Model Checking, and Abstract Interpretation: 18th International Conference, VMCAI 2017, Paris, France, January 15–17, 2017, Proceedings. Springer, p. 34-54 (Lecture Notes in Computer Science, Vol. 10145).

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File

  • Eos a Universal Verifiable and Coercion Resistant Voting Protocol

    Patachi, S. & Schürmann, C., 2017, Electronic Voting: Second International Joint Conference, E-Vote-ID 2017, Bregenz, Austria, October 24-27, 2017, Proceedings. Bregenz/Lochau: Springer, p. 210-227 17 p. (Lecture Notes in Computer Science, Vol. 10615).

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    File

  • EvoBot: Towards a Robot-Chemostat for Culturing and Maintaining Microbial Fuel Cells (MFCs)

    Theodosiou, P., Faina, A., Nejatimoharrami, F., Støy, K., Greenman, J., Melhuish, C. & Ieropoulos, I., 25 Jul 2017, Proceedings of the 6th International Conference Living Machines 2017: Lecture Notes in Computer Science. Springer, Vol. 10384. p. 453-464 (Lecture Notes in Computer Science, Vol. 10384).

    Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review

    Open Access
    File