Computer Science

Search results

  • 2016

    Hit Parade

    Cermak, D., Wrighton, M. A. & Backe, H.-J., 5 Oct 2016

    Research output: Other contributionResearch

  • How Does Software Process Improvement Address Global Software Engineering?

    Kuhrmann, M., Diebold, P., Münch, J. & Tell, P., Aug 2016, Global Software Engineering (ICGSE), 2016 IEEE 11th International Conference on. IEEE, p. 89-98

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

    Open Access
    File
  • How Does the Degree of Variability Affect Bug-Finding?

    Melo, J., Brabrand, C. & Wasowski, A., 14 May 2016, ICSE '16 Proceedings of the 38th International Conference on Software Engineering. Association for Computing Machinery, p. 679-690 12 p.

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

  • How Good Is Multi-Pivot Quicksort?

    Aumüller, M., Dietzfelbinger, M. & Klaue, P., 1 Nov 2016, In: ACM Transactions on Algorithms. 13, 1, 8.

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

    Open Access
    File
  • Human Factors in Software Development Processes: Measuring System Quality

    Abrahão, S., Baldassarre, M. T., Caivano, D., Dittrich, Y., Lanzilotti, R. & Piccinno, A., 2016, Product-Focused Software Process Improvement - 17th International Conference, PROFES 2016, Trondheim, Norway, November 22-24, 2016, : Proceedings. Springer, p. 691-696 6 p. (Lecture Notes in Computer Science, Vol. 10027).

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

    Open Access
    File
  • Images of protest in contested social media: Production, propagation, and narratives

    Neumayer, C., Rossi, L. & Vulpuis, J., 2016, AoIR Selected Paper of Internet Research 2016: The 17th Annual Conference of the Association of Internet Researchers. Berlin, Vol. 6.

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

    Open Access
  • Interactive Super Mario Bros Evolution

    Sørensen, P. D., Olsen, J. M. & Risi, S., 2016, Proceedings of the 2016 on Genetic and Evolutionary Computation Conference Companion. New York, NY, USA: Association for Computing Machinery, p. 41-42 2 p.

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

  • In the Nick of Time: Proactive Prevention of Obligation Violations

    Basin, D., Debois, S. & Hildebrandt, T., 11 Aug 2016, In: I E E E Computer Security Foundations Symposium. Proceedings. p. 120-134 15 p.

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

    Open Access
    File
  • Java Precisely: Third edition

    Sestoft, P., 2016, Third ed. MIT Press. 199 p.

    Research output: Book / Anthology / Report / Ph.D. thesisBookResearchpeer-review

  • Learning Behavior Characterizations for Novelty Search

    Meyerson, E., Lehman, J. A. & Miikulainen, R., 2016, Proceedings of the Genetic and Evolutionary Computation Conference 2016: GECCO '16. Association for Computing Machinery, p. 149-156

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

    Open Access
    File
  • Leveraging Physical Locality to Integrate Smart Appliances in Non-Residential Buildings with Ultrasound and Bluetooth Low Energy

    Fürst, J., Chen, K., Al-Jarrah, M. & Bonnet, P., 2016, First IEEE International Conference on Internet-of-Things Design and Implementation, IoTDI 2016, Berlin, Germany, April 4-8, 2016. IEEE Press, p. 199-210 12 p.

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

    Open Access
    File
  • Locality-sensitive Hashing without False Negatives

    Pagh, R., 2016, Proceedings of the Twenty-Seventh Annual ACM-SIAM Symposium on Discrete Algorithms. Society for Industrial and Applied Mathematics, p. 1-9

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

  • Luonto ei ole enää entisensä: taidetta biologian ja teknologian leikkauspisteessä

    Translated title of the contribution: The Nature is not what it used to be: art in the intersection of technology and biologyBeloff, L., 15 Dec 2016, In: Taide-lehti. 16, 6, p. 24-28 5 p., 0039-8977.

    Research output: Journal Article or Conference Article in JournalJournal articleCommunication

  • Measuring Voter Lines

    Schürmann, C. & Wang, J., 2016, Proceedings of the 6th International Conference for E-Democracy and Open Government: CeDEM 16. IEEE Professional Communication Society, p. 57-65 8 p.

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

  • MetaCompose: A Compositional Evolutionary Music Composer

    Scirea, M., Togelius, J., Eklund, P. & Risi, S., Apr 2016, Evolutionary and Biologically Inspired Music, Sound, Art and Design: 5th International Conference, EvoMUSART 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings. Springer Publishing Company, p. 202-217 (Lecture Notes in Computer Science, Vol. 9596).

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

    Open Access
    File
  • Mobile health systems for bipolar disorder: the relevance of non-functional requirements in MONARCA project

    Mayora, O., Frost, M., Arnrich, B., Gravenhorst, F., Grunerbl, A., Muaremi, A., Osmani, V., Puiatti, A., Reichwaldt, N. & Scharnweber, C., 2016, E-Health and Telemedicine: Concepts, Methodologies, Tools, and Applications. IGI global, p. 1395-1405 11 p.

    Research output: Conference Article in Proceeding or Book/Report chapterBook chapterResearchpeer-review

  • Multiparty Asynchronous Session Types

    Honda, K., Yoshida, N. & Carbone, M., 2016, In: Journal of the ACM. 63, 1, p. 1 67 p., 9.

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

    Open Access
    File
  • Network-Oblivious Algorithms

    Bilardi, G., Pietracaprina, A., Pucci, G., Scquizzato, M. & Silvestri, F., Mar 2016, In: Journal of the ACM. 63, 1, 36 p., 3.

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

    Open Access
    File
  • Online evolution for multi-action adversarial games

    Justesen, N. O., Mahlmann, T. & Togelius, J., 15 Mar 2016, Applications of Evolutionary Computation: 19th European Conference, EvoApplications 2016 Porto, Portugal, March 30 – April 1, 2016 Proceedings, Part I. Springer Publishing Company, p. 590-603 (Lecture Notes in Computer Science, Vol. 9597).

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

    Open Access
    File
  • On the Complexity of Inner Product Similarity Join

    Ahle, T. D., Pagh, R., Razenshteyn, I. & Silvestri, F., 2016, PODS '16 Proceedings of the 35th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems. Association for Computing Machinery, p. 151-164

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

    Open Access
  • On the playful use of digital media

    Cermak, D., 2016, In: Games of the South.

    Research output: Journal Article or Conference Article in JournalJournal articleCommissioned

  • Orthogonally Evolved AI to Improve Difficulty Adjustment in Video Games

    Hintze, A., Olson, R. & Lehman, J. A., 30 Mar 2016, Proceedings of the European Conference on the Applications of Evolutionary Computation: Applications of Evolutionary Computation - 19th European Conference, EvoApplications 2016, Porto, Portugal, March 30 -- April 1, 2016, Proceedings, Part I. Springer, p. 525-540 (Lecture Notes in Computer Science, Vol. 9597).

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

    Open Access
    File
  • Overview of the CLEF 2016 Social Book Search Lab

    Koolen, M., Bogers, T., Gäde, M., Hall, M., Hendrickx, I., Huurdemann, H., Jaap, K., Skov, M., Verberne, S. & Walsh, D., 2016, Experimental IR Meets Multilinguality, Multimodality, and Interaction. Fuhr, N. (ed.). Germany: Springer VS, p. 351-370 20 p. (Lecture Notes in Computer Science).

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

    Open Access
    File
  • Participatory Infrastructuring of Community Energy

    Capaccioli, A., Poderi, G., Bettega, M. & D'Andrea, V., 2016, In: PDC '16. 2, p. 9-12 4 p.

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

    Open Access
    File
  • Poster Abstract: A Practical Model for Human-Smart Appliances Interaction

    Fürst, J., Fruergaard, A., Johannesen, M. H. & Bonnet, P., 2016, Proceedings of the 3rd ACM International Conference on Systems for Energy-Efficient Built Environments, BuildSys@SenSys 2016, Palo Alto, CA, USA, November 16-17, 2016. Association for Computing Machinery, p. 235-236 2 p.

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

  • Preserving medical correctness, readability and consistency in de-identified health records

    Pantazos, K., Lauesen, S. & Lippert, S., 1 Jan 2016, In: Health Informatics Journal. p. 1-13 13 p.

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

    Open Access
    File
  • Psi-calculi in Isabelle

    Bengtson, J., Parrow, J. & Weber, T., 13 Jan 2016, In: Journal of Automated Reasoning. 56, 1, p. 1-47 1 p., 1.

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

    Open Access
    File
  • Pupil Center as a Function of Pupil Diameter

    Ahmed, Z., Mardanbegi, D. & Hansen, D. W., 14 Mar 2016, ETRA '16 Proceedings of the Ninth Biennial ACM Symposium on Eye Tracking Research & Applications. Association for Computing Machinery, p. 283-286 4 p.

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

    Open Access
    File
  • Qualitative Study of Surgeons Using a Wearable Personal Assistant in Surgeries and Ward Rounds

    Jalaliniya, S. & Pederson, T., 2016, eHealth 360°. International Summit on eHealth, Budapest, Hungary, June 14-16, 2016, Revised Selected Papers. Springer, p. 208-219 12 p. ( Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, Vol. 181).

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

    Open Access
    File
  • Representing Session Types

    Bock, P. B., Murawska, A., Bruni, A. & Schürmann, C., 2016, 23 p.

    Research output: Other contributionResearch

    Open Access
    File
  • ReRide: Performing Lower Back Rehabilitation While Riding Your Motorbike in Traffic

    Bagalkot, N., Sokoler, T. & Baadkar, S., 16 Jun 2016, PervasiveHealth '16 Proceedings of the 10th EAI International Conference on Pervasive Computing Technologies for Healthcare. Association for Computing Machinery, p. 77-80

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

  • Robotic Automation to Augment Quality of Artificial Chemical Life Experiments

    Nejatimoharrami, F., Faina, A. & Støy, K., Jul 2016, Proceedings of the Artificial Life Conference 2016. MIT Press, p. 634-635 (Complex Adaptive Systems).

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

    Open Access
  • Scalability and Total Recall with Fast CoveringLSH

    Pham, N. D. & Pagh, R., 2016, Proceedings of the 25th ACM International on Conference on Information and Knowledge Management: CIKM '16. Association for Computing Machinery, p. 1109-1118

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

    Open Access
    File
  • Scalable Performance of FCbO Algorithm on Museum Data

    Wray, T., Outrata, J. & Eklund, P., 15 Jul 2016, In: CEUR Workshop Proceedings. 1624, p. 363-376 14 p.

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

    Open Access
    File
  • Screamy Bird

    Tarby, S. & Cermak, D., 14 Oct 2016

    Research output: Other contributionResearch

  • Seamless interaction with scrolling contents on eyewear computers using optokinetic nystagmus eye movements

    Jalaliniya, S. & Mardanbegi, D., 8 Mar 2016, ETRA '16 Proceedings of the Ninth Biennial ACM Symposium on Eye Tracking Research & Applications. Association for Computing Machinery, p. 295-298 4 p.

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

  • Smart-Guard: Defending User Input from Malware

    Denzel, M., Bruni, A. & Ryan, M., 8 Aug 2016, 2016 Intl IEEE Conferences on Ubiquitous Intelligence & Computing, Advanced and Trusted Computing, Scalable Computing and Communications, Cloud and Big Data Computing, Internet of People, and Smart World Congress (UIC/ATC/ScalCom/CBDCom/IoP/SmartWorld). IEEE, p. 502-509 8 p.

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

  • Smartphone based treatment in bipolar disorder

    Faurholt-Jepsen, M., Frost, M., Bardram, J. E. & Kessing, L. V., Mar 2016, p. S32 - S33.

    Research output: Contribution to conference - NOT published in proceeding or journalConference abstract for conferenceResearch

    Open Access
  • Symbolic Execution of High-Level Transformations

    Al-Sibahi, A. S., Dimovski, A. & Wasowski, A., 2016, Proceedings of the 9th ACM SIGPLAN International Conference on Software Language Engineering. Association for Computing Machinery

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

    Open Access
  • Symbolic Game Semantics for Model Checking Program Families

    Dimovski, A., 8 Apr 2016, Model Checking Software - 23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings. Bosnacki, D. & Wijs, A. (eds.). Lecture Notes in Computer Science ed. Springer VS, Vol. 9641. p. 19-37 19 p. (Lecture Notes in Computer Science, Vol. 9641).

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

    Open Access
    File
  • SymexTRON: Symbolic Execution of High-Level Transformation Languages: Symbolic Execution of High-Level Transformations

    Al-Sibahi, A. S., Dimovski, A. & Wasowski, A., Sept 2016, 24 p. (ITU Technical Report Series; No. TR-2016-196).

    Research output: Book / Anthology / Report / Ph.D. thesisReportResearch

    File
  • The Condition: Towards Hybrid Agency

    Beloff, L. & Jørgensen, J., 2016, ISEA 2016 Hong Kong CULTURAL R>EVOLUTION: Proceedings of the 22nd International Symposium on Electronic Art. School of Creative Media, City University of Hong Kong, p. 14-19 6 p. (ISEA 2016 Proceedings).

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

  • The Condition

    Beloff, L. (Producer) & Jørgensen, J. (Producer), 19 May 2016

    Research output: Non-textual form2D/3D (psysical products)Research

  • The Fly Printer - Extended

    Beloff, L. & Klaus, M., May 2016.

    Research output: Contribution to conference - NOT published in proceeding or journalConference abstract for conferenceResearchpeer-review

  • The Role of Ethnographic Studies in Empirical Software Engineering

    Sharp, H., Dittrich, Y. & Souza, C. R. B. D., 2016, In: I E E E Transactions on Software Engineering. 42, 8, p. 786-804 19 p.

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

    Open Access
    File
  • Timeability in Extensive-Form Games

    Jakobsen, S. K., Sørensen, T. B. & Conitzer, V., 2016, Proceedings of the 2016 ACM Conference on Innovations in Theoretical Computer Science. Sudan, M. (ed.). 7 ed. Association for Computing Machinery, p. 191-199 9 p.

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

    Open Access
  • Towards Adaptive Evolutionary Architecture

    Bak, S. H., Rask, N. & Risi, S., 2016, Proceedings of the 5th International Conference on Evolutionary and Biologically Inspired Music, Sound, Art and Design - Volume 9596. New York, NY, USA: Springer Publishing Company, p. 47-62 16 p. (Lecture Notes in Informatics, Vol. 9596).

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

    Open Access
    File
  • Trustworthy Variant Derivation with Translation Validation for Safety Critical Product Lines

    Iosif-Lazăr, A. F. & Wasowski, A., 24 Nov 2016, In: The Journal of Logic and Algebraic Programming. 85, 6, p. 1154–1176 23 p., 85.

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

    File
  • Type-checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion

    Debois, S., Hildebrandt, T., Slaats, T. & Yoshida, N., 11 Feb 2016, In: Logical Methods in Computer Science. 12, 1, p. 1-38 38 p.

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

    Open Access
  • Usability challenges in an Ethiopian software development organization

    Teka, D., Dittrich, Y. & Kifle, M., 2016, Proceedings of the 9th International Workshop on Cooperative and Human Aspects of Software Engineering, CHASE@ICSE 2016, Austin, Texas, USA, May 16, 2016. Association for Computing Machinery, p. 114-120 7 p.

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

    Open Access
    File